peterjanes’s avatarpeterjanes’s Twitter Archive—№ 28,301

  1. …in reply to @marsroverdriver
    @marsroverdriver @bellutta Looks like it's in @UWaterloo's curricula, CS245 (Logic and Computation) in particular. duckduckgo.com/?q=therac-25+site%3Auwaterloo.ca