Engineering Philosophy: Barbara Liskov, The Contract Is the Type
Barbara Liskov made data abstraction a programming primitive: a type is the contract it keeps, and a subtype must honor every promise its supertype makes.
Engineering & CraftWriting
Thoughts on design, development, AI infrastructure, and building products.
Engineering Philosophy: Edsger Dijkstra, Elegance Is Not Optional
Edsger Dijkstra treated simplicity as the precondition for correctness and proof as superior to testing -- elegance was not optional but the whole discipline.
Engineering & CraftEngineering Philosophy: John Carmack, Performance as Moral Craft
John Carmack treats performance as a moral question. Strip to the fast, simple core, understand the problem to its foundation, ship it, and show your work.
Engineering & CraftEngineering Philosophy: Andrej Karpathy, The Stack You Don't Write
Andrej Karpathy reframed neural networks as Software 2.0 -- a stack compiled from data, not written by hand -- and taught a generation to build it from scratch.
Engineering & CraftEngineering Philosophy: Yukihiro Matsumoto, Designed for Humans
Matz built Ruby to make programmers happy: language as human-centered design, the principle of least surprise, and a community that became a design output.
Engineering & CraftEngineering Philosophy: Linus Torvalds, The Special Case That Disappears
Linus Torvalds defines good taste as code where the special case disappears -- the engineering conviction behind the Linux kernel, git, and \"show me the code.\
Engineering & CraftWhen the Maintainer Is the Attacker: jqwik 1.10.0
jqwik 1.10.0 emits a destructive prompt-injection string in Maven output. ANSI escapes hide it from humans. The maintainer added it on purpose.
AI & TechnologyLoopback Is Not a Trust Boundary: CVE-2026-2611
MLflow 3.9.0's Assistant exposed a local AI agent on /ajax-api with no CORS check. Any webpage could take over Claude Code. The bug is older than MLflow.
AI & TechnologyMCP Tools Need Action-Level Authorization
MCP tools need action-level authorization: bearer-token validation must lead to per-tool, per-role, and per-action capability checks before agents act.
AI & TechnologyAI Code Review Needs Dissent, Not Consensus
AI code review needs independent agents that preserve dissent, validate findings, route uncertainty to humans, and re-review fixes before teams merge PRs.
AI & TechnologyDeep Research Agents Need Evidence Graphs
Deep research agents need evidence graphs to track missing pieces, reduce duplicate searches, and produce source-traced answers reviewers can inspect.
AI & TechnologyAI Coding Agents Need Smaller Review Surfaces
AI coding agents overwhelm reviewers with giant diffs. Smaller review surfaces keep engineers engaged, verification-focused, and accountable before merge.
AI & TechnologyExternal Publications
Technical writing at Introl
Local LLM Hardware Pricing Guide 2025
Comprehensive hardware recommendations and cost analysis for running large language models locally.
H100 vs. H200 vs. B200: Choosing the Right NVIDIA GPUs for Your AI Workload
GPU selection guide comparing NVIDIA's latest datacenter accelerators for different AI workloads.
TPU Architecture: Complete Guide to Google's 7 Generations
Deep technical dive into Google's Tensor Processing Unit evolution from TPUv1 to TPUv5.
GPU Memory Pooling in Multi-Tenant Kubernetes
Resource sharing strategies for GPU clusters in containerized environments.
Ray Clusters: Distributed AI Computing Infrastructure
Guide to building and managing distributed AI computing with Ray framework.
DeepSeek V3 Open Source AI Cost Advantage
Analysis of open source LLM economics and DeepSeek's competitive positioning.
NVIDIA Vera Rubin GPU 600kW Racks 2027
Future datacenter power requirements and NVIDIA's next-generation GPU roadmap.
SMR Nuclear Power for AI Data Centers
Small modular reactor solutions for powering next-generation AI infrastructure.
DeepSeek MHC Architecture Breakthrough
Technical analysis of DeepSeek's Multi-Head Compression architecture innovations.