🔍 Formal Verification - tiferrei · Scour

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

Circuit Transformations, Loop Fusion, and Inductive Proof 🏹Effect Systems

natetyoung.github.io·1d·Hacker News

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 🔍CBMC

arxiv.org·1d

The Lean Programming Language and Theorem Prover 🧮Lean4

leodemoura.github.io·3d·Hacker News

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

AI That Writes Linear Specs from Sentry, GitHub, & Slack ✓Automated Theorem Proving

specsource.ai·2d·Hacker News

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🛡️seL4

github.com·5d·Hacker News

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

Program Analysis: A Pragmatic Approach 🔬Static Analysis

homes.cs.washington.edu·6d·Lobsters

Hybrid Constructions: The Post-Quantum Safety Blanket 💻QEMU

soatok.blog·1d·Lobsters, Hacker News, r/crypto

Agentic Specification Engineering: Agile Was Never Supposed to Mean Making It Up as You Go 🔄Reproducible Builds

medium.com·2d·Hacker News

An open framework for scoring AI agent production readiness 👁️System Observability

awaf.ai·6d·Hacker News

Lean proved this program was correct; then I found a bug. 🧮Lean4

kirancodes.me·1d·Lobsters, Hacker News, Hacker News, r/programming

Everything Should Be Typed: Scalar Types Are Not Enough 🎯GADT

sot.dev·1d·Lobsters, Hacker News, r/programming, r/rust

Autonomous AI Penetration Testing ✓Automated Theorem Proving

llmtary.com·6d·Hacker News

AI #163: Mythos Quest 🧠Apple Neural Engine

lesswrong.com·6d

brigalss-a/decision-passport-core: Append-only trust layer for AI agent actions with offline verification, tamper detection, and portable proof bundles. 🔒Protocol Verification

github.com·2d·Hacker News

A Deductive System for Contract Satisfaction Proofs 🧠Automated Reasoning

arxiv.org·1d

lakestream-io/leaderless-log-protocol: The spec of leaderless log protocol used in Ursa 🌐NetworkProtocols

github.com·4d·Hacker News

Systematic API Testing Through Model Checking and Executable Contracts 💎Refinement Types

arxiv.org·1d

Loading more...