The Curry-Howard correspondence says that types are propositions and inhabitants are proofs. Lambek relates both logic and programming to Cartesian closed categories. I understand that a category is an algebraic structu…
a morphism, as the "types" of morphisms of functions are written in the latter manner
Raspberry Pi just released the Pico W with wireless capability for $6: https://www.raspberrypi.com/news/raspberry-pi-pico-w-your-6-iot-platform/ The post by @cymplecy regarding Snap! + Raspberry Pi in August 2020 looke…
of the Wemos to control the frequency of a flashing high intensity LED in this manner
Raspberry Pi just released the Pico W with wireless capability for $6: https://www.raspberrypi.com/news/raspberry-pi-pico-w-your-6-iot-platform/ The post by @cymplecy regarding Snap! + Raspberry Pi in August 2020 looke…
the motors and external battery (and breaks out all the other pins in a very nice manner
Short answer: You didn't copy the list to the variable, you gave the same list another name. [The pictures below are a lie. See below the divider ——– for the full story.] Here's what it looks like: The lis…
loops when they try to print them — or, try to print them in a circularity-aware manner
I was unaware that there was a rationale behind the Scratch Team's decision to implement 'broadcasts' instead of a 'typical' message-passing system, but I don't think that it supports the stated goal of modularity. Bro…
Are there examples of kids combining two (or more) independent projects in a manner
View on Snap!Con Presented By: Ken Kahn Abstract: Word embeddings use machine learning to turn words into lists of 300 numbers. By doing some addition and subtraction on these lists using Snap!'s hyperblocks one can sol…
hyperblocks one can solve word analogy problems in a surprisingly straightforward manner
Continuing the discussion from Machine Learning – #100 by sir_kitten2. Previous discussions: Machine Learning
Relpit TOS access the Service in a manner that sends more request messages to the
It is possible to edit a list directly (i.e., Drum Numbers in the illustration below). However, it does not appear that a list of lists can be edited directly in the same way (i.e., Drum Patterns). Does anyone have a str…
Does anyone have a strategy for directly editing the cells of a table in the same manner
Working on a project that I owe the inspiration for to this recently published project by fridolinux, it occurred to me that one of the legacies from Scratch – that influences how we think about changing a sprite's size…
that a relative (percentual) change in primitive blocks is not supported in equal manner
Glock 20-S 15 bullet mag, silencer. G20-S [SPACE] – Shoot [R KEY] – Reload Enjoy the project! Scratch Original [Better Quality]
like saying people who fall in love with p…. often try assaulting people in that manner
