Writing
Writing
Algebra, inference, verification, simulation and game systems.
-
The charter, costed and scheduled
The full Sanguine Host charter: nineteen core policies, two candidates, a justice system, a rights floor, costs, sequencing and the first 100 days.
-
From borrowing to bytes
Memory safety from Rust borrowing to native-code verification. Song's first x86-64 multiplication has a Lean proof; the full compiler and kernel are ahead.
-
One multiplication, three geometries
Complex, dual and split-complex numbers through one multiplication rule. Interactive figures show rotations, shears and squeezes, with links to Lean proofs.