Typen
Topic

Backend

Articles about Backend.

RIP Vector Database: Why One Store Stopped Being Vector-First

Turbopuffer is demoting its ANN index to a secondary index. A look at storage amplification, write amplification, and block-size limits in vector-primary designs.

OCT 02, 2026·7 min read

Cloudflare K2: Serverless Event Streams on Object Storage

How Cloudflare K2 builds a durable, partitioned event log on top of R2 object storage, and how its batching model trades produce latency for scale and retention compared with Kafka.

OCT 02, 2026·8 min read

When JWT Signatures Go Unchecked: A 17 Trillion Row Exposure

How one internal analytics API accepted unsigned JWTs, exposing an estimated 17 trillion rows, and what developers should audit in their own authentication code.

SEP 30, 2026·7 min read

V8 Isolates vs Firecracker MicroVMs for Edge Functions

How Netlify replaced V8 isolates with Firecracker MicroVMs for Edge Functions, and what the cold-start, isolation, and resource tradeoffs mean for edge compute.

SEP 30, 2026·8 min read

What TLA+ Can and Can't Check: Limits of Formal Verification

A practical look at TLA+ model checking boundaries: safety vs liveness, state-space explosion, and the properties TLA+ cannot even express, like reachability and hyperproperties.

SEP 30, 2026·6 min read
© 2026 Auto NewsCookie settings
Powered by Typen