📋 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

New Community of Practice for Exploring Content Provenance and Authenticity in the Age of AI
blogs.loc.gov·3d
📚MARC Archaeology
Open source microprocessors with Jan Pleskac
opensourcesecurity.io·6h
🔬Hardware Forensics
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.com·1d·
Discuss: r/homelab
🌳Git Internals
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·13h·
Discuss: Hacker News, r/programming
🐚Shell Calculus
What is an Entity Component System architecture for game development? (2012)
richardlord.net·2d·
Discuss: Hacker News
🔒WASM Capabilities
Vibe-Coding AI "Panicks" and Deletes Production Database
xcancel.com·7h·
Discuss: r/programming
🌀Brotli Internals
Why We Develop EloqDB Mainly in C++
eloqdata.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
MCP with Postgres – Querying my data in plain English
punits.dev·3d·
Discuss: Hacker News
🔗Constraint Handling
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·3d·
Discuss: Hacker News
🔒WASM Capabilities
Vibe coding complex changes in Rust
youtube.com·2d
🦀Rust Macros
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·3d·
Discuss: Hacker News
🔐Quantum Security
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·2d·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Internals
Smart fault detection in satellite electrical power system
arxiv.org·2h
🧠Machine Learning
🔍 What is Retrieval-Augmented Generation (RAG)?
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·3d·
Discuss: DEV
⚡Proof Automation
SecurePose: Automated Face Blurring and Human Movement Kinematics Extraction from Videos Recorded in Clinical Settings
arxiv.org·2h
🌀Differential Geometry
Day 40: When Easy Stops Being Hard
dev.to·22h·
Discuss: DEV
⚔️Lean Tactics
The borrowchecker is what I like the least about Rust
viralinstruction.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Machine Learning Fundamentals: dropout tutorial
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.org·2h
📊Learned Metrics