Dec 21: What is Conceptual Engineering and What Should It Be?

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