sdiehl

Follow

🤘

Stephen Diehl sdiehl

🤘

Follow

I build software.

3.3k followers · 989 following

Achievements

Achievements

Highlights

Pro

Organizations

sdiehl/README.md

Hi there 👋

I'm a software engineer in London. I write about math and programming on my eponymously named blog.

Zero to QED (2025) - Interactive theorem proving in Lean 4.
Typechecker Zoo (2025) - A collection of type system implementations in Rust.
Compiler Crates (2025) - Examples of crates for building compilers in Rust.
Introduction to MLIR (2024) - A short introduction to building compilers on the MLIR infrastructure.
Tiny GraphRAG (2024) - Building a minimal graph-based RAG system.
Exotic Programming Ideas (2021) - Exploring unusual programming language concepts.
Quirky Nerd Humour (2020) - Satirical articles about programming culture.
Write You a Haskell (2015) - Building a Haskell compiler from scratch.
What I Wish I Knew When Learning Haskell (2009) - A comprehensive guide to Haskell.

Tech

Rust, Python, TypeScript, C++, CUDA, Haskell, OCaml, Lean

Connect with me

Pinned Loading

zero-to-qed zero-to-qed Public

From Zero to QED: An informal introduction to formality with Lean 4

Lean 64 10
typechecker-zoo typechecker-zoo Public

A menagerie of cute implementations of modern typechecking algorithms

Rust 365 13
mlir-egglog mlir-egglog Public

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

Python 114 11
bulletproofs bulletproofs Public

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskell 546 48
tiny-graphrag tiny-graphrag Public

A tiny 1000 line implementation of GraphRAG in Python

Python 90 17
wiwinwlh wiwinwlh Public

What I Wish I Knew When Learning Haskell

Haskell 2.6k 242