nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqmrvtrws4n55we6rtty8suxnkmd699ys50ar4g0grl5sdt0f4t9ksp9l3hr (nprofile…l3hr) I saw 'theory type theory' recently in a block of text and it looked like a typo!
TIL a new thing,
Two references I found
https://www.carmin.tv/en/video/towards-synthetic-locale-theory
https://topos.institute/blog/2025-07-13-liberating-synthetic-quasi-coherence-from-forcing/
theHigherGeometer
npub1p2…5c0lr
2026-01-14 08:24:16 UTC
in reply to nevent1q…5t0r
Author Public Key
npub1p2q4c7sn2jgtj3w7g9syy5zjldxd8e5ruknf99g8y636ls8vx8esq5c0lrSeen on
wss://relay.ditto.pubPublished at
2026-01-14 08:24:16 UTCEvent JSON
{
"id": "38e80a645b110d8124bfda4a33383b55d9170dcf80dbf1047a25711ce7b9a96e",
"pubkey": "0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"created_at": 1768379056,
"kind": 1,
"tags": [
[
"p",
"d8d8b1ba159d28ece86b590f0e1a76db745292147f47543d03fd20d5bd35596d",
"wss://relay.ditto.pub"
],
[
"p",
"c4884ff89ad14becbadc2a822632f6267158dbd86e6b51dd1d219ae77f51e99a",
"wss://relay.ditto.pub"
],
[
"e",
"e29ab36945ae57325fd2687f82bfcda271fe189c11f258bf7661f4ae87dbf81a",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/115892489825680888",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqmrvtrws4n55we6rtty8suxnkmd699ys50ar4g0grl5sdt0f4t9ksp9l3hr I saw 'theory type theory' recently in a block of text and it looked like a typo!\n\nTIL a new thing,\n\nTwo references I found\nhttps://www.carmin.tv/en/video/towards-synthetic-locale-theory\nhttps://topos.institute/blog/2025-07-13-liberating-synthetic-quasi-coherence-from-forcing/",
"sig": "5afaa71d3e12f134aeac384d0f1b7c24f6589e5f155f8db406a08dd5a209720b0e49dc789c279da5e2d40b0fef01576898719901238751c0e984bea8b6b39419"
}