Top New Best Ask Show Jobs

thunderseethe

141 karma · joined May 18, 2023

submissions comments

Compiler Education Deserves a Revolution

thunderseethe.dev·2 pts·thunderseethe·

How to choose between Hindley-Milner and bidirectional typing

thunderseethe.dev·153 pts·thunderseethe·

Building a Brainfuck DSL in Forth using code generation

venko.blog·3 pts·thunderseethe·

What's in a Module?

thunderseethe.dev·3 pts·thunderseethe·

Tying Up Type Inference

thunderseethe.dev·1 pts·thunderseethe·

Type Inference: Bidirectional Constraint Generation

thunderseethe.dev·1 pts·thunderseethe·

Designing a Language Without a Parser

thunderseethe.dev·114 pts·thunderseethe·