Dec 14: Bidrectional Type Checking

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