📋 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

Get Back To WARP
binary.ninja·23h
🧪Binary Fuzzing
Spiral-Bench shows which AI models most strongly reinforce users' delusional thinking
the-decoder.com·7h
🧠Intelligence Compression
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·3h·
Discuss: DEV
🗄️Database Internals
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·3d
🔗Concatenative Programming
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·1d
🔗Constraint Handling
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·3d·
Discuss: Hacker News
📄Text Chunking
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·15h·
Discuss: DEV
📋Format Specification
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
AI Agents Need Data Integrity
schneier.com·1d·
Discuss: www.schneier.com
🛡️Preservation Proofs
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·1d·
Discuss: DEV
🔐Cryptographic Archaeology
Building Generative AI Applications with GitHub Models and .NET Aspire
milanjovanovic.tech·1d·
Discuss: Hacker News
🌀Brotli Internals
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·4d
🔤Type Theory
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·18h·
Discuss: Hacker News
⚔️Lean Theorem
A string formatting library in 65 lines of C++
riki.house·21h·
Discuss: Lobsters, Hacker News
✅Format Verification
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·1d·
Discuss: Hacker News
🚚Data Migration
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·15h·
Discuss: Hacker News
📏Code Metrics
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com·1d·
Discuss: Substack
🔌Interface Evolution