📋 Formal Methods - ndjenks · Scour

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

proofsandintuitions.net·3d·Lobsters, Hacker News

An Experiment in Formal Verification with Claude 💣Binary Exploitation

blog.succinct.xyz·9h

A shallow dive into formal verification 💣Binary Exploitation

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

is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 🌳Parsing

twitter.macworks.dev·7h

We are reaching the structural limits of probabilistic code generation 🏗️AI Infrastructure

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

Formal Verification Gates for AI Coding Loops 💣Binary Exploitation

news.ycombinator.com·3h·Hacker News

LeanBET: Formally-verified surface area calculations in Lean 🏗️AI Infrastructure

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🌐Distributed Systems

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

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🏗️AI Infrastructure

theneurondaily.com·9h

theory uplift differentially benefits safety & is underleveraged 🧠Mindset

lesswrong.com·6h

Super-intelligence Survival Guide: Verification via Proof-Carrying Output 🌐Distributed Systems

eprint.iacr.org·1d

An introduction to TLA+ and its use in parties (2023) 🌳Parsing

innoq.com·4d·Hacker News

Formal Verification Gates for AI Coding Loops 🎲Property Testing

reubenbrooks.dev·13h·Hacker News

How a Compiler Turns Your Code Into CPU Instructions 🔧Compilers

siliconopera.com·2d

Hitchhiker's Guide to Logical Verification (2023 Edition) 💣Binary Exploitation

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

Assumptions weaken properties 🎲Property Testing

Computer Things via buttondown.com·13h

Kernl - Programming Language for LLMs 🔧Compilers

github.com·3d·r/ClaudeAI

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 🏗️AI Infrastructure

·2d

End-to-End Formalization of Quantum Error Correction 🌐Distributed Systems

Portland PLV Group 🔧Compilers

plv.cs.pdx.edu·5d

Log in to enable infinite scrolling