✅ Formal Verification - ghosh.debasish · Scour

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification 🔤PLT

The Final Form of Software Development 🖥️Systems Programming

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

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

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

eetimes.com·3h

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🤖AI Agents

semiengineering.com·2d

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

specdd.ai·7h·Hacker News

Replacing probabilistic AI with deterministic math and Dafny formal verification 🔧SMT Solvers

gist.github.com·5d·Hacker News

Behavioral security for AI agents, OS-level interception 📜Constitutional AI

quintai.dev·17h·Hacker News

Functional Programming in Lean - Functional Programming in Lean λFunctional Programming

leanprover.github.io·2d·Hacker News

Minimizing expected losses in multi-component missions with task reduction and abort options ⚡Effect Systems

sciencedirect.com·21h

Machine-Speed Defense for Lean Security Teams 🧪Property-based Testing

malware.news·1d

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

eprint.iacr.org·6d

A2A Java SDK 1.0.0.Beta1 Released 🦎Zig Allocators

·14h

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🔀CRDTs

arcadedb.com·2d·Hacker News

Sequent Calculi for Public Announcement Logic and Action Model Logic 🔧SMT Solvers

philsci-archive.pitt.edu·6d

Rethinking SQL ETL for modern data platforms 🛢️Database Internals

databricks.com·1d

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🧪Property-based Testing

atomic_queue benchmarks SMT vs no-SMT performance 🧮Cache-Oblivious Algorithms

max0x7ba.github.io·1d·r/cpp, r/linux

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔤PLT

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

Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions 🤖Claude

venturebeat.com·2d

Log in to enable infinite scrolling