sthamann/tfpt: Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.

10 hours ago

GitHub Trending

You finished the article!

Want to go deeper or explore more stories?

Full Article on GitHub Trending More Tech News

Reading Mode

Adjust typography and theme to your preference.

Typography

Text Scale

Related Stories

Oracle files to sell $20B in new stock, bonds to finance AI buildout

Hacker News 2 hours ago

Egoless Mathematics in the AI Era

Hacker News 2 hours ago

SOML – A Config Format for Humans

Hacker News 2 hours ago

Agentic Backdoors via Pretraining Poisoning

Hacker News 3 hours ago

Astra can read and write weights to improve Qwen

Hacker News 3 hours ago

Related Stories