The database that is a log, and all operations are `fold(log)`.

Play Doom entirely from DNS records. (PowerShell 7+)

Secure and fast microVMs for serverless computing.

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Access to Anthropic's safety-first language model APIs via Go

An ASCII graph drawing app

A powerful little TUI framework 🏗

monospace typeface designed for symbol-rich programming

Log file navigator

An ergonomic and safe syscall interception framework for Linux.

📚 (WIP) Formal proofs of "An Infinitely Large Napkin"

Vitess is a database clustering system for horizontal scaling of MySQL.

FoundationDB Rust client api

Readings in Databases

The property-based testing library for Python

A search engine that "just works" for Obsidian. Supports OCR and PDF indexing.

Code behind my visualisation blog posts

Robust Speech Recognition via Large-Scale Weak Supervision

A tool to take call stack traces with minimal overheads

Efficient RPCs for datacenter networks

The Paxos library implemented in C++ that has been used in the WeChat production environment.

Meta's fleetwide profiler framework

The Art of Problem-Solving in Software Engineering: How to Make MySQL Better

A toy, ACID compliant, and Relational-ish DBMS built from scratch

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

Lab Materials for MIT 6.S191: Introduction to Deep Learning

Run Obsidian.md in a browser via a docker container.

A C++ header-only HTTP/HTTPS server and client library

Maps that show time instead of space

NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB