webbureaucrat.hashnode.devHello, Idris World! and Why I'm Excited for a Total Programming LanguageThis article represents my first attempt to get up and running with the Idris programming language. It will document not only how to make an executable Idris package but also the basics of what Idris is and why it's not like any other programming lan...May 28, 2023·7 min read
webbureaucrat.hashnode.devWhy Every Programming Language is TerribleTell me you've never hated your programming language. Tell me it doesn't have any features you wouldn't be caught dead actually using. Tell me there's a programming language so dear to you that you not only enjoy writing it in the moment but enjoy re...May 27, 2023·6 min read
webbureaucrat.hashnode.devRunning Play Framework on NixOS using JDK 11Good morning! First, some personal news: I'm switching to NixOS, and I'm kind of excited about it, so expect some articles to that effect. Today, I'm celebrating the ease with which I got a Play Framework environment up and running, including install...May 16, 2023·4 min read
webbureaucrat.hashnode.devDe-Microsofting Your Development EnvironmentAnyone who has been following the web ecosystem over the last few years knows it has been rapidly consolidating under Microsoft. That consolidation economically threatens the open web. Diversifying your tooling could protect you as much as diversifyi...May 16, 2023·8 min read
webbureaucrat.hashnode.devContinuously Deploying to GitLab's NPM Package RegistryIn a previous article, we explored how to continuously deploy to the npmjs.com package registry. This is all well and good, but an advantage of CI/CD is that we can easily deploy wherever we want. This article will explore how to deploy an npm packag...May 13, 2023·4 min read