Geometric Foundations of Calculus: Infinitesimals as Oriented ZerosHolobrine·Jun 6·4 min readmathcalculusfoundationsinfinitesimal
Mathematicians Warn of AI Threats to Profession As Industry EncroachesBBuild News | Slashdot [Unofficial]·Jun 2·4 min readmathRead more of this story
Cohen overcounted: an existence proofCH is not proven independent, and the door for Woodin's Ultimate L program is open.Holobrine·May 29·8 min readmathcontinuum hypothesisforcingΩ-logic
The Ω Conjecture holds in every syntactically reachable caseHolobrine·May 28·9 min readmathcontinuum hypothesisforcingΩ-logic
Perfect Randomness Realized For the First TimeSSlashdot: News for nerds, stuff that matters, & software [Unoff…·May 28·2 min readmathRead more of this story
Proof sketch of Hugh Woodin's Ω conjectureSet theoretic forcing is a type system.Holobrine·May 26·8 min readtype systemRustlarge cardinalswoodin
A Monad Is Not A BurritoOkay, it kind of is but that's like calling an airplane a car.Sona·Dec 21·7 min readFollowmathcategory-theory
Zig CTFPZig is a functional programming languageSona·Aug 7·3 min readFollowmathcategory theoryprogrammingcomputer science
Fractal RendererRendering fractals in parallel with C lang.Sona·Nov 25·1 min readFollowprogrammingmath
