🏛️ Agda

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

F1 Hungarian GP LIVE: Qualifying start time and schedule as Norris and Piastri fight for pole
the-independent.com·20h
📰SGML
The Planet Is Warming, But Our Speech Has Chilled
battellemedia.com·1d
🌡️Preservation Physics
Are you deploying across ARM and x64 architectures?
caepe.sh·1d·
Discuss: Hacker News
🧲RISC-V Preservation
Zed code editor hears your prayers, rolls out AI-free mode
theregister.com·3d
🚀Indie Hacking
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·4d·
Discuss: Hacker News
⚡Proof Automation
The best companies are dictatorships
writing.nikunjk.com·10h·
Discuss: Hacker News
💾Persistence Strategies
Cisco donates Agntcy project to Linux Foundation in the hope it gets AI agents interacting elegantly
theregister.com·4d
🌐NetworkProtocols
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.org·3d
🌊Stream Ciphers
5 Java Performance Pitfalls and How Real-World Profiling Can Fix Them
hackernoon.com·4d
📏Code Metrics
Behind the Code: Building Dispatch Systems for Canadian Taxi Companies
dev.to·2d·
Discuss: DEV
🌊Stream Processing
My first home server 🫡
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
Anthropic's Ascendancy: Why Enterprises Choose Claude Over ChatGPT
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Talk to my Agent
towardsdatascience.com·5d
🔌Interface Evolution
Quark’s Outlines: Python Plain Integers
dev.to·5d·
Discuss: DEV
📐Interval Arithmetic
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Containerize legacy Spring Boot application using Amazon Q Developer CLI and MCP server
aws.amazon.com·1d
🔌Interface Evolution
Diversity-Enhanced Reasoning for Subjective Questions
arxiv.org·5d
🎛️Feed Filtering
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·4d·
Discuss: www.blogger.com
🌳Persistent Data Structures
🎉 I’ve Moved from `rs-calculator` to `rsc` — Here’s What’s New!
dev.to·21h·
Discuss: DEV
📚Lempel-Ziv
Learning from Limited and Imperfect Data
arxiv.org·4d
🧠Machine Learning