🧩 Constraint Solvers - abnv · Scour

apalache-mc/apalache: APALACHE: symbolic model checker for TLA+ and Quint 🔒Rust Borrowing

github.com·3d·Hacker News

Announcing Isabelle support for SAW 🏗️Calculus of Constructions

galois.com·2d·Lobsters

Weekly Issue-《疯滑雪月》 🌱Forth Kernels

blog.zhouyiran.link·1d

Striga: Lifting x86 to LLVM IR with Python 🔧LLVM IR

secret.club·3d

A blueprint for formal verification of Apple corecrypto 🔗Hash Functions

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

The Memo - Special edition - First ASI indicators achieved (#4 & #5 mathematics) ∫Mathematical DSLs

lifearchitect.substack.com·4d·Substack

Less-relevant results

Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars 🎯Constraint Solving

the-decoder.com

·18m

Formal Verification Gates for AI Coding Loops 👑Dominator Analysis

reubenbrooks.dev·4d·Hacker News

Why Multi-Agent AI Systems Break 🚂Error Propagation

interestingengineering.substack.com·23h·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

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures 🧮Theorem Provers

cryptobriefing.com·2d·Hacker News

Cheap code means formal verification is reasonable now 🔍Static Analysis

antfly.io·3d·Hacker News

When DeepSeek Gets Stuck: How a Strong Mentor Model Finds the Real Root Cause 🩺Compiler Diagnostics

kunpeng-ai.com·3d·DEV

A GIS MILP framework for electric vehicle charging station placement and optimization: A Case Study in Eindhoven, Netherlands 🤖Embedded Go

sciencedirect.com·3d

An experiment with an unforgiving, draconic LSP to help counteract slop 🏗️Cranelift

github.com·3h·r/vibecoding

An Experiment in Formal Verification with Claude 🧩SAT Solvers

blog.succinct.xyz·4d

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

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

Formal Verification Gates for AI Coding Loops ✨Gleam

news.ycombinator.com·4d·Hacker News

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

lesswrong.com·3d

A shallow dive into formal verification 📏Linear Memory

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

Log in to enable infinite scrolling