lukestein’s avatarlukestein’s Twitter Archive—№ 10,772

    1. …in reply to @ShengwuLi
      @ShengwuLi @ben_golub Guessing you don’t have a first grader, Shengwu?
  1. …in reply to @lukestein
    @ShengwuLi @ben_golub Also, decentralized checking for 2-cycles is both easy (even for a 4-yo) and quick, and seems relatively “cheat-proof” (any necessary formalization left as exercise to the reader). Though we did catch my mother-in-law looking off in the corner away from everyone…