Dec 22: Once More—A Computer Revolution

Jimmy MillerThis is part of an Advent Series. Against a universal definition of ‘type’ (pdf) This is the final entry in the series and I'll be honest, I'm a bit glad it's over. It's been hard to consistently find the time every day to 1) find a paper I'm truly interested in writing about 2) read that paper in a way I can summarize it 3) write...

Jimmy MillerThis is part of an Advent Series. Do Artifacts Have Politics? (pdf) One question that I don't think gets asked enough is how "good code at work" differs from "good code at home"? For many years I didn't quite see the distinction between the two. Isn't it a fact of the matter what things make for good code? Why would code I write for...

Jimmy MillerThis is part of an Advent Series. What is Conceptual Engineering and What Should It Be? (pdf) I've loved choosing philosophy papers for this series. And so, I decided today to do the same. But before you click away, this one is incredibly applicable to software. In fact, David Chalmers thinks that Software Engineering helps address a...

Jimmy MillerThis is part of an Advent Series. Three Paradigms of Computer Science (pdf) In late 2019, I was invited to give a talk at Rebase in Berlin during the summer of 2020. As you can imagine, that didn't happen at least not in person. Instead, I gave a pre-recorded talk. I tried over and over again to sit at a desk and give a talk as I'd...

Jimmy MillerThis is part of an Advent Series. Everybody Clap Your Hands (pdf) Have you ever been at a wedding and thought, "You know what would really spice up this dance floor? Arbitrary computation!" this paper is for you. Today, was a busy day for me, so you will get a very short summary of a very silly paper. Everybody Clap Your Hands: The...