🏛️ Agda

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

Inside America’s Oldest Tofu Shop
atlasobscura.com·1d
📼Cassette Culture
Dynamo, DynamoDB, and Aurora DSQL
brooker.co.za·5d
🗄️Database Sharding
Unlocking high software engineering pace: Partner with Product to pay down technical debt
dev.jimgrey.net·1d
📏Code Metrics
Is Gleam production ready?
lindbakk.com·3d·
Discuss: Lobsters
🌀Brotli Internals
Custom telescope mount using harmonic drives and ESP32
svendewaerhert.com·1d·
Discuss: Hacker News
⚙️Cassette Mechanics
Kdenlive 25.08.0 released
kdenlive.org·2d·
Discuss: r/linux
🎞️MKV Internals
The Weight of a Cell
press.asimov.com·7h·
Discuss: Hacker News
🔲Cellular Automata
9 Years of “Learning to Code” and I Still Couldn’t Build a To-Do App
offpeaklog.bearblog.dev·21h·
Discuss: Hacker News
📏Code Metrics
This Week in Security: The AI Hacker, FortMajeure, and Project Zero
hackaday.com·4d
🔓Hacking
KPMG wrote 100-page prompt to build agentic TaxBot
theregister.com·7h·
Discuss: Hacker News
⚡Proof Automation
From Chaos to Clarity: AI Approaches for PDF & Unstructured Data Extraction
dev.to·23h·
Discuss: DEV
📄Document AI
Why Your n8n HTTP Request Fails—and How to Debug Like a Pro
dev.to·7h·
Discuss: DEV
⚡gRPC
Quantum Dot Size Control via Confined Reactive Intercalation Dynamics (CRID)
dev.to·1d·
Discuss: DEV
⚛️Quantum Tape
Context Matters: Incorporating Target Awareness in Conversational Abusive Language Detection
arxiv.org·1d
🎙️Whisper
Introducing POML: A Structured Way to Build AI Agent Prompts
dev.to·4d·
Discuss: DEV
🔗Concatenative Languages
What is the point of libraries now that you can just generate them?
ghuntley.com·9h·
Discuss: Hacker News
🔓Open Source Software
Autonomous Adaptive Optics System for Exoplanet Atmospheric Characterization via Deep Reinforcement Learning
dev.to·3d·
Discuss: DEV
🔬Optical Physics
All amber lights blinking Dell R720XD
reddit.com·18h·
Discuss: r/homelab
🔍FPGA Verification
EMLIO: Minimizing I/O Latency and Energy Consumption for Large-Scale AI Training
arxiv.org·2d
⚡Cache Coherence
Enhanced Credit Risk Modeling with Hybrid Bayesian Network and Deep Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning