sterlind
...joined 5 years ago, and has 3457 karma
submissions / comments / favourites
(she/her) Giant-brain algorithms, distributed systems, and decentralized protocols. Currently dabbling with: theorem provers, algebraic number theory, hive minds.
Currently at MS, hit me up if you have hard, fun algorithmic puzzles.