✅ Formal Verification - meib · Scour

Benchmarking Testing in Automated Theorem Proving 🔍Static Analysis

Sequent Calculi for Public Announcement Logic and Action Model Logic 🔢Type Theory

philsci-archive.pitt.edu·6d

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. 🔢Type Theory

github.com·23h·Hacker News

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🪝eBPF

eetimes.com·3h

The Final Form of Software Development ⚙️Compilers

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

The fall of the theorem economy (David Bessis) 🔢Type Theory

lesswrong.com·21h

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🪝eBPF

eprint.iacr.org·6d

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

specdd.ai·7h·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) ⚡Concurrency

semiengineering.com·2d

Functional Programming in Lean - Functional Programming in Lean ⚙️Compilers

leanprover.github.io·2d·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🪝eBPF

gist.github.com·5d·Hacker News

ECAPI-talizing on Conversions with the Final ECAPI spec 🪝eBPF

iabtechlab.com·2d

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔍Static Analysis

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

Machine-Speed Defense for Lean Security Teams 🔐Cryptography

malware.news·1d

AI Omnibus: Next Steps 🪝eBPF

europedigital.cloud·3d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🔍Static Analysis

Wasm is not quite a stack machine 🔩Assembly

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

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🔍Static Analysis

github.com·5h·Hacker News

Cedar Language 🔢Type Theory

cedarpolicy.com·3d

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🪝eBPF

lesswrong.com·1d

Log in to enable infinite scrolling