I don't know whether week 7 of teaching npub1305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s90k70l (npub1305…k70l)'s Programming Languages course is a good time to admit to having never taken a proper PL course. However, it's a big reason why I jumped at the chance to do it. I've been learning a lot.
Today's profound insight about what types did to the lambda calculus is pretty good example of that I think.
David Beazley /
npub12j…tmnsz
2023-10-20 17:59:41
Author Public Key
npub12jlgk3x6d5lx9kqgx83s4p00z4j9u8astl9deut8p86mk234qyfqntmnszPublished at
2023-10-20 17:59:41Event JSON
{
"id": "6d9631079b5c7203465209b789da7c9b1099afab900523fdf7f9492069abe307",
"pubkey": "54be8b44da6d3e62d80831e30a85ef15645e1fb05fcadcf16709f5bb2a350112",
"created_at": 1697824781,
"kind": 1,
"tags": [
[
"p",
"8be9c66142bb12330cf622927e2f7cf91963f1d466738bc7d0ddc5855691829f",
"wss://relay.mostr.pub"
],
[
"p",
"da41345efcd23c060f4256375a2aa9e862fd37a0b6df5ba21e62d422ba1cc17c",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://mastodon.social/users/dabeaz/statuses/111268644871122136",
"activitypub"
]
],
"content": "I don't know whether week 7 of teaching nostr:npub1305uvc2zhvfrxr8ky2f8utmulyvk8uw5veech37smhzc2453s20s90k70l's Programming Languages course is a good time to admit to having never taken a proper PL course. However, it's a big reason why I jumped at the chance to do it. I've been learning a lot.\n\nToday's profound insight about what types did to the lambda calculus is pretty good example of that I think.",
"sig": "9104f175acc13f960b27c7b5ddf97e97585586cb3e63ef60b2041efbd81d7023ef9bffaabccebc49dde92d72e397aeabfebc4c19b82eff029e311298caef6036"
}