{"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\">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\">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\">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\">Our next step is to create blocks :3<\/p>\n\n\n\n<p class=\"eplus-wrapper\">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\">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\">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\">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\">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\">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\"><strong>\u2190 parte 1<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-right eplus-wrapper\"><strong>parte 3 \u2192<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center eplus-wrapper\">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,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"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}]}}