📐 Formal Methods - c13e · Scour

Benchmarking Testing in Automated Theorem Proving ⚡Zig

Sum-Check as an Algebraic Tensor Reduction: Part 1 λFunctional Programming

blog.zksecurity.xyz·3d·Hacker News

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

github.com·3h·Hacker News

The fall of the theorem economy (David Bessis) 🔣Category Theory

lesswrong.com·19h

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

leanprover.github.io·2d·Hacker News

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

systutorials.com·13h

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

specdd.ai·5h·Hacker News

Sequent Calculi for Public Announcement Logic and Action Model Logic 🔣Category Theory

philsci-archive.pitt.edu·6d

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

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

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification ☎️OTP

blog.trintler.me·23h·Hacker News

Content Verification Platform 💧Elixir

proofididit.com·4h

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

semiengineering.com·1d

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

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

Liquid logic - the road to liquid data centre cooling ⚙️Systems Programming

datacenterdynamics.com·4h

What Code Review Can't See (and Bad Data Always Finds) 🛡️Memory Safety

blog.dochia.dev·4h·Hacker News, r/programming

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

christophermeiklejohn.com·1d

Rethinking SQL ETL for modern data platforms 🔀CRDTs

databricks.com·22h

Automate agent evaluation with the Evaluation APIs 🤖AI Engineering

techcommunity.microsoft.com·20h

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

gist.github.com·5d·Hacker News

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

eetimes.com·1d

Log in to enable infinite scrolling