✅ Formal Verification - avonkannewurff · Scour

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification 🌐Distributed Systems

The Final Form of Software Development 🌐Distributed Systems

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

Forging ZK proofs to mint arbitrary DUSK tokens 🛡️Byzantine Faults

osec.io·2h·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. 🌐Distributed Systems

github.com·11h·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🌐Distributed Systems

semiengineering.com·2d

Animated Logical Graphs • 1 🌐Distributed Systems

stream.syscoi.com·6h

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🌐Distributed Systems

eprint.iacr.org·6d

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

specdd.ai·12h·Hacker News

The fall of the theorem economy (David Bessis) 🤖AI

lesswrong.com·1d

test (3) Linux Manual Page 🔧Hardware Dev

systutorials.com·3h

Behavioral security for AI agents, OS-level interception 🤖AI

quintai.dev·21h·Hacker News

ethlambda: how we got a 3x speedup in signature aggregation 🛡️Byzantine Faults

blog.lambdaclass.com·2h

ECAPI-talizing on Conversions with the Final ECAPI spec 🌐Distributed Systems

iabtechlab.com·2d

Replacing probabilistic AI with deterministic math and Dafny formal verification 🛡️Byzantine Faults

gist.github.com·5d·Hacker News

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🌐Distributed Systems

eetimes.com·7h

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 💾Checkpointing

arcadedb.com·2d·Hacker News

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🌐Distributed Systems

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

Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions 🌐Distributed Systems

venturebeat.com·2d

Machine-Speed Defense for Lean Security Teams 💻Operating Systems

malware.news·1d

Functional Programming in Lean - Functional Programming in Lean 🌐Distributed Systems

leanprover.github.io·3d·Hacker News

Log in to enable infinite scrolling