1Compiler Education Deserves a Revolution (opens in new tab)(thunderseethe.dev)2thunderseethe4mo ago0Save
2How to choose between Hindley-Milner and bidirectional typing (opens in new tab)(thunderseethe.dev)153thunderseethe4mo ago49Save
3Building a Brainfuck DSL in Forth using code generation (opens in new tab)(venko.blog)3thunderseethe6mo ago0Save
6Type Inference: Bidirectional Constraint Generation (opens in new tab)(thunderseethe.dev)1thunderseethe2y ago0Save
7Designing a Language Without a Parser (opens in new tab)(thunderseethe.dev)114thunderseethe2y ago127Save
