35 Portland, United States
Join today
Find great matches with our advanced matching system!
Join today
Find great matches with our advanced matching system!
My self-summary
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.
What I’m doing with my life
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’m really good at
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.
The first things people usually notice about me
I have longish brownish hair.
Favorite books, movies, shows, music, and food
(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
The six things I could never do without
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.
I spend a lot of time thinking about
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.
On a typical Friday night I am
Eating dinner with my father, watching Netflix or playing computer games.
The most private thing I’m willing to admit
I read internet fanfiction.
You should message me if
You want me to reply.