User : sterlind

Created: 1514 days ago
Karma: 2976
(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.