Why Nostr? What is Njump?
2025-05-27 22:18:03
in reply to

screwlisp on Nostr: nprofile1q…5m2ru Hah, yeah. I was briefly talking to nprofile1q…tr8sr before, who ...

Hah, yeah. I was briefly talking to before, who has an article "What /is/ Type Theory?" relating to some presumably famous type theorist going around asking type theorists that question and being called a troll, or them thinking they had not done enough type theory, but it turned out to be difficult and a somewhat open question to actually answer
Author Public Key
npub13rtszkjs767qk5rruzx5ggcf8jqgvtyr7xq88lfg0lxth6rnyjkqmsa54f