🏛️ Agda

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

What far-left cranks get right about the housing crisis
vox.com·8h
🤝Consensus Networks
Finger on the Trigger: The Strategic Risk of Building Businesses on AI Without Human Wisdom
the-independent.com·2h
🎯Threat Hunting
Multimodal Siamese networks for dementia detection from speech in women
nature.com·2d·
Discuss: Hacker News
🤖Advanced OCR
Margaux Blanchard, the fake AI journalist
dispatch-media.com·4h·
Discuss: Hacker News
📰RSS Reading Practices
Scummvm: Announcing support for World Builder-based games
scummvm.org·2d·
Discuss: Hacker News
🏺Gaming Archaeology
Non-Consensus Is Dead. Long Live Non-Consensus
newinternet.tech·2h·
Discuss: Hacker News
🤝Distributed Consensus
Onlook: The Cursor for Designers
onlook.com·23m·
Discuss: Hacker News
🔓Open Source Software
Free Google AI Studio
freegoogleai.top·2d·
Discuss: Hacker News
🎙️Whisper
Google is building a Duolingo rival into the Translate app
theverge.com·2h
🔍Z3 Parsing
Debugging the Human Layer
blog.joac.com.ar·4d·
Discuss: Hacker News
⚙️Proof Engineering
Google wants Android app developers to verify their identity, this could affect sideloading apps
ghacks.net·12h
📜Proof Carrying Code
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Stupidity as a Service
lawrenc.es·6d·
Discuss: Hacker News
🐛Fuzzing
scottpetrovic/mesh2motion-app
github.com·2d
📦MKV Containers
[D] Poles of non-linear rational features
reddit.com·2d·
Discuss: r/MachineLearning
🌀Brotli Internals
Medium and the Blanket AI Ban 😶
dev.to·2d·
Discuss: DEV
🎙️Whisper
Cell feature implicated in cancer forms differently than previously thought
phys.org·34m
🕸️Algebraic Topology
Looking for a recommendations on building a mini itx home server on a $400 budget.
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
Build Your Own AI Stock Portfolio Agent with Agno + AG-UI
dev.to·6d·
Discuss: DEV
🤖Archive Automation
THEME : Enhancing Thematic Investing with Semantic Stock Representations and Temporal Dynamics
arxiv.org·14h
🧮Vector Embeddings