Notices by anemofilia (anemofilia@mathstodon.xyz)

I'm looking for a replacement keyboard for my thinkpad, do anyone here knows where can I buy a hinkpad X220 Keyboard 45N2211 / 45N2176 - NMB?
#thinkpad #hardware #freesoftware

@tauon Actually we still have a mcron-service-type, and it's usable, but shepherd now has a builtin cron-like thing called shepherd-timer. You can choose to use either

I've completed "Laboratories" - Day 7 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/7

I just completed "Trash Compactor" - Day 6 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/6

I just completed "Cafeteria" - Day 5 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/5

I just completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/4

I just completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/3

I just completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/2

I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/1

@lhp I've been using it for typing resolutions of exercises from a couple masters subjects. I find it much more concise, easy to read, and to write too. As I'm currently working on group cohomology and some other pretty categorical stuff, writing commutative diagrams easily is very important to me, and tikz doesn't even compare to typst commute library. Typst also provides a way to do a lot of semi-automated tasks, as it has a pretty clean implementation of functions on it.

@jautero Hm, I'm not sure I get what you mean? Typst is pretty featureful

@lhp I don't know how suitable it is for writing a thesis (I probably will do mine in LaTeX too), but I have been writing lots of Typst recently, I like it better than LaTeX for most stuff, honestly.

@zimoun @ekaitz_zarraga I don't really think the guix/nonguix situation is any similar to smoking hidden, it isn't any difficult to find nonguix in my experience, neither is difficult to find setups using it, from where you can gather information to add it to your setup, etc

@zimoun @ekaitz_zarraga
Also, I don't really buy the thing "People don't know about nonguix because it isn't in the documentation" or similar arguments. If I get a big message in a bright red background saying my hardware isn't supported, the first thing I would do would be searching for something like "guix firmware" in a search engine. And doing leads you to nonguix without much a hassle:

@zimoun @ekaitz_zarraga I mean, you aren't being forced to use free software exclusively either. On Parabola we have a essential (in the sense you can't remove it easily) package called your-freedom, which is made incompatible with nonfree packages, so trying to install proprietary stuff won't work. Guix has nothing similar to it, nothing blocking users to use proprietary stuff, except a little inconvenience of adding nonguix.

@zimoun @ekaitz_zarraga As both a vegan and someone that choose Guix, among other reasons, for following the FSDG, I agree with Ekaitz. Also I don't think anyone is being forced to be "vegan" in this analogy, both because:
1) You aren't forced to use Guix,
2) Even if you choose to use Guix, you have the option to add Nonguix to your channels list.

Update on the status of cuirass.genenetwork.org - system remains down, but is expected to be back online in the next 24-48h! 😌

After spending quiet some time attempting to recover from a ENOSPC btrfs issue, further complicated by a stuck/failed balance, I have opted to do a partial recovery to get the system back online. Luckily, the guix-publish and nginx caches were recovered, along with cuirass database state, guix signing keys, ssh host keys, ...

Thanks for your ongoing patience

#guix

So I decided to run the substitute server in the long term and open it to the broader Guix community. Let me know if you want to add some channels to the build queue :)

Now It allows mirroring with rsync and a file server, new URLs are also available and now recommended instead of the old one. I'll keep the blog post updated, so check it out!

Guix Build Farm for Community Channels
https://ultrarare.space/en/posts/guix-build-farm/

New substitute server for community channels
https://lists.gnu.org/archive/html/guix-devel/2025-09/msg00027.html

#guix

64-bit childhurds are in the house!
https://guix.gnu.org/manual/devel/en/html_node/Virtualization-Services.html#index-hurd_002dvm_002dconfiguration

Means anyone on #Guix can run an x86_64 #Hurd virtual machine just by setting (type 'hurd64-qcow2).

Kudos to Yelninei for this work!

@lynn I have this service here, then place my executable binaries in files/.local/bin and have ~/.local/bin in my PATH. You could also use the program-file procedure together with the home-files-service-type (if your scripts are written in guile)