On the philosophy side, I'm chiefly interested in metaphysics (ontology and mathematics/formal systems & semantics) and deontological ethics (praise and blame, moral education, honesty & bad faith).
On the computational side, I'm chiefly interested in program analysis (compilers), security (compilers), and systems (compilers). I do a decent amount of professional open source work on projects that encompass some of those.
My opinions are my own and do not reflect those of any employer, institutions, affiliates, lovers or haters past, present, or future. They might also not even be mine anymore!
Sites: https://yossarian.net / https://blog.yossarian.net / twitter.com/8x5clPW2
[ my public key: https://keybase.io/yossarian; my proof: https://keybase.io/yossarian/sigs/Rv6e3jLOTzYa5MqFuXV0hnLoYT7xTVeyHjwluVuZTX8 ]