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·22h·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
🦀Rust Macros
Flag this post
CHERIoT 1.0 Released
cheriot.org·16h·
🧲RISC-V Preservation
Flag this post
Finding Signal Through the Noise
elijahpotter.dev·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·1d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·1h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
The Next Big Thing
semiengineering.com·1d·
Discuss: Hacker News
🔧FPGA Preservation
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·11h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·2h·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·3h
🎙️Whisper
Flag this post
A Project Is Not a Bundle of Tasks
secondthoughts.ai·8h·
Discuss: Hacker News
🧠Intelligence Compression
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·3h
🔨Compilers
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·11h·
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