Hacker GitHub

← All repos

westurner/sustainablefactory

View on GitHub ↗ ★ 2 Lean

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2026-07-05 · latest 2026-11-01

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
  1. I have GrC(2,4) with E_rel=0 against Pilot-Wave in the double-slit and n-slit here: https://github.com/westurner/sustainablefactory/blob/main/do... : > 3.1 Why Real Positive Gr≥0(2,4) Crossing Minors Have a 50 Unphased Error—and How…
  2. …factory/docs/grassmannian-gravity-from-qed-scattering-paper.md at main · westurner/sustainablefactory https://github.com/westurner/sustainablefactory/blob/main/do... : > An arXiv-ready formal verification paper deriving planetary orbits,…
  3. …that it will form Struvite. This one is from a chat called, "Multifunctional biochemical matrix"; https://github.com/westurner/sustainablefactory/blob/main/do... I tried to add headings to the chats to make them something. But I just found…