🔬 Refinement Types - matmat · Scour

Verification Modulo Tested Library Contracts ⚖️Verification Calculi

Antithesis BugBash Conference 2026 ⚙️Proof Engineering

emptysqua.re·7h

Aegis Solis Archive: Hash manifest for cross-platform verification ✅Archive Checksums

archive.org·2d·Hacker News

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

zenodo.org·2h·Hacker News

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

github.com·18h·Hacker News

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

dialtoneapp.com·2d·Hacker News

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

midspiral.com·3d·Lobsters, Hacker News

ne_ssl_set_verify (3) Linux Manual Page ✅Shell Verification

systutorials.com·4h

Using code signing on z/OS 🔒Hardware Attestation

colinpaice.blog·2d

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

dsyme.net·5d·Hacker News

OWASP Artificial Intelligence Security Verification Standard AISVS Docs 🔒WASM Capabilities

owasp.org·2d·Hacker News

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

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

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

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

FOSS Weekly #26.17: Ubuntu 26.04 Release, Firefox Controversy, Positive News on Age-verification and More Linux Stuff 🐧FOSS

itsfoss.com·2d

Passmark: The open-source Playwright library for AI regression testing 🧪Property-Based Testing

passmark.dev·6d·Hacker News

Issue with AWS Ops Wheel (CVE-2026-6911 and CVE-2026-6912 🔒WASM Capabilities

aws.amazon.com·1d·Hacker News

The EU’s age verification app has a privacy problem — and it may be more than just a 'bug in an app' 🛡Cybersecurity

·1d

Best Practices in Prompt Engineering for AI Agents in Solidity Smart Contract Auditing 🏠Homelab Pentesting

hackernoon.com·5d

Android wants to replace email verification codes with one-tap credentials 🔐PKI Archaeology

techspot.com·1d

Martin Fowler on tech debt in an agentic world and the importance of verification systems. (2026/04/23) 🧲Magnetic Philosophy

markjgsmith.com·3d

Log in to enable infinite scrolling