📋 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

Quadratic Forms Beyond Arithmetic
ams.org·2d·
Discuss: Hacker News
🔱Galois Theory
Building a Sleeper Computer from an SGI Indy
buu342.me·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
Wikipedia: Signs of AI Writing
en.wikipedia.org·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Base44 – build fully-functional apps in minutes with just your words
base44.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Grafana and LLMs
opeonikute.dev·3d·
Discuss: Hacker News
🧠Query Planners
I am no longer chairing defenses or joining committees where students use generative AI for their writing
statmodeling.stat.columbia.edu·2d
⚡Proof Automation
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
🔎 Step-by-Step Guide to Building a Deep Search AI with DuckDuckGo & OpenRouter 🤖
dev.to·5h·
Discuss: DEV
🔍BitFunnel
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·3d·
Discuss: Hacker News
💻Local LLMs
Weekly Challenge: Clearly the Title
dev.to·8h·
Discuss: DEV
🌳Incremental Parsing
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·2d
🔗Parser Combinators
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·3d
💻Local LLMs
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·23h·
Discuss: Hacker News
🏗️Compiler Archaeology
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·2d·
Discuss: Hacker News
🔐Quantum Security
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·7h·
Discuss: Hacker News
🚀Indie Hacking
NATS with JetStream
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Cactus Language • Stylistics 4
inquiryintoinquiry.com·5d
🌳Context free grammars