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.

🧱 Data Engineering
Fivetran, Snowflake, Redshift, dbt, Kafka, Spark, Dagster.

☁️ 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. groebnergroebnerPublic

   Faugère's F4 algorithm for computing Gröbner basis for systems of multivariate polynomials

   Rust 4

2. usolverusolverPublic

   A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

   Python 40 5

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

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

   Haskell 3.4k 258

4. tiny-graphragtiny-graphragPublic

   A tiny 1000 line implementation of GraphRAG in Python

   Python 78 12

5. wiwinwlhwiwinwlhPublic

   What I Wish I Knew When Learning Haskell

   Haskell 2.6k 244

6. galois-fieldgalois-fieldPublic

   Finite field and algebraic extension field arithmetic

   Haskell 51 16