Tag

systems-engineering.

2 writings found

Latest Archives

How Cloudflare Freed 100TB of Memory Through Obsessive Optimization

Cloudflare's Big Pineapple DNS cache reduced per-entry memory by 50% through five targeted optimizations. What this teaches us about systems programming.

seL4 Reaches Full Arm Support: What This Means for Verified Systems

Proofcraft completes formal verification of seL4 across all Arm platforms, including confidentiality proofs on AArch64. Here's why this matters for security-critical systems.
View all rollups →