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
Here's a bug I ran into a while ago, that is still in snap (I just never got around to posting it). Running a broadcast block in a ring, with an input puts the input in the sprite input in the broadcast block, when it's…
workaround is easy but I’d like to know why the other one doesn’t behave in the same 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
