✅ Formal Verification - bassam_exe · Scour

The Final Form of Software Development 🔍Reverse Engineering

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification ⛓️Blockchain

gist.github.com·6d·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🔢Homomorphic Encryption

osec.io·5h·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ⛓️Blockchain

github.com·12h·Hacker News

Specification-Driven Development framework for agent-native development 🔍Reverse Engineering

specdd.ai·1d·Hacker News

Emulating PS2 Floating-Point Numbers: IEEE 754 Differences (Part 1) 🔍Reverse Engineering

gregorygaines.com·16h·Hacker News

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon 🔢Homomorphic Encryption

arxiv.org·3d·Hacker News

On restraining AI development for the sake of safety 🔒Hardware Security

joecarlsmith.com·9h·Hacker News

Show HN: We put ZK attribute proofs inside x402 payment headers ⛓️Blockchain

news.ycombinator.com·2d·Hacker News

Functional Programming in Lean - Functional Programming in Lean 📐Mathematical Logic

leanprover.github.io·3d·Hacker News

Behavioral security for AI agents, OS-level interception 🔒Hardware Security

quintai.dev·1d·Hacker News

Alaska woman sues troopers, TV network for exploiting her role as a confidential informant 🎪Social Engineering

alaskabeacon.com·1h·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🤖Machine Learning

pocketcasts.com·2d·Hacker News

Wasm is not quite a stack machine ⚡Systems Programming

purplesyringa.moe·4d·Lobsters, Hacker News, Hacker News, r/programming

New Autonomous Vehicle Regulations Strengthen Oversight and Enforcement, Authorize Trucks and Transit 👁️Biometrics

email.dmvonline.ca.gov·1d·Hacker News

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB ⛓️Blockchain

arcadedb.com·3d·Hacker News

Commission seeks feedback on measures to ensure interoperability with Google's Android under the Digital Markets Act 🕶️Privacy Tech

digital-strategy.ec.europa.eu·1d·Hacker News

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🔍Reverse Engineering

specdd.ai·14h·Hacker News

AI Companies Can’t Regulate Themselves. They Should Regulate Each Other. 🎯Game Theory

lawfaremedia.org·1d·Hacker News

In 76% of modern OpenAPI specs, JSON Schema dominates the specification ⛓️Blockchain

sourcemeta.com·3d·Hacker News

Log in to enable infinite scrolling