Feed aggregator

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

Article URL: https://www.theguardian.com/society/2026/may/29/groundbreaking-genomic-test-spare-breast-cancer-patients-chemotherapy-hormone-therapy

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

Points: 3

# Comments: 0

Article URL: https://elizabethginexi.substack.com/p/summary-of-key-changes-in-ombs-proposed

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

Points: 1

# Comments: 0

Article URL: https://www.quantamagazine.org/key-chemistry-question-answered-no-quantum-computer-required-20260529/

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

Points: 2

# Comments: 0

Article URL: https://saffron.health

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

Points: 2

# Comments: 0

Article URL: https://www.bloomberg.com/news/articles/2026-05-29/goldman-s-model-shows-spain-as-26-probable-world-cup-winner

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

Points: 4

# Comments: 0

Article URL: https://www.bleepingcomputer.com/news/security/google-chrome-adds-session-cookie-theft-protection-for-all-users/

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

Points: 2

# Comments: 0

Article URL: https://www.youtube.com/playlist?list=PLgVIJ9TpEgOmHj0ADDpf-qGckYEJs4QCE

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

Points: 3

# Comments: 0

Article URL: https://feds-will-find.you/blog/youre-underutilizing-javas-standard-library

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

Points: 1

# Comments: 0

Article URL: https://www.popsci.com/technology/worlds-largest-remote-controlled-boeing7779x/

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

Points: 2

# Comments: 0

Article URL: https://github.com/multigres/multigres/releases/tag/v0.1.0

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

Points: 1

# Comments: 0

Article URL: https://arxiv.org/abs/2501.15699

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

Points: 1

# Comments: 0

Article URL: https://en.wikipedia.org/wiki/Wikipedia:Wiki_Workers_United_solidarity

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

Points: 3

# Comments: 1