Ruby Central Board Member volunteers sought
rubycentral.teamtailor.com·8h·
Discuss: Hacker News
🔄compilers
Flag this post
An Engineer's Guide to the Trolley Problem
aliveness.kunnas.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Cartolina: 3D Terrain Cartography for the Web
cartolina.dev·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Moves Are Broken
youtube.com·2d·
Discuss: Hacker News, r/cpp, r/rust
🔄compilers
Flag this post
Show HN: I made a better DOM morphing algorithm
joel.drapper.me·1d·
Discuss: Hacker News
✅formal methods
Flag this post
OpenTelemetry: Escape Hatch from the Observability Cartel
oneuptime.com·4d·
Discuss: Hacker News
🌐network programming
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·5d·
Discuss: Hacker News
🌐network programming
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·5d·
Discuss: Hacker News
🔄compilers
Flag this post
Why Zig Is Quietly Doing What Rust Couldn't: Staying Simple
freedium-mirror.cfd·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Improving agent with semantic search Semantic search significantly improves coding agent performance with 12.5% higher accuracy, improves code retention and dec...
cursor.com·3d·
Discuss: Hacker News
⚡query optimization
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·5d·
Discuss: Hacker News, r/cpp
🔄compilers
Flag this post
Storybook 10
storybook.js.org·2d·
Discuss: Hacker News
🔄compilers
Flag this post
Notes on Google's Space Data Centers
angadh.com·3d·
Discuss: Hacker News
⚡query optimization
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·2d·
Discuss: Hacker News
✅formal methods
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·3d·
Discuss: Hacker News
🗄️databases
Flag this post
Cursor 2.0 proves agents are here to stay
augmentedswe.com·1d·
Discuss: Hacker News
🌐network programming
Flag this post
The Death of Traditional QA (Or: "AI Everywhere " Reaches SQA)
functionize.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
What nobody tells you about product intuition
akkshaya.blog·23h·
Discuss: Hacker News
✅formal methods
Flag this post