The last quality of life feature we will add is the ability to show completion descriptions when tabbing on a complete word: $ foo apple For example, the Mill build tool does this so if you’re not sure what a … Read more
This post is the second iteration of a series of posts that provide an in-depth look at the development of Tyr, a state-of-the-art Rust GPU driver for the Linux Kernel, supporting Arm Mali CSF-based GPUs. As promised in the first … Read more
With Postgres 12, released in 2019, it became possible to swap out Postgres’s storage engine. This is a feature MySQL has supported for a long time. There are at least 8 different built-in engines you can pick from. MyRocks, MySQL … Read more
This essay is a version of the response I gave to my friend Vik’s call for suggestions: had a lot of people ask how they can learn to write design docs, and i didn’t have a good answer besides “work … Read more
According to the Shepherd Services documentation, the start and stop fields of shepherd-service take G-Expressions. But what’s a g-expression? Well, because Guix uses Scheme for both higher-level actions–like defining packages–and lower-level actions–like building derivations generated by packages– it needs a … Read more
Something I worry about with generative AI in business and commercial use: almost no one fully reads anything in those environments. Now imagine when even the author hasn’t read what was written… yikes. How does AI writing and reading impact … Read more
On the value of human-generated scientific writing in the age of large-language models. Writing scientific articles is an integral part of the scientific method and common practice to communicate research findings. However, writing is not only about reporting results; it … Read more
Spoiler: it is also likely already the best BZip2 encoder for a given block size. See the green charts below. Note for subscribers: if you are interested in my Ada programming articles only, you can use this RSS feed link. … Read more
For years, I’ve felt that writing lines of code was never the bottleneck in software engineering. The actual bottlenecks were, and still are, code reviews, knowledge transfer through mentoring and pairing, testing, debugging, and the human overhead of coordination and … Read more
Why you should write more toy programs I am a huge fan of Richard Feyman’s famous quote: “What I cannot create, I do not understand” I think it’s brilliant, and it remains true across many fields (if you’re willing to … Read more