Dec 24: Against a Universal Definition of ‘type’

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. Once More—A Computer Revolution - Joseph Weizenbaum (pdf) Summary Ran out of time today. Will the home computer be as pervasive as today's television se,s? The answer almost certainly is no. The home, pictured in the accounts of home computer advocates, is middle class, or even upper middle class....

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...