Complete archive

Archive

3,240 articles, newest first · page 49 of 54. For subject-based browsing use topics; for keyword lookup try search. Dates shown are assigned archive dates that order the library; they are not historical publication records.

2023
Jul 7, 2023 Aggregation Laws: Which Metric Operations Commute Why sums, counts, minimums and maximums survive regrouping while averages and percentiles do not, and how the order of rate and sum changes the answer. observability · intermediate
Jul 6, 2023 Delegated Authority: What OAuth's Four Roles Actually Separate Why OAuth replaces password sharing with a scoped, revocable token, and how the split between authorization server and resource server makes that possible. internet protocols · foundational
Jul 6, 2023 Device DMA Addressing and What the IOMMU Changes How a device names memory without access to the CPU page tables, why 32-bit DMA needs bounce buffers, and how an IOMMU translates device addresses per requester. hardware engineering · intermediate
Jul 6, 2023 Gradient Noise, Batch Size, and Step Decay in Stochastic Gradient Descent Why sampling a subset of the data makes the gradient unbiased but noisy, how that noise sets a floor under constant step sizes, and what step schedules can and cannot fix. machine learning · foundational
Jul 6, 2023 Two-Sample Tests for Distribution Drift in a Column A mean and a count can hold steady while a column reshapes itself; comparing histograms detects that, but the test, the bins, and the sample size all change the answer. data engineering · advanced
Jul 5, 2023 Relevance Feedback Through Query Expansion and Term Reweighting How a search system uses a user marking results as relevant to rewrite the next query, and why the classic Rocchio and BM25 expansion methods diverge in what they trust. information retrieval · foundational
Jul 4, 2023 Element Identity and State Retention Across Rebuilds Why declarative frameworks store component state in a slot list keyed by position rather than in the component object, and how that choice decides which state survives a rebuild. mobile computing · foundational
Jul 2, 2023 Interruptible Capacity: Eviction Notices, Checkpointing, and the Cost of Being Preempted What a preemptible instance actually promises, how the notice arrives, and which workload properties determine whether the discount is worth the interruption. cloud infrastructure · intermediate
June
Jun 30, 2023 Optimistic Extension Use and the Cost of Unconfirmed Capability What it means to use a feature before the peer has agreed to it, how the fallback path is designed, and why unconfirmed state is the hardest part to get right. internet protocols · advanced
Jun 30, 2023 The Registry Pull Path From Manifest to Blob The HTTP exchanges a client performs to turn a reference into a local image, including token authentication, blob redirects, range requests, and where each step can fail. virtualization · foundational
Jun 28, 2023 Thread Cancellation, Cleanup Handlers, and Deferred Delivery Why cancellation is a request rather than a kill, what a cancellation point is, and how cleanup handlers unwind a thread without leaking its resources. operating systems · advanced
Jun 26, 2023 What Exactly-Once Delivery Requires at Each Hop The guarantee is a conjunction of idempotence keys, transactional positions, and source cooperation, and it terminates at the first hop that lacks any of them. data engineering · intermediate
Jun 23, 2023 The Replication Log as the Ordering Unit in Single-Leader Replication Why single-leader replication ships a serialised change log rather than rows, how log positions act as a logical clock, and where the ordering guarantee stops. databases · foundational
Jun 23, 2023 What a Lockfile Records and What It Leaves Out How a lockfile turns one resolution result into an artifact the installer can consume without a solver, which facts it must store, and how an install checks that it still matches the manifest. developer tools · foundational
Jun 22, 2023 Compile-Time Function Evaluation and Its Limits How a compiler runs ordinary functions during translation, why the interpreter inside the compiler must refuse some operations, and where the boundary between constant folding and program execution falls. programming languages · intermediate
Jun 21, 2023 Signed Distance Fields as an Implicit Surface How a function of position replaces a mesh, why the gradient gives the normal, how min and max build constructive solid geometry, and what storage a sampled field needs. computer graphics · intermediate
Jun 20, 2023 Monotonic and Interaction Constraints in Boosted Ensembles Bounding each node interval and restricting which features may share a path turn domain assumptions into structural properties of every tree, at a measurable cost in fit. machine learning · advanced
Jun 19, 2023 How Escape Analysis Removes a Heap Allocation How a compiler proves that an allocation cannot be observed outside its function, and what it must give up when object identity or a stored pointer blocks the proof. programming languages · advanced
Jun 14, 2023 Peer-to-Peer Transfers and the Topology That Decides Whether They Work What peer access actually establishes in the device page tables, why the path between two devices is not the path through the host, and how to read the topology. gpu computing · advanced
Jun 12, 2023 CSRF Defence: Synchronizer Tokens, Fetch Metadata, and SameSite Why ambient credentials make state-changing requests forgeable, what a synchronizer token must be bound to, and how Sec-Fetch-Site lets a server reject cross-site writes without per-form state. web platform · intermediate
Jun 12, 2023 Per-Channel and Group Scales: Granularity Against Metadata Cost Why one scale per tensor loses to one scale per output channel, how group-wise quantization spends extra bytes to buy resolution, and what the metadata costs at each granularity. inference systems · foundational
Jun 11, 2023 Log-Based Capture and the Write-Ahead Log as a Change Feed Why the redo log is a more faithful record of commits than any table query, how decoding turns physical records into row images, and what retention forces. data engineering · foundational
Jun 10, 2023 Counting Copies on the Virtual I/O Path: Userspace, vhost, and Passthrough How many times a packet is touched between a guest buffer and the wire in each device model, what each eliminated copy costs in complexity, and where the remaining copies cannot be removed. virtualization · intermediate
Jun 9, 2023 fsync, fdatasync, and Where the Durability Boundary Actually Sits What the kernel guarantees when a write returns, which metadata fdatasync skips, why direct I/O does not remove the need for a flush, and how double buffering wastes memory. databases · intermediate
Jun 7, 2023 Antithetic Variates and the Synchronization of Paired Runs Pairing each draw with its mirror cancels the leading fluctuation of an estimator when the integrand is monotone, and the price is a stream whose consumption must stay aligned. scientific computing · intermediate
Jun 6, 2023 Call-by-Need Evaluation and In-Place Thunk Update How a lazy argument becomes a shared thunk, why forcing it overwrites the thunk with its value, and where the resulting retention of unevaluated expressions costs memory. programming languages · foundational
Jun 6, 2023 The Five-Stage Pipeline and the Throughput It Buys Why splitting a datapath into five stages raises instruction throughput without shortening any single instruction, and what latch overhead and stage imbalance take back. computer architecture · foundational
Jun 2, 2023 Isolation Boundaries: In-Process, Subprocess, and Sandboxed Tests What leaks between tests that share an address space, what a process boundary actually buys, and why sandboxing undeclared inputs changes which failures are possible. developer tools · intermediate
Jun 1, 2023 What a Seccomp Filter Can See of a Syscall The fixed 64-byte record a seccomp filter receives, why the architecture field decides whether the syscall numbers mean anything, and what the filter cost buys. virtualization · foundational
May
May 31, 2023 Preconditions and Postconditions as the Function Contract How a function contract divides obligations between caller and implementer, what a runtime check costs, and where frame conditions and aliasing break the guarantee. software engineering · foundational
May 30, 2023 Cross-Language Calls and the Structure-Passing Contract What a foreign function interface has to agree on beyond the function name, from name mangling and by-value aggregates to error conventions and memory ownership. systems programming · advanced
May 30, 2023 Point-in-Time Feature Assembly and the As-Of Join How to compute a feature as it stood at a labelled event, why an as-of join is not a filtered join, and where late-arriving records break the reconstruction. machine learning · advanced
May 25, 2023 Proactive Content Negotiation and the Quality Value Grammar How Accept, Accept-Language, and Accept-Encoding rank representations, what q-values order, and why Vary makes negotiation cacheable. internet protocols · intermediate
May 25, 2023 The Fetch Protocol: Wants, Haves, and Thin Packs How a client and server agree on the smallest object set to transfer, how pkt-line framing bounds each message, and why a received pack may not be complete. developer tools · advanced
May 22, 2023 Log Destruction, Rotation, and the Gaps It Leaves Behind Which logs an intruder with privilege can erase, which records survive in the kernel and on remote collectors, and how absence of evidence is distinguished from evidence of absence. security · intermediate
May 21, 2023 Recovering Hidden Processes from a Physical Memory Image How the kernel links processes in several independent structures, why unlinking from one is insufficient, and the scan strategies that recover what the lists no longer contain. security · advanced
May 21, 2023 What an Image Signature Covers and What It Leaves Out How a signature envelope binds a signing key to a payload digest, why the payload is usually not the image, and the payload types that close different parts of the gap. virtualization · intermediate
May 19, 2023 Context-Dependent Lexing: Typedef Names, Layout, and Lexer Modes How the C typedef ambiguity forces the lexer to consult the parser, how indentation-sensitive layout is implemented, and what string interpolation does to the token model. compilers · advanced
May 19, 2023 Exchange Operators: Partitioning, Broadcasting, and Parallel Pipelines How a plan is divided into fragments, what a repartition exchange does to tuple order and memory, and why the exchange is the only operator that moves rows between workers. databases · advanced
May 18, 2023 Conformance Testing from a Specification: Distinguishing Sequences How a finite-state specification yields a test suite with a completeness argument, why a distinguishing sequence is necessary, and what the method assumes about the implementation. software engineering · advanced
May 14, 2023 Property Attributes, Accessors, and the Demotion to Dictionary Mode Why a plain field and an accessor cannot share one layout slot, how attribute bits and non-extensibility force a representation change, and why that change is one-way in practice. language runtimes · intermediate
May 13, 2023 Low-Volume Objectives and the Distortion of Counting Qualifiers Why a 99.9% target on a few hundred requests a day cannot be estimated from the data, and how qualifier counting and aggregation windows change the answer. observability · intermediate
May 13, 2023 Route Matching Precedence and the Cost of Ambiguity How a dispatcher chooses one handler among overlapping patterns, why specificity beats registration order, and where percent-decoding changes which route wins. backend systems · foundational
May 10, 2023 Sample-Based Profiling and Stack Walking in Compiled Code How a runtime learns where time goes by interrupting threads rather than instrumenting them, what a walk over compiled frames must decode, and why sampled profiles are biased in ways counters are not. language runtimes · advanced
May 8, 2023 Logistic Regression as Conditional Bernoulli Likelihood How the sigmoid falls out of a log-odds parameterisation, why the negative log-likelihood is convex and unbounded in the separable case, and what the gradient actually computes. machine learning · foundational
May 8, 2023 The Chase as a General Test for Dependency Implication How the chase algorithm decides whether a decomposition is lossless and whether one dependency set implies another, and why its termination is guaranteed but its runtime is not. databases · intermediate
May 6, 2023 Activation Memory, Gradient Recomputation, and the Checkpoint Trade How the memory cost of a convolutional training step is computed, why activations outgrow weights, and what gradient checkpointing buys at what arithmetic price. deep learning · advanced
May 6, 2023 Reachability, Grace Periods, and Cruft Packs How Git decides an object is garbage, why deletion waits two weeks, and how packs that carry their own modification times changed collection. developer tools · advanced
May 4, 2023 ABI Boundaries as Module Seams in Dynamic Linking What a shared library promises a separately compiled caller, why adding a data member or a virtual function can break that promise, and how symbol visibility turns a design boundary into a loader-enforced one. software architecture · advanced
May 4, 2023 Server-Side Template Injection: When Data Reaches an Evaluator Why template engines are interpreters, how a template chosen from user input escalates from text output to code execution, and why sandboxes are the wrong layer. security · advanced
May 2, 2023 glTF Buffer Views, Accessor Strides, and Matrix Column Padding How buffer views and accessors describe typed views over one binary blob, what the alignment rules forbid, and why matrix columns carry padding bytes. computer graphics · foundational
May 1, 2023 Confirmed Commit and Automatic Rollback for Remote Configuration Changes How a candidate datastore plus a confirm timer bounds the damage from a configuration change that severs the connection used to make it, and where the mechanism fails. networking · intermediate
April
Apr 29, 2023 Routing Metadata Staleness and the Cost of a Wrong Guess Every client caches a map from key to node, and every cache is wrong eventually. How epochs, redirects, and fencing turn a stale guess into a retry instead of a lost write. distributed systems · intermediate
Apr 28, 2023 Probing High-Speed Nets Without Measuring the Probe Why a scope probe loads the node it measures, how ground-lead inductance dominates above a few hundred megahertz, and which probing methods keep the measurement honest. hardware engineering · advanced
Apr 28, 2023 Shadow Traffic: Duplicating Requests to a Candidate Without Serving Them How a serving stack runs a candidate model on a copy of live requests, what the duplication costs at the proxy, and why the comparison it produces is weaker evidence than it looks. inference systems · foundational
Apr 27, 2023 Intrusive Linked Lists: Embedding the Link in the Payload How intrusive chains eliminate per-element allocation and let one object sit on several lists at once, at the cost of type knowledge and ownership rules. data structures · foundational
Apr 27, 2023 Seasonality and the Limits of Static Alert Thresholds How diurnal and weekly cycles defeat a fixed threshold, what a seasonal baseline measures against, and why differencing a series amplifies its noise in proportion to the step size. observability · advanced
Apr 23, 2023 How a Stateful Firewall Matches a Packet The order in which a packet filter evaluates rules, how the connection-tracking table overrides the rule set, and where the model breaks under fragmentation and asymmetric routing. security · foundational
Apr 23, 2023 Merging Probabilistic Sketches Across Shards Union and sum are the only safe merge operations, they require identical parameters and hash seeds, and the error of a merged estimate grows in a way single-sketch sizing hides. data structures · advanced
Apr 21, 2023 Autoscaling Policies and the Cost of Headroom How a scaling policy converts a load signal into an instance count, why the control loop lags the load, and what each unit of headroom costs per month. cloud infrastructure · intermediate

2023

June

May

April