Entry tags:
When is causal broadcast not enough for causal memory?
New blog post, in which I'm still not done talking about causal broadcast!
Entry tags:
Join us for !!Con, and help spread the word!
New blog post, in which I am once again asking for your support.
Entry tags:
Talk at Sunday Assembly Silicon Valley: "What could go wrong?"
New blog post, in which I bare even more of my soul than usual.
Entry tags:
Research roundup, 2022-2023
New blog post, in which I brag about my students even more than usual.
Entry tags:
Who invented vector clocks?
New blog post, in which I spelunk around and come to an unsurprising conclusion.
Entry tags:
An underwhelming conversation with ChatGPT
New blog post, in which ChatGPT pisses me off.
Entry tags:
Enforcing causally-ordered message delivery on the sender's side
New blog post, featuring one weird trick for ensuring that messages are delivered in causal order!
Entry tags:
Course announcement: Distributed Software Systems: Global-First and Local-First Perspectives
New blog post, in which I commit to a plan for winter teaching!
Entry tags:
Verified causal broadcast with Liquid Haskell
New blog post, in which I share what I've been working on the last couple years!
Entry tags:
An example run of a matrix-based causal unicast protocol
New blog post, in which Alice, Bob and Carol learn how to prevent certain confusing workplace situations!
Entry tags:
Teaching roundup, 2018-2022
New blog post that's mostly just a bunch of links to old blog posts!
Entry tags:
My FLOPS 2022 keynote talk: Adventures in Building Reliable Distributed Systems with Liquid Haskell
New blog post! New blogging platform! New domain! Now with HTTPS! Hooray!
Entry tags:
CAREER: Building Reliable Distributed Systems with Refinement Types
New blog post, in which I share some of the secret history of my CAREER project!
Entry tags:
Join us at the Programming Languages Mentoring Workshop at ICFP next month
New blog post, in which it is time for my annual exhortation.
Entry tags:
How to create an .srt caption file for a video
New blog post, in which I serve in my capacity as ICFP accessibility co-chair, or something.