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

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🌐Distributed Systems

github.com·14h·Hacker News

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

semiengineering.com·2d

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

eprint.iacr.org·6d

Animated Logical Graphs • 1 🌐Distributed Systems

stream.syscoi.com·11h

Specification-Driven Development framework for agent-native development 🌐Distributed Systems

specdd.ai·1d·Hacker News

test (3) Linux Manual Page 🔧Hardware Dev

systutorials.com·7h

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

lesswrong.com·1d

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

gist.github.com·6d·Hacker News

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

blog.lambdaclass.com·7h

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

iabtechlab.com·2d

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

eetimes.com·12h

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

leanprover.github.io·3d·Hacker News

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

AI Omnibus: Next Steps 🤖AI

europedigital.cloud·3d

Show HN: We put ZK attribute proofs inside x402 payment headers 🛡️Byzantine Faults

news.ycombinator.com·2d·Hacker News

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

quintai.dev·1d·Hacker News

Log in to enable infinite scrolling