Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Do you know what happened to him? Last online activity seems to be in early 2016.
He is still active on MathOverflow, just asked this question: https://mathoverflow.net/questions/371310/are-there-axioms-satisfied-in-commutative-rings-and-distributive-lattices-but-no
And even more active on M.SE. But no arXiv activity since 2015, so I guess he left for industry?
LinkedIn says that he’s now a ’Data Science Consultant’ in Tokyo.
1 to 4 of 4