(See this for particular code and algorithms.
See this for stuff about particular
languages.)
Layered Abstractions
Defining
Behavior: styles of definition
Terminology: Does sloppy terminology impair learning?
Pean for Constants
Imperfect Abstractions;
The plist is an imperfect abstraction.
Difficulty in learning software platforms.
Hard and Soft programs
Speciation of System Design
Knowing vs. Doing
Ordering Calculations in a Computer
Space Allocation
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
Some history and some philosophy on protection requirements
Protection in popular systems.
RamPlan, a theory of types
McCarthy Dijkstra etc.
Incipient intro to Linking and Loading
Unix Threads
Installing software: How to vs. What is
Short note on Invariants
A Pattern for explaining Contexts
Computer proofs about programs: Some Notes and a
Rant.
IBM’s Virtual Machine Software, VM/370
The security of IBM’s VM370
Some virtual offerings
The Java Muffin Saga
How to Document
Reliability Tradeoffs
Floating Precision
Notes and proposals on JavaScript
A Question of Fluid Variables
Java Locks
Lamport’s writings
Sloppy terminology, Pedantic or Clear?
Ruminations on backing store over radio link.
Interrupt Processors, not Processes
Stacks and Continuations.
Unicode characters in web pages using utf-8
Vtables
Instances
Scraps
Licenses
Being vulnerable to what you read
Monads, sort of.
Dependent Compilation
See some notes on connections
between
computer languages and capabilities.
;
OS
My Firefox bug
On AI