founder of StableUnit, a former engineer at Amazon, Facebook, and Genotek, researcher at reliable.cash. Math Logic and Theory of Algorithms.