julesh on Nostr: Homotopy type theory be like “all values are equal to themselves, but some values ...
Homotopy type theory be like “all values are equal to themselves, but some values are more equal to themselves than others”
Published at
2024-03-21 00:23:39Event JSON
{
"id": "3fcd81ef8a5e84f9a0f82b11fcaeb07263893b1688d34e0478b5b7dc8616aaf2",
"pubkey": "d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"created_at": 1710980619,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/julesh/statuses/112130825891987964",
"activitypub"
]
],
"content": "Homotopy type theory be like “all values are equal to themselves, but some values are more equal to themselves than others”",
"sig": "3641ef7ea5ff45b62ea7e52f22fa7208916edece04fcb28d2d7108d1bcfe49f13e10606feac54bc01f635115677395b1ceb30830168100911c01be966911ce6e"
}
