Some of the many links discussed viz https://communitymedia.video/w/fDRrC8N2WFCecGpEuQx3on
https://anggtwu.net/eepitch.html
https://screwlisp.small-web.org/
https://mdhughes.tech/
https://math.andrej.com/2020/09/14/a-general-definition-of-dependent-type-theories/
https://gamerplus.org/@screwlisp/114582085549457491
https://mathstodon.xyz/@rwxrwxrwx/114582526939181121
https://lambda.moo.mud.org/
Kittens:
https://kitten.small-web.org/
screwlisp /
npub13r…sa54f
2025-05-28 01:21:10
in reply to nevent1q…5vfa
Author Public Key
npub13rtszkjs767qk5rruzx5ggcf8jqgvtyr7xq88lfg0lxth6rnyjkqmsa54fSeen on
wss://relay.nostr.bandPublished at
2025-05-28 01:21:10Event JSON
{
"id": "a6362543f83e797f305e50b9e4d92e73e0b9aa8426e620e0fff055d1081427af",
"pubkey": "88d7015a50f6bc0b5063e08d4423093c80862c83f18073fd287fccbbe87324ac",
"created_at": 1748395270,
"kind": 1,
"tags": [
[
"e",
"d46df0ec2d8125a9b37a383e3f8da354d18c7426f786d2b150f5362a1b4cffa5",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://gamerplus.org/users/screwlisp/statuses/114582832476733904",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Some of the many links discussed viz https://communitymedia.video/w/fDRrC8N2WFCecGpEuQx3on\n\nhttps://anggtwu.net/eepitch.html\nhttps://screwlisp.small-web.org/\nhttps://mdhughes.tech/\nhttps://math.andrej.com/2020/09/14/a-general-definition-of-dependent-type-theories/\nhttps://gamerplus.org/@screwlisp/114582085549457491\nhttps://mathstodon.xyz/@rwxrwxrwx/114582526939181121\nhttps://lambda.moo.mud.org/\n\nKittens:\nhttps://kitten.small-web.org/",
"sig": "fe9a345c0efb79b4bb7d8e3950edfbd6578f3451a801268e76884063c9354e9476d2fe91c0a10a2285e10b039c1929d2f4477ddc7b2da87fd6515f6761f375bc"
}