another world

I'm a computer scientist from another world with interests in reverse engineering, compiler technologies, programming language theory, type theory, systems programming, high level programming, static binary analysis and translation, program correctness, formal methods, and formal logic.

I also like a whole lot of other things. black cat walking past grass

живой человек не способны не думать и не всё мысли утомляют