Term Rewriting with Meander

Jimmy MillerThis is part of an Advent Series. On Understanding Data Abstraction, Revisited (pdf) One of my meta-criteria for choosing a paper in this series is the likelihood we will cover the paper on the future of coding. I won't completely rule out covering papers I think we will do at some point. But for the most part, I've decided to steer...

Jimmy MillerThis is part of an Advent Series. Large Models of What? (pdf) We haven't really talked about LLMs much on the future of coding. In many ways, this may seem like a striking omission. Isn't it a podcast called the "future of coding" and aren't LLMs so obviously some part of that future? I think that is undoubtedly true. I don't see LLMs...

Jimmy MillerThis is part of an Advent Series. What is a Game? (pdf) Okay, so I'll come clean, I might be cheating with today's paper. Does this paper have anything to do with computing? No. But can we make it have something to do with computing? Absolutely! I mean, games have to be one the best things we've done with computers, so a paper giving...

Jimmy MillerThis is part of an Advent Series. Beyond Being There: Making Remote Work Better (pdf) I absolutely love remote work. I've been doing it since before the pandemic. I am more productive doing it, I don't have to deal with all of the annoyances and politics that automatically occur when you get a bunch of people in an office. But I have...

Jimmy MillerThis is part of an Advent Series. Implementation is Semantic Interpretation (pdf) I read this paper this morning and I had the time to just finish this post before my day began. But as has been the case for these posts so far, I procrastinated on it until bedtime. Maybe tomorrow we will break that pattern. Anyway, this is another in...