Finally, after many months of waiting for our paper to be accepted (preliminary PDF here), Ganak2 is finally released (GitHub code, released binaries) and easily accessible and modifiable. I wish this release had come earlier, but double-blind requirements didn’t allow us to release the code any sooner.| Wonderings of a SAT geek
In July I described how I use Travis CI to deploy this static site to GitHub| thewagner.net
My foray into Nix, how I use it for day-to-day tasks, and why it's more than just another package manager.| blog.6nok.org
Note: I wrote the vast majority of this post on August 24, 2022, but I decided that it was a whiny rant that I didn’t want to publish. I came across the draft in January 2024, remembered that this entire series is a whiny rant, and decided to publish it anyway. I’ve been a happy Nix user for about 18 months now, and– well, not happy happy, but satisfied… no… not really satisfied either; perhaps it’s more of a resigned disgruntlement; a feeling that despite its many flaws, it’s s...| ianthehenry.com
How to manage your programs and dotfiles with Nix and Home Manager.| alex.pearwin.com
NixOS has a lot of really cool ideas, but unfortunately installing on a VM is still tricky. This guide is designed as a "just get me something working, please!" way to get a headless NixOS install up and running in a libvirt VM.| www.technicalsourcery.net
A few weeks ago, I decided to install NixOS on my laptop. I’m barely using it these days, and I already had Pop_OS installed on my work computer, so I could experiment with alternate distributions without too much risk.| PoignardAzur
Nix is a tool for configuring software environments according to source files. I’ve been hearing more and more about Nix on Hacker News and Twitter. The idea of it appeals to me, so I’ve been tinkering with it over the past few weeks. My history with infrastructure as code Ten years ago, I discovered Salt, a tool that allows you to define a computer system’s configuration in source code. I loved the idea of a git repo that defined what services were installed on my computers and VMs.| mtlynch.io
Remember the snapshot we made allll the way back in Part 1 ? Now's the time to use it. Well, make sure you've committed and pushed all your changes, but when you're ready, let'...| fasterthanli.me