Thunderseethe logo
Thunderseethe logo

Thunderseethe

thunderseethe.dev
thunderseethe.dev
Claim pageClaim
Follow
Overview
Connections
News
Salaries
Products
People
Growth
Offices
Financials

News

News thunderseethe.dev 7 months ago
Making a Language Read more
Report
News Thunderseethe 8 months ago
Compiler Education Deserves a Revolution
How we teach compilers and why it
Read more
Report
News Thunderseethe 8 months ago
How to Choose Between Hindley-Milner and Bidirectional Typing
A false dichotomy that hides the real request
Read more
Report
News Thunderseethe 9 months ago
Making an LSP for great good
Implementing an LSP from our query-based compiler passes
Read more
Report
News Thunderseethe 10 months ago
Desugaring the Relationship Between Concrete and Abstract Syntax
Converting our CST into our AST and desugarging let expressions
Read more
Report
News Thunderseethe 11 months ago
Reproachfully Presenting Resilient Recursive Descent Parsing
Parsing syntax for our base language with error recovery
Read more
Report
News Thunderseethe 1 year ago
Wasm Does not Stand for WebAssembly
A case for why Wasm is neither Web nor Assembly
Read more
Report
News Thunderseethe 1 year ago
Lowering Row Types, Evidently
Explaining how we
Read more
Report
News Thunderseethe 1 year ago
Escaping the Typechecker, an Implementation
Implementation of our lowering function
Read more
Report
News Thunderseethe 1 year ago
DeBruijn Indices: Picking Equatable Names
An explanation of DeBruijn Indices
Read more
Report
Show more news