(Particular code and algorithms
— Particular languages)
Ephemeral Hardware for software
Defining Behavior: styles of definition
Terminology: Does sloppy terminology impair learning?
Paean for Constants
Names and Pointers;
Global File Names
Mac Time Machine Problems new
Griping about XML
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,
Exploiting traps in High level languages
Initialization of Apps
Continuously Evaluated Functions
Mag Tape Logic and Tail Recursion
Stream Complex theory
Stacks and Continuations.
Waiting; sleeping and waking
MidPointer, observations on a buddy system
Parameter packs and Marshaling
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
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
The Mind Meld Pattern
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
A trivial JNI demo
How to Document
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
Reference Counting vs. GC
Being vulnerable to what you read
Monads, sort of.
Sorting as an Early and Modern(?) Software Paradigm
Rationale for Object Orientation
Installing Lion and Xcode 4
Compiling a Functional Language (Lexical scope)
Throwing an Exception in Assembler
Kernel Debug Plan
The Lambda Calculus as foundation of computing.
Early experience with Mavericks 10.9.4
Apple iOS Security
See some notes on connections between
computer languages and capabilities.
Late 20th century notes on ‘Distributed Development’
A promising computer course;
McCarthy’s Reminiscences on Timesharing
My Firefox bug
Dijkstra’s On the cruelty of really teaching computing science
Google Browser Security Handbook
Google’s Chrome Security Architecture
A really small executable
Zalewski (tools & notes)
Technology of Regular Expressions