🏛️ Agda

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

Build log: Macintosh Classic
jeffgeerling.com·2m·
Discuss: Hacker News
🖥️Vintage Macintosh
Local Live Captioning with Whisper.cpp and FFmpeg
brady.fyi·18h·
Discuss: Hacker News
🎙️Whisper
V9.2-3 Update v2.0 ECO Kit for VSI OpenVMS x86-64
docs.vmssoftware.com·2d·
Discuss: Hacker News
🔧RISC-V Assembler
Necro-Reaper: Pruning Away Dead Memory Traffic in Warehouse-Scale Computers
danglingpointers.substack.com·2d·
Discuss: Substack
🔩Systems Programming
Search for extraterrestrials: Only very specific constellations are promising
heise.de·18h
🏺Computational Archaeology
MIT report says 95% of AI implementations don't increase profits, spooking Wall Street
techspot.com·22h
🖥️Terminal Renaissance
Code Review Can Be Better
tigerbeetle.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🌳Git Internals
IBM and NASA made an open-source AI model for predicting solar weather
engadget.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Cloudflare incident on August 21, 2025
blog.cloudflare.com·10h·
Discuss: Hacker News
👁️Observatory Systems
How to share pointers between different address spaces
medium.com·3d·
Discuss: Hacker News
💾Memory Mapping
Anthropic is adding Claude Code to business plans - so now all your workers can enjoy a major AI boost
techradar.com·1d
🖥️Modern Terminals
My first project in Go is a terminal dashboard (and wow, what a programming language)
reddit.com·3d·
Discuss: r/golang
📟Terminals
Bioinspired underwater soft robots: from biology to robotics and back
arxiv.org·3d
🌀Differential Geometry
Know Me by My Pulse: Toward Practical Continuous Authentication on Wearable Devices via Wrist-Worn PPG
arxiv.org·2d
🌊Stream Ciphers
Enhanced Butyrate Production via Metabolic Flux Redistribution in *Clostridium butyricum* Utilizing Dynamic CRISPR Interference
dev.to·3d·
Discuss: DEV
☕Precision Brewing
Create a travel planning agentic workflow with Amazon Nova
aws.amazon.com·3d
🌊Streaming Systems
The Code Review Approach That Catches More Than Bugs
dev.to·3d·
Discuss: DEV
📏Code Metrics
Designing for Ephemerality
brajeshwar.com·1d
🎨Swedish Design Philosophy
One prompt can train your AI. One bad prompt can leak your secrets.
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Ella box - The box you can hack!
hackster.io·2d
📟Terminal Physics