🏛️ Agda

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

🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
How to actually use Model Context Protocol
seangoedecke.com·11h
⚡Proof Automation
Gradual negation types and the Python type system
jellezijlstra.github.io·4h·
Discuss: Hacker News
🔬Refinement Types
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Almost Always Auto (2013)
herbsutter.com·2h·
Discuss: Hacker News
🔒Type Safety
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·1h
💻Local LLMs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
AwesomeAssertions/AwesomeAssertions
github.com·20h
✅Format Verification
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·11h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·20h·
Discuss: Hacker News
🤖Network Automation
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·27m·
Discuss: Hacker News
✨Effect Handlers
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·21h·
Discuss: Hacker News
🦀Rust Borrowing
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·4h
📜Proof Carrying Code
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Kiro and the future of AI spec-driven software development
kiro.dev·21h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution