🏛️ Agda

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

Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·13m
🔄Language Evolution
Understanding Tool-Integrated Reasoning
arxiv.org·1d
🔗Constraint Handling
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·13h·
Discuss: Hacker News
📏Code Metrics
Trying to get error backtraces in rust libraries right
iroh.computer·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·18h
⚡Proof Automation
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·2h
✓Automated Theorem Proving
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Model Merging – A Biased Overview
crisostomi.github.io·13h·
Discuss: Hacker News
🔲Cellular Automata
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
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·2d·
Discuss: Hacker News
🤖AI Curation
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·13h·
Discuss: Substack
🏗️Compiler Archaeology
Did GPT-5 Solve 'New Math'?
tech2geek.net·1d·
Discuss: Hacker News
🎯Performance Proofs
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·12h
🧠Machine Learning
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·19h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·4h·
Discuss: Hacker News
🔄Language Evolution
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·9h·
Discuss: Hacker News
⚔️Lean Tactics
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·2d·
Discuss: Hacker News
🦀Rusty Databases
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety