My mother is an electrical engineer, my father is a philosopher, so I am a programmer. I'm a stereotypical geek, interested in math, science, video games, science fiction and fantasy, board and card games, dungeons and dragons, and I have long hair.

Politically, I'm pretty liberal. Religiously, I'm pretty atheistic. I am sincere, steady, and intense.

I work as an embedded linux programmer at a vetrinary instruments company, and I'm slowly working towards a masters in CS at my local university. I live in a tiny apartment in the city and do not own a car, but I can rent one of those if necessary.

I've been studying Linux/Unix/C/C++ programming for 6 or 7 years now. I majored in math. I could probably explain intuitionistic vs. classical propositional logic and the Curry-Howard correspondence to you, though it might take a while.

I have longish brownish hair.

(a) "The Player of Games" by Iain Banks, "The Lives of Christopher Chant" by Diana Wynne Jones (b) I like watching movies, but I'd rather not identify myself with any of them. (c) "The Future Soon", "Mandelbrot Set" by Jonathan Coulton (d) peanut butter and jelly

I do not want to list six things I could never do without. So I will use this space to list some things I like, taken from my lj. 4-bar linkages, AI, artificial intelligence, batmud, blind source separation, board games, bond graphs, books, catastrophe theory, category theory, cellular automata, chocolate, chunky peanut butter, coding, cognitive science, compilers, computer science, computers, contra dance, contra dancing, curry-howard isomorphism, D&D, dancing, ddr, escape velocity, fairy tales, fantasy, feminism, finite automata, fire, folklore, functional programming, functional programming languages, gaming, geeks, girls, goms, haskell, haverford, haverford college, higher-order functions, homeschooling, hoods, integer sequences, intelligent conversations, interactive fiction, juggling, lambda calculus, logic, love, markov chains, math, moxy fr�vous, moxy fruvous, neal stephenson, nerds, nethack, nomography, ocaml, open source, open-source, optical flow, ordered binary decision diagrams, passive dynamic walking, paul simon, peace, peanut butter, programming, programming languages, proof search, protocol analysis, raven ring, reading, reinforcement learning, rock paper scissors, rogue, role playing, role playing games, role-playing, roleplaying, roleplaying games, rpgs, scheme, sci-fi, science fiction, scifi, sf, shadowrun, sleep, sleeping, stealing interests, strategy games, terry pratchett, tetrahedra, the princess bride, trees, truth, type theory, unschooling, vernor vinge.

Memoization and dynamic programming. It's one of those neat trapdoor ideas, that seems complicated and arbitrary and irrelevant when you don't get it yet - but after you get it, it seems simple and natural and useful.

Eating dinner with my father, watching Netflix or playing computer games.

I read internet fanfiction.

You want me to reply.