Programming Languages
Scheme, Haskell, Prolog, ML, C/C++, Perl, typed DSL, Other...
Scheme
XML, Web, macros, text and binary parsing, utilities, database interfaces, papers...
XML
SXML, SSAX, parsing, SXSLT, SXPath, typed SXML... 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, regions...
Algorithms and Data Structures
Trees, Cryptography, Treap, Scheduling, Zipping, Arithmetic compression, Cyclical structures...
Numerical Math
LinAlg, SVD, FFT, Lazy matrices, Matrix Streams, code generation...
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, conference summaries, Principia Mathematica notes...
OS
ZipperFS/OS, HTTP VFS, Layered I/O, Sh agents, DreamOS, Speaking HTTP...
Meta-programming
Staging, typed compilation, generating Gaussian Eliminators, FFT, numeric code...