🏛️ 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·17h
📰SGML
The Dartboard Sequence
mathpages.com·3d·
Discuss: Hacker News
🎞️Tape Combinatorics
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·3d·
Discuss: Hacker News
⚡Proof Automation
🚤 DIY 3D-Printed RC Boat
hackster.io·15h
⚙️DIY Electronics
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·7h·
Discuss: Hacker News
💾Persistence Strategies
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·5d·
Discuss: Hacker News
⚙️RISC-V Microcode
Agile Is (Half) Dead
thealephengine.substack.com·2d·
Discuss: Substack
🔄Language Evolution
Cisco donates Agntcy project to Linux Foundation in the hope it gets AI agents interacting elegantly
theregister.com·3d
🌐NetworkProtocols
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.org·3d
🌊Stream Ciphers
Dark Reading Confidential: Funding the CVE Program of the Future
darkreading.com·2d
✅Archive Fixity
Talk to my Agent
towardsdatascience.com·5d
🔌Interface Evolution
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·2d
🧠Machine Learning
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
🎉 I’ve Moved from `rs-calculator` to `rsc` — Here’s What’s New!
dev.to·18h·
Discuss: DEV
📚Lempel-Ziv
OpenAI's ChatGPT Reverses Course on Google Indexing Amid Privacy Concerns
dev.to·8h·
Discuss: DEV
🔍BitFunnel
Study Spark: Building with Bolt - WLH Challenge
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Need Advice for My Current Build, LSI HBA on PCIe x1 via Riser or ASM1064 Controller?
reddit.com·16h·
Discuss: r/homelab
⚡CPU Microarchitecture
CodeBoarding: Interactive Diagrams for Codebases
dev.to·3d·
Discuss: DEV
🦀Rust Macros