📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·5h
📊Graph Databases
Travels, 10
cameroncounts.wordpress.com·4h
🎯Performance Proofs
Godel's Incompleteness Theorem
news.ycombinator.com·2h·
Discuss: Hacker News
🔤Type Theory
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
What LLMs Know About Their Users
schneier.com·8h·
Discuss: Hacker News
💻Local LLMs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Why Dyad?: A Perspective for Modelica Users
juliahub.com·4h·
Discuss: Hacker News
💧Liquid Types
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·1d
🎯Performance Proofs
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1h·
Discuss: Hacker News
⚡Proof Automation
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·15h
🧠Intelligence Compression
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing