MikeTrendsTrends right now
AI: reposAPI

search

The Proof in the Code

Trends

  1. 1
    Harvard Physicist Uses AI to Crack 400 Scientific Problems in Months●Harvard Physicist Teams with AI to Solve 400 Scientific Problems in Three Months𝕏xSE1K8 h ago

    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. 2
    A software engineer's guide to how Lean proofs work●Anatomy of a Lean proof for software engineersYhnTechnologySoftware10447 min ago

    Engineer Agoston Biro has published a detailed walkthrough of a Lean proof, breaking down how the theorem prover verifies mathematical statements and what each part of a proof means in practice. The piece is aimed at software engineers rather than mathematicians, connecting Lean's tactics and type theory to ideas familiar from programming. Readers are discussing it as an accessible entry point into formal verification and proof assistants.

  3. 3
    New Book Review: 'The Proof in the Code' Draws Attention▼‘The Proof in the Code’ Review: Lean, Mean Computing Machine✉newsCultureBooks13 h ago

    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.

  4. 4
    Chinese AI model accused of taking developers' code●A Chinese AI model is stealing your code▶youtubeTechnologySoftware94.6K2 d ago

    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.

  5. 5
    Critical 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.MmastodonTechnologySoftware121 h ago

    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.

Repos