🏛️ Agda

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

How we’re using AI to help track and predict cyclones
blog.google·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Kivaloo Data Store
tarsnap.com·34m·
Discuss: Hacker News
📦METS Containers
Rapid PCB Prototyping with KiCad and a CNC Router
peterprototypes.com·14h·
Discuss: Hacker News
⚙️DIY Electronics
‘The forest had gone’: the storm that moved a mountain
theguardian.com·20h·
Discuss: r/Longreads
🔲Cellular Automata
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Cogito V2 Preview
deepcogito.com·5d·
Discuss: Hacker News
🧮Z3 Solver
Django Weblog: DSF member of the month - Jake Howard
djangoproject.com·2d
🚀Indie Hacking
Liquid Glass on iMac G4 is the mashup I didn't know I needed – now I can't stop thinking about it
techradar.com·6h
🖥️Vintage Macintosh
Are we the last generation of programmers?
cummulative.io·1d·
Discuss: Hacker News
🖥Retro Computing
31 Days with Claude Code: What I Learned
hung-truong.com·4d·
Discuss: Hacker News
🌳Incremental Parsing
ESP32 Bus Pirate open-source firmware works on off-the-shelf hardware
cnx-software.com·13h
🔌Single Board PC
How Supercomputing Will Evolve, According to Jack Dongarra
wired.com·15h·
Discuss: Hacker News, r/technews
⚛️Quantum Tape
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·4d
🕸️Tensor Networks
Show HN: ReplyFast – AI replies to your emails instantly, in your own style
news.ycombinator.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Kévin Dunglas
deprogrammaticaipsum.com·1d
🔄Language Evolution
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·1d
🦀Rusty Databases
Steps To Develop Your Own AI Astrology App
dev.to·11h·
Discuss: DEV
λLambda Formalization
Fun with MeshBlend
c0de517e.com·1d·
Discuss: Hacker News
📟Terminal Physics
Smartplay: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
⚙️PL Implementation
Rethinking Software Engineering with Agentic AI
dev.to·17h·
Discuss: DEV
⚙️TLA+