Programming Languages
Scheme,
Haskell,
Prolog,
C/C++,
Perl,
Other...
Scheme
XML, Web, macros, text and binary parsing, utilities,
database interfaces, papers...
XML
SXML, SSAX, parsing, SXSLT, SXPath...
OOP
Critique,
Purely-functional,
as-a database...
Lambda-calculus
Calculators, Negation, Division, P-numerals, Puzzles...
Haskell
Logical type programming, dependent types, keyword arguments, HList,
stanamic properties, monads...
Algorithms and Data Structures
Trees, Unification, Cryptography,
Treap,
Scheduling, Shuffling,
Arithmetic compression,
Cyclical structures...
Numerical Math
LinAlg, SVD, FFT, Lazy matrices, Matrix Streams...
Computation
Functional Programming, Monads,
Types,
Dependent Types,
backtracking,
Fixpoints, Self-Referential values, Re-writing systems, CPS macros...
Continuations
shift/reset; control/prompt;
call/cc and fixpoints;
enumerators and generators; zipper
...
Metcast
Introduction,
Channels,
Request language,
Soutei...
Image Processing
VR,
Wavelets,
Zerotrees,
Lazy images...
Essays
Information and Entropy, Computers and Infinity,
ILC02 notes, Usenix notes...
OS
ZipperFS/OS, HTTP VFS, Layered I/O, Sh agents,
DreamOS,
Speaking
HTTP...