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 & CraftThoughts on design, development, AI infrastructure, and building products.
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 & CraftDonald Knuth treats programming as an art written to be read by humans. Measure before you cut, optimize only the critical 3%, and prove correctness with craft.
Engineering & CraftThompson and Ritchie built Unix and C from small sharp tools composed through one universal interface: text streams and pipes. Simplicity over features.
Engineering & CraftGrace Hopper built the first compiler so programs could be written in human language, made latency physical with a nanosecond wire, and fought stale dogma.
Engineering & CraftEdsger Dijkstra treated simplicity as the precondition for correctness and proof as superior to testing -- elegance was not optional but the whole discipline.
Engineering & CraftTim Berners-Lee invented the web and gave it away: universality and permissionless decentralization -- anyone, anywhere can publish and link without asking.
Engineering & CraftRich Hickey built Clojure and Datomic on one distinction: simple is not easy. Simple means un-braided, one concern per thing; easy just means familiar.
Engineering & CraftMatz 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 & CraftAndrej 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 & CraftLinus 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 & CraftJohn 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 & Craftjqwik 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 & TechnologyTechnical writing at Introl
Comprehensive hardware recommendations and cost analysis for running large language models locally.
GPU selection guide comparing NVIDIA's latest datacenter accelerators for different AI workloads.
Deep technical dive into Google's Tensor Processing Unit evolution from TPUv1 to TPUv5.
Resource sharing strategies for GPU clusters in containerized environments.
Guide to building and managing distributed AI computing with Ray framework.
Analysis of open source LLM economics and DeepSeek's competitive positioning.
Future datacenter power requirements and NVIDIA's next-generation GPU roadmap.
Small modular reactor solutions for powering next-generation AI infrastructure.
Technical analysis of DeepSeek's Multi-Head Compression architecture innovations.