<dzho>
there is also a larger and more diffuse point about depending on accreted layers of technology that may not be reproducible in a more sociological sense, in that we ingest and rely on work from the past that might become in some ways a lost art
<dzho>
it feels funny explaining this stuff in a forth channel of all places, but so it goes
<siraben>
website: nixos.org/
<dzho>
siraben: I have, yes
<dzho>
also guix
<siraben>
Great, do you use them?
<dzho>
not yet
<dzho>
siraben: you use nix?
<siraben>
Yeah, Forthers should know best about bootstrapping!
<siraben>
I use Nix, yes.
<siraben>
It's excellent.
<dzho>
siraben: I have for a long time used chroot environments for some of my infrastructure, often building the chroot environment on the same base as the host for it. I'm considering using Guix as the guest environment for the next iteration.
<dzho>
s/using/trying/
<siraben>
I've submitted several packages to nixpkgs as well, like an emulator for TI calculators, the Miranda compiler, etc.
<dzho>
nice
<siraben>
I've heard that Guix has a small bootstrap, which is nice.
<siraben>
Unfortunately the same can't be said for Nix, which uses C++ as the implementation language.
<dzho>
yeah they implement with scheme I think
<siraben>
Yeah, Guile.
<siraben>
(GNU implementation of Scheme)
<dzho>
heh, just what I was going to type
<siraben>
I tried using GuixSD on my MacBook Pro but it didn't have nonfree driver support for wifi, so that was the end of that.
<siraben>
In X years when I switch to a PC which open firmware, might give it another shot.
<dzho>
I'm looking at the Miranda Wikipedia page right now and can't remember if this is the 1st I've learned of it or if I've just forgotten having heard of it before.
<siraben>
s/which/with
<dzho>
with OF and on top of RISC-V amirite
<siraben>
Haha, maybe.
<siraben>
Miranda is a relic from the past, the mailing lists are very dead
<dzho>
sad
X-Scale has quit [Ping timeout: 258 seconds]
<dzho>
these things rarely ever really die though, I mean you just said you packaged it for Nix, yeah?
<siraben>
It wasn't very easy to get compiling too, but now it's in nixpkgs with the help of one of Nix's maintainers.
X-Scale` has joined #forth
<siraben>
I think Guix uses Nix underneath right?
<siraben>
Yes.
<dzho>
I don't know, I think Guix is a reimplementation of the Nix approach?
<siraben>
er, I guess it could be more appropriate to say that I wrote the original in C, got that to self-host then generate Forth code, which then could bootstrap itself
<siraben>
Now that I'm looking into it, it's actually seems somewhat silly that information about bootstrapping a C compiler from bare bones isn't very common
<siraben>
dzho: Haha. His blog is excellent by the way, has some of the best articles on Haskell.
f-a has joined #forth
TCZ has quit [Quit: Leaving]
<siraben>
Which reminds me, I believe this is the only modern reimplementation of a large subset (typeclasses, do notation, ADTs, polymorphism, I/O, etc.) of Haskell with a single C file runtime