🏛️ Agda

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

Go and SQLite Best Practices
jacob.gold·2d·
Discuss: Hacker News
💾SQLite
Strava-owned Runna just launched the feature I've been waiting for to plan my race calendar
techradar.com·23m
📰RSS Feed Discovery
The first known AI wrongful death lawsuit accuses OpenAI of enabling a teen's suicide
engadget.com·18h
🚀Indie Hacking
When is the Champions League draw? Start time, confirmed pots and how to watch for free
the-independent.com·4h
📏Range Queries
Reverse Engineering ALL the Raspberry Pis
jeffgeerling.com·1d·
Discuss: Hacker News
🔌Single Board PC
AI-Facilitated Delusional Ideation: Rethinking "AI Psychosis"
michellepellon.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Who are you again? Infosec experiencing 'Identity crisis' amid rising login attacks
theregister.com·6h·
Discuss: Hacker News
🛡Cybersecurity
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·5d
🧠Machine Learning
Stop duplicating secrets across your Kubernetes namespaces
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
Global forests store vast carbon wealth but credit systems undervalue their true potential, study finds
phys.org·4h
🧊Arctic Storage
StencilBox: Build YAML into super speedy static sites, with sleek templates
github.com·3d·
Discuss: Hacker News
📦METS Containers
How did life get multicellular? Five simple organisms could have the answer
nature.com·6h
🔲Cellular Automata
Why Clear Code Comments Save Startups Thousands: A Pre-Seed Funding Founder’s Guide
dev.to·4h·
Discuss: DEV
📏Code Metrics
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·5d·
Discuss: DEV
📄Text Chunking
Sentiment-Aware Mean-Variance Portfolio Optimization for Cryptocurrencies
arxiv.org·2d
🔍BitFunnel
A Multimodal-Multitask Framework with Cross-modal Relation and Hierarchical Interactive Attention for Semantic Comprehension
arxiv.org·2d
🤖Advanced OCR
Detecting Hope, Hate, and Emotion in Arabic Textual Speech and Multi-modal Memes Using Large Language Models
arxiv.org·2d
📄Text Segmentation
Worley Limited (WYGPF) Q4 2025 Earnings Call Transcript
seekingalpha.com·6h
📋PREMIS Events
Chat with ai fictional characters
dev.to·1d·
Discuss: DEV
🎙️Whisper
50% of Roger Federer is "er"
iamvishnu.com·1d
🔍BitFunnel