🔬 Refinement Types - matmat · Scour

Verification Modulo Tested Library Contracts ⚖️Verification Calculi

Capacity oracles 🎯Performance Proofs

ethresear.ch·2d

Antithesis BugBash Conference 2026 ⚙️Proof Engineering

emptysqua.re·9h

Show HN: Quantum Temporal Cryptography – spec for interplanetary trust chains 🔐Quantum Security

zenodo.org·4h·Hacker News

rsoury/drive-agent-scope-in-ci: CI wiring for PR description-driven agent spec/scope verification. ⚙️Proof Engineering

github.com·20h·Hacker News

Anthropic Tool Access, EU App Bypasses, and Active Zero-Days 🏺Kerberos Archaeology

bishopfox.com·1d

LemmaScript: A Verification Toolchain for TypeScript via Dafny ✅Format Verification

midspiral.com·4d·Lobsters, Hacker News

The Authenticity Mandate | Human-Centered Change and Innovation 🔗Data Provenance

bradenkelley.com·23h

Distro Compliance Tracker 🔌Operating system internals

agelesslinux.org·1d

FSF settles the Office Suite debacle, good news on age verification 🕸️WASM Archives

youtube.com·16h

Lattice-based Ring Verifiable Random Functions 🔲Lattice Cryptography

eprint.iacr.org·5d

Near-term fermionic simulation with subspace noise tailored quantum error mitigation ⚛️Quantum Error Correction

Turning a Stripe subscription into a bot-buyable API 🎫Kerberos Attacks

dialtoneapp.com·2d·Hacker News

Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour ⚔️Lean Tactics

dsyme.net·5d·Hacker News

Using code signing on z/OS 🔒Hardware Attestation

colinpaice.blog·2d

Verus is a tool for verifying the correctness of code written in Rust 🦀Rust Verification

verus-lang.github.io·5d·Hacker News

Verification CLT via Python3.14t on top of Arch Linux with CachyOS Kenel and Cosmic 1.0.10 preinstalled 🧠Lisp Dialects

dbaxps.blogspot.com·2d

OWASP Artificial Intelligence Security Verification Standard AISVS Docs 🔒WASM Capabilities

owasp.org·2d·Hacker News

Claude Code 2.1: The Complete xHigh and Auto-Verification Guide (2026) ⚡Proof Automation

sitepoint.com·3d

Why AI coding speed does not translate into engineering speed ⚙️Proof Engineering

blog.reqproof.com·2d·DEV, Hacker News

Log in to enable infinite scrolling