Building reliable distributed systems with refinement types

made by lkuper, submitted by Mai
In this blog post, Lindsey Kuper shares her research agenda at the intersection of distributed systems and programming languages. Read it for an interesting overview of the problem space, a cool example of working in public, and an invitation to collaborate!

Fandomized Algorithms

made by alexrudnick, lkuper, submitted by Mai
In honor of AO3's recent Hugo Award, a fandom number generator written in Python by Lindsey Kuper and Alex Rudnick. The accompanying paper is recommended.