📋 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

Python Booleans Explained: A Deep Dive into True, False, and Logical Operations
dev.to·5h·
Discuss: DEV
🧪Binary Fuzzing
Polymorphism for Beginners
roscidus.com·23h·
Discuss: Hacker News
λLambda Formalization
Cactus Language • Discussion 3
inquiryintoinquiry.com·20h
🧬Functional Programming
Tackling Review Fatigue by Document Driven Agentic Coding
chezo.uno·13h·
Discuss: Hacker News
📏Code Metrics
Issue 490
haskellweekly.news·3d
🔗Functional Compilers
Isabelle rule musings
blueberrywren.dev·2d
🎯Proof Tactics
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🛡️Error Boundaries
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·1d·
Discuss: Hacker News
🔨Compilers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4d
⚔️Lean Tactics
MCP Registry · GitHub
github.com·8h
📦METS Containers
The low-cost path to AI Mastery
antonyarkov.substack.com·2h·
Discuss: Substack
⚡Proof Automation
Checklist for LLM Prompt Caching
medium.com·1d·
Discuss: Hacker News
💻Local LLMs
I built a Go framework: Anclax
github.com·6h·
Discuss: Hacker News
🔌Interface Evolution
Java Language Architect Brian Goetz on How Java Could Evolve
thenewstack.io·1h
🔄Language Evolution
LLM-Powered Query Processing: From Natural Language to Tool Execution
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·7h·
Discuss: Hacker News
✨Effect Handlers
How to stop functional programming
brianmckenna.org·2h·
Discuss: r/programming
🔗Concatenative Programming
A Conversation with Arthur Whitney
queue.acm.org·2d·
Discuss: Hacker News
📊APL Heritage
Google AI explains why LLMs are deceptive
write.as·22h·
Discuss: Hacker News
💻Local LLMs
Building Safe AI: Understanding Agent Guardrails and the Power of Prompt Engineering
dev.to·17h·
Discuss: DEV
⚡Proof Automation