Monday, November 9, 2026 Today’s Paper
Log in Join free
Vol. I · No. 41 Texas Edition
Monday, Nov 9
Xultr
Texas first. Then the world.
Always free Updated 1 minute ago
Read. React. Discuss.
Tech

Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof

Hacker News (Newest) By DRLogvinovich 0 views 0 comments

Article URL: https://github.com/Dr-Logvinovich/round-square/blob/main/README.md

Comments URL: https://news.ycombinator.com/item?id=50415474

Points: 4

# Comments: 0

Hacker News (Newest) Original story · github.com
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read