📋 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

Parsing Layout, or: Haskell's Syntax is a Mess
amelia.how·15m·
Discuss: Lobsters
🔗Monadic Parsing
Practical Combinatorial Testing
csrc.nist.gov·2h·
Discuss: Hacker News
🔍Concolic Testing
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.org·13h
🎯Performance Proofs
weak topology of a topological vector space
ncatlab.org·3h
🕸️Algebraic Topology
Message Signatures are now part of our Verified Bots Program, simplifying bot authentication
blog.cloudflare.com·7h
🌳Archive Merkle Trees
The Last Rank We Need? QDyLoRA's Vision for the Future of LLM Tuning
hackernoon.com·1h
💻Local LLMs
How AI on Microcontrollers Actually Works: Operators and Kernels
danielmangum.com·1d·
Discuss: Hacker News
📊Quantization
C++ Encounters of the Rusty Zig Kind
hackaday.com·7m
🦀Rust Macros
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.com·2d
🔄Graph Rewriting
Programming Entry Level: introduction control flow
dev.to·19h·
Discuss: DEV
🐚Shell Calculus
A short book note: Srivastava on naive set theory
logicmatters.net·5h
🏗️Constructive Analysis
Claude 4, Gemini 2.5 Pro, and GPT-4.1: Understanding Their Unique Quirks
eval.16x.engineer·1h·
Discuss: Hacker News
⚡Proof Automation
Reliability for unreliable LLMs
stackoverflow.blog·1d
💻Local LLMs
An attempt to shroud text from LLMs
shape-of-code.com·1d
📝Concrete Syntax
Buffer & Save with a Challenging Example
mmhaskell.com·1d
📝Concrete Syntax
An Investment in Learning
slott56.github.io·2d
💻Programming languages
Introduction to Parser Combinators
blog.jcoglan.com·2d·
Discuss: Hacker News
🔗Monadic Parsing
Show HN: LiteChat or "How Hard Can It Be to" Build an AI Chat App
github.com·1h·
Discuss: Hacker News
🌀Brotli Internals
From an idea to an ML paper in under 1 hour
letters.lossfunk.com·6h·
Discuss: Hacker News
🌳Incremental Parsing
Integration Digest for June 2025
dev.to·11h·
Discuss: DEV
🔌Interface Evolution