News for hackers. Stuff that matters.

A comment on Löb and möb: strange loops in Haskell. Parent comment

Re:Löb and möb: strange loops in Haskell by bmacho on Monday January 30, 2023 @11:18AM (#34581811)
I can't find any source in your post, the loeb function may originate from [0] ?

[0] : http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...

[ Parent | on HN ]
Re:Löb and möb: strange loops in Haskell by quchen on Monday January 30, 2023 @11:31AM (#34582091)
My source really was people talking about it on #freenode and playing with LambdaBot at the time. There’s a good chance the linked blog post is a transitive source though!
[ Parent | on HN ]