{"id":4821,"date":"2022-08-24T13:33:00","date_gmt":"2022-08-24T16:33:00","guid":{"rendered":"https:\/\/www.blogs.unicamp.br\/zero\/?p=4821"},"modified":"2023-02-01T18:31:13","modified_gmt":"2023-02-01T21:31:13","slug":"turning-a-proof-into-blocks-part-2","status":"publish","type":"post","link":"https:\/\/www.blogs.unicamp.br\/zero\/4821\/","title":{"rendered":"Transforming a proof into blocks &#8211; part 2"},"content":{"rendered":"\n<p class=\"eplus-wrapper wp-block-paragraph\">Now that we have decomposed the text of a demonstration in order to reduce the amount of types, let&#8217;s work on the software Arrasta o X.<\/p>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">Start by opening the following link: <a rel=\"noreferrer noopener\" href=\"https:\/\/scratch.mit.edu\/projects\/723926143\/editor\" target=\"_blank\">https:\/\/scratch.mit.edu\/projects\/723926143\/editor<\/a><\/p>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">This is a template for creating demos, so any edits you make won&#8217;t change the original file. To make your changes stick, you can log into your Scratch account and create a REMIX of the current version (this will make a copy of it in your project folder), or if you have version 3.0 editing software installed on your computer, you you can download the file in .sb3 format and edit it offline (your choice).<\/p>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">Our next step is to create blocks :3<\/p>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">Open the &#8220;costumes&#8221; option of the &#8220;parts&#8221; actor. You will see on the left side of the screen a list with 4 parts. The colors of the pieces and the letters used in them were chosen for better distinction by people with color blindness, so it&#8217;s interesting that you don&#8217;t change these colors. When you need more than one part of a type, right click on it and duplicate it.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large eplus-wrapper\"><img fetchpriority=\"high\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-1024x576.png\" alt=\"\" class=\"wp-image-4613\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-1024x576.png 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-300x169.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-768x432.png 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-500x281.png 500w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-800x450.png 800w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot-1280x720.png 1280w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-135625_1366x768_scrot.png 1366w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">So, let&#8217;s take our decomposed demonstration and make a block for each of the 23 types of text segment, respecting the margin of the pieces and their colors according to the function of the piece.<\/p>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">After creating the blocks, go back to this actor&#8217;s part of the code, and change the value highlighted in the image below to the number of parts created minus 1 (in my case, I created 23 parts, so 23 &#8211; 1 = 22).<\/p>\n\n\n\n<figure class=\"wp-block-image size-large eplus-wrapper\"><img decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-1024x576.png\" alt=\"\" class=\"wp-image-4615\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-1024x576.png 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-300x169.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-768x432.png 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-500x281.png 500w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-800x450.png 800w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot-1280x720.png 1280w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141619_1366x768_scrot.png 1366w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">Done, now you can save your code and when you run it, it will generate on screen all the necessary blocks to form the original demonstration.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large eplus-wrapper\"><img decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-1024x576.png\" alt=\"\" class=\"wp-image-4617\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-1024x576.png 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-300x169.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-768x432.png 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-500x281.png 500w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-800x450.png 800w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot-1280x720.png 1280w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-141804_1366x768_scrot.png 1366w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">A good step now is to test how we can assemble our demo with these pieces to see how well it fits on the screen and also to find out if there are any mistakes that we missed in the previous step (to duplicate a piece, drag it to the second icon from left to right in the lower right corner of the screen).<\/p>\n\n\n\n<figure class=\"wp-block-image size-large eplus-wrapper\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-1024x576.png\" alt=\"\" class=\"wp-image-4618\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-1024x576.png 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-300x169.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-768x432.png 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-500x281.png 500w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-800x450.png 800w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot-1280x720.png 1280w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142320_1366x768_scrot.png 1366w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\">Looking at the arrangement on the screen, it looks cool, except for the last block, the content was too small to be read easily. I&#8217;m going to edit this by changing the content of the last two blocks (hence the importance of testing the interaction with the blocks):<\/p>\n\n\n\n<figure class=\"wp-block-image size-large eplus-wrapper\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-1024x576.png\" alt=\"\" class=\"wp-image-4619\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-1024x576.png 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-300x169.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-768x432.png 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-500x281.png 500w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-800x450.png 800w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot-1280x720.png 1280w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-142737_1366x768_scrot.png 1366w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"eplus-wrapper wp-block-paragraph\"><strong>\u2190 parte 1<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-right eplus-wrapper wp-block-paragraph\"><strong>parte 3 \u2192<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center eplus-wrapper wp-block-paragraph\">Cover image adapted from the meme known as &#8220;sayori drake meme&#8221;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Now that we have decomposed the text of a demonstration in order to reduce the amount of types, let&#8217;s work<\/p>\n","protected":false},"author":434,"featured_media":4596,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","_monsterinsights_skip_tracking":false,"pgc_sgb_lightbox_settings":"","_vp_format_video_url":"","_vp_image_focal_point":[],"footnotes":""},"categories":[1225],"tags":[],"class_list":["post-4821","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-v-8-ed-2"],"jetpack_featured_media_url":"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2022\/08\/2022-08-24-105724_1366x768_scrot.png","_links":{"self":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/4821","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/users\/434"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/comments?post=4821"}],"version-history":[{"count":2,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/4821\/revisions"}],"predecessor-version":[{"id":4823,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/4821\/revisions\/4823"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media\/4596"}],"wp:attachment":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media?parent=4821"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/categories?post=4821"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/tags?post=4821"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}