💾 Databases

Query Optimization, Storage Engines, Transaction Processing, Distributed SQL

At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·9h·
Discuss: Hacker News
📐Type Theory
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Making Libcurl Work in WebAssembly
jeroen.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Htmx and URL State Management
lorenstew.art·3d·
Discuss: Hacker News, r/programming
🧩WebAssembly
Replacing cron jobs with a centralized task scheduler
mayhul.com·4d·
Discuss: Hacker News
🔄Concurrency
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·6h·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·20h·
Discuss: Hacker News
❄️Nix
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
📐Type Theory
Introducing Cerebras Code
cerebras.ai·23h·
Discuss: Hacker News
🔄Concurrency
Make any website load faster with 6 lines of HTML
docuseal.com·1d·
Discuss: Hacker News, r/webdev
🧩WebAssembly
ACM Transitions to Full Open Access
acm.org·3d·
Discuss: Hacker News
✅Formal Methods
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io·2d·
Discuss: Hacker News, Hacker News, r/programming
🔍eBPF
It All Comes Down to the Mitochondria
science.org·3d·
Discuss: Hacker News
🌐Distributed Systems
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Zig
Framework 12, Clear Linux Going EOL, AMD EPYC Performance & Other Excitement In July
phoronix.com·13h
⚙️Systems Programming
Onshape – Product Development Platform
onshape.com·12h·
Discuss: Hacker News
🧩WebAssembly
Matrix Is Not Safe for EU Data Privacy
wire.com·1d·
Discuss: Hacker News
🔍eBPF
NSW Fair Trading – Dark Patterns
nsw.gov.au·1d·
Discuss: Hacker News
✅Formal Methods
The Untold Impact of Cancellation
pretty.direct·11h·
Discuss: Hacker News
🧮Functional Programming
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·1d·
Discuss: Hacker News
🤖ai