search
The Proof in the Code
Trends
- 1Harvard Physicist Uses AI to Crack 400 Scientific Problems in Months●Harvard Physicist Teams with AI to Solve 400 Scientific Problems in Three Months
A Harvard physicist reports that, working alongside artificial intelligence tools, he solved 400 scientific problems in three months — a pace he credits to AI handling calculations, literature review and code while he directed the research. Commenters are split: some call it proof that AI can dramatically accelerate real science, others question how rigorous the problems were and whether the results can be independently verified.
- 2
A claim is circulating among developers that a Chinese AI model is 'stealing' code, suggesting it may be trained on or reproduce programmers' work without permission. The warning has drawn large attention in the software community, where concerns about code provenance, licensing and data scraping by AI companies are already running high. No specific model or proof is named in the discussion, so the accusation remains unverified.
- 3Critical Stirling PDF flaw with public exploit demands urgent patch●Details and a PoC are public for CVE-2026-85714, a 9.1 Stirling PDF RCE via crafted SQL import. Upgrade to version 2.13.
A critical remote code execution vulnerability in Stirling PDF, tracked as CVE-2026-85714 and rated 9.1, has full technical details and a proof-of-concept exploit publicly available. The flaw stems from a crafted SQL import affecting the bundled H2 database. Administrators are urged to upgrade to version 2.13.2 immediately, as the public exploit makes attacks likely.
- 4New Book Review: 'The Proof in the Code' Draws Attention▼‘The Proof in the Code’ Review: Lean, Mean Computing Machine
The Wall Street Journal has published a review of 'The Proof in the Code', describing it as a 'lean, mean computing machine'. The review suggests the book offers a tight, efficient take on computing and its ideas, and is now drawing reader attention following the write-up.
Repos
- edenfunf/reelmimic Show it a video you love. Get a new video in the same style. An AI crew (Claude Code or Codex) plans, builds and reviews
- riba2534/claude-opus-5-5-demo claude-opus-5-5-demo
- devagrawal09/jev-review A staged code-review workflow and local dashboard built with TypeSafe Jev.
- dsummersl/treepeat Code similarity detection using treesitter