In my former research I was interested in automated theorem proving (constructing a variant of the lambda calculus from which we can run genetic algorithms).
Also, my gamer tag is maxwells_demon, similar to your HN name.
Unfortunately, the 14 year-olds in online games don't appreciate jokes about thermodynamics.
Also, my gamer tag is maxwells_demon, similar to your HN name.
Unfortunately, the 14 year-olds in online games don't appreciate jokes about thermodynamics.