Wrote a tutorial on type inference that covers HM, bidirectional type-checking, row polymorphism, newtypes, type annotations, and the value restriction. Check it out! www.blog.akhil.cc/type-inferen...
Type Inference (Part 1)
A tutorial on Hindley Milner type inference.
blog.akhil.cc
Building a Brainfuck DSL in Forth using code generation: venko.blog/articles/for... #programming #brainfuck #forth
Building a Brainfuck DSL in Forth using code generation
venko.blog
New Blog Post: "So I've Been Thinking About Static Site Generators" wolfgirl.dev/blog/2026-02... #programming
So I've Been Thinking About Static Site Generators
My current one is _fine_, but the rebuilds are a bit too long for my tastes (>10s) so I'd like to change that.
wolfgirl.dev
New post begging for more teaching material on query based compilation 🥺 thunderseethe.dev/posts/compil...
Compiler Education Deserves a Revolution
How we teach compilers and why it's gotta change
thunderseethe.dev
Get in loser, we're making an LSP! thunderseethe.dev/posts/lsp-ba... You can see the final product live and in color in the playground: thunderseethe.dev/making-a-lan...
Making an LSP for great good
Implementing an LSP from our query-based compiler passes
thunderseethe.dev
Unprecedented post in the making a language series, talking about resolving names: thunderseethe.dev/posts/namere... This is the keystone to complete our compilation arch.
Resolving Names Once and for All
Resolving scoping and shadowing to produce unique variables for our names
thunderseethe.dev
Fresh making a language series post talking about desugaring: thunderseethe.dev/posts/desuga...
Desugarging the Relationship Between Concrete and Abstract Syntax
Converting our CST into our AST and desugarging let expressions
thunderseethe.dev
This is the blog post I wish I'd read before starting the KCL parser. I think someday we'll rewrite the parser to use this approach. KCL parser has to be more error-tolerant, and I think this would help a lot. If you're keen on parsers or PLs, read this tutorial!
thunderseethe@thunderseethe.dev · 10mo agoNew post in the making a language series about parsing. What have I become thunderseethe.dev/posts/parser...
New post in the making a language series about parsing. What have I become thunderseethe.dev/posts/parser...
Reproachfully Presenting Resilient Recursive Descent Parsing
Parsing syntax for our base language with error recovery
thunderseethe.dev
The WebAssembly 3.0 spec is complete! webassembly.org/news/2025-09... This includes major features like GC, 64-bit memories, exceptions, and tail calls.
Wasm 3.0 Completed - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the...
webassembly.org
New post clarifying a common misconception about Wasm. Understandable mistake to make, but do NOT let it happen again. thunderseethe.dev/posts/wasm-n...
Wasm Does Not Stand for WebAssembly
A case for why Wasm is neither Web nor Assembly
thunderseethe.dev
New making a language series post talking about emitting code. We can finally execute something! thunderseethe.dev/posts/emit-b...
Skipping the Backend by Emitting Wasm
Turning our Base IR into executable WebAssembly
thunderseethe.dev
New post in the making a language series. This time talking about closure conversion: thunderseethe.dev/posts/closur...
ClosureConvert[0].Base: Closure Conversion Takes The Function Out Of Functional Programming
Converting our lambda functions into closures for the Base IR.
thunderseethe.dev
