Viewing profile — rekado

Conda does not solve the problems of deployment and they don't have any reproducibility guarantees. That's not surprising considering how Conda binaries are built.

I use a Guix manifest for every project, which describes what dev tools and dependencies I want. When I enter a directory the shell automatically evaluates the manifest and all my …

Chinese. https://en.wikipedia.org/wiki/Chinese_punctuation Chinese uses different symbols for punctuation and the comma in particular is surrounded by padding.

I'm using it on Guix via the Rosenthal channel: https://codeberg.org/hako/rosenthal.git I quite like it because it's more predictable than automatic tiling window managers and gene…

I really dislike the cartoons, because they are carelessly generated images. On the first look they appear to be actual cartoons (you know, where details were deliberately placed t…

It is documented here: https://github.com/YaLTeR/niri/wiki/Xwayland I use xwayland-satellite (for Emacs) and I can copy text in Emacs to a terminal running on Wayland.

In all those years working on and playing with free software, I still cannot understand the incessant need for badmouthing other projects and calling things "half-assed". What a de…

If you like this you may also be interested in Emmett Chapman's Offset Modal System: https://www.stick.com/method/articles/offsetmodal/ https://www.stick.com/method/articles/parall…

Teenagers have to get up too early. Teenagers experience a shift in their circadian rhythm and also require more sleep than before puberty. School schedules do not account for this…

`guix pack` can create bundles that use a static proot to make them relocatable: https://hpc.guix.info/blog/2017/10/using-guix-without-being-... It also supports other more perform…

I think stating it this way gets the history backwards. The live bootstrap came about as a separate implementation of what had been done for Guix earlier. It then became a proving …

This may be of interest: https://programming-journal.org/2023/7/1/ "Building a Secure Software Supply Chain with GNU Guix"

I'm using Guix System on my rockpro64. I patched uboot to allow it to boot via SATA. (One of the patches I needed was to ignore a spurious CPU reset while enumerating SATA devices.…

Identity in this sense: https://en.wikipedia.org/wiki/Identity_(philosophy) Humans already have ways to build software on macos, so why bother doing it with something called "Guix"…

Clearly we do not have a shared understanding of identity.

What is the real reason then? Please enlighten me, because I have been blocked by these technical issues in my past attempts to bring Guix to macOS. Guix is built around glibc and …

Guix has the nonguix channel, which provides the vanilla Linux kernel and other packages that contain blobs or nonfree parts: https://gitlab.com/nonguix/nonguix/

It's part of Guix. It starts here: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages...

The technical details of the quote are correct, but FWIW I'm no longer working on the GHC bootstrap. It's fun for a while but the lack of interest in the Haskell community and the …

I've built up to GHC 6 (I've stopped after reaching 6) from GHC 4. GHC 4 does use some generated C files, so it's not a pure bootstrap, but it's still much better than taking a bin…

CUDA is available in the guix-science-nonfree channel. https://hpc.guix.info/channels/non-free/

I use a Samsung S4 mini with it. There are unofficial builds for it, but it's not the most pleasant experience.