Patrick Kothbauer. I study mathematics at Chalmers and the University of Gothenburg, and I write about logic, automated reasoning, AI and Rust. My current project is Foras, a Rust port of the Otter theorem prover.
The Lab holds longer pieces with interactive figures. Code describes the software I’ve built and how to use it. Writing is everything else, newest first.
Code
- jax-rs NumPy-style arrays and automatic differentiation in Rust, with a WebGPU backend.
- Ripley A daemon that keeps checking whether an LLM coding agent is still trying.
- cargo-x402 Scaffold Rust projects for x402, the HTTP-native payment protocol, from community templates.
- AgentFS A filesystem, key-value store and tool-call audit log for AI agents, on SQLite, PostgreSQL or MySQL.
- AgentSmith Persistent, searchable memory for AI agents, so they remember across restarts.
- Foras A Rust port of the Otter 3.3 automated theorem prover.
- isu A dialogue manager based on Information State Update theory.
- harel Parse, validate and write W3C SCXML statecharts in Rust.
- pgf2json Read compiled Grammatical Framework grammars (PGF) and turn them into JSON.
- gf-core A Rust runtime for Grammatical Framework: parse and generate natural language from one grammar.
- graph_mvcc Multiversion concurrency control for a graph: transactions with snapshot isolation over nodes and edges.
Writing
2025
- miniFIX Tutorial | Part 08 Getting Started with miniFIX.
- miniFIX Tutorial | Part 07 Getting Started with miniFIX.
- miniFIX Tutorial | Part 06 Getting Started with miniFIX.
- miniFIX Tutorial | Part 05 Getting Started with miniFIX.
- miniFIX Tutorial | Part 04 Getting Started with miniFIX.
- miniFIX Tutorial | Part 03 Getting Started with miniFIX.
- miniFIX Tutorial | Part 02 Getting Started with miniFIX.
- miniFIX Tutorial | Part 01 Getting Started with miniFIX.
- miniFIX Tutorial Series Introduction to a series of tutorials on how to use the miniFIX Rust crate.
- PGF Specification 1.0 Notes taken while reading.
- Agentic Micro Economy Random thoughts on technology and economy.
- The Time Lock Short fiction: a group of scientists fight to save their work from an invading force.
2024
- Squarings Modulo N per Second A look at roughly estimating the number of squarings mod n that a consumer computer can perform per second.
- Block Time-Lock Messages Using Bitcoin's blockchain as a timestamping machine for time-locked encryption
- Const Generics Understanding const generics in Rust through a D&D analogy
- Avalonia UI on MacOS Steps to get Avalonia setup on MacOS.
- Logging A quick look at logging in Rust using the log and tracing crates
- Cargo Deploy In this post we'll create a third-party Rust cargo subcommand and see what that process looks like.
- Fixed Point Theory Study notes taken while studying the fundamentals of Fixed Point Theory.
- Solana 101 Just me taking notes while learning Solana Blockchain Development: