Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·1d·
Discuss: Hacker News
📐Mathematical Art
Announcing Toad - a universal UI for agentic coding in the terminal
simonwillison.net·2h
🔓Open Source Software
SQL Injection as a Feature
idiallo.com·2d·
Discuss: Hacker News
⛏️SQL Archaeology
Dear Null
home.expurple.me·1d·
Discuss: Hacker News
🦀Rust Verification
PMs Were Vibe Coders All Along
justinpaulson.com·22h·
Discuss: Hacker News
⚡Proof Automation
Deeper Theories of Program Design
typesanitizer.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·2d·
Discuss: Hacker News
🐚Shell Optimization
Vintage computing boffin releases expansive Intel 286 test suite
theregister.com·2d·
Discuss: r/hardware
🎯Emulation Accuracy
Bazel and action (non-) determinism
jmmv.dev·2d
🔄Reproducible Builds
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·1d·
Discuss: DEV
⚙️TLA+
AI Faceoff: Grok4 or O3 Pro—Who Deserves Your Hard-Earned Dollar (and Your Free Data🤣)?
dev.to·3h·
Discuss: DEV
🔍Concolic Testing
40 years of Amiga – the wow machine
heise.de·12h
🖥️Vintage Macintosh
Implementing data contracts on Databricks for industrial AI pipelines
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Day 43: When Constraints Become Catalysts
dev.to·14h·
Discuss: DEV
⬜Minimalism
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·3h·
Discuss: Hacker News
🌀Brotli Internals
A vibe coding horror story: Started as 'a pure dopamine hit' ended a nightmare
zdnet.com·1d·
Discuss: Hacker News
🚀Indie Hacking
KDE Desktop Environment Comes to FreeBSD 15.0 Installer
linuxiac.com·4h
🔌Operating system internals
Why Most AI Agents Fail in Production (And How to Build Ones That Don’t)
dev.to·23h·
Discuss: DEV
⚡Incremental Computation
Initial homelab designing and planning
preview.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Learning Go 1: At a first sight. Is it better than Java?
dev.to·5h·
Discuss: DEV
📜Proof Carrying Code