🏛️ Agda

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

Rebel Hideout: ILM's Employee-Made 'Star Wars' Gathering Place
ilm.com·5h·
Discuss: Hacker News
🖥Retro Computing
What Is Customer Identity and Access Management (CIAM)? CIAM Explained
fusionauth.io·2d·
Discuss: Hacker News
🔐Capability Systems
Nvidia Release Massive AI-Ready Open European Language Dataset and Tools
hardware.slashdot.org·3d
🎙️Whisper
House Fire, Death, and Rebirth
adama-platform.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
Intentional Risk Management
leadinginproduct.com·15h·
Discuss: Hacker News
🎯Threat Hunting
ChatGPT made my Hinge profile cringe-worthy — but it cut down on bad dates
businessinsider.com·1h
🎯Recommendation Metrics
OpenAI Makes a Play for Healthcare
gizmodo.com·9h·
Discuss: Hacker News
🏠Homelab Automation
A Better Way to Think About AI
theatlantic.com·2d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Pong Cloned by Neural Network
hackaday.com·2d·
Discuss: Hacker News
🎮Gameboy Emulation
Navigating the Future: Building Software for AI Consumers
thebootstrappedfounder.com·6d·
Discuss: Hacker News
🔌Interface Evolution
Google Translate takes on Duolingo with new language learning tools
techcrunch.com·9h
🤖AI Translation
Blockchain Security Expert AI Track
dev.to·3d·
Discuss: DEV
🔗Hash Chains
Gnoppix Makes Using AI on Linux a Snap, With One Caveat
thenewstack.io·3d
🕸️WASM Archives
Asking Eric: When I realized what was going on, I evicted my wife’s kids. Things got ugly.
mercurynews.com·15h
🏠Personal Archives
Best Data Science Training Placement in Electronic City, Bangalore
dev.to·2d·
Discuss: DEV
🧪Data science
Best Free Digital Business Cards in 2025: Top Platforms Compared
dev.to·15h·
Discuss: DEV
🔤EBCDIC Privacy
Search-capable AI agents may cheat on benchmark tests
theregister.com·3d·
Discuss: Hacker News
🧠Intelligence Compression
How AI and the age of hyper-personalization is reshaping business strategies
techradar.com·14h
🌍Cultural Algorithms
Meet Rainbow: The multi-robot lab racing to discover the next quantum dots
phys.org·1d
⚛️Quantum Circuits
Building an Autonomous Token Deployment Agent on Celo
dev.to·5d·
Discuss: DEV
⚡Proof Automation