

That is fun. I wonder if something similar couldn’t be done for principles of lambda calculus or category theory or type theory.


@soegaard2 I get stuck at the memory thing. Even after looking at the hint (which says I need a loop), I still don’t understand how that would make sense

By “memory” do you mean the latch?

@sorawee ^

@gknauth Yes. I vaguely remember a “crocodile game” for lambda calculus. Ring any bells?


Yes I remember the crocodile game. One thought I had was to make it a children’s game they would learn the way machine learning works “accidentally,” so they would learn the concepts young without having any notion that this was something some people found “hard,” and it would seem natural to them later.

@pk676 has joined the channel

Yeah, the latch