Hacker News

Article URL: https://en.wikipedia.org/wiki/Cherrapunji

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

Points: 1

# Comments: 0

Based on Naur's "Programming as Theory Building" (1985) Asks agent to create a problem-theory artifact before writing code.

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

Points: 1

# Comments: 0

Article URL: https://github.com/Shack870/qwen-air-qpu-mcp-lab

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

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=chJHB-btMNI

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

Points: 3

# Comments: 0

Article URL: https://buildwithstem.com

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

Points: 1

# Comments: 0

Article URL: https://www.scientificamerican.com/article/white-house-proposes-new-rules-giving-political-appointees-final-say-on-research-grants/

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

Points: 11

# Comments: 1

Article URL: https://it-solutions-usa.github.io/mac-admin/reports/macos_restore_tdm_report.html

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

Points: 2

# Comments: 0

Article URL: https://github.com/rand55/project-aedis-framework/tree/main

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

Points: 1

# Comments: 0

Article URL: https://www.whitehouse.gov/wp-content/uploads/2026/05/2026-USCT-Strategy-1.pdf

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

Points: 4

# Comments: 1

Article URL: https://github.com/ON1-Hao/ON1/blob/main/README_G116.md

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

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=UhhZu0ZHdw4

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

Points: 2

# Comments: 1

Article URL: https://retinadesk.com/tools/external-display-support/

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

Points: 2

# Comments: 0

Article URL: https://www.theguardian.com/science/2026/may/23/stephen-hawking-father-worried-son-does-not-study-much-diaries

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

Points: 1

# Comments: 0

To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.

The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.

Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM.

Also check out the web demo built around the verified core linked in the readme.

It supports multipolygons including holes, self intersections, and overlapping edges.

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

Points: 1

# Comments: 0

Article URL: https://jivx.com/randoseru

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

Points: 1

# Comments: 0

Article URL: https://movq.de/blog/postings/2026-05-29/0/POSTING-en.html

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

Points: 1

# Comments: 0

Article URL: https://www.nature.com/articles/s41556-026-01964-2

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

Points: 1

# Comments: 0

Article URL: https://angrystaffofficer.com/2026/05/28/what-a-98-year-old-childrens-book-teaches-us-about-ai/

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

Points: 2

# Comments: 0

Article URL: https://textile-lang.com/

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

Points: 3

# Comments: 1

Article URL: https://interestingengineering.com/science/new-triassic-fossil-two-legged-crocodile

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

Points: 1

# Comments: 0