HN user

rekado

2,518 karma

Free software developer and GNU hacker.

    https://elephly.net
    https://bootstrappable.org
    https://foundation.guix.info
    https://hpc.guix.info
    https://guix.gnu.org
    https://workflows.guix.info
Posts40
Comments535
View on HN
guix.gnu.org 1y ago

Guix/Hurd on a ThinkPad X60

rekado
61pts2
hpc.guix.info 1y ago

Guix Targeting the Cray/HPE Slingshot Interconnect

rekado
3pts0
hpc.guix.info 2y ago

Guix-HPC Activity Report, 2023

rekado
3pts0
en.wikipedia.org 2y ago

Ut Queant Laxis

rekado
1pts0
guix.gnu.org 3y ago

From devel environments to CI–ultimate guide to software development with Guix

rekado
5pts0
www.systemreboot.net 3y ago

Deploy scripts using G-expressions

rekado
18pts7
spritely.institute 3y ago

Directly compiling Scheme to WebAssembly: lambdas, recursion, iteration

rekado
142pts23
en.wikipedia.org 3y ago

SXML

rekado
3pts0
www.systemreboot.net 3y ago

Deploy scripts using G-expressions

rekado
1pts0
www.nature.com 3y ago

Practical transparent verifiable and long-term reproducible research using Guix

rekado
2pts0
hpc.guix.info 4y ago

Guix HPC Activity Report 2021

rekado
1pts0
hpc.guix.info 4y ago

Tuning packages for a CPU micro-architecture

rekado
2pts2
guix.gnu.org 5y ago

Guix 1.3

rekado
151pts88
gnu.tools 5y ago

The GNU Assembly

rekado
16pts2
guix.gnu.org 5y ago

Guix New Supported Platform: powerpc64le-Linux

rekado
2pts1
guix.gnu.org 5y ago

Music Production on Guix System

rekado
181pts57
guix.gnu.org 5y ago

GNU Guix 1.2.0

rekado
237pts193
guix.gnu.org 5y ago

Childhurds and GNU/Hurd Substitutes

rekado
7pts0
guix.gnu.org 6y ago

Running a Ganeti Cluster on Guix

rekado
3pts1
guix.gnu.org 6y ago

Guix Further Reduces Bootstrap Seed to 25%

rekado
195pts89
guix.gnu.org 6y ago

GNU Guix 1.1.0 Released

rekado
33pts0
guix-hpc.bordeaux.inria.fr 8y ago

HPC goodies in Guix 0.15.0

rekado
1pts0
www.win.tue.nl 8y ago

Unfolding the Earth: Myriahedral Projections

rekado
1pts0
guix-hpc.bordeaux.inria.fr 8y ago

Pre-built binaries vs. performance

rekado
2pts0
guix-hpc.bordeaux.inria.fr 8y ago

Installing Guix on a cluster

rekado
1pts0
thebaffler.com 8y ago

The Meme Hustler (2013)

rekado
1pts0
www.gnu.org 9y ago

State of aarch64 on Guix

rekado
1pts0
bootstrappable.org 9y ago

Bootstrappable builds

rekado
1pts0
www.gnu.org 9y ago

GNU Guix and GuixSD 0.13.0 released

rekado
100pts36
bootstrappable.org 9y ago

Bootstrappable Builds

rekado
2pts0

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 tools are ready.

With tooling for deployment I prefer to heed an adaptation of Greenspun's Tenth Rule. Neither Guix nor Nix are really all that "complex" from a user's perspective.

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 to convey meaning), but the more you look the more confusing they get because it seems that most details here are accidental.

To me bad illustrations are worse than no illustrations. They also reflect poorly on the author, so I'm much less inclined to give them the benefit of the doubt, and probably end up dismissing their prose.

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 destructive habit!

Engineering Sleep 2 years ago

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 shift.

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" if the thing that we would necessarily --- and for technical reasons --- end up with bears little resemblance to Guix? If someone sees value in that, enough to warrant converting resources to realize this value, they are welcome to do just that.

Note that we also have a way of using Guix as it is on macos via virtualization of Guix System. It also sits atop a large binary blob (the size of the native bits of the qemu closure), just like a macos-native bootstrap of the roots of the Guix graph does.

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 there is no glibc port for macOS. Using XCode for everything is like replacing a bicycle drive train with a steam engine; I guess it's still a vehicle of some sort, but Theseus is still unhappy with his new ship.

You can use Guix on macOS with https://superkamiguru.org/projects/msg.html, but it's probably not what people want when they ask for macOS support.

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 general high level of ridicule and hostility from the rest of the software world towards all things GNU / free software / bootstrapping have kinda turned me off the whole computer thing.

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 binary of GHC 6 or later.

(I'm the author of the 2017 blog post. I had planned a follow-up but since I didn't have much to show I scrapped it.)

But you're not the spokesperson for Guix, are you?

I used to be co-maintainer and I'm working close to full time on Guix. I also happen to have worked on Guix on Mac before; in fact I'm involved in the very mailing list thread you dug up.

We are familiar with the way Nix does it on Mac, but I won't repeat my assessment here. Doing it with XCode and adding an arbitrary cut to the graph would get us to something that resembles Guix only in uninteresting ways.

Well, there's nobody blocking the work. If not I then surely somebody would personally have to do it. And it's akin to building a completely separate distribution on top of a different foundation, so we could only superficially reuse existing infrastructure.

I'm writing my comments in the first person, because I have actually made the effort to investigate this in the past, more than once.

This is precious little to do with some kind of abstract purity. Hell, I've packaged Tensorflow and CUDA crap, which is as far removed from purity as it gets.

It gets a little tiring to read about values that are projected onto Guix, that I can't find in my own work.

Forking code is easy. Forking a community is not and you end up with lots of duplicated work to the detriment of both groups.

Not hostile. We just can't do it. There is no free toolchain for Mac. So we'd have to arbitrarily cut the trust graph and graft it on top of a huge blob of a proprietary toolchain and set of system libraries. That's like building a completely new distribution. Since I'm not using macos and have no interest in committing my own money to keep paying for freedom restricting software to provide a service that would earn the label "supported" there's no way I'm going to make that effort.

I self host prosody (an XMPP server) with a TURN server in my living room. With Guix System this is largely declarative, aside from the DNS records and initial user account registration (which I do on the command line).

We're using it for messaging, sharing files, video calls across continents, etc. Re video calls: the XMPP and TURN servers are only used for negotiating the connection, so you don't need a very powerful machine for any of this.

I have a little Rockpro64 for this purpose.