📋 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

An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
AWS RDS Data API Deep Dive
proactiveops.io·9h·
Discuss: Hacker News
🌊Streaming Databases
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·4h·
Discuss: Hacker News
🌀Differential Geometry
Securing Kubernetes MCP Server with Pomerium and Google OAuth 2.0
reddit.com·1h·
Discuss: r/kubernetes
📦Container Security
The Linus Method: How we simiplifed RFC reviews
devashish.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·23h·
Discuss: Lobsters, Hacker News
📊APL Heritage
Prompt Injection 2.0: The New Frontier of AI Attacks
dev.to·2h·
Discuss: DEV
🎯Threat Hunting
Building a Task Management MCP Server with Laravel
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·18h·
Discuss: DEV
🔗Supply Chain
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
The Conveyor Belt Protocol: Understanding Iterators
dev.to·18h·
Discuss: DEV
🧬Functional Programming
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·1d·
Discuss: Hacker News
⚡Performance Mythology
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·3d
💻Local LLMs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5d·
Discuss: DEV
📏Code Metrics
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
Tech With Tim: How to Build AI Agents in Python
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Bounds