Posts on Thunderseethe's Devlog thunderseethe.dev

Compiler Education Deserves a Revolution

thunderseethe.dev·12w·Lobsters, Hacker News, r/programming

How to Choose Between Hindley-Milner and Bidirectional Typing

thunderseethe.dev·13w·r/programming

Making an LSP for great good

thunderseethe.dev·16w·Lobsters, Hacker News

Resolving Names Once and for All

thunderseethe.dev·20w·r/programming, r/rust

Desugarging the Relationship Between Concrete and Abstract Syntax

thunderseethe.dev·24w·Hacker News, r/programming, r/rust

Reproachfully Presenting Resilient Recursive Descent Parsing

thunderseethe.dev·26w·Lobsters, Hacker News, Hacker News, r/programming, r/rust

Pushing Past the First Error During Type Inference

thunderseethe.dev·27w

Wasm Does Not Stand for WebAssembly

thunderseethe.dev·48w·Hacker News, r/programming

Skipping the Backend by Emitting Wasm

thunderseethe.dev·48w·r/programming

Closure Conversion Takes The Function Out Of Functional Programming

thunderseethe.dev·52w

Casting Out Polymorphism with Monomorphization

thunderseethe.dev·53w

Simplify[0].Base: Back to basics by simplifying our IR

thunderseethe.dev·54w·r/programming

Function Application Needs to Grow a Spine Already

thunderseethe.dev·59w·r/programming

Part 7: Lowering Top Level Items

thunderseethe.dev·62w·r/programming, r/rust

The Heart of Lowered Rows

thunderseethe.dev·63w·r/programming, r/rust

The Types of Lowered Rows

thunderseethe.dev·64w·r/programming, r/rust

Lowering Row Types, Evidently

thunderseethe.dev·65w·Hacker News, r/programming, r/rust

Escaping the Typechecker, an Implementation

thunderseethe.dev·66w·Hacker News, r/programming, r/rust

Lowering Our AST to Escape the Typechecker

thunderseethe.dev·67w·r/programming, r/rust

Picking Equatable Names

thunderseethe.dev·68w·Lobsters, Hacker News, r/programming

Log in to enable infinite scrolling