Zhixuan Yang on Nostr: A new book on type theory has just arrived! I didn't expect it to be this big (it ...
A new book on type theory has just arrived! I didn't expect it to be this big (it weighs >3.5kg)
Published at
2024-04-17 21:24:20Event JSON
{
"id": "d3a3b417f09b4fee36352e8b185ceeff5f6b22987c485461f7126de34704891e",
"pubkey": "a1e69aaa932de719c4576a3fe547589d0a4914acb43938956d5eea70581299b5",
"created_at": 1713389060,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/zyang/statuses/112288665477370687",
"activitypub"
]
],
"content": "A new book on type theory has just arrived! I didn't expect it to be this big (it weighs \u003e3.5kg)\n\nhttps://media.mathstodon.xyz/media_attachments/files/112/288/658/594/630/000/original/d8e7eb4adbf8f726.jpeg\n\nhttps://media.mathstodon.xyz/media_attachments/files/112/288/659/442/973/236/original/e055f02377a81cd8.jpeg",
"sig": "81fe7387d7dd0a5edd5690b72c6eca528feb22c273fd699bbdf885062863030cf4eb35c2c11fe8fe9cd7e379003ee9acd5e9de1da4ec786eb3327eb120eb1f5b"
}
