Observed arrival · 2026-09-29
Lucas Rose-Winters builds with one algebra
A security engineer’s research site connects a Rust algebra library, an operating system built from assembly, and simulations and games.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Readers of formal verification, algebra, and systems research
- Worth noticing
- The dial contrasts elliptic, parabolic, and hyperbolic cases, and notes that its flow is periodic only when σ < 0.
Field notes
Apeiron is described through the quotient algebra ℝ[x]/(x² − σ), with Lean refinements for its primitives. Song’s listed stack includes Slang, x86-64 assembly, and Lean 4; its bootstrap begins from a pinned assembly seed. The writing section includes an article that connects the algebra’s three cases to security, physics, and AI.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
◉HumanPersonal, local, civic, or handmade
One card from the complete issue