Browse posts by tag
Training LLMs on mathematical reasoning by inverting easy-to-solve problems: generate derivatives, reverse them into integration exercises with full step-by-step solutions.
There is a beautiful, settled theory of intelligence, and there are the crude systems we shipped. The distance between them is where safety is actually decided.
We taught sand to think. We did it before we learned to say what we wanted it to do. There is a real, settled, and genuinely beautiful theory of what intelligence is: Bayes' theorem, Solomonoff's universal prior, and expected-utility maximization, …
History of mathematical ideas underlying generic programming. More accessible than EoP.
A Python library for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.
The formal foundations of cosmic dread. Lovecraft's horror resonates because it taps into something mathematically demonstrable: complete knowledge is impossible, not as humility, but as theorem.
How mathematical principles, generality, composability, invariants, and minimal assumptions, translate into better software.
I defended my mathematics thesis. Three years, stage 3 cancer, and a second master's degree. Here is what worked and what did not.
I already have an MS in Computer Science. Now I'm going back for Mathematics and Statistics, because I kept hitting walls where I could use methods but not derive them.
What makes mathematics beautiful: generality, inevitability, compression, and surprise. And why abstraction matters for software.