Löb and möb: strange loops in Haskell

Re:Löb and möb: strange loops in Haskell by quchen on Monday January 30, 2023 @09:59AM (#34580387)

Worth noting that I wrote this as a result of a discussion on #haskell on Freenode/IRC. I have to say it’s quite (happily) surprising to me that people on HN enjoy it after all those years :-D

[ Parent | on HN ]

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 ]

Re:Löb and möb: strange loops in Haskell by 1letterunixname on Monday January 30, 2023 @10:19PM (#34590444)

Haskell, Ruby, COBOL, FORTRAN, and MISRA C need a yearly Monty Python "I'm not dead yet" doodle. tcl, Forth, and Squeak... that's enough out of them. Never Expect dejagnu.

[ Parent | on HN ]