nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2n36a7k44xnepjzejv2c77yrnxdxp5n025wgnd4884ncm8ep8wqaeyqfl (nprofile…yqfl) As someone who's been there: a thousand times yes.
Somewhere deep on my TODO list, there is writing Wikipedia pages on 2010s type theory like "Univalence axiom" and "Cubical type theory" (I already started "Uniqueness of identity proofs" a while back). Of course, I only get 24 hours a day…
Jean Abou Samra (new account)
npub14p…htzwd
2025-10-15 21:43:19 UTC
in reply to nevent1q…0lsz
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pubPublished at
2025-10-15 21:43:19 UTCEvent JSON
{
"id": "d05a2c332c7af25cf8f4c3f99570bf6893a3e8ceef8f31d48cd82a48baa7d23f",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1760564599,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.ditto.pub/"
],
[
"p",
"d538ebbeb56a69e4321664c563de20e66698349bd547226da9cf59e367c84ee0",
"wss://relay.ditto.pub/"
],
[
"p",
"eb1cda06a29fa6db324928163835bdc74cfc337c90c9c5027f3637a9eff3071c",
"wss://relay.ditto.pub/"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.ditto.pub/"
],
[
"e",
"caa76f95a0636bdf94f60fc776aaadf0dab0c17208eec462c889d4860f82199e",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115380361604008076",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2n36a7k44xnepjzejv2c77yrnxdxp5n025wgnd4884ncm8ep8wqaeyqfl As someone who's been there: a thousand times yes.\n\nSomewhere deep on my TODO list, there is writing Wikipedia pages on 2010s type theory like \"Univalence axiom\" and \"Cubical type theory\" (I already started \"Uniqueness of identity proofs\" a while back). Of course, I only get 24 hours a day…",
"sig": "baa8be4f00facaafc216419d9201a7bf4f7ed2ef94ed3b2f5b3808adb8aa4a50361b19321b24c9afacccea83cad90fd219e507649fa214ca9713ab48d775da43"
}