Stories by ibobev

Pulling on a Thread

Formally proving a calculation with Claude and Lean

Quivers: A year of linear algebra by drawing arrows

Learning Regular Languages with the TTT Algorithm

C++26: Cleaning up string literals

Sovereign

Why your asthma inhaler is so expensive (in the US)

HFT Latency Monitoring with Probabilistic Calling Context

Kepler's equation led to Bessel functions

A Crank Formula for π

I Stopped Fighting My Tools and Built a Game Engine in D

The Laplace limit for solving Kepler's equation

Faking keyword arguments to functions in C++

LLMs and Almost Good Code

Kan Extensions in Haskell

SmithDB

A cute little trick to running classic IIR filters on the GPU

Aitken Acceleration Before Aitken

Factorio Space Logistics Improvements

LLM Research Papers: The 2026 List (January to May)

1 2 3 4 5 6 7 8 9 10