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
AI & ML
Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
Hacker News Show0 views
Source：https://github.com/Dr-Logvinovich/round-square/blob/main/README.md
PreviousShow HN: Recto – A tool that lets you visually edit what coding agents createNextShow HN: Search Everywhere at Once. Instantly
Related posts
HTTP 200, zero bytes
0dev.to
Anatomy of a skill file an AI agent will actually follow
0dev.to
VR 시청 파이프라인 위에 얹은 양안 훈련 — Quest 2.10 PTC와 Amblyotube 구조 분석
0dev.to
Sequoia partners reportedly blindsided when Roelof Botha joined SpaceX board
0TechCrunch
Netflix AI Discover: Stop Endless Scrolling for You
0dev.to
Sonos 27voice Early Access: Feature Deep Dive
0dev.to