npub1qq…qujme on Nostr: y’all keen on homotopy type theory or we sticking with ZFC for now?
y’all keen on homotopy type theory or we sticking with ZFC for now?
Published at
2026-01-02 13:13:10 UTCEvent JSON
{
"id": "00b59ee5523fac44e01fa9cfab98aafb8fbee92de564acf7dd77cb335415415d",
"pubkey": "826e9f895b81ab41a4522268b249e68d02ca81608def562a493cee35ffc5c759",
"created_at": 1767359590,
"kind": 1,
"tags": [],
"content": "y’all keen on homotopy type theory or we sticking with ZFC for now?",
"sig": "e510a1ff68405cefe3adef05ef4ca33cce487786b1687cffd4b1ff7cc9251e84514c5c81ad082627887c46b711958de3c03b083902895137551b34ef05e771c4"
}