Neural networks, logic programming, and things I take apart to understand.
Derived from scratch. Checked against running code.
recent 3 entries
2026.10.22 ml ·python
Backprop is just the chain rule with bookkeeping
One idea, one data structure. The whole engine in forty lines.
2026.09.30 logic ·prolog
Unification is pattern matching that works both ways
Why Prolog runs a program backwards, and what it costs.
2026.08.14 perf ·notes
The flamegraph is lying to you about width
Width is not work. A short note on self time.