📋 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

Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·20m·
Discuss: Hacker News
🌊Streaming Databases
Next steps for BPF support in the GNU toolchain
lwn.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Why it took 4 years to get a lock files specification
snarky.ca·11h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Slip – A Lisp System in JavaScript
lisperator.net·1d·
Discuss: Hacker News
🔗Lisp
GPT-5 for AI-assisted discovery
johndcook.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
A small number of samples can poison LLMs of any size
dev.to·1d·
Discuss: DEV
💻Local LLMs
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
English - the hottest programming language of the future
dev.to·21h·
Discuss: DEV
🔄Language Evolution
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·5h·
Discuss: DEV
⚛️Quantum Algorithms
Cactus Language • Semantics 2
inquiryintoinquiry.com·3d
🔢Denotational Semantics
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·1d·
Discuss: DEV
🌳Context free grammars
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars