📋 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

About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·2d
🦀Rust Macros
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·6h·
Discuss: Hacker News
🔒Hardware Attestation
First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·8h·
Discuss: Hacker News
⚡Circuit Archaeology
Asynchrony is not Concurrency
kristoff.it·2d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Undone Computer Science
undonecs.org·2d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·2d·
Discuss: DEV
⚡Proof Automation
LLMs Are Bad at Being Forced
morphllm.com·2d·
Discuss: Hacker News
💻Local LLMs
Getting past LLM "day one" problem with MIRIX
fujimon.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Building a CRM with AWS SAM, part 1: ping
dev.to·14h·
Discuss: DEV
⚡gRPC
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·4d
🌳Context free grammars
Grafana and LLMs
opeonikute.dev·2d·
Discuss: Hacker News
🧠Query Planners
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2d·
Discuss: Hacker News
📏Code Metrics
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.to·14h·
Discuss: DEV
⚡gRPC
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·17h·
Discuss: Hacker News
🦀Rust Borrowing
Recurrent Neural Networks: A Review
theahura.substack.com·9h·
Discuss: Substack
🧠Machine Learning
Machine Learning Fundamentals: dropout tutorial
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Make things that are easy to delete
medium.com·11h·
Discuss: Hacker News
💾Persistence Strategies
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·16h·
Discuss: DEV
⚡Incremental Computation
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·16h·
Discuss: Hacker News
💻Local LLMs
Create a Local IMDB MCP Server in Python
mkaz.blog·13h·
Discuss: Hacker News
🎞️MKV Internals