✅ Formal Verification - rakeshchow202 · Scour

The Final Form of Software Development 💾Low-Level Code

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

Forging ZK proofs to mint arbitrary DUSK tokens 🔧FPGA

osec.io·26m·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🧠Edge AI

gist.github.com·5d·Hacker News

GoogleCloudPlatform/activation-model-scanner: Verify language model safety before deployment by analyzing activation patterns 🧠Edge AI

github.com·15h·Hacker News

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🖥️Microcontrollers

arcadedb.com·2d·Hacker News

Emulating PS2 Floating-Point Numbers: IEEE 754 Differences (Part 1) 📡ESP32

gregorygaines.com·12h·Hacker News

Wasm is not quite a stack machine 💾Low-Level Code

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

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🛠️Software Craft

specdd.ai·10h·Hacker News

Show HN: We put ZK attribute proofs inside x402 payment headers 📡ESP32

news.ycombinator.com·2d·Hacker News

On restraining AI development for the sake of safety 🤖AI/ML

joecarlsmith.com·5h·Hacker News

Behavioral security for AI agents, OS-level interception 🧠Edge AI

quintai.dev·19h·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🛠️Compilers

pocketcasts.com·2d·Hacker News

Functional Programming in Lean - Functional Programming in Lean 🛠️Compilers

leanprover.github.io·3d·Hacker News

In 76% of modern OpenAPI specs, JSON Schema dominates the specification 🛠️Software Craft

sourcemeta.com·2d·Hacker News

Large Language Models are Not Table Saws 🧠Edge AI

agentultra.com·3d·Hacker News

Commission seeks feedback on measures to ensure interoperability with Google's Android under the Digital Markets Act 🤖Android

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

Objects of Categories as Complex Numbers (2002) 🧬Neuromorphic

arxiv.org·4d·Hacker News

AI Companies Can’t Regulate Themselves. They Should Regulate Each Other. 🚁Drones

lawfaremedia.org·1d·Hacker News

CATL says sodium batteries are mainstream-ready, signs massive 60 GWh deal ⚡Power Electronics

electrek.co·2d·Hacker News, Hacker News

Silent Killers - The Therac-25 Radiation Disaster 🔍Reverse Engineering

onlytech.boo·6d·Hacker News

Log in to enable infinite scrolling