Fourteen long notes in two series. Each carries the schema, the query or the formula that was used, the numbers with their assumptions, and the failure-modes section the home page leaves out.
The home page says what a company can ask for. These notes say what runs, what it is made of, what it costs and how it is measured — with the code.
N.01A department walk-through becomes a ranked ledger of AI use cases, each with a measured baseline, a cost per run and per error, a data-readiness level and an EU AI Act class.
The mechanical facts a non-technical team needs about a language model, plus four checks, four data classes, a versioned prompt library and a benchmark that shows whether it took.
Structure-aware chunks, BM25 plus pgvector fused by reciprocal rank, a cross-encoder reranker, and an answer model that must cite the passage id or abstain, all measured on a versioned question set.
Agents as a tool-surface problem: typed MCP tools with declared effects, idempotent orchestration with explicit state, human approval gates, an append-only audit log and tests that include the refusals.
Weight and KV-cache arithmetic decide what fits on a card, quantisation buys concurrency, vLLM or Ollama by the queue, and an OpenAI-compatible gateway keeps applications portable.
The smallest model that clears a task-set bar on a gold set: candidate ladder, cost per thousand runs, LoRA distillation and a calibrated cascade router.
Notes written from the independent systems and the professional practice: measurement, constraints, and where a number stops meaning what it seems to.
N.07From EVM event logs to positions, windowed features and clusters with a confidence, and the permutation test that decides whether a label is a strategy or noise.
A latency claim only means something once the clock's start and end, the percentile and the transaction's fate afterwards are pinned down and measured separately.
A product image is an enumerated set of packages and services built from a definition, booted read-only, updated atomically with rollback, and provable byte for byte.
Under MDR, IEC 62304 and ISO 14971, requirements with ids, risk controls, SOUP records and change control become data the build queries, and CI emits the evidence.
Citations as resolvable ids, structured extraction with confidence and provenance, an abstention rule and an engineered review queue: the contract between a retrieval system and its reader.
A similarity score says a call talks about what a company does; eligibility is a conjunction of hard rules evaluated with evidence, and the retriever only proposes candidates.
A week of meals modelled as one integer programme in CP-SAT: variables, hard constraints, weighted objectives, a worked instance, and an explanation record built from the same model.
A model's nutrient figure is a likely token, not a measurement; composition tables, weights and yields feed a deterministic layer, and the model may quote only what it returned.