I'd try to contribute to something like formal verification and denotational semantics. I don't believe everyone's software needs to be as terrible as it is, bu

I'd try to contribute to something like formal verification and denotational semantics. I don't believe everyone's software needs to be as terrible as it is, but I don't see much investment in working on the problem or openings without a graduate degree. Also more Dwarf Fortress.