🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

Google and Zed push protocol to pry AI agents out of VS Code's clutches
theregister.com·10h
🔌Interface Evolution
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Microsoft Reveals Two In-House AI Models
slashdot.org·32m
🎙️Whisper
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🔧Hardware Verification
Long context GPT-OSS fine-tuning
unsloth.ai·8h·
Discuss: Hacker News
🎯Emulator Accuracy
We're doing context engineering wrong
news.ycombinator.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Building Queryable Chatbots Using MCP Tools
dev.to·11h·
Discuss: DEV
🔗Constraint Handling
Building High-Performance Time Series on SQLite with Go: UUIDv7, sqlc, and libSQL
dev.to·9h·
Discuss: DEV
🧩SQLite Extensions
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1d·
Discuss: Substack
🏗️Compiler Archaeology
Building VS Code Live Share, but for Neovim
byronsharman.com·7h·
Discuss: Hacker News
🚀Indie Hacking
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·1d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·19h
🔄Language Evolution
From Go code to container image with Depot API
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Model Merging – A Biased Overview
crisostomi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·21h
⚙️Proof Engineering
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·21h
🧮SMT Solvers
Meet Boti: The AI assistant transforming how the citizens of Buenos Aires access government information with Amazon Bedrock
aws.amazon.com·5h
🔍Information Retrieval