Lindsey KuperMar 19

I've gotten like four emails now from a professor in France who watches my distributed systems videos. The most recent one, today: "With time passing, I came a fan of your class on distributed systems CSE138. It is an amazing work, and I am recommanding it to my students as a class very consistent with what we are teaching. Also your american is slow and very understandable, so it is also a reason to listen your videos !"

My American is slow and very understandable 👍

Show threadLindsey KuperMar 19

Questions he's asked me:

- can he use one of my blog posts to help design an exam? (yes)
- does Liquid Haskell have any particular support for reasoning about physical time? (nope)
- are the sequence numbers used by Paxos the same thing as Lamport clocks? (not quite)
- do I have a video on Chord? (not specifically, but I have one on consistent hashing)

I love this guy

Show threadalecsMar 19
@lindsey What would "reasoning about physical time" look like? Is there a PL that allows that?
Show threadRSNikhil
@bool @lindsey If you consider digital clocks as a proxy for physical time then, yes, there are some "synchronous PLs" (Signal, Lustre, Esterel) and there is SVA (SystemVerilog Assertions, a temporal logic) that enable reasoning about time.
Mar 20 at 5:47pmWeb