I'm a software engineer in London. I build software and write about software.

The following is a list of technologies I specialize in and utilize.

⚙️ Compilers
MLIR, LLVM, CUDA, Triton, Tree-sitter, Cranelift, WASM, Clang.

🤖 Machine Learning
Transformers, PyTorch, Scikit-Learn, Deepspeed, TensorRT, vLLM, CUTLASS, ONNX.

☁️ Cloud
AWS, GCP, Kubernetes, Kubeflow, Docker, Terraform, Github Actions, CDK.

📊 Data Science
Pandas, Numpy, Matplotlib, Seaborn

🏗️ Languages
Python, TypeScript, Rust, C++, Haskell, OCaml, Lean

PinnedLoading

1. mlir-egglogmlir-egglogPublic

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

   Python 33 2

2. llvm-hs/llvm-hsllvm-hs/llvm-hsPublic

   Haskell bindings for LLVM

   LLVM 518 124

3. write-you-a-haskellwrite-you-a-haskellPublic

   Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

   Haskell 3.4k 256

4. wiwinwlhwiwinwlhPublic

   What I Wish I Knew When Learning Haskell

   Haskell 2.6k 241

5. bulletproofsbulletproofsPublic

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

   Haskell 541 48

6. tiny-graphragtiny-graphragPublic

   A tiny 1000 line implementation of GraphRAG in Python

   Python 58 10