📐 Formal Methods - c13e · Scour

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications ⚙️Compiler Design

proofsandintuitions.net·3d·Lobsters, Hacker News

An Experiment in Formal Verification with Claude ⚡Zig

blog.succinct.xyz·9h

A shallow dive into formal verification λFunctional Programming

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

is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 🤖AI Engineering

twitter.macworks.dev·7h

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

arxiv.org·2d·Hacker News

Portland PLV Group 🐫OCaml

plv.cs.pdx.edu·5d

Formal Verification Gates for AI Coding Loops 📡Erlang

news.ycombinator.com·3h·Hacker News

Formal Verification Gates for AI Coding Loops 📡Erlang

reubenbrooks.dev·13h·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean ⚡Effect Systems

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

Kernl - Programming Language for LLMs ⚙️Compiler Design

github.com·3d·r/ClaudeAI

theory uplift differentially benefits safety & is underleveraged 🔢Type Theory

lesswrong.com·6h

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure ⚗️BEAM Ecosystem

·2d

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🔁Spaced Repetition

theneurondaily.com·9h

We are reaching the structural limits of probabilistic code generation 🤖AI Engineering

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

Programmable Phones 🧠Local AI

tailrecursion.com·5d·Hacker News

Assumptions weaken properties 🔢Type Theory

Computer Things via buttondown.com·13h

How a Compiler Turns Your Code Into CPU Instructions ⚙️Compiler Design

siliconopera.com·2d

Humans are the only primates with a lopsided hand preference 🔣Category Theory

boingboing.net·4h

Reading Proof Objects and Completed Rewrites from eprover into Knuckledragger 🔍Parsing

philipzucker.com·4d

Int’l Bytes: Indigo, Sparkle, Ciena, GTT, DE-CIX ⚗️BEAM Ecosystem

api.follow.it·15h

Log in to enable infinite scrolling