🏛️ Agda

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

Checkpoints for Claude Code
apps.apple.com·9h·
Discuss: Hacker News
🚀Compiler Optimizations
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·9h
✓Automated Theorem Proving
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·1h
💻Programming languages
Data Science Weekly – Issue 614
datascienceweekly.substack.com·30m·
Discuss: Substack
🧪Data science
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·19h·
Discuss: Hacker News
🔍Information Retrieval
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🔧Hardware Verification
Using AI to build an AI Security Product
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Ask HN: How to Learn to Build Agentic AI Systems (Like Claude Code)
news.ycombinator.com·15h·
Discuss: Hacker News
👑Isabelle
Did GPT-5 Solve 'New Math'?
tech2geek.net·2d·
Discuss: Hacker News
🎯Performance Proofs
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·20h·
Discuss: Substack
🏗️Compiler Archaeology
Llamora is an experimental, local-first diary companion
github.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
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
Model Merging – A Biased Overview
crisostomi.github.io·21h·
Discuss: Hacker News
🔲Cellular Automata
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·9h
⚙️Proof Engineering
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·9h
🧮SMT Solvers
"Understanding Python Lists vs Tuples in Simple Terms"
dev.to·17h·
Discuss: DEV
📝Concrete Syntax
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·16h·
Discuss: Hacker News
⚔️Lean Tactics