Adam Chlipala's personal web site

Contact information

E-mail address:adam@schizomaniac.net
ICQ UIN:489166
AIM name:PsionV
IRC:Smerdyakov on freenode, in #hprog, #hcoop, #tpu, #ocaml, #sml, #scheme
 

Projects

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
 

Features

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
 

Society

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.)
haskell.org
 

Web comics

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

Music

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
 

Archives

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