🔷 Agda - beachlorn · Scour

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🎯Lean

arxiv.org·2d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🔬Closure Analysis

symbolic.software·3d

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🔬Closure Analysis

walsenburgtech.com·22h·Hacker News

Breach of Confidence: 10 April 2026 🔌WASI

javvadmalik.com·3h

moonrunnerkc/swarm-orchestrator: Verification and governance layer for AI coding agents. Parallel orchestration with evidence-based quality gates for Copilot, Claude Code, and Codex. ⚙️Program Synthesis

github.com·1d·DEV

Nailed It 📚Forth

speedysnail.com·22h

Cryptographic Provenance for LLM Inference λLambda Calculus

commitllm.com·6d·Hacker News

Your AI Isn’t the Risk. Your Logs Are. 🔌WASI

pub.towardsai.net

·2h

LWN is Promoting LLM Slop, Makes Excuses for "Age Verification" (Surveillance), Promotes Rust (Microsoft GitHub) 🐧Linux

news.tuxmachines.org·1d

Chip Industry Week In Review 💾Embedded Systems

semiengineering.com·8h

Microsoft Locked Out VeraCrypt, WireGuard, and Windscribe from Pushing Windows Updates 🔌WASI

itsfoss.com·10h

Show HN: I built an open protocol for Agent-to-agent commercial negotiation 💧Elixir

a2cn.io·2d·Hacker News

A real-world case of property-based verification ✅Property Testing

ochagavia.nl·5d·Lobsters, Hacker News, r/rust

New Cozy RPG Suddenly Disappears From Steam And It Might Have Something To Do With Ripping Off Tetris 🚀Science Fiction

kotaku.com·1h

Shipping faster, thinking less? The AI code verification trap ⚙️Program Synthesis

leaddev.com·1d·Hacker News

The I-9 Employee Verification Process Is Having a Midlife Crisis ✓Formal Verification

news.bloomberglaw.com·6h

Verification and execution of the scientific literature via chemputation augmented by large language models 🔗Parser Combinators

nature.com·6d

Verification Debt Is Your Next Headache ✓Formal Verification

leadership.garden·2d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code ✓Formal Verification

eprint.iacr.org·3d

Is there a path to Gamification of Verification? ✓Formal Verification

olshansky.info·1d·Hacker News

Loading more...