📋 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

Iranian brickwork, arbitrated pillows, smothered comics, and aerogel desalination
doctorow.medium.com·21h
🌳Archive Merkle Trees
A new era of software engineering, cybersecurity, & AI
softwareheritage.org·4d
🏺Archaeological Computing
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu·1d·
Discuss: Hacker News
🏛Digital humanities
The Eleventh Word (2020)
theparisreview.org·1h·
Discuss: Hacker News
⭐Awesome lists
Coding Is Easy. Blogging Is Hard – Part I
mindthenerd.com·1h·
Discuss: Hacker News
⬜Minimalism
Use Your Type System
dzombak.com·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Meta-Prompting: Using LLMs to Improve How You Prompt LLMs
rkayg.com·3d·
Discuss: Hacker News
⚡Proof Automation
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔒Type Safety
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.org·2d·
Discuss: Hacker News
🎯Threat Hunting
Vibecoding a High Performance System
andrewkchan.dev·4d·
Discuss: Hacker News
👁️System Observability
Lying Increases Trust in Science
link.springer.com·23h·
Discuss: Hacker News
📰Content Curation
Modern Data Warehousing: Principles, Design, and Best Practices
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Serverless Statusphere: a walk through building serverless ATProto applications on Cloudflare’s Developer Platform
blog.cloudflare.com·3d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·6d
✓Automated Theorem Proving
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·3d
💻Local LLMs
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·2d
🧠Machine Learning
🎨 Clean code setup that boosts focus:
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
StreamFlow AI - Real-Time ML Pipeline with Redis Streams and Vector Database
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org·3d
🧬Bitstream Evolution
Getting Into Flow State with Agentic Coding
kau.sh·4d·
Discuss: Hacker News
⚡Proof Automation