LSM Storage Engine
A crash-safe key-value store that real redis-cli connects to. The hard part is compaction that never loses a key.
Rust
The bench
Every project, as one board
- U1CUDA Kernels, Chasing cuBLASA matrix-multiply kernel optimised rung by rung toward cuBLAS, ending with an honest account of why the last 15% is hard.
- U2LLM Inference EngineGPT-2 inference written from scratch in C++, optimised as a measured ladder from a naive forward pass to int4 quantisation.
- U3LSM Storage EngineA crash-safe key-value store that real redis-cli connects to. The hard part is compaction that never loses a key.
- U4RISC-V Core + Verification EnvironmentA pipelined RV32I core on an FPGA, plus the constrained-random rig that proves it correct.
- U5Bare-Metal RTOS on STM32A preemptive real-time kernel written from the reset vector up, with context-switch latency measured on a logic analyzer.
- U6Hive, a Classroom Curation PlatformA content-curation platform for a real client, migrated from JSX to TypeScript while it stayed live and kept shipping features.
Selected work
All projects →Each one has a writeup: how it works, what I tried that didn't, and where the numbers came from.
Bare-Metal RTOS on STM32
A preemptive real-time kernel written from the reset vector up, with context-switch latency measured on a logic analyzer.
CARM assembly
LLM Inference Engine
GPT-2 inference written from scratch in C++, optimised as a measured ladder from a naive forward pass to int4 quantisation.
C++Python
RISC-V Core + Verification Environment
A pipelined RV32I core on an FPGA, plus the constrained-random rig that proves it correct.
SystemVerilogPython
Things you can run
The lab →Both of these run in your browser, on code I wrote.
C++ · WebAssembly · 25 tok/s
A language model, in your tab
SmolLM2-135M running on a forward pass I wrote in C++. It declines when the sources do not cover your question.
Rust · WebAssembly · 43 KB
Vector search, client-side
An HNSW graph I wrote in Rust, searching this site in your tab. Recall measured live against a brute-force scan.