1 reputation
bio website
location Australia
age
visits member for 1 year, 6 months
seen Apr 10 at 1:14

I'm interested in functional programming (especially total, provably crash-free programming), real-time path tracing (the hardware will be powerful enough for it Real Soon Now), and infinite, procedurally generated, destructible game worlds. In non-programming areas, I'm interested in Friendly AI (AI which will reliably not disassemble humanity for spare atoms, even under iterated self-modification (currently a philosophy/math problem)) and effective altruism (trying to do the most good per dollar spent; see givewell.com).


This user has not earned any badges