Automata · Computing History · Engineering

Micrographia · Instrument Design · The Universal Joint · Mechanical Philosophy · Invisible College

First Programmer · Analytical Engine

Communication Theory · Information · AI

Cybernetics · Control Systems · Feedback

Vision · Affordances · Ecological Perception

Computation · Mind · Algorithm

Information Theory · Entropy · The Mathematical Theory of Communication · Cryptography

Algorithms · Elegance · Proof

Neuromorphic Computing · VLSI · Mead-Conway Revolution · Silicon Neurons · Physics of Computation

The Art of Computer Programming · TeX · Literate Programming · Algorithm Analysis

Gödel Escher Bach · Strange Loops · Self-Reference · Consciousness · Analogies as Cognition

SHRDLU · Breakdown as Revelation · Heidegger and Computing · Design for Human Practice

The Singularity · Exponential Growth · Pattern Recognition · Mind Uploading · The Law of Accelerating Returns

Apple I · Apple II · Engineering Elegance · Minimal Hardware · The Joy of Engineering

Subsumption Architecture · Behaviour-Based Robotics · Embodied Intelligence · iRobot · The World is its Own Model

Product · Design · Vision · Computing

Computer Vision · Deep Visual Representations · VGG Networks · Action Recognition · Visual Geometry Group

Mathematica · A New Kind of Science · Wolfram Language · Cellular Automata · Computational Irreducibility

LLVM · Clang · Swift · Mojo · Compiler Infrastructure · Language Design

Python internals · Generators and coroutines · Concurrency from first principles · Teaching by building it yourself · The GIL explained properly

Pythonic design · Idiomatic transformation · There must be a better way · The standard library as a resource · Clarity as craft

Language design · Readability counts · There should be one obvious way · Backwards compatibility as a moral question · Community over cleverness

COBOL · The Compiler · A-0 System · Machine-Independent Programming · Nanosecond Wire

Lisp · Artificial Intelligence · Garbage Collection · Time-Sharing · Recursive Functions

C · Unix · Systems Programming · Bell Labs · The Language That Built the World

Pascal · Modula · Oberon · Structured Programming · Software Engineering as Discipline

Smalltalk · Objects All the Way Down · The Dynabook · Personal Computing · GUI · OOP Origins

Relational Model · SQL · Normal Forms · Data Independence · Set-Based Thinking

Ada · Safety-Critical Systems · Strong Typing · DoD-STD-1815 · Concurrency · Tasking

APL · A Notation as a Tool of Thought · Array Programming · Concision · Turing Award 1979

BASIC · Computing for Everyone · Dartmouth Time-Sharing · Accessibility · The Peoples Language

Logo · Constructionism · Turtle Graphics · Learning by Making · Mindstorms · Piaget Applied

ML · Type Inference · Hindley-Milner · Pi-Calculus · LCF · Turing Award 1991

Prolog · Logic Programming · Unification · Backtracking · Declarative Computing · Constraint Solving

Forth · Stack Machines · Radical Simplicity · Extensible Language · Colorforth · Embedded Systems

Java · JVM · Object-Oriented Design · Platform Architecture · Write Once Run Anywhere

App Store architecture · Developer relations · Platform governance · Curation philosophy · Based on Phil Schiller's writings

JavaScript · Prototypal Inheritance · The Event Loop · Closures · The Language of the Web

TypeScript · Type Systems · Delphi · C# · Language Design at Scale · Structural Typing

Perl · TMTOWTDI · Regular Expressions · Text Processing · Linguistic Programming

Ruby · Programmer Happiness · Duck Typing · Blocks · Rails · The Principle of Least Surprise

Erlang · Fault Tolerance · Let It Crash · The Actor Model · Concurrency · Telecom-Grade Reliability

PHP · Server-Side Web · Pragmatic Scripting · WordPress · Laravel · The Web That Works

Dart · Flutter · Cross-Platform · Ahead-of-Time Compilation · Sound Null Safety · UI Framework

Kotlin · Null Safety · Coroutines · JVM Interop · Android · Pragmatic Modern Language Design

Lua · Embeddable Scripting · Game Engines · Tables · Coroutines · Minimalism by Design

Language design · Readability counts · There should be one obvious way · Backwards compatibility as a moral question · Community over cleverness

Pythonic design · Idiomatic transformation · There must be a better way · The standard library as a resource · Clarity as craft

Think Python · Computational Thinking · Pedagogy · Data Science · Bayesian Statistics

Fluent Python · Pythonic Idiom · Data Model · Iterators · Descriptors · Metaprogramming

Python internals · Generators and coroutines · Concurrency from first principles · Teaching by building it yourself · The GIL explained properly

Haskell · Lazy Evaluation · Monads · Type Classes · Purity · Referential Transparency

Elixir · OTP · BEAM · Fault Tolerance · LiveView · Distributed Systems · Let It Crash

F# · Functional-First · Type Providers · .NET · Domain Modelling · Railway-Oriented Programming

Scala · FP + OOP Fusion · JVM · Spark · Akka · Type-Level Programming · DOT Calculus

Julia · Multiple Dispatch · Scientific Computing · Speed of C · Ease of Python · JIT Compilation

R · Statistical Computing · CRAN · Data Frames · ggplot2 · Literate Analysis · Bioinformatics

Distributed systems · AWS architecture · eventually consistent design · cloud-native engineering

Cryptography · security economics · threat modelling · the shared responsibility model · privacy and surveillance

Microservices · cloud migration · cost modelling · FinOps · the economics of elasticity

AWK · The Unix Philosophy · Text Processing · Pipes · The C Programming Language (co-author) · Literate Tools

Bash · Shell Scripting · GNU · Process Control · Job Control · The Programmable Command Line

C++ · Zero-Overhead Abstraction · RAII · Templates · Multi-Paradigm · Systems Programming

Go · Concurrency · goroutines · Channels · Simplicity as Strength · Infrastructure at Scale

Rust · Ownership · Borrowing · Memory Safety Without Garbage Collection · Fearless Concurrency

Zig · No Hidden Allocations · Comptime · Safety Without Garbage Collection · C Interop

Nim · Metaprogramming · Compile-Time Execution · Python-Like Syntax · Systems Performance

Fortran · Formula Translation · BNF · Turing Award 1977 · Functional Programming

Modern Fortran Explained · Fortran Standards Committee · Fortran 90/95/2003/2008/2018 · CERN

IEEE 754 · Floating-Point Arithmetic · Numerical Stability · The Perils of Floating-Point

MATLAB · LINPACK · Numerical Linear Algebra · Matrix Computation · Fortran-to-MATLAB Bridge

Supercomputer Architecture · Vector Processing · Cray-1 · HPC · The Speed of Light as Design Constraint