C and Assembly

Common Lisp

Compilation

Crypto

Emacs

Formal Verification

Haskell

Linux

Network

Node.js

OS development

Philosophy

python