>I have some free time for the next month, and should be able to knock out a
>basic wiki system in this time (I found what looks like a nice book about
>wikis that I could read and use as a guide for implementing it).
Sounds interesting, what's the name of the book?
>GNU Mach, which is what the Hurd runs on. Is slower that Linux.
There was an attempt to port the Hurd to L4 before. It is
deemed not possible by the current hurd developers.
This was done with an older L4 (Pistachio, I think) that lacked
capabilities in the kernel. Doing it with SEL4 has not be
>BTW, what's the
status of Viengoos?
The author put it on indefinite hiatus and no one else has the
expertise (and/or interest) to continue to work on it.
I just installed the nix package provided by the host distro (not
guix). Seems to work fine.
Very cool!
-- Forwarded message -
From: Nathan Dehnel
Date: Mon, Sep 26, 2022 at 3:52 AM
Subject: git guix checkout automation for contributors
To:
It would be cool if you provided "guix edit " with the path
to an empty directory and it automatically created a local chann
> 2. Does hibernation work in case of a swap-file inside a
root-partition inside a luks-encrypted device?
Just posting to confirm that this does work (with BTRFS as well;
single drive only, not RAID).
You could try seeing what they're doing here to cross-build
https://github.com/flavioc/cross-hurd
It worked last time I ran it (which was admittedly a while ago)
I like it.
Would this Guixy build system store build artifacts in /gnu/store?
This could allow, for example, reproducible incremental builds.
I am uncomfortable with including ML models without their training
data available. It is possible to hide backdoors in them.
https://www.quantamagazine.org/cryptographers-show-how-to-hide-invisible-backdoors-in-ai-20230302/
Tournier wrote:
>
> Hi,
>
> On ven., 07 avril 2023 at 00:50, Nathan Dehnel wrote:
>
> > I am uncomfortable with including ML models without their training
> > data available. It is possible to hide backdoors in them.
> > https://www.quantamagazine.org/cryptographe
a) Bit-identical re-train of ML models is similar to #2; other said
that bit-identical re-training of ML model weights does not protect
much against biased training. The only protection against biased
training is by human expertise.
Yeah, I didn't mean to give the impression that I t
Perhaps such greyzone objects that can't be fully regenerated should
be put in their own channel so users know where they are and it
doesn't become a mystery how many they have installed on their
systems.
>No idea whether this is FSF's official stand but in a talk[0] Richard
Stallman said that the training data is not relevant as long as the
network can be tweaked by retraining, i.e. the weights are licesenced so
that modifications are allowed.
Is this even practically possible? How do you re-train
>If you know how to convert the blob to weights in the neural network
(something the program has to do to make any use of the blob) and know
the error function, you can continue the training with new data.
Yeah, I get that, but you don't necessarily know what the weights
mean. Let's charitably ass
>You can always check what kind of data the program gives to the neural
network as the program is free software. If the data is valid runtime
input it is also valid training data.
That's not necessarily true. Like an image generating program will be
trained on image + caption pairs, but running it
What you could do is implement percent encoding:
https://en.wikipedia.org/wiki/Percent-encoding
-Allows you to store package titles in any language in an encoded form
-Allows the titles to be typed on latin keyboards
-Allows the packages to be accessed through URIs in the future without
causing pro
I once tried setting up kerberized nfsv4 and ended up falling down an
endless rabbit hole and eventually gave up. Instead, I encrypted nfs
using wireguard.
https://alexdelorenzo.dev/linux/2020/01/28/nfs-over-wireguard.html
Very impressive post though!
That was fascinating, thanks for sharing.
>Hi, for some reason emacs has become the elephant in the room of the
discussion on contributing to guix.
>Regardless of one's opinion of emacs, I just want to add that this is
itself strange. I have contributed some (package definition) patches
to guix, all with
Oh, thank you, that's lovely.
On Sat, Sep 23, 2023 at 4:59 AM Ricardo Wurmus wrote:
>
>
> Nathan Dehnel writes:
>
> > heard about guile-studio, but it doesn't appear to have a dark mode,
> > and I imagine trying to add one would require a bunch of emacs-style
rs in a way; something I deeply
regret: this has to stop.
I want to clarify that I'm not just repeating rumors and I actually
have tried to use emacs.
On Sat, Sep 23, 2023 at 5:00 AM Janneke Nieuwenhuizen wrote:
>
> paul writes:
>
> Dear Paul,
>
> > On 9/23/23 09:37, Jann
Which packages are those? I' ve only seen scheme-lsp-server, which
isn't merged yet
On Wed, Sep 27, 2023 at 1:44 PM Christine Lemmer-Webber
wrote:
>
> Nathan Dehnel writes:
>
> >
> >
> >> Hi, for some reason emacs ha
I feel there should be a "guix manual" command that opens the latest
version of your local copy in a new tab of whatever your XDG web
browser is
Yeah but that doesn't open the nicely formatted browser version of the
manual
On Thu, Sep 28, 2023, 01:36 Ricardo Wurmus wrote:
>
> Nathan Dehnel writes:
>
> > I feel there should be a "guix manual" command that opens the latest
> > version of your local co
https://savannah.gnu.org/mail/?group=guix
I have packaged "cadence" and its dependencies. There are a couple
issues with it, though.
-the ladish gui doesn't build because it can't find boost
-cadence builds, but errors with "python not found" when run
I was wondering if someone more knowledgeable could help figure it
out. It's attached b
https://www.mail-archive.com/bug-guix@gnu.org/msg00180.html
According to this, if you use gnu-build-system, all packages added to
inputs get added to PKG_CONFIG_PATH, but for some reason it's not
happening for util-linux, which causes a build error. During the build
PKG_CONFIG_PATH ends up not con
020 at 8:19 AM Tobias Geerinckx-Rice wrote:
>
> Nathan,
>
> Nathan Dehnel 写道：
> > (define-public bcache-tools
>
> So... if you want to learn how to write and submit packages to
> Guix -- please do! And don't let me distract you. Your patch
> looks good, if inc
I modified a shepherd service to accept a new field from config.scm
and I was wondering how to test that it works correctly. Do I need to
make a VM from my modified guix repo with pre-inst-env?
Thanks, that worked.
On Mon, Dec 20, 2021 at 4:00 AM Attila Lendvai wrote:
>
> i have just finished my first Guix service. for now it's a PR for that other
> channel, so i'll copy-paste some stuff from it:
>
> Run with something like this:
>
> $(guix system --no-graphic vm path/to/swarm.scm) -m
I'm not involved, but this guy submitted a patch series you might find
interesting:
https://lists.gnu.org/archive/html/guix-patches/2021-12/msg00770.html
Thank you, I really needed this.
Exciting!
Guix's wireguard service is flawed because it will try to start before
DNS is ready, causing it to fail. I tried to fix this by adding
respawn? #t to the service to make it restart until it succeeds.
https://guix.gnu.org/manual/en/html_node/Shepherd-Services.html#Shepherd-Services
;;definition
(d
Hooray!
>People shouldn't have to take extra steps and burn extra CPU cycles for
security. If I have to recompile everything to harden my system, I
likely won't bother.
>Pretty much everyone benefits from hardening, but not everyone has the
resources and know how to do it manually. Just choosing what to ha
That sounds cool. Sounds like they want to unify the backend for Nix
and Guix. O_o
As a developer, the majority of the package build failures I encounter
are from failed tests, so I agree with this proposal.
I also like the idea of clients testing their own packages instead of
trusting the substitute server.
And if the new tests would catch more packaging bugs, that would be gr
I don't think you're supposed to edit /etc/guix/channels.scm directly,
I think it's generated by guix system reconfigure.
https://gitlab.com/nonguix/nonguix/-/issues/33
I have ~/.config/guix/channels.scm generated by putting
home-channels-service-type in my guix home config.
Wow, that's incredible.
>Port number themselves stem from TCP emerging from earlier protocols (see the
>early RFCs 322, 349, 433 and those that obsolete them), and a clean design
>would probably elect to eschew them, leveraging a \(2^{128}\) address space to
>allow process-to-process communicat
>Would others find this useful?
I would 100% use this.
>Where in the stack would this be solved?
I think there's two places for rollbacks with two different purposes
GRUB: https://www.gnu.org/software/grub/manual/grub/html_node/fallback.html
GRUB supports falling back to another boot entry if the
43 matches
Mail list logo
