--- Log opened Mon Jan 18 00:00:18 2021 15:52 -!- jonatack [~jon@88.124.242.136] has quit [Ping timeout: 256 seconds] 15:53 -!- jonatack [~jon@109.202.107.5] has joined #bitmetas 20:30 < aj> ugh, now when i say something mindlessly tautological i hear it in craig wright's voice 20:30 < sipa> context? 20:38 < aj> talking on #coq "False -> P" === "in all the cases where False is True, P is also true; there are no cases where false is true; so P is obviously true in all of them because there aren't any" is how i'd expand it 20:39 < sipa> do you also write these statements on glass, for some reason? 20:41 < aj> i do all my ircing with a whiteboard marker on glass; a webcam captures it and does handwriting recognition --- Log closed Tue Jan 19 00:00:25 2021