🏛️ Agda

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

This “smart coach” helps LLMs switch between text and code
news.mit.edu·3d
💻Local LLMs
When .999… Isn’t 1
mathenchant.wordpress.com·3d·
Discuss: Hacker News
📐Interval Arithmetic
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·2d·
Discuss: Hacker News
💧Liquid Types
Async I/O on Linux and durability
blog.canoozie.net·1d·
Discuss: Lobsters, Hacker News
📝Database WAL
OpenAI just won gold at the world's most prestigious math competition. Here's why that's a big deal.
businessinsider.com·19h
🧠Intelligence Compression
The Smart Money on How Devs Should Charge for Apps
thenewstack.io·1d
🌊Streaming Systems
Why do teams still prefer using Kyverno when K8s supports Validating Admission Policy since 1.30 ????
reddit.com·1d·
Discuss: r/kubernetes
❄️Nix Flakes
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·3d
🔌Archive APIs
The Future of AI Agent Communication with ACP
towardsdatascience.com·5d
🔌Interface Evolution
Xenity Engine -- open-source game engine for PSP, PlayStation 3, PS Vita, and modern platforms
github.com·19h·
Discuss: r/programming
📼Retro Games
Thoughts on AI and software development - Part 5
ufried.com·2d·
Discuss: Hacker News
⚡Incremental Computation
GAIA: Emotional Commerce x Ecological Regeneration: Building with Bolt - WLH Challenge
dev.to·2d·
Discuss: DEV
🦋Format Metamorphosis
Spack v1.0 Is Out
github.com·6h·
Discuss: Hacker News
📦Package Managers
Thoughts on External Memory for LLMs
medium.com·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Kiro vs Cursor: How Amazon’s AI IDE is Redefining Developer Productivity
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Unveiling 18 Transformative AI Applications Redefining 2025
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️Build Archaeology
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔍Information Retrieval
I built CodeMocker: AI-powered mock coding interviews
dev.to·2d·
Discuss: DEV
🎙️Whisper
A Modern Fashion Store During the World's Largest Hackathon
dev.to·1h·
Discuss: DEV
🦋Format Metamorphosis