Adam Chlipala's personal web site

Contact information

ICQ UIN:489166
AIM name:PsionV
IRC:Smerdyakov on freenode, in #hprog, #hcoop, #tpu, #ocaml, #sml, #scheme


Getting a PhDIn Computer Science at Berkeley, focusing in programming languages and compilers
The Internet Hosting CooperativeInternet hosting run by its users
Dynamic web tools for SMLEverything you need to develop database-using dynamic web sites with Standard ML


Image gallery

Things I like

The written word

Book log

Alternative media

kuro5hinEclectic articles chosen based on user voting, with discussions
CounterPunchLeft-leaning newsletter
ZNetProgressive magazine


An Anarchist FAQSets the record straight on what anarchism is and more
The Underground History of American EducationMakes a strong case that modern American schooling has been developed willfully by commercial interests primarily to train obedient workers and consumers
Participatory EconomicsAn economic system based on computer-aided planning of production and consumption

Vegetarianism (and veganism on good days)

About VeganismReasons not to consume animal products. I'm driven mostly by the environmental and health reasons.

Functional programming Hacker emblem

Why ML?I wrote almost all of this page outlining reasons for choosing Standard ML as your general purpose programming language of choice. (Actually, the reasons all apply to OCaml, too.)

Web comics

Achewood Bob the Angry Flower
Boy on a Stick and Slither Pokey the Penguin
Scary Go Round Small Stories
WIGU Zebra Girl


Radio Paradise

Flash series

Broken Saints, Noise Rover

Old projects (in reverse chronological order)

The Fellowship of Hobbyist ProgrammersAn Internet group that I started to bring together all who write software for enjoyment
CodeAppletAn educational system for collaboratively writing and testing code online
The 3D thingThe biggest application of xCode: a 3D graphical MUD
xCodeThe germ of my interests in programming language research; I developed this virtual machine system complete with C compiler during most of my high school years.
The Gallery of Days Gone ByA summary of my hobbyist programming up through high school
DevLocusA domain with a confusing history, going from all-purpose programming resource site, to content management system, to home for an informal hosting cooperative
Aanigo Software ProductionsAnother old site that I disown, from when I thought it was "hip" to make up a "company" for myself
TCCA (somewhat usable, but not really) C compiler for TI-8x graphing calculators
Teen Programmers UniteA group I belonged to and ran during most of my formative years


Old versions of this site1 | 2 | 3 | 4
Crude comicsVaguely related to people from #C on EFNet
Hello, I'm a Home PageReally old site from 1998