🏛️ Agda

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

Ink Plots
mrmrs.cc·2d
📐Mathematical Art
Interruptions cost 23 minutes 15 seconds, right?
blog.oberien.de·1d·
Discuss: Hacker News
⏱️Interval Archives
European football: Mbappé and Vinícius fire Real Madrid past Oviedo
theguardian.com·3h
🎯Proof Tactics
YouTube's Sneaky AI 'Experiment': Is Social Media Embracing AI-Generated Content?
news.slashdot.org·17h
🤖AI Curation
New AI tool tracks early signs of hurricane formation
phys.org·3d
📊Learned Metrics
Direct3D-to-Vulkan Library vkd3d 1.17 Released with Shader Enhancements
linuxiac.com·2d
🔓Open Source Software
Designing AI tools that support critical thinking
vaughntan.org·4d·
Discuss: Hacker News
🎨Nordic UX
RS485 Basic and Versatile
hackster.io·3d
📼Cassette Protocols
How to Evaluate Logging Frameworks: 10 Questions
thenewstack.io·3d
📝Log Parsing
AMD accidentally leaks FSR 4 source code, teasing possible support for older Radeon GPUs
techspot.com·2d
🖥️Modern Terminals
My AI-Driven GRC Toolkit: A Practical Guide to Building Intelligent Compliance Workflows
hackernoon.com·3d
🤖AI Curation
NoPaperTodo
hackster.io·3d
🗃️Punch Card Recovery
The Growing Need for Online Tools in 2025 and Future
dev.to·3d·
Discuss: DEV
📰RSS Archaeology
Best gaming laptops of Gamescom 2025 - top picks from MSI, Samsung and more
techradar.com·9h
🖥️Modern Terminals
Cointel Raises $7.4M In Strategic Round Led By Avalanche And Sugafam Inc.
hackernoon.com·4d
🔗Hash Chains
Day 2 of experimenting with Open Source AI: Learned a Lot about Code indexing (Progress 2%)
github.com·5d·
Discuss: DEV, Hacker News
🎙️Whisper
Solar power standalone Cat Grass Garden
hackster.io·3d
⚙️DIY Electronics
Mastering MCP Servers with LangChain and LangGraph: A Beginner's Guide
dev.to·5d·
Discuss: DEV
⚙️WASM Runtime
More fun than a human should be allowed!
reddit.com·5d·
Discuss: r/linux
📟Terminal Physics
The Small Coding Habit That Made Me a Better Developer
dev.to·4d·
Discuss: DEV
📏Code Metrics