Weighted Quantile Weirdness and Bugs
practicalsignificance.com·2d·
Discuss: Hacker News
⚡query optimization
Flag this post
Whole World Holonomy
galileo-unbound.blog·2d·
Discuss: Hacker News
✅formal methods
Flag this post
BlocksDS Nintendo DS(I) devkit now supports WPA2 networks in homebrew software
blocksds.skylyrac.net·2d·
Discuss: Hacker News
🌐network programming
Flag this post
An Engineer's Guide to the Trolley Problem
aliveness.kunnas.com·2d·
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·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·5d·
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
Notes on Google's Space Data Centers
angadh.com·4d·
Discuss: Hacker News
⚡query optimization
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·5d·
Discuss: Hacker News
✅formal methods
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
What nobody tells you about product intuition
akkshaya.blog·1d·
Discuss: Hacker News
✅formal methods
Flag this post
AWS DynamoDB Outage Analysis
entropicthoughts.com·5d·
Discuss: Lobsters, Hacker News
🌐network programming
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·3d·
Discuss: Lobsters, Hacker News
✅formal methods
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·4d·
Discuss: Hacker News
✅formal methods
Flag this post