soegaard2
2020-1-12 15:18:02

gknauth
2020-1-12 18:28:32

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



sorawee
2020-1-12 18:59:45

@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


soegaard2
2020-1-12 19:01:29

By “memory” do you mean the latch?


soegaard2
2020-1-12 19:05:44

@sorawee ^


soegaard2
2020-1-12 19:08:25

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


soegaard2
2020-1-12 19:19:37

Not sure how good it is: http://worrydream.com/AlligatorEggs/


gknauth
2020-1-12 19:52:35

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
2020-1-13 01:26:38

@pk676 has joined the channel


sorawee
2020-1-13 01:57:07

Yeah, the latch