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 👍
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
@lindsey Is "physical time" different than what's considered in temporal logics or in model checking? Is it that he cares about the wall-clock reading?
It's said that implementing GPS required relativistic corrections. I have no idea how specifically these were implemented.
@RuchiraSDatta I don't know; "physical time" is my paraphrase of what he asked me. Here's an actual quote from his email: "Is liquid Haskell able to take time into account (dealines, time intervals) ?"
Liquid Haskell has no particular support for "tak[ing] time into account" in the way that it seems like he's looking for.
Lindsey Kuper
Ruchira S. Datta