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.