development
13 posts found
Interview: Why Android Cannot Encode MP3 and How to Work Around It
Android decodes MP3 audio natively, but its media framework lacks an MP3 encoder and container muxer. Audio engineer Marcus Vance explains the NDK alternatives.
Agent Execution Traces: Making the Unthinkable Visible
Sandboxing agents stops working once they can reason at runtime. Instrumentation through execution traces is the real primitive—capturing intent, detecting loop…
Deterministic First, LLM Second: Rebuilding Automated Code Review
Why pure agentic code review creates PR noise, and how pairing deterministic static analysis with targeted language models builds a faster, cheaper review pipel…
Merkle-Damgard State Leakage: Exploiting Secret Concatenation in API Auth
How Merkle-Damgard hash constructions leak internal state vectors and why secret concatenation fails API authentication.
Interview: Replacing Mermaid Slop with Semantic SVG Architecture Diagrams
Cathryn Lavery explains why automated graph renderers fail in production documentation, how strict density budgets eliminate visual clutter, and why standalone …
Interview: Deterministic Replay and Autonomous Assertions in e2e Testing
Alex Rivera explains how e2e caches execution traces to eliminate flakiness, bridges accessibility trees with native assertions, and runs air-gapped test suites…
The Best Code Is the Code You Never Wrote
Minimalism is a decision procedure, not a style. Why the lazy senior dev ships the smallest working diff, reuses the stdlib, and treats deletion as a feature.
Fullstack Rust Beyond Electron: An Architectural Case Study of Dioxus
Shipping a 150MB Chromium shell for a basic desktop utility is an outdated architectural pattern. Here is how Dioxus uses Rust signals, system webviews, and Axu…
Proving zkVM Circuit Soundness: Lessons from zkWasm and Coq
A USENIX study showed 90% of zero-knowledge circuit vulnerabilities break soundness. Here is how formal verification in Coq caught a flawed call frame design th…
Offloading Mixture-of-Experts Models to NVMe Storage
Memory-mapping large MoE parameters directly from SSDs often hits severe latency bottlenecks. Here is why random read IOPS stall sparse expert routing and how t…