Hi, I’m Patrick. 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, an automated theorem prover written in Rust.
Research holds longer pieces with interactive figures. Labs are working projects you can try or read about. Agents are my small code projects, one per crate family. The Blog is everything else, newest first.
Research
Blog
Nothing matches that search.
2025
- TLS FIX Acceptors A miniFIX tutorial.
- SOFH TCP Servers A miniFIX tutorial.
- An Interactive Trading Client A miniFIX tutorial.
- JSON to FIX Message Conversion A miniFIX tutorial.
- Custom FIX Specifications and Code Generation A miniFIX tutorial.
- Encoding FIX Messages A miniFIX tutorial.
- Streaming FIX Message Decoding A miniFIX tutorial.
- Decoding FIX Messages A miniFIX tutorial.
- 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: