| 1. | | Making a language with row types and bidirectional typing, targeting WASM (thunderseethe.dev) |
| 4 points by fanf2 30 days ago | past |
|
| 2. | | Compiler Education Deserves a Revolution (thunderseethe.dev) |
| 4 points by azhenley 4 months ago | past |
|
| 3. | | Making a Language (thunderseethe.dev) |
| 5 points by usdogu 7 months ago | past |
|
| 4. | | Compiler Education Deserves a Revolution (thunderseethe.dev) |
| 4 points by birdculture 8 months ago | past |
|
| 5. | | Compiler Education Deserves a Revolution (thunderseethe.dev) |
| 6 points by azhenley 8 months ago | past |
|
| 6. | | Compiler Education Deserves a Revolution (thunderseethe.dev) |
| 2 points by thunderseethe 8 months ago | past |
|
| 7. | | How to choose between Hindley-Milner and bidirectional typing (thunderseethe.dev) |
| 153 points by thunderseethe 9 months ago | past | 49 comments |
|
| 8. | | Making an LSP for Great Good (thunderseethe.dev) |
| 2 points by todsacerdoti 9 months ago | past |
|
| 9. | | Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev) |
| 2 points by PaulHoule 10 months ago | past |
|
| 10. | | WASM Does Not Stand for WebAssembly (thunderseethe.dev) |
| 2 points by swernli 10 months ago | past | 3 comments |
|
| 11. | | Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev) |
| 4 points by todsacerdoti 11 months ago | past |
|
| 12. | | Reproachfully Presenting Resilient Recursive Descent Parsing (thunderseethe.dev) |
| 3 points by adamch 12 months ago | past |
|
| 13. | | Reproachfully Presenting Resilient Recursive Descent Parsing (thunderseethe.dev) |
| 7 points by todsacerdoti on Nov 12, 2025 | past |
|
| 14. | | Part 6a: Lowering Row Types, Evidently (thunderseethe.dev) |
| 3 points by thunderbong on Feb 12, 2025 | past |
|
| 15. | | Part 5B: Escaping the Typechecker, an Implementation (thunderseethe.dev) |
| 3 points by thunderbong on Feb 6, 2025 | past |
|
| 16. | | Picking Equatable Names (thunderseethe.dev) |
| 2 points by thunderbong on Jan 24, 2025 | past |
|
| 17. | | Traits Are a Local Maxima (thunderseethe.dev) |
| 2 points by thunderbong on Nov 19, 2024 | past |
|
| 18. | | Traits are a local maximum (thunderseethe.dev) |
| 121 points by emschwartz on Nov 18, 2024 | past | 101 comments |
|
| 19. | | In Search of the Perfect Fold (thunderseethe.dev) |
| 3 points by g0xA52A2A on March 29, 2024 | past |
|
| 20. | | I'm Betting on Call-by-Push-Value (thunderseethe.dev) |
| 174 points by todsacerdoti on March 9, 2024 | past | 64 comments |
|
| 21. | | What’s in a Module? (thunderseethe.dev) |
| 2 points by ethansinjin on Aug 2, 2023 | past | 1 comment |
|
| 22. | | What's in a Module? (thunderseethe.dev) |
| 3 points by thunderseethe on Aug 1, 2023 | past |
|
| 23. | | Tying Up Type Inference (thunderseethe.dev) |
| 1 point by thunderseethe on July 18, 2023 | past |
|
| 24. | | Type Inference: Bidirectional Constraint Generation (thunderseethe.dev) |
| 1 point by thunderseethe on July 11, 2023 | past |
|
| 25. | | Designing a Language Without a Parser (thunderseethe.dev) |
| 114 points by thunderseethe on July 4, 2023 | past | 127 comments |
|
