Hacker News new | past | comments | ask | show | jobs | submit | from login
Löb and möb: strange loops in Haskell (2015) (github.com/quchen)
153 points by hjnkk on Jan 30, 2023 | past | 60 comments
Löb and möb: strange loops in Haskell (github.com/quchen)
4 points by isaac21259 on June 2, 2022 | past
Stgi: A visual STG implementation to understand GHC/Haskell's execution model (github.com/quchen)
84 points by kelseyfrog on Oct 7, 2021 | past | 5 comments
Löb and möb: strange loops in Haskell (2013) (github.com/quchen)
86 points by improv32 on Oct 7, 2018 | past | 10 comments
Algebraic blindness: Boolean blindness for often type systems (github.com/quchen)
1 point by fanf2 on June 27, 2018 | past
STGi: spineless tagless G-machine interpreter (github.com/quchen)
1 point by fanf2 on Jan 25, 2018 | past
How to write unmaintainable Haskell code (github.com/quchen)
1 point by networked on Dec 10, 2017 | past
Undefined is not Haskell's null (github.com/quchen)
2 points by networked on Dec 8, 2017 | past
Algebraic blindness (github.com/quchen)
1 point by dmit on Dec 11, 2016 | past
STGi: Visual STG implementation to help understand Haskell's execution model (github.com/quchen)
56 points by adamnemecek on June 24, 2016 | past | 11 comments
Löb and möb: strange loops in Haskell (github.com/quchen)
2 points by wz1000 on March 14, 2015 | past
Löb and möb: strange loops in Haskell (github.com/quchen)
4 points by lelf on Nov 18, 2013 | past

Consider applying for YC's W25 batch! Applications are open till Nov 12.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: