| | Löb and Möb: Loops in Haskell (2013) (github.com/quchen) |
| 91 points by fanf2 71 days ago | past | 16 comments |
|
| | Algebraic Blindness (github.com/quchen) |
| 2 points by aiono on Nov 11, 2024 | past | 1 comment |
|
| | 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 |
|
