lindseykuper: Photo of me outside. (Default)
2024-09-22 07:57 pm
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!

lindseykuper: Photo of me outside. (Default)
2024-07-24 10:54 am
Entry tags:

Join us for !!Con, and help spread the word!

New blog post, in which I am once again asking for your support.

lindseykuper: Photo of me outside. (Default)
2024-06-12 04:41 pm
Entry tags:

The last !!Con!

New blog post, tagged with both 'bangbangcon' and 'personal'.

lindseykuper: Photo of me outside. (Default)
2023-12-31 04:41 pm
Entry tags:

A CAP tradeoff in the wild

New blog post, in which everything is a tradeoff, as ever.

lindseykuper: Photo of me outside. (Default)
2023-08-01 05:51 pm
Entry tags:

Research roundup, 2022-2023

New blog post, in which I brag about my students even more than usual.

lindseykuper: Photo of me outside. (Default)
2023-04-08 05:00 pm
Entry tags:

Who invented vector clocks?

New blog post, in which I spelunk around and come to an unsurprising conclusion.

lindseykuper: Photo of me outside. (Default)
2023-01-18 12:55 pm
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!

lindseykuper: Photo of me outside. (Default)
2022-09-07 04:05 pm
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!

lindseykuper: Photo of me outside. (Default)
2022-08-11 12:00 pm
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!

lindseykuper: Photo of me outside. (Default)
2022-07-21 01:05 pm
Entry tags:

Teaching roundup, 2018-2022

New blog post that's mostly just a bunch of links to old blog posts!

lindseykuper: Photo of me outside. (Default)
2022-01-31 03:47 pm
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!

lindseykuper: Photo of me outside. (Default)
2021-10-19 09:45 am

Two papers at HATRA

New blog post, in which I finally have some new papers to plug!

lindseykuper: Photo of me outside. (Default)
2021-07-14 05:12 pm

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.