Saturday, October 17, 2026

CS & research

AI as a research and engineering tool was the common thread, from cryptographic seed analysis to quantum circuit design. The PostgreSQL 19 delay shows the downside when AI-found bugs exceed human capacity to fix them. The rest was practitioner writing on languages and tooling.

What happened

• The bounty for finding the seeds behind the NIST elliptic curves has been claimed, per Filippo Valsorda's post. Anthropic's research page says Claude analysis revealed the origins of the ECDSA curve seed values. Details beyond the summaries are not available. Lobsters ↗

• Anthropic published research on using Claude to design more efficient quantum circuits. Hacker News (front page) ↗

• Stanford PhD student Samuel King discusses using a generative AI model to design genetic blueprints for microscopic viruses, in an MIT Technology Review roundtable. MIT Technology Review ↗

• A STAC-M3 benchmark run shows the L tick database 1.0 on an Oxide OxVM with 128 vCPUs and 1.25 TiB of RAM. Lobsters ↗

• A blog post describes the new C++26 debugging header and its facilities. Hacker News (front page) ↗

• The Xena Project blog discusses approaches to formalizing all of mathematics in a proof assistant. Hacker News (front page) ↗

Articles the model saw · 10

• Roundtables: A Conversation With the Creator of AI-Designed Viruses3

  Stanford PhD student Samuel King discusses using a generative AI model to design genetic blueprints for microscopic viruses.

  MIT Technology Review18 h agoaibiologygenerative-ai

  Feed excerpt

  Listen to the session or watch below Can AI design new life forms? In 2025, Stanford University PhD student Samuel King came up with a preliminary answer when he used a generative AI model to propose genetic blueprints for microscopic viruses. It isn’t yet an example of AI-generated life, but that could be next. Watch…

• Postgres 19 delayed after AI reviewers find more bugs than humans can fix3

  PostgreSQL 19 has been delayed because AI-based code reviewers found more bugs than maintainers can fix.

  Hacker News (front page)21 h agopostgresqlai-reviewopen-source

  Feed excerpt

  Article URL: https://www.theregister.com/databases/2026/10/16/postgres-19-delayed-after-ai-reviewers-find-more-bugs-than-humans-can-fix/5303471 Comments URL: https://news.ycombinator.com/item?id=50119991 Points: 87 # Comments: 21

• Developing for Debugging (2025)2

  A 2025 essay argues for developing software with debugging in mind, covering design choices that ease diagnosis.

  Lobsters5 h agodebuggingsoftware-engineering

  Feed excerpt

  Comments

• Some quick thoughts on Unit Testing ActivityPub2

  A blog post shares quick thoughts on unit testing ActivityPub implementations, with no summary detail available.

  Lobsters6 h agoactivitypubtestingfederation

  Feed excerpt

  Comments

• STAC-M3 Benchmark: L tick database 1.0 on Oxide OxVM w/ 128 vCPUs & 1.25 TiB of RAM2

  A STAC-M3 benchmark run shows the L tick database 1.0 performing on an Oxide OxVM with 128 vCPUs and 1.25 TiB RAM.

  Lobsters7 h agobenchmarkdatabaseperformance

  Feed excerpt

  It's using https://lv1.sh/ Comments

• Interactive refactoring in gopls2

  A Lobsters post covers interactive refactoring features in the Go language server gopls.

  Lobsters11 h agogogoplsdeveloper-tools

  Feed excerpt

  Comments

• The NIST Elliptic Curves Seeds Bounty Has Been Claimed2

  A bounty offered for finding the seed behind NIST elliptic curves has been claimed, per a Lobsters discussion post with no details.

  Lobsters16 h agocryptographynistelliptic-curves

  Feed excerpt

  Comments

• C++26: The New Debugging Header2

  A blog post describes the new C++26 debugging header and its facilities.

  Hacker News (front page)18 h agocppprogramming

  Feed excerpt

  Article URL: https://www.sandordargo.com/blog/2026/09/30/cpp26-debugging Comments URL: https://news.ycombinator.com/item?id=50122736 Points: 27 # Comments: 1

• How to Formalize All of Mathematics2

  Xena Project blog post discusses approaches to formalizing all of mathematics in a proof assistant.

  Hacker News (front page)22 h agoformal-verificationmathematicslean

  Feed excerpt

  Article URL: https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ Comments URL: https://news.ycombinator.com/item?id=50118512 Points: 10 # Comments: 2

• I Love Software Rendering2

  A blog post argues for the continued value of software rendering in graphics programming, drawing significant discussion on Hacker News.

  Hacker News (front page)yesterdaygraphicsrenderingessay

  Feed excerpt

  Article URL: https://www.jamesfmackenzie.com/2026/10/13/i-love-software-rendering/ Comments URL: https://news.ycombinator.com/item?id=50117746 Points: 138 # Comments: 96