Wwebbureaucratinwebbureaucrat.hashnode.dev·May 28, 2023 · 7 min readHello, 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...00
Wwebbureaucratinwebbureaucrat.hashnode.dev·May 27, 2023 · 6 min readWhy 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...00
Wwebbureaucratinwebbureaucrat.hashnode.dev·May 16, 2023 · 4 min readRunning 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...00
Wwebbureaucratinwebbureaucrat.hashnode.dev·May 16, 2023 · 8 min readDe-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...00
Wwebbureaucratinwebbureaucrat.hashnode.dev·May 13, 2023 · 4 min readContinuously 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...00