Why Nostr? What is Njump?
2025-05-27 22:15:00
in reply to

DougMerritt (log😅 = 💧log😄) on Nostr: nprofile1q…wj6um I kept going back and forth on whether to make this reply earlier: ...


I kept going back and forth on whether to make this reply earlier:

The safe bet is to use a technical term such as "type theory" only where an academic has already used the term, otherwise you can end up in endless debates with random attackers -- as used to happen to me on c2.com, the first wiki.
Author Public Key
npub1cqpvfl54huyxkvdgff08u69qkj60tzhwgd3jxwfq8qs83qxzwzdq7aus7x