🏛️ 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·4h
🔌Interface Evolution
Checkpoints for Claude Code
apps.apple.com·15h·
Discuss: Hacker News
🚀Compiler Optimizations
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·4d·
Discuss: Hacker News
🧪Binary Fuzzing
Mastering Amazon Q Developer with Rules
aws.amazon.com·9h
🔗Constraint Handling
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·8h
💻Programming languages
Data Science Weekly – Issue 614
datascienceweekly.substack.com·6h·
Discuss: Substack
🧪Data science
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
We're doing context engineering wrong
news.ycombinator.com·21h·
Discuss: Hacker News
🌳Incremental Parsing
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🔧Hardware Verification
Building Queryable Chatbots Using MCP Tools
dev.to·5h·
Discuss: DEV
🔗Constraint Handling
Building High-Performance Time Series on SQLite with Go: UUIDv7, sqlc, and libSQL
dev.to·3h·
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·1h·
Discuss: Hacker News
🚀Indie Hacking
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·1d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Model Merging – A Biased Overview
crisostomi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
From Go code to container image with Depot API
dev.to·3h·
Discuss: DEV
🔄Reproducible Builds
Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·14h
🔄Language Evolution