✅ Formal Verification - hop1.ng.1357 · Scour

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification ⚙️MLOps

The Final Form of Software Development 🪄Prompt Engineering

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

Forging ZK proofs to mint arbitrary DUSK tokens 🔐Cryptography

osec.io·4h·Hacker News

theswiftway/nool-cli: A DAG based VCS, superset of git for AI agentic world to power the speed of thought without compromising on safety and reliability. 🪄Prompt Engineering

github.com·13h·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🕹️Agentic AI

semiengineering.com·2d

Animated Logical Graphs • 1 💭Reasoning Models

stream.syscoi.com·8h

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🔐Hardware Security

eprint.iacr.org·6d

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🕵️AI Agents

specdd.ai·14h·Hacker News

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🛡️AI Security

lesswrong.com·2d

ethlambda: how we got a 3x speedup in signature aggregation 🪝eBPF

blog.lambdaclass.com·4h

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🎮Deterministic Simulation

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. 🌍Distributed Systems

github.com·1d·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🔁Finite Automata

gist.github.com·6d·Hacker News

test (3) Linux Manual Page 🎮Deterministic Simulation

systutorials.com·4h

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! 🦋Tauri

isocpp.org·58m

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🛡️AI Safety

eetimes.com·9h

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🎮Deterministic Simulation

arcadedb.com·2d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ✏️Code Editors

github.com·11h·Hacker News

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔁Finite Automata

lispy-gopher-show.itch.io·6d

Benchmarking Testing in Automated Theorem Proving 🎮Deterministic Simulation

Log in to enable infinite scrolling