🏛️ Agda

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

Why America Isn’t Rome (And Why That Matters)
theatlantic.com·12h
🧲Magnetic Philosophy
Show HN: Aikeedo – Your complete AI workspace (hosted and self-hosted)
aikeedo.com·2d·
Discuss: Hacker News
🎙️Whisper
Tell HN: I Found Out Who the Russian Chief Designer Was Who Spat on Elon Musk
news.ycombinator.com·10h·
Discuss: Hacker News
🇷🇺Russian Computing
New York Comic Con Expands Professional Programming Panel Lineup as Entry Is Restricted for 2025 (EXCLUSIVE)
variety.com·12h
🎬WebCodecs
Terraton wants to be the McDonald’s of biochar
techcrunch.com·14h
📡RSS
My VL-Bus i486 board lives! I’m incredibly happy
rubenerd.com·3d
⚡Circuit Archaeology
Best Amazon deals to expect for Black Friday 2025, from air fryers to hair straighteners
the-independent.com·14h
⭐Awesome lists
My brother and I fight often because we live next door to each other. Everything changed when I introduced him to my partner.
businessinsider.com·14h
🏠Personal Archives
Understanding Temporary Emails: How tempmail3.com Works and Why You Might Need It
dev.to·2h·
Discuss: DEV
🏠Personal Archives
Scientists revive ancient gene to target gout and fatty liver disease
phys.org·14h
📄Document Digitization
Haematopoietic stem cell number is not solely defined by niche availability
nature.com·12h
🧬Copy Number Variants
OpenAI will add parental controls for ChatGPT following teen’s death
theverge.com·12h·
Discuss: r/technews
🌐Protocol Synthesis
Parents of California teen claim ChatGPT became son's 'suicide coach'
ktla.com·12h·
Discuss: Hacker News
📡RSS
How can AI improve ERP reporting (280+ SQL reports, PostgreSQL, 10+ years growing data, multi-client security)?
dev.to·2d·
Discuss: DEV
🗄️Database Internals
🚨 MultiMindSDK Gets a Major Fix-Up: New PyPI Release with Stability, Speed & Simplicity
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
'ZipLine' Phishers Flip Script as Victims Email First
darkreading.com·7h
🔓Hacking
I made a 2.5" drive adapter for 5.25" bays
reddit.com·5h·
Discuss: r/homelab
🏠Homelab Archaeology
STRelay: A Universal Spatio-Temporal Relaying Framework for Location Prediction with Future Spatiotemporal Contexts
arxiv.org·2d
🔶Voronoi Diagrams
Spiders Based on Anxiety: How Reinforcement Learning Can Deliver Desired User Experience in Virtual Reality Personalized Arachnophobia Treatment
arxiv.org·3d·
Discuss: Hacker News
🔲Cellular Automata
The AI-Native Engineer: How Salesforce’s Next Generation is Redefining Software Development
engineering.salesforce.com·2d
🔄Language Evolution