(Particular code and algorithms — Particular languages)
Ephemeral Hardware for software
Layered Abstractions
Defining Behavior: styles of definition
Terminology: Does sloppy terminology impair learning?
Paean for Constants
Names and Pointers; Adoption
Data Abstraction, Synergy
Imperfect Abstractions
Mac Time Machine Problems
Griping about XML
MapReduce
The plist is an imperfect abstraction.
Difficulty in learning software platforms.
Hard and Soft programs
Speciation of System Design
Super Specs & Sub Specs
A module system
Knowing vs. Doing
Interrupt Processors, not Processes
Ordering Calculations in a Computer
Cheap Test
Exploiting traps in High level languages
Adaptive Formats
Continuously Evaluated Functions
Mag Tape Logic and Tail Recursion
Stream Complex theory
Stacks and Continuations.
Space Allocation
Virtual Zero
Waiting; sleeping and waking
Returning Arrays
MidPointer, observations on a buddy system
Parameter packs and Marshalling
Large Stack Frames
My notes on Ivan Sutherland’s Reincarnation Wheel parable.
Middleware and Compatibility
Protection
  • Some history and some philosophy on protection requirements
  • Protection in popular systems
  • Capabilities may be said to be largely about protection.
  • Saltzer & Schroeder’s The Protection of Information in Computer Systems
    McCarthy Dijkstra etc.
    RamPlan, a theory of types
    Incipient intro to Linking and Loading
    Affine Subscripts
    The Mind Meld Pattern
    Unix Threads
    Installing software: How to vs. What is
    Short note on Invariants
    A Pattern for explaining Contexts
    Augment and Hierarchies
    Computer proofs about programs: Some Notes and a Rant.
    An early program checking program
    IBM’s Virtual Machine Software, VM/370
    The security of IBM’s VM370
    Some virtual offerings
    Theory of Virtualization
    A Bone Simple ISA
    The Java Muffin Saga
    Java Locks
    A trivial JNI demo
    How to Document
    Reliability Tradeoffs
    Organizing Disaster
    Floating Precision
    Notes and proposals on JavaScript
    A Question of Fluid Variables
    Sloppy terminology, Pedantic or Clear?
    Ruminations on backing store over radio link.
    Unicode characters in web pages using utf-8
    Vtables
    Instances
    Instantiation
    Scraps
    Licenses
    Being vulnerable to what you read
    Monads, sort of.
    Dependent Compilation
    Sorting as an Early and Modern(?) Software Paradigm
    Parallel Processing
    Rationale for Object Orientation
    Redundant Formats
    Installing Lion and Xcode 4
    Compiling a Functional Language
    Miscellaneous bugs
    The Lambda Calculus as foundation of computing.

    See some notes on connections between computer languages and capabilities.

    Late 20th century notes on ‘Distributed Development’

    External:
    A promising computer course; intro
    McCarthy’s Reminiscences on Timesharing
    OS
    My Firefox bug
    On AI
    Lamport’s writings
    Dijkstra’s On the cruelty of really teaching computing science
    Google Browser Security Handbook
    Google’s Chrome Security Architecture
    A really small executable
    Great Hackers
    Opaque systems? (x)
    Zalewski (tools & notes)