🧵 Untitled Thread
Anonymous at Tue, 17 Sep 2024 20:03:05 UTC No. 16385026
why doesn't he just use a y combinator? is he stupid?
Anonymous at Wed, 18 Sep 2024 08:06:12 UTC No. 16385806
>>16385026
Y combinator in logic makes whatever logic you're working with inconsistent
Anonymous at Wed, 18 Sep 2024 09:19:11 UTC No. 16385844
>>16385026
>untyped lambdas
Lol
Anonymous at Wed, 18 Sep 2024 15:16:37 UTC No. 16386096
>>16385026
Skill issue, some people are more retarded than others.
Anonymous at Wed, 18 Sep 2024 15:31:15 UTC No. 16386116
>>16385026
I think it can but then there's the halting problem where we don't know if the function will cease, which is what I think they're referring to