sterlind

...joined 5 years ago, and has 3457 karma

(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.