A curious and ignorant student interested in categorical semantics of programming languages at Imperial College London. Follower of Humanistic Buddhism.
Public Key
npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp
Profile Code
nprofile1qqs2re5642fjmecec3tk50l9gavf6zjfzjktgwfcj4k4a6nstqffndgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qz9nhwden5te0wfjkccte9ec8y6tdv9kzumn9wsczg26p
Author Public Key
npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Show more details
Published at
2023-11-08T03:13:06+01:00 Event JSON
{
"id": "f7f371a7b08dab5c655975ab154521db199256773e4bd2c4b0ffbfc653446d94" ,
"pubkey": "a1e69aaa932de719c4576a3fe547589d0a4914acb43938956d5eea70581299b5" ,
"created_at": 1699409586 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/zyang",
"activitypub"
]
],
"content": "{\"name\":\"Zhixuan Yang\",\"about\":\"A curious and ignorant student interested in categorical semantics of programming languages at Imperial College London. Follower of Humanistic Buddhism.\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/9da844b96630508b.jpeg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/688/874/651/362/692/original/4d2964aab60fcb31.jpg\",\"nip05\":\"[email protected] \"}" ,
"sig": "3d301cf6a526724a2e26cc18087636d6515dc1120221631fbdbbd88adf86d6dd872ef8d1b72a3229e9a9c610e6d9b3c436beb23a28560bcc37e373157d4cc6a4"
}
Last Notes npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Zhixuan Yang @npub1ky2…ghvc Yes! npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Zhixuan Yang @npub1ky2…ghvc Yes! npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Zhixuan Yang @npub1ky2…ghvc This package has been working well for me: https://ctan.org/pkg/proof-at-the-end except that tikzcd diagrams must be used with the "ampersand replacement=\&" option and with \& to separate columns npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Zhixuan Yang @npub1ky2…ghvc This package has been working well for me: https://ctan.org/pkg/proof-at-the-end except that tikzcd diagrams must be used with the "ampersand replacement=\&" option and with \& to separate columns npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp Zhixuan Yang A new book on type theory has just arrived! I didn't expect it to be this big (it weighs >3.5kg) https://media.mathstodon.xyz/media_attachments/files/112/288/658/594/630/000/original/d8e7eb4adbf8f726.jpeg https://media.mathstodon.xyz/media_attachments/files/112/288/659/442/973/236/original/e055f02377a81cd8.jpeg