📐 Formal Methods - c13e · Scour

Benchmarking Testing in Automated Theorem Proving ⚡Zig

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

leanprover.github.io·3d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ⚡Zig

github.com·12h·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens λFunctional Programming

osec.io·5h·Hacker News

The Final Form of Software Development ⚙️Compiler Design

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

std::find_if (3) Linux Manual Page λFunctional Programming

systutorials.com·22h

ethlambda: how we got a 3x speedup in signature aggregation ⚗️BEAM Ecosystem

blog.lambdaclass.com·5h

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

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

From Convergence to Confidence: Push-Button Verification for RDTs 🔀CRDTs

kcsrk.info·2d·Hacker News, Hacker News

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

specdd.ai·14h·Hacker News

Neuro-psychologist seeking advice on studying logic 🧩Prolog

leiterreports.com·12h

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

semiengineering.com·2d

Replacing probabilistic AI with deterministic math and Dafny formal verification 📡Erlang

gist.github.com·6d·Hacker News

Content Verification Platform 💧Elixir

proofididit.com·13h

Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns 🤖AI Engineering

christophermeiklejohn.com·1d

The Zig project's rationale for their anti-AI contribution policy 🤖AI Engineering

news.ycombinator.com·1h·Hacker News

Animated Logical Graphs • 1 🔣Category Theory

stream.syscoi.com·9h

Projects that might help accelerate strong reprogenetics ⚗️BEAM Ecosystem

lesswrong.com·3h

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover λFunctional Programming

eprint.iacr.org·4d

AI in Design Verification: Where It Works and Where It Doesn’t 🤖AI Engineering

eetimes.com·1d

Log in to enable infinite scrolling