📜 Proof Languages - abnv · Scour

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

eprint.iacr.org·5d

All Lean Books and Where to Find Them 🌱Minimal Schemes

lakesare.brick.do·21h·Hacker News

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

cryptobriefing.com·2d·Hacker News

A blueprint for formal verification of Apple corecrypto 🔗Hash Functions

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

Logical Share Splitting for Intuitionists 📈Monotonic Logic

lesswrong.com·6d

writings on math, logic, philosophy and art ⚖️Inference Rules

abuseofnotation.github.io·2d·Lobsters, Hacker News

Joseph Redmon - Survival Strategies for the Robot Rebellion 🌱Minimal ML

pjreddie.com·6d

Apple Security Research: A blueprint for formal verification of Apple corecrypto 🛡️Security Type Systems

discuss.privacyguides.net

·1d

A shallow dive into formal verification 📏Linear Memory

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

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

·2d

Sweet Leilani! Wonkette One-A-Day for 5/21/26! 🔗Concatenative

wonkette.com·3d

Formal Verification Gates for AI Coding Loops 👑Dominator Analysis

reubenbrooks.dev·4d·Hacker News

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

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

When Removing Reductions Goes Wrong: Auditing Reduction Placement in Production ML-DSA Implementations 🔄Copy Propagation

eprint.iacr.org·2d

Cheap code means formal verification is reasonable now 🔍Static Analysis

antfly.io·3d·Hacker News

An Experiment in Formal Verification with Claude 🧩SAT Solvers

blog.succinct.xyz·4d

chore(deps): bump playwright from 1.59.1 to 1.60.0 (#21991) 💬Error Messages

·2d

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 🔄Protocol State Machines

·6d

Formal Verification Gates for AI Coding Loops ✨Gleam

news.ycombinator.com·4d·Hacker News

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 🏷️Memory Tagging

Log in to enable infinite scrolling