🏛️ Agda

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

Patching A Homebrew Emacs
irreal.org·1d
💧Liquid Types
Why Microsoft’s New Sentinel Data Lake Actually Matters
blog.nviso.eu·1d
💾Persistence Strategies
I made a browser click tester to fix my mouse – others found it useful too
doubleclicktest.bearblog.dev·1d·
Discuss: Hacker News
🎮Switch Archaeology
Java Async Profiler manual by use cases (2022)
krzysztofslusarski.github.io·2d·
Discuss: Hacker News
📊Performance Profiling
Show HN: Raphael AI – Edit photos with simple text instructions,free,no-login
raphael.app·20h·
Discuss: Hacker News
🖼️JPEG XL
Trump's AI plan says a lot about open source – but here's what it leaves out
zdnet.com·1d·
Discuss: Hacker News
🔓Open Source Software
Coverage 7.10.0: patch
nedbatchelder.com·1d
👁️System Observability
A Full Code Agent in 200 Lines
cthiriet.com·4d·
Discuss: Hacker News
⚡Proof Automation
How should I handle dependency injection working with loggers?
reddit.com·1d·
Discuss: r/golang
⚡gRPC
Saturday Citations: Hot, hot gold; mechanisms of face recognition; first pathway of gut-brain communication
phys.org·4h
🌡️Preservation Physics
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com·3d·
Discuss: Hacker News
🔌Interface Evolution
ResidualPlanner+: a scalable matrix mechanism for marginals and beyond
arxiv.org·2d
🧠Query Planners
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·2d·
Discuss: Hacker News
📼Cassette Linguistics
The great AI delusion is falling apart
mikemcbrideonline.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
💻Vibe Coding Helped Me Move Fast, but...
dev.to·3d·
Discuss: DEV
📏Code Metrics
Automate Doc Maintenance: Detect and Update Outdated Docs Using Algolia MCP Server, n8n, and LLM
dev.to·2d·
Discuss: DEV
🤖Archive Automation
From Zero to Portfolio in One Week: How AI-Powered Personality Analysis Transformed My Coding Journey
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
From Zero to Portfolio in One Week: How AI-Powered Personality Analysis Transformed My Coding Journey
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·5d
✓Automated Theorem Proving
Built tny.dev: API & MCP first link shortener for devs who hate SaaS bloat
dev.to·22h·
Discuss: DEV
🚀Indie Hacking