Recent Posts
I've raised a few PRs against the Guix Codeberg repository recently, and each time I've done so with Forgejo's AGit workflow . This workflow is pretty nice, and allows me to raise a PR entirely from within Emacs. To do that, I've been using this code in my Emacs config to add an extra option to the magit-push transient to use the AGit flow to push to the upstream branch: (transient-define-suffix…
Recently I've been trying to get a PR merged with some fixes for Lua . I thought this would be a pretty straightforward thing to merge, but it turns out that modifying the Lua packages leads to 990 packages needing to be rebuilt. This is more than the 300 limit for a merge to master , so instead of merging my changes directly Andreas has kindly pushed them to a lua-team branch and queued it up…
Up until a few months ago, I was working on a Ruby on Rails monolith. In the four years that I worked on the project, we went through a few ways of building a local development environment: directly using Bundler on our machine, then using Bundler inside a Docker image, then using Nix [], then back to using Bundler inside a Docker image (not everyone liked Nix). All of these options were fine ,…
I recently started a PhD at the Australian National University , doing research into gradually typed programming languages. Since I'm probably going to have to explain this a lot, I thought I'd write a quick explanation of what gradual typing is. In a future post I will then talk about what specifically I'm doing. Static and Dynamic Types In programming languages, there has long been a distinction…
I wrote a post just under two years ago about setting up this blog, and then I didn't write anything else! Shame on me. Part of the issue that got me stuck is that I wanted syntax highlighting. The "standard" option for Haunt [], but it has a pretty minimal set of supported languages. I wasn't satisfied with that. In the past I've used Pygments , but I wasn't sure how to get that into Haunt. Well,…
As this blog enters the world, let us begin in the customary way: "hello, world!" This blog will be a place for me to write things. I'm not really trying to achieve anything with this, except to write more words, so keep your expectations low. 🙂 For some reason, I have decided on a slightly odd software stack for this blog: I am using the Haunt static site generator . It is pretty bare-bones, and…