I discovered discontinuous analysis and... actions of ordered semigroups. (I wrote 500 pages about those actions.) Also I discovered axiomatic theory of formulas (mathematicians were like an old lady who sought her glasses while looking through them, and I likewise discovered formulas). Also I discovered logic without axioms and new inference rules. I am a hardcore programmer, created much open source software. I like Rust and D programming languages. Also I like blockchain programming. I am a Linux enthusiast.