Trust, but Trace
EN ES

2 series · 17 pieces

Series

Multi-part essays: read in order, or jump to any part. Each series has a thread holding it together; the parts compound.

Series

From code to weights:
ML fundamentals for engineers

You already know what a lookup table is, what a pipeline costs, what a type system buys you. Moving into ML engineering does not replace that knowledge; it relocates it. Each part takes one concept, explains it from the engineering side, reads one real file, and names the single thing that does not behave the way software behaves.

New to the series? Start here
10 of 12 published
Part 1/12

ML fundamentals

A model doesn't read text: what a tokenizer decides for you

The tokenizer ships inside the model, not in front of it. Reading tiktoken's BPE for what it fixes before any weight exists: vocabulary, cost, context limit.

10 min
Part 2/12

ML fundamentals

An embedding is a lookup table, and everything else is how you fill it

A row of a matrix indexed by id. The science is how it gets filled; the engineering is that there is no schema migration: a new embedder invalidates your index.

11 min
Part 3/12

ML fundamentals

Shapes are the type system of ML, and nobody checks them for you

[B, T, d] is a function signature. The runtime never verifies it, so a wrong axis raises only when sizes differ; when they collide, it broadcasts, returns plausible numbers, and ships.

12 min
Part 4/12

ML fundamentals

Attention is a learned weighted average, and the cost is in the square

A soft dictionary whose weights the model computes from its own input. The idea is cheap; the weight matrix is T by T, so the cost comes from the data, not the code.

12 min
Part 5/12

ML fundamentals

A transformer block is six tensors and a bus: read it like a pipeline

Six tensors on a residual stream, read line by line with shapes in the margin. Two thirds of each block's weights sit in the feed-forward; as the context grows, the cost moves to attention.

12 min
Part 6/12

ML fundamentals

GPT-2 is the transformer plus five decisions, and inference is a different program

One artifact, two programs. Training is one parallel forward pass over the sequence; generation is a sequential loop with a cache. Same weights, different bugs.

11 min
Part 7/12

ML fundamentals

From GPT-2 to Llama: four changes and the reason for each

Rotary positions, RMSNorm, gated feed-forward, grouped-query attention. Four local edits, justified by measurement more than theory, and each one baked into the weights.

11 min
Part 8/12

ML fundamentals

Loss and gradients without the formulas: backprop is a graph walk

Backprop is a graph walked backwards, applying the chain rule. Read as code, it explains vanishing and exploding gradients, and why a gradient bug shows up as a slightly wrong curve, not a stack trace.

10 min
Part 9/12

ML fundamentals

The learning rate is the hyperparameter that breaks production

Adam and the schedule are engineering decisions, not mathematics. Nothing validates the config: a bad value diverges thirty hours in and takes the run with it.

11 min
Part 10/12

ML fundamentals

Fine-tuning is the wrong tool for knowledge: three training phases and the low-rank shortcut

Pre-training and fine-tuning share a loss and differ in a mask; LoRA trains two narrow matrices beside the frozen weights. Facts taught by fine-tuning go in slowly and bring unearned confidence: mine named Moscow as the capital of a country that does not exist.

12 min
Part 11/12

ML fundamentals

Serving is a memory problem: prefill, decode and the KV cache

Decode reads every weight for every token, so serving runs out of memory bandwidth long before compute. On my laptop, reading the weights took 84% of each one-sequence step, and a hybrid model paid 5.5 ms per extra sequence where the arithmetic predicted under 0.5. Near capacity the wait for a first token ran to seconds; at half load its 99th percentile moved more than tenfold between runs at nearly the same rate.

Coming
Part 12/12

ML fundamentals

At scale the memory decides: mixed precision and the three parallelisms

Where the bytes of a training run go, measured on a laptop: mixed precision still kept 16 bytes a parameter, half the activations were attention matrices and FSDP cut the state per process eightfold for 1.5 times the traffic of plain data parallelism.

Coming
Series

Reading the source:
how OSS tools judge LLM agents

Every LLM-as-judge tool fights the same thing: variance. Few say so out loud. I read the source of seven OSS evaluators: five strategies, straight from the code, not the docs. Each contains the variance a different way; each pays for it somewhere. The series ends where they all stop short: none gates a build on whether the judge still agrees with a human.

New to the series? Start here
7 of 7 published
Part 1/7

Evaluation methodology

Variance is the problem with LLM-as-judge, and tools don't agree on how to fix it

Reading the source code of seven OSS LLM-as-judge tools: variance manifests across four axes, and the seven approaches don't share a framework; they share a problem.

7 min
Part 2/7

Evaluation methodology

Binary verdicts: how Ragas keeps judges honest

Ragas decomposes complex judgments into atomic yes/no questions. The trade-off: you trade information for variance reduction.

8 min
Part 3/7

Evaluation methodology

From rubric to graph: how DeepEval splits a judgment

DeepEval encodes evaluation as a graph traversal. Each node is a simpler decision than the overall judgment.

11 min
Part 4/7

Evaluation methodology

When judges show their uncertainty: DeepEval and ARES

DeepEval weights scores by token probabilities. ARES applies Prediction-Powered Inference for formal confidence intervals. Two routes to the same goal.

10 min
Part 5/7

Evaluation methodology

The negative rubric: telling a judge what NOT to evaluate

TruLens uses rubrics that explicitly tell the judge what falls outside scope. The pattern is unusually explicit.

9 min
Part 6/7

Evaluation methodology

Deterministic where you can, judge where you must

Tool calls deserve deterministic comparison. Goal completion needs LLM-based assessment. Some tools draw the line; others don't.

9 min
Part 7/7

Evaluation methodology

Who calibrates the judge? The gap nothing fills

Six posts, five strategies, five tools. Two measure judge-vs-human agreement; none gates a CI build on it with a published confidence band. That's the gap.

11 min