📋 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

Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
⚡Proof Automation
CL-JSON Ambiguity
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🧠Lisp Dialects
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·16h·
Discuss: DEV
✨Effect Handlers
busy beaver function
ncatlab.org·8h
⚔️Lean Theorem
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
RTL generation for custom CPU Mrav
popovicu.com·7m
⚙️Modern Assembly
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·15h·
Discuss: Hacker News
📼Tape Combinators
JavaScript lib for exchanging selective disclosure proofs
github.com·48m·
Discuss: Hacker News
🌳Archive Merkle Trees
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·2d
⚡Proof Automation
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·2d
🛡️CLI Security
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·1d
✅Formal Methods
Fun OCaml 2025
fun-ocaml.com·51m·
Discuss: Hacker News
🧬Functional Programming
Software convergence
underlap.org·1d
🔢Denotational Semantics
Custom slash commands in Claude Code
boliv.substack.com·29m·
Discuss: Substack
⚔️Lean Tactics
Modelling Exactly-Once Delivery Using TLA+
medium.com·5d·
Discuss: Hacker News
⚙️TLA+
Building a Regex Engine
abstractsyntaxseed.com·3d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗄️Database Internals
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis