Presentation: How to Find Resilience Bugs in Systems that Don't Exist
Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help softw…
Latest Programming news from Tech News
Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help softw…
Nicholas Herring shares how EVE Online tackles distributed tracing and observability across a 20-year-old MMO architecture. He discusses leveraging…
Grab migrated its high-volume Counter Service from a wide column database to Aerospike using storage abstraction, shadow traffic, data parity valida…
Cursor has introduced Continuity, a Git storage architecture that uses an S3 backed write ahead log as the source of truth. The design turns local N…
AWS details how the latest Model Context Protocol specification removes protocol-level sessions, sticky-session requirements, and session storage fo…
Cloudflare redesigned the in-memory representation of its Big Pineapple DNS cache, reducing the per-entry footprint by 56% and freeing roughly 100 T…
Uber has redesigned shard placement in M3DB with fixed size subclusters to limit the impact of node failures, maintenance, and cluster scaling. The…
OpenAI’s Vinoth Govindarajan discusses why production AI agents fail beyond model hallucination. Using real-world case studies like OpenClaw, he exp…
Dropbox has evolved Riviera from a file preview service into a universal content processing platform supporting more than 300 file formats and over…
Agoda migrated its 1.5 TB hotel Price Cache from 72 SQL Server shards to DragonflyDB to handle growing read and write volumes. The migration used st…
Netflix has reworked its Conductor workflow orchestration engine to handle larger workloads, increasing supported workflow size from about 2,500 to…
Airbnb redesigned its authentication architecture around server driven flows and policy based challenge selection. The new Flexible Authentication s…
Uber’s GitFarm provides Git operations as a centralized service, eliminating local repository clones across large scale monorepo workloads. The plat…
The database platform Harper advocates for a single-runtime architecture that keeps application code and data together, with its benchmark against a…
Cloudflare has migrated cdnjs, its open source CDN for JavaScript and CSS libraries, to its Developer Platform. The new architecture uses Workers, R…
Spotify introduced external indexing architecture for Apache Parquet data lakes that enables low-latency point queries without replicating datasets…
Netflix has described how it redesigned the streaming pipeline behind Service Topology, its real-time service dependencies map, to support productio…
Instacart introduced Blueberry, an AI-assisted incident response system that helps on-call engineers investigate production issues faster. It combin…
JioHotstar explains the distributed architecture behind its real-time ad request workflow, covering ad decisioning, waterfall tiering, pacing algori…
Cloudflare recently introduced Meerkat, an internal globally consistent control-plane service based on the QuePaxa consensus algorithm. Unlike Raft,…
DoorDash has developed Entity Cache, a transparent proxy caching platform built on Envoy and Valkey to reduce redundant service-to-service requests…
Google and industry partners announced Agentic Resource Discovery (ARD) Specification, an open standard for publishing, discovering, and verifying A…
DoorDash details the architecture behind Ask DoorDash, its AI-powered conversational shopping assistant, combining LLMs, specialized AI agents, MCP-…
Airbnb engineers detailed Sitar-agent, a Kubernetes sidecar for dynamic configuration delivery across tens of thousands of pods, processing updates…
Netflix engineers introduced dynamic partition splitting for Cassandra to address wide partitions in time series workloads. The metadata-driven appr…
Slack has outlined how its AI serving infrastructure evolved through four distinct phases, moving from a self-managed Amazon SageMaker deployment to…
Atlassian details the Forge billing platform built for usage-based pricing across its cloud ecosystem. It processes large-scale usage events with co…
Block, Inc. describes migrating ~450 JVM repositories into a monorepo across Cash App and Square engineering to reduce dependency drift and coordina…
Lyft details a new pickup experience to improve reliability in gated communities, where 25–30% of rides face routing and access challenges. The syst…
Pinterest introduced MIQPS, a URL normalization system that identifies which query parameters affect page identity using rendered content fingerprin…