Show HN: Zero-axiom Lean 4 proof of Yang–Mills R^4 defect via Peano arithmetic

Hacker News Show2026-11-13 14:470 views

Points: 3

# Comments: 0

Article URL: https://github.com/talgent-work/workbench Comments URL: https://news.ycombinator.com/item?id=50479613 Point

Article URL: https://github.com/grfdsasdvef/awesome-hft-cpp23-internals Comments URL: https://news.ycombinator.com/item?

Avatar/pet plugin for Codex/Claude/DSH/Doubao/Yuanbao... It will change the attire to look like an expert the topic/ques

Article URL: https://github.com/gfazioli/glancecard Comments URL: https://news.ycombinator.com/item?id=50480596 Points:

The yarns made of seaweed, shrimp shells and gelatin concocted in the Hybrid Body Lab seemed to have serious defects. Wh

In this tutorial, you’ll build a simple enemy spawning system in Unity. When the player enters a trigger, enemies appear

Related posts