Tito on Nostr: Is this a crackpot variant of homotopy type theory? Seems related to this "preprint" ...
Published at
2026-01-27 20:24:11 UTCEvent JSON
{
"id": "b695f0cacc0b9da9ad7296436ec1389672030586749cdbdff0078d8d841a0826",
"pubkey": "cf6e53821f4398b72535003293dabb57664734961314f1a77201b1d8e3483874",
"created_at": 1769545451,
"kind": 1,
"tags": [
[
"proxy",
"https://social.sciences.re/users/tito/statuses/115968930729916611",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Is this a crackpot variant of homotopy type theory? https://imanpoernomo.substack.com/p/the-new-logic\nSeems related to this \"preprint\" https://arxiv.org/abs/2512.24498",
"sig": "e2025f3d1801270f584c3f445123c69ab63ac94411ce6d65de4ae5c9b0f0406035f8a758186c77a212293abd616d07f4175062fa6455602ae798932cedd1aea5"
}
