Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Part 6a: Lowering Row Types, Evidently (thunderseethe.dev)
3 points by thunderbong 5 months ago | past
Part 5B: Escaping the Typechecker, an Implementation (thunderseethe.dev)
3 points by thunderbong 5 months ago | past
Picking Equatable Names (thunderseethe.dev)
2 points by thunderbong 6 months ago | past
Traits Are a Local Maxima (thunderseethe.dev)
2 points by thunderbong 8 months ago | past
Traits are a local maximum (thunderseethe.dev)
121 points by emschwartz 8 months ago | past | 101 comments
In Search of the Perfect Fold (thunderseethe.dev)
3 points by g0xA52A2A on March 29, 2024 | past
I'm Betting on Call-by-Push-Value (thunderseethe.dev)
174 points by todsacerdoti on March 9, 2024 | past | 64 comments
What’s in a Module? (thunderseethe.dev)
2 points by ethansinjin on Aug 2, 2023 | past | 1 comment
What's in a Module? (thunderseethe.dev)
3 points by thunderseethe on Aug 1, 2023 | past
Tying Up Type Inference (thunderseethe.dev)
1 point by thunderseethe on July 18, 2023 | past
Type Inference: Bidirectional Constraint Generation (thunderseethe.dev)
1 point by thunderseethe on July 11, 2023 | past
Designing a Language Without a Parser (thunderseethe.dev)
114 points by thunderseethe on July 4, 2023 | past | 127 comments

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: