Shriram Krishnamurthi on Nostr: Today's cold open in PL is npub1sys4g…eckr3 telling us that someone called DanTDM ...

Today's cold open in PL is npub1sys4gja5v6r2pmsyan8ntwye9txrhzfe6yq4rnjt8jf6vguujuas5eckr3 (npub1sys…ckr3) telling us that someone called DanTDM (who is a Mincraft legend) did a national tour in which he taught children and parents binary. [Why? We're going to study type safety in terms of machine representations. See "Safety and Soundness" in PLAI!]