✅ Formal Verification - ghosh.debasish · Scour

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🧪Property-based Testing

proofsandintuitions.net·3d·Lobsters, Hacker News

How we used Quint to find over 10 bugs in SQLite while hardening Turso 🔧SMT Solvers

turso.tech·1d·Lobsters, Hacker News

Assumptions weaken properties 🧪Property-based Testing

Computer Things via buttondown.com·14h

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems 🔀CRDTs

arxiv.org·2d·Hacker News

An Experiment in Formal Verification with Claude 📐Theorem Proving

blog.succinct.xyz·11h

Formal Verification Gates for AI Coding Loops 🔧SMT Solvers

news.ycombinator.com·4h·Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition) 📐Theorem Proving

lean-forward.github.io·5d·Hacker News

A shallow dive into formal verification 📐Theorem Proving

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

theory uplift differentially benefits safety & is underleveraged 📜Constitutional AI

lesswrong.com·8h

We are reaching the structural limits of probabilistic code generation 🔧SMT Solvers

logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial

7Artisans Launches the Z-Mount’s Most Affordable 135mm f/1.8 Prime 🔒Isolation Levels

petapixel.com·12h

RT by @ylecun: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBen... 📐Theorem Proving

twitter.macworks.dev·6d

CO 2 -enabled recovery 🛢️Database Internals

·18h

9 of the Coolest Vintage Rigs at Overland Expo 2026 🦀Rust

hagerty.com·2d

Portland PLV Group 🔤PLT

plv.cs.pdx.edu·5d

Better helium reporting to improve fission and fusion materials modeling 🛢️Database Internals

OProver: A Unified Framework for Agentic Formal Theorem Proving 📐Theorem Proving

Hydrostor’s Underground Pumped Hydro Ontario Storage Plan Runs Into the BESS Benchmark 💾Storage Engines

cleantechnica.com·23h

Kernl - Programming Language for LLMs ⚙️Compilers

github.com·3d·r/ClaudeAI

7 years ago today, I wrote a definitive piece on Nujabes' career, piecing together interviews and insight from his family and friends, collected over the course... 📐Theorem Proving

neverquitehome.com·1d·r/hiphopheads

Log in to enable infinite scrolling