xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·2h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
CHERIoT 1.0 Released
cheriot.org·20h·
🧲RISC-V Preservation
Flag this post
Finding Signal Through the Noise
elijahpotter.dev·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
🦀Rust Macros
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·32m·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·6h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·8h
🎙️Whisper
Flag this post
A Project Is Not a Bundle of Tasks
secondthoughts.ai·13h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
dev.to·2h·
Discuss: DEV
🛡️Error Boundaries
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·8h
🔨Compilers
Flag this post
Code Smell 313 - Workslop Code
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·16h·
Discuss: DEV
Proof Automation
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·8h
Effect Handlers
Flag this post