Browse posts by tag
Check out the (early) project and source code on GitHub.
This paper introduces a methodology for generating high-quality, diverse training data for Language Models (LMs) in complex problem-solving domains. Our approach, termed …
History of mathematical ideas underlying generic programming. More accessible than EoP.
A C++17 header-only library implementing Computational Basis Transforms - a unified framework for understanding how FFT, logarithmic arithmetic, and Bayesian inference are all instances of the same pattern.
A powerful symbolic expression toolkit for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.
How The Mocking Void's arguments about computational impossibility connect to Echoes of the Sublime's practical horror of exceeding cognitive bandwidth.
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.
The best software I’ve written has mathematical elegance—not because it uses advanced math, but because it embodies mathematical principles of abstraction, composition, and invariants.
In mathematics, elegance …
I defended my mathematics thesis yesterday. It’s done.
Three years. Two degrees. Stage 3 cancer. And now: MS in Mathematics and Statistics from SIUE.
October 13, 2023: Defense complete.
Time for a post-mortem on what worked, what didn’t, …
I’ve decided to pursue a second master’s degree—this time in Mathematics and Statistics at SIUE.
People ask: “You already have an MS in Computer Science. Why go back?”
Computer science gave me tools. …
I’ve been thinking more about mathematics lately—not just as a tool for computation, but as a mode of thought.
There’s something deeply satisfying about mathematical abstraction. The way a good theorem compresses complex phenomena into a …