🏗️ Calculus of Constructions - abnv · Scour

All Lean Books and Where to Find Them 🌱Minimal Schemes

lakesare.brick.do·20h·Hacker News

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures 🧩Constraint Solvers

cryptobriefing.com·2d·Hacker News

Apr-May 2026 AI Security via Formal Methods 🧩SAT Solvers

lesswrong.com·3d

Announcing Isabelle support for SAW 🪆Embedded DSLs

galois.com·2d·Lobsters

We are reaching the structural limits of probabilistic code generation 🎭Program Synthesis

logicalintelligence.com·6d·r/SoftwareEngineering, r/artificial, r/cogsci, r/compsci

chore(deps): bump devenv from `0d0be23` to `d4f5da2` (#22081) 🌐Portable Assembly

·2d

Proofs for programs, programs for proofs (bobkonf2026) 📜Proof Languages

cdn.media.ccc.de·5d

Super-intelligence Survival Guide: Verification via Proof-Carrying Output ⚖️Inference Rules

eprint.iacr.org·5d

Less-relevant results

A blueprint for formal verification of Apple corecrypto 🔗Hash Functions

security.apple.com·2d·Lobsters, Hacker News, r/crypto, r/programming

AI is speeding up the quantum threat to crypto, security experts warn 🔗Hash Functions

coindesk.com·15h

Apple Security Research: A blueprint for formal verification of Apple corecrypto 📜Proof Languages

discuss.privacyguides.net

·1d

Why Multi-Agent AI Systems Break 🚂Error Propagation

interestingengineering.substack.com·17h·Substack

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🚂Error Propagation

jameshaydon.github.io·6d·Lobsters, Hacker News, r/programming

Apple shares iPhone and Mac post-quantum cryptography code on GitHub 🔄Nanopass

9to5mac.com·2d

Formal Verification Gates for AI Coding Loops 👑Dominator Analysis

reubenbrooks.dev·4d·Hacker News

build(deps): bump idna from 3.11 to 3.15 (#3147) 🔄Incremental Compilation

·2d

An Experiment in Formal Verification with Claude 🧩SAT Solvers

blog.succinct.xyz·4d

A shallow dive into formal verification 📏Linear Memory

vitalik.eth.limo·6d·Hacker News, Hacker News

languagedesignnotes 🔬programming language theory

Formal Verification Gates for AI Coding Loops ✨Gleam

news.ycombinator.com·4d·Hacker News

Log in to enable infinite scrolling