✅ Formal Verification - rakeshchow202 · Scour

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs 🔧FPGA

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·9h·Hacker News

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🚁MAVLink

eetimes.com·14h

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🔧FPGA

semiengineering.com·2d

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🔧FPGA

eprint.iacr.org·6d

Animated Logical Graphs • 1 🤖AI/ML

stream.syscoi.com·13h

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 🛠️Compilers

github.com·1d·Hacker News

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

gregorygaines.com·20h·Hacker News

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

gist.github.com·6d·Hacker News

Specification-Driven Development framework for agent-native development 🛠️Software Craft

specdd.ai·1d·Hacker News

The fall of the theorem economy (David Bessis) 🧠Edge AI

lesswrong.com·1d

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

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

AI Omnibus: Next Steps 🧠Edge AI

europedigital.cloud·3d

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

arcadedb.com·3d·Hacker News

Question - CAMM2 Memory specification published 💾Low-Level Code

forums.anandtech.com·5d

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🛠️Software Craft

github.com·16h·Hacker News

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🛠️Compilers

Sum-Check as an Algebraic Tensor Reduction: Part 1 🛠️Compilers

blog.zksecurity.xyz·3d·Hacker News

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🚁MAVLink

eprint.iacr.org·6d

Log in to enable infinite scrolling