What is Nostr?
Lindsey Kuper /
npub1j8e…ncgu
2023-10-05 03:50:07
in reply to nevent1q…ur24

Lindsey Kuper on Nostr: ✨ Happens-before as a dependent type ✨ In Lamport’s traditional formulation of ...

✨ Happens-before as a dependent type ✨

In Lamport’s traditional formulation of happens-before, the question “Does event A happen before event B?” just has a boolean answer: yes or no, and evidence of that answer exists separately. In our setting, you can't talk about a happens-before relationship without also talking about the causal path that witnesses the relationship. The answer to the question is either "no" or "yes, and here's why!"
Author Public Key
npub1j8ecq8rk6gcn7l9mfq2tj7wv0gseud23r4sa0afgxf83lrxs5nhsg0ncgu