Previous: 25 Feb. 2025 Next: 10 Mar. 2025 Babel A Debian encoding in PubGrub X provides with virtual packages here X cross ecosystem resolutions between opam and debian Done in babel. Some examples follow.

Previous: 17 Feb. 2025 Next: 3 Mar.

Previous: 10 Feb. 2025 Next: 25 Feb. 2025 Babel: opam repository with pubgrub-opam X tests X PubGrub 0.3.0 Uv is using the development branch of PubGrub. There’s a lot of improvements to be had since the last release was 4 years ago.

Previous: 3 Feb. 2025 Next: 17 Feb.

Published 7 Feb. 2025. Tags: technology. I use the sway Wayland compositor, which is a clone of the X11 i3 window manager for Wayland. Wayland is a communications protocol for next-generation display servers used in Unix-like systems which has been adopted as the default display server by Linux distributions including Fedora with KDE, and Ubuntu and Debian with GNOME. I use the sway Wayland compositor.

Previous: 27 Jan. 2025 Next: 10 Feb. 2025 Babel I’ve been focusing on our new package manager to rule them all, code name `Babel’, this week. PubGrub opam dependency provider I’m making progress so supporting Opam’s full feature set with the Rust implementation of the PubGrub version solving algorithm, which we’re aiming to use for a cross-ecosystem solver. Previous work has used the Opam semantics for multiple ecosystems.

Published 3 Feb. 2025. Tags: technology. I developed RSI symptom’s at the tail of writing my masters project and started looking for ways to work more ergonomically. As someone who’s often typing in one form or anther 8+ hours a day one obvious aspect to look at was my keyboard. I’m using the ZSA Moonlander as my daily driver which I purchased with my PhD stipend machine budget. It’s an ergonomic ortholinear split mechanical keyboard.

Published 3 Feb. 2025. I use Firefox as my default browser. You can see my configuration in NixOS here. Having it in Nix is handy so I don’t have to sign into a Firefox account on a live ISO or new machine install in order to get the environment I’m used to. Tridactyl I use Tridactyl for many useful Vim-like bindings in Firefox. Similar to Firefox you can see my configuration here.

Published 2 Feb. 2025. Last update 18 Feb. 2025. Tags: technology. I started using Emacs for the mu4e mail client after using and liking the mu mail indexer on the command line (read more about my mail client setup). Similarly, I was using the ledger-cli accounting system, and found the Emacs minor mode to be great. Then I got curious about Emacs Org Mode and started using it for note taking and task management.

Published 1 Feb. 2025. Last update 18 Feb. 2025. Tags: technology. I used to use Neovim as my main development environment. I like the fact that it’s small and fast, and that I can use it over an SSH connection. Neovim is a fork of Vim that I use for the Lua configuration and built-in Language Server Protocol support. However, I mainly use Emacs these days.

Previous: 20 Jan. 2025 Next: 3 Feb. 2025 babel X multi-version optional dependencies for PubGrub Which as far as I can tell hasn’t been done before.