📋 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

Devlog: Blogging Tools — Category Fixer
lmika.org·3h
📰RSS Feed Discovery
SFrame Support Beginning To Materialize For LLVM/Clang
phoronix.com·6h
🔗Static Linking
Wikipedia: Signs of AI Writing
en.wikipedia.org·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2d·
Discuss: Hacker News
📏Code Metrics
Grafana and LLMs
opeonikute.dev·2d·
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·1d
⚡Proof Automation
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
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·4h·
Discuss: DEV
🌳Incremental Parsing
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
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
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·19h·
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·3h·
Discuss: Hacker News
🚀Indie Hacking
NATS with JetStream
dev.to·48m·
Discuss: DEV
🌊Streaming Systems
Cactus Language • Stylistics 4
inquiryintoinquiry.com·5d
🌳Context free grammars
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Generative AI vs. AI Agents vs. Agentic AI: What’s the Difference?
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Complete 11+ Hour Python Course for Beginners
dev.to·9h·
Discuss: DEV
🎵Audio ML