Re: Missing tags in Debbugs?

2022-06-29 Thread Bengt Richter
s looks interesting too, that I just found: 2: <https://debbugs.gnu.org/server-request.html#introduction> Will have to try it. Maybe emacs already has a mode for that? (I need to refresh my emacs-fu ;/ ) > > > Cheers, > simon -- Regards, Bengt Richter

Re: “Building a Secure Software Supply Chain with GNU Guix”

2022-07-03 Thread Bengt Richter
cussed [1]. :-) > > 1: <https://yhetil.org/guix/87r13aifi3.fsf...@gnu.org> > > > Cheers, > simon I am not forgetting that I should be thankful for anything I am provided freely. So thank you all! -- Regards, Bengt Richter

Re: “Building a Secure Software Supply Chain with GNU Guix”

2022-07-04 Thread Bengt Richter
Hi zimoun, On +2022-07-04 10:21:13 +0200, zimoun wrote: > Hi, > > On Sun, 03 Jul 2022 at 12:38, Bengt Richter wrote: > >> I do not think committers are pushing code about #1, #2 or #3 that they > >> know beforehand it will cause a problem. > > > > Hm

Re: repl macro (metacommand?) for guix CLI (sub)commands

2022-07-16 Thread Bengt Richter
│ │ 4 guile --no-auto-compile -c '(display (getenv "PS1"))(newline)'$ │ │ [13:25 ~/bs]$ │ └──┘ --8<---cut here---end--->8--- WDYT? I need to go back to square 1 default .bash_login and .bashrc to debug this I guess :-( (so .profile and my mods down the .profile sequence will be ignored). Gaah :-/ -- Regards, Bengt Richter

Re: Building, packaging and updating Guix with confidence

2022-07-25 Thread Bengt Richter
Hi Josselin, tl;dr: I naively don't buy the rationale against a non-root guix daemon :) Skip to [2] if tl ;) On +2022-07-21 18:10:53 +0200, Josselin Poiret wrote: > Hello, > > b...@bokr.com writes: > > Naively: > > > > Why does "the" guix daemon per se need root access at all? > > The main thin

Re: How long does it take to run the full rustc bootstrap chain?

2022-10-31 Thread Bengt Richter
t through those SATA channels during what you timed? That would give an idea of what faster phusical disk memory access would do for you. If many people are waiting longer that they like, maybe they would chip in to fund an upgrade, to feed that 12(24)-core "beast" :-) I'd bet it is waiting a lot, if not more than computing :) -- Regards, Bengt Richter

Re: Dissecting Guix -- blog post series

2022-12-12 Thread Bengt Richter
I see asking for trust info being relevant to derivations :) -- Regards, Bengt Richter

Re: Question on the process of packge withdrawal

2023-03-01 Thread Bengt Richter
der avatars ;-) Yeah, that sounds like more fun. VRML? Well, that's a big fantasy about "discovery" :) Hm, how to get that running as native RISC-V code on open silicon? ;-) > Cheers, > simon -- Regards, Bengt Richter

Re: should auto updaters be disabled?

2020-02-29 Thread Bengt Richter
game enhancement" and a screaming "CVE-XXX: IMMEDIATELY DENY ALL, ALLOW ONLY ..." (with all the DOS threats and nuisances taken into account? Dreaming on .. but we have to dream things up before we can make them ;-) -- Regards, Bengt Richter

Re: February update on data.guix.gnu.org and the Guix Data Service

2020-03-12 Thread Bengt Richter
ing? 2. Are the http [sans 's'] links necessary? [...] > > Thanks for the great update, as always! > > Ludo’. > -- Regards, Bengt Richter

Re: February update on data.guix.gnu.org and the Guix Data Service

2020-03-12 Thread Bengt Richter
ing used and not HTTPS". I've gotten the impression that it's a compromise having to do with making load balancing easier somehow, but that's my ignorant speculation, which any real factoid could improve on :) -- Regards, Bengt Richter

Re: kmscon not working on MacBook

2020-03-25 Thread Bengt Richter
a friend’s AMD GPU system. Probably > one could blacklist yet another AMD graphics module instead of passing > nomodeset. But then the installer on AMD systems where the module is > working fine would be limited to uvesafb. > > Regards, > Florian > -- Regards, Bengt Richter

Re: [BLOG] On migration to the Hurd

2020-04-01 Thread Bengt Richter
tar® http://AvatarAcademy.com > -- Regards, Bengt Richter

Re: 01/02: services: Allow modprobe to use "/etc/modprobe.d".

2020-04-06 Thread Bengt Richter
service-type” we discussed with Danny[1]. > Instead of extending “etc-service-type” we would use > “activation-service-type”, as “%modprobe-wrapper” is currently put > in place by a simple activation service. > > [0]: https://issues.guix.info/issue/40422 > [1]: https://issues.guix.info/issue/40274#29 > > - Brice > [1] python -c 'import this' -- Regards, Bengt Richter

Re: good practices in science

2020-04-06 Thread Bengt Richter
not comfortable with script-kiddies [1] getting too easy access to knowledge they are not mature enough to handle ;-/ Amateur Jurassic Parks, anyone? Oops, that became a virus, not a tame T-Rex we can ride, what shall we do? [1] Not to mention Scrooge amd Dr.Strangelove ;-/ -- Regards, Bengt Richter

Re: good practices in science

2020-04-06 Thread Bengt Richter
und with expensive toys, just to keep their competition out of the market. Or that they'll be disrupted by metoo accusations. So what makes you hopeful about guix? :) > > Cheers, > Konrad > -- Regards, Bengt Richter

Re: good practices in science

2020-04-07 Thread Bengt Richter
Hi Konrad, > > So what makes you hopeful about guix? :) > > It's so technical that politics-minded people won't even look at it. LOL :)) -- Regards, Bengt Richter

Re: Hyperlinks!

2020-04-14 Thread Bengt Richter
rtant, as people may go there out of interest sparked elsewhere, to get up-to-date info on guix. Is updating wikipedia part of guix documentation work-flow? My 2¢ ;-) -- Regards, Bengt Richter

Re: GNU Guix 1.1.0 released

2020-04-16 Thread Bengt Richter
x goes *much* further beyond any NixOS origins than that commenter believes. Anyway, guix is cool :) https://dict.tu-chemnitz.de/de-en/ (Nice dictionary to help my creaky German ;-) > > Cheers, > >   Konrad > > -- Regards, Bengt Richter

Re: 1.1.0 for HPC & reproducible research

2020-04-16 Thread Bengt Richter
mpressive! (Not to mention your personal productivity -- are you part 'bot? ;-) -- Regards, Bengt Richter

Re: hint: Run `guix search ... | less' to view all the results

2020-04-26 Thread Bengt Richter
mutt/temp/mutt-LionPure-1000-4379-382192783617502847 sh pts/0 6555 S+ sh -c emacs '/home/bokr/.mutt/temp/mutt-LionPure-1000-4379-382192783617502847' muttpts/0 4379 S+ mutt bashpts/0 2822 Ss /bin/bash tilix ? 2817 Sl /usr/bin/tilix --gapplication-service systemd ? 1441 Ss /lib/systemd/systemd --user systemd ?1 Ss /sbin/init splash --8<---cut here---end--->8--- > > Thank you for your feedback. > > All the best, > simon > -- Regards, Bengt Richter

Re: Guix System video review on YouTube

2020-04-27 Thread Bengt Richter
2:8.1.0875-5 all Vi IMproved - Common files un vim-gnome(no description available) un vim-gtk (no description available) un vim-gtk3 (no description available) un vim-nox (no description available) ii vim-tiny 2:8.1.0875-5 amd64Vi IMproved - enhanced vi editor - compact version --8<---cut here---end--->8--- you can obviously grep ^ii to see what's installed only, or grep -v ^un to keep the headers with the ii's > > The the search command would fulfill it's function by giving you an > > overview about the available options. > > I agree as explained above. :-) > Room of improvements for "guix search". :-) > > > > >> * Multi user package concept not clear (root as different packages then > > >> normal user). > > > > > > This is related to expectation about "installed", IMHO. > > > > Yes. But can be confusing for all the people coming from traditional > > package managers where root and user share the same packages. > > Yes shifting is always difficult. :-) > > > Cheers, > simon > -- Regards, Bengt Richter

Re: 02/02: image: Disable compression for ISO images.

2020-04-28 Thread Bengt Richter
have different results, those benches are not very accurate > though. Might it throw some light to see your different results for --8<---cut here---start->8--- $ lscpu|grep -i bogo $ top -n1|grep ^MiB --8<---cut here---end--->8--- At least I'm curious :) > > Thanks, > > Mathieu > -- Regards, Bengt Richter

Re: Guix System video review on YouTube

2020-04-28 Thread Bengt Richter
u want a more visual package manager, don't use To me it looks like he *is* using a terminal to get the above :) (or faking it from some re-purposed console cli sql output snippet?) > a CLI tool. A proper GUI will be more accessible. > By "proper" you mean browser-presented html/javascript ? ;-) > As one example, ASCII formatting makes screen readers a lot harder to > use. I don't think that has to be so :) > -- Regards, Bengt Richter

Re: hide more output

2020-05-06 Thread Bengt Richter
ity/brevity filters or the user's grep. It might be nice to have an option to menumonic-tag-name the log for easier later access and review. -- Regards, Bengt Richter

Re: “guix --help” should point to https://guix.gnu.org/help/

2020-05-15 Thread Bengt Richter
of info that may have extra relevant info for their particular distribution and use case. Links for pursuing that would help. Sometimes going to duckduckgo.com and typing "site:gnu.org what you want" in the slot can get you useful urls faster than navigating down from https://guix.gnu.org/help/ I don't think there's any shame in suggesting that :) > Yes, it cost nothing and could improve. I think that's way too unassertive :) > > > All the best, > simon > -- Regards, Bengt Richter

Re: Propose to distribute a user-only install script, not admin required

2020-05-16 Thread Bengt Richter
of cooperating users. That should be fast, since it's just like mmap table manipulation IIUC. So there's my 2 cents worth of bike shed paint :) Well, a little more, I hope. I'll be poking at it, but now will hope for ideas and prior art revelations here ;-) BTW, might encapsulating all of guix in the guixurootd $HOME file space serendipitously work with that systemd home encapsulator/migration- facilitator that I don't even know the right name of, possibly? -- Regards, Bengt Richter

Re: GNU Shepherd 0.8.1 released

2020-06-04 Thread Bengt Richter
eliminated by not servings .sig's at all from mirrors? (it would be inconvenient when official server was down, but not a showstopper inconvenience, since the tgz would be be mirrored and could be validated with published sha256sum's). -- Regards, Bengt Richter

Re: [Guix Website] A Search Page for Packages

2020-07-08 Thread Bengt Richter
;d like to know if you find the page useful so that I can hopefully start > working on incorporating the search functionality into this page: > https://guix.gnu.org/packages/. > > Best Regards, > Danjela HTH -- Regards, Bengt Richter

Re: How to package inputrc

2020-07-12 Thread Bengt Richter
missing that too? What do you think? > > Good night > Jonathan > > [0] https://wiki.archlinux.org/index.php/Readline > [1] > https://git.archlinux.org/svntogit/packages.git/plain/trunk/inputrc?h=packages/readline > [2] https://packages.debian.org/buster/all/readline-common/filelist > -- Regards, Bengt Richter

Re: MPFR and MPC

2020-07-28 Thread Bengt Richter
, that might be true sometimes for meetings of specialists with urgent work to do, but not for inclusive public mailing lists :) -- Regards, Bengt Richter

Re: Linux-libre 5.8 and beyond

2020-08-10 Thread Bengt Richter
length digests may produce other remainder end values. BTW, how did nix get such a weird alphabet for 0-31 ? Watermarking themselves? :) -- Regards, Bengt Richter

Re: File search progress: database review and question on triggers

2020-08-15 Thread Bengt Richter
your-regex-here or the former, preserving header and excluding non-installed, e.g.,? dpkg -l '*your*globbed*name*here*'|grep -v ^un > -- > Regards > Hartmut Goebel > > | Hartmut Goebel | h.goe...@crazy-compilers.com | > | www.crazy-compilers.com | compilers which you thought are impossible | > > -- Regards, Bengt Richter

Re: NixCon 2020

2020-09-24 Thread Bengt Richter
> 17 October. This will be a contrast between Guix and Nix. > > I have prepared a self-shot of my presentation, > https://share.riseup.net/#N9ggM6bRWviQCTro3_qerQ > > Please leave your feed-back. -- Regards, Bengt Richter

Re: emacs-lucid (was Re: Emacs closure at ~900MB?)

2020-09-28 Thread Bengt Richter
Perhaps such an emacs package could have a smaller closure, by depending as simply as possible on wayland (sans Xwayland)? If the low level stuff were wrapped nicely in some guile extension modules, I suspect other uses than emacs would be found. [1] https://emacs.stackexchange.com/questions/48561/is-there-an-x11-free-build-of-emacs-that-can-run-on-wayland-not-going-through-x [2] https://packages.debian.org/sid/emacs-nox -- Regards, Bengt Richter

Re: Using #true and #false everywhere?

2020-10-17 Thread Bengt Richter
a door just long enough for some exploitation -- or at least require the conscientious to think about whether the whoops really could have been exploitable somehow. I see a waste of developer time, that can be much better used. My 2¢ :) -- Regards, Bengt Richter

Re: A better way to access records.

2020-10-30 Thread Bengt Richter
> > "let-from-record-type" i just made up since i dont know what it should be > called.  Anyhow, it seems like we're stepping back a few centuries in > computer > science by needing to jump through these hoops. > > The list of symbols can be retreived with (record-type-fields > ), but I can't think of how one would write the above > syntax. > > Opinions? > > > info guile record may be useful :) -- Regards, Bengt Richter

Re: Hunspell dictionaries

2020-11-02 Thread Bengt Richter
:UUID 28:OS 29:PGP 29:REPL 31:PID 31:TFTP 32:URI 33:GNOME 33:TCP 34:USB 34:VPN 35:API 35:LDAP 36:HTTPS 36:ID 36:QEMU 37:NFS 38:HOME 38:SERVER 40:VM 41:GCC 43:SSL 45:DNS 46:SUBSTITUTE 48:PATH 54:GRUB 61:HTTP 70:TLS 82:IP 90:GUIX 103:SSH 119:URL 454:GNU --8<---cut here

Re: RFC: subcommand to pause/resume builds

2020-11-04 Thread Bengt Richter
ctl/hash-prefixed-derivation-file-name-in-question.drv.sfx and deleting it when wanting to allow it to continue. Later, if that works, .sfx files could have content, for as yet unimagined purposes ;) [...] > > Conclusion: I don’t think we can implement this reliably. > IDK from the outside, but inside-out, WDYT? > HTH! > > Ludo’. > -- Regards, Bengt Richter

Re: Latest Nyxt features a GUI for Guix :)

2020-11-11 Thread Bengt Richter
ut here---end--->8--- on pureos, debian-based --8<---cut here---start->8--- 4.19.0-12-amd64 #1 SMP Debian 4.19.152-1 (2020-10-18) --8<---cut here---end--->8--- NBD, just thought you might like to know :) -- Regards, Bengt Richter

Re: Discoverability at the REPL level

2020-11-16 Thread Bengt Richter
nbound-variable hints and documentation. > > > All the best, > simon > > > 1: https://yhetil.org/guix-devel/87tuttci4z.fsf...@gnu.org > 2: https://yhetil.org/guix-bugs/87y2jie1aj@gmail.com/ > 3: http://issues.guix.gnu.org/issue/38529#60 > 4: > https://yhetil.org/guix-devel/caf-xjgsynm3kszum__f9dspuc0epj2qkdfwdftilhttumfa...@mail.gmail.com > 5: https://yhetil.org/guix-devel/87woitz1xx@gnu.org/ > [...] -- Regards, Bengt Richter

Re: Releasing guix binary in Docker format too?

2020-11-18 Thread Bengt Richter
supports composition[1], how do they handle > this standard case ? How can we get Docker to generate /etc/services, > /etc/passwd and /etc/group for the composed docker image ? > I guess this question would morph if guixbuilder* became "projects", where "you can set the

Re: Questionable "cosmetic changes" commits

2020-12-02 Thread Bengt Richter
t not for deciding separate and separable distribution components. (I think I got my nostalgic ideas of components from Meccano kit from the '40s ;) tl;DR: 1. I vote for running all code to be submitted through a standard pretty-printing canonicalizer. It could even inject TODO stubs for missing synopses, and doc strings (as an option :) -- Regards, Bengt Richter

Re: Questionable "cosmetic changes" commits

2020-12-05 Thread Bengt Richter
dig through the Git history > to find information about what's going on. > > Anyway, I think the most useful output from this discussion is amending > or adding to the packaging guilelines to cover this: > > https://guix.gnu.org/manual/en/html_node/Packaging-Guidelines.html -- Regards, Bengt Richter

Re: bug#45069: Guix System: unprivileged user cannot create user namespaces?

2020-12-07 Thread Bengt Richter
x_inotify_instances <== 128 ==> /proc/sys/user/max_inotify_watches <== 65536 ==> /proc/sys/user/max_ipc_namespaces <== 128163 ==> /proc/sys/user/max_mnt_namespaces <== 128163 ==> /proc/sys/user/max_net_namespaces <== 128163 ==> /proc/sys/user/max_pid_namespaces <== 128163 ==> /proc/sys/user/max_user_namespaces <== 128163 ==> /proc/sys/user/max_uts_namespaces <== 128163 --8<---cut here---end--->8--- HTH some way :) -- Regards, Bengt Richter

Re: Linux-Libre-LTS

2020-12-27 Thread Bengt Richter
re pro saboteurs, and genius amateurs :) I like the stackoverflow scoring of answers. I'd like something similar for packages. > This is based on my expectation that Guix users who can tolerate > unscheduled breakage from kernel updates will probably just use our > default "linux-libre" kernel, and that users who would choose > "linux-libre-lts" are probably doing so because they wish to avoid being > caught off guard by unscheduled breakage. Does that make sense? > > What do you think? > See above :) > Thanks, > Mark > -- Regards, Bengt Richter

Re: How would packaging Steam-proton games be received?

2021-01-09 Thread Bengt Richter
sphere within Guix will help > it continue to grow, and channels can satisfy the need for things that > don't fit the FSDG. If Guix becomes large enough, it could be > transformative for the free software movement. > > [0] > https://www.gnu.org/philosophy/free-sw.en.html -- Regards, Bengt Richter

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-28 Thread Bengt Richter
f > guix-bimsb a8b539d > repository URL: https://github.com/BIMSBbioinfo/guix-bimsb > branch: master > commit: a8b539d61a359060c35f3cb34c7edd1d9d14241d > bimsb-nonfree 4084e63 > repository URL: https://github.com/BIMSBbioinfo/guix-bimsb-nonfree.git > branch: master > commit: 4084e63c9c0d662780870aded9f5a6ca1b063780 > guix-science cf87b05 > repository URL: https://github.com/guix-science/guix-science.git > branch: master > commit: cf87b0501c4a38b96edf41025a27bf1cb91f521a > guix 957f0c4 > repository URL: https://git.savannah.gnu.org/git/guix.git > branch: master > commit: 957f0c40327ce00f53db22737e3775ce616ac258 > > $ guix time-machine -C /tmp/img/channels.scm -- pack -f docker > --save-provenance -m /tmp/img/manifest.scm > Updating channel 'guix' from Git repository at > 'https://git.savannah.gnu.org/git/guix.git'... > /gnu/store/xzk604g8gysv4azn7sf9nylr6iah97gl-docker-pack.tar.gz > --8<---cut here---end--->8--- > > To compare with > /gnu/store/wxymmnxdvdvf08ifsfy39xjaxilhrigk-docker-pack.tar.gz. > > On a third machine, I get: > /gnu/store/wxymmnxdvdvf08ifsfy39xjaxilhrigk-docker-pack.tar.gz > > Well, that’s another story and I have not inspected yet the > derivations and what could be wrong on the machine B. > > > Cheers, > simon > KUTGW ;-) -- Regards, Bengt Richter

Re: PowerShell core?

2021-02-02 Thread Bengt Richter
ays there and Powershell comes with it!" Is that a sales pitch ?? For what? Caveat emptor! "I say Powershell is almost synonymous with IT worker rights..." Sounds political -- something lost in translation? Sorry if I totally misread your post. -- Regards, Bengt Richter

Re: PowerShell core?

2021-02-03 Thread Bengt Richter
nnards right now, so I haven't done anything rash :) -- Regards, Bengt Richter

Re: Emacs and URLs in Git commit messages

2021-02-04 Thread Bengt Richter
link a C program (source and commands all in script) that will do the same, assuming you have a usual x86_64 tool chain at hand, or 5. write it in some other interesting language (rash? :) I am not sure having the solution be dependent on emacs' (or any limiting entity's) internals is the most generally useful, but it's something I think about. I'd be interested in what you all think, though maybe it ought to be a new thread ;) > -- > Chris -- Regards, Bengt Richter

Re: Would a Guix QA page be helpful?

2021-02-07 Thread Bengt Richter
a. And please use '+%F %T ' date format for time stamps, UTC, so one doesn't have to wonder what year it was when looking at an old copy/paste or screen capture ;-) That'd be enough to please me, anyway :) Good tags for searching are helpful, of course. > Thanks, > > Chris -- Regards, Bengt Richter

Re: GWL 0.3.0 released

2021-02-11 Thread Bengt Richter
5888 235F ACAC [17:30 ~/bs]$ --8<---cut here---end--->8--- Thought someone might want to know. -- Regards, Bengt Richter

Re: GWL 0.3.0 released

2021-02-11 Thread Bengt Richter
On +2021-02-11 21:37:56 +0100, Ricardo Wurmus wrote: > > Bengt Richter writes: > > > gpg --verify gwl-0.3.0.tar.gz.sig > > gpg: assuming signed data in 'gwl-0.3.0.tar.gz' > > gpg: Signature made Sat 06 Feb 2021 09:28:59 PM CET

Re: TOCTTOU race (was: Potential security weakness in Guix services)

2021-02-14 Thread Bengt Richter
in a problem in modern systems; as of 2019, a TOCTOU race condition in Docker allows root access to the filesystem of the host platform.^[5] [ ] --8<---cut here---end------->8--- [...snip...] -- Regards, Bengt Richter

Installing via iso.xz, really best idea? -- was Re: Gnome Boxes

2021-02-22 Thread Bengt Richter
t; That said: XZ compression currently saves 27% (559M -> 405M). > >> Transparently serving pre-compressed ISOs with nginx (gzip level > >> 9) would save about 25% (559M -> 415M), which is surprisingly > >> similar. > >> > >> Kind regards, > >> > >> T G-R > >> > >> > > -- > - EJR Hm, I wonder how large a tarball "guix pack" as it works now would create to create something runnable with the my-neat-system-bootstrap.sh functionality described above, vs depending on the foreign system's bash, wget, dd, etc. -- Regards, Bengt Richter

Heads-up from Linus -- potential bisection trainwreck: "A note on the 5.12-rc1 tag"

2021-03-04 Thread Bengt Richter
up with a filesystem that is essentially overwritten by random swap data. This is what we in the industry call "double ungood". --8<---cut here-------end--->8--- -- Regards, Bengt Richter

Security-czar needed? WAS: Re: Release 1.2.1: zstd 1.4.4 -> 1.4.9: grafting or core-updates?

2021-03-16 Thread Bengt Richter
rs (regressions vs fixes), packages (estimated number of times executed without problem, dangerous bugs in development history, etc). -- Regards, Bengt Richter

Re: Deep vs Shallow trace: Removing the tradeoff?

2021-03-30 Thread Bengt Richter
f, you first need a proof of the > > claim, then find a clever way to proove you have the proof, without > > disclosing it. Not sure it's helpful here. If you have a proof that you > > don't need to rebuild, why not share that proof to everyone in the first > > place? > > Sure, you only need the succinctness property. I should have been more > precise, what I am mainly after is resolving the tradeoff between shallow and > deep traces. > > I hope that this discussion can at least be helpful for people that are not > familiar with these ideas, even if - as it seems from your response - the > idea does not have merit. > > Kind regards, > - ilmu -- Regards, Bengt Richter

Re: Why ban underscores?

2021-04-04 Thread Bengt Richter
age names, which could lead to a proliferation of undesirable > diversity in our choices of hyphen-like characters. Then, we'd all have > to remember when typing a package name: "is this one of those packages > that uses underscores instead of hyphens?" > > Mark

Re: Security related tooling project

2021-04-17 Thread Bengt Richter
services.) > > Anyhow, it’s awesome to see you work in this area. Like Chris Marusich > wrote, Guix is in a good position to address security issues, and you’re > obviously in a very good position to know what and how to improve the > state of things in Guix, so all hail! > > Ludo’. > > ¹ https://issues.guix.gnu.org/31442 > -- Regards, Bengt Richter

Re: RISC-V is giving away developer boards

2021-04-30 Thread Bengt Richter
urtès wrote: > > > Could interested developers raise their hands? :-) > > > > I previously applied for early access to the BeagleV: > > > > https://beagleboard.org/beaglev > > > > I wasn't selected and I decided to focus on aarch64 for now. > > > > Hopefully some other people can step up and apply via this new program! > > > -- Regards, Bengt Richter

Re: A "cosmetic changes" commit that removes security fixes

2021-05-03 Thread Bengt Richter
nd links to more :) > Cheers! > > -- > Pierre Neidhardt > https://ambrevar.xyz/ -- Regards, Bengt Richter

Interesting reading for minimalists, esp mes folks? :)

2021-05-08 Thread Bengt Richter
e---end--->8--- -- Regards, Bengt Richter

Re: Interesting reading for minimalists, esp mes folks? :)

2021-05-08 Thread Bengt Richter
On +2021-05-08 12:56:36 +0200, Bengt Richter wrote: > Hi minimalists :) > Forgot the main project link [6] ;/ > In case you hadn't yet come across this (LWN did a piece [5] about a year ago, > which was the first I heard of it. (Chasing a dream led me to check > more c

Re: Free software telemetry and the Guix System

2021-05-15 Thread Bengt Richter
I can provide in return > > for such a great FOSS app as Audacity. > > +1 > My 2 cents: :) I like options, but I would feel more secure if it were implemented in a separate, dynamically linked when opted-in, some-implementation.so which I could get the kernel to prevent access to, e.g. by # chmod 400 some-implementation.so -- Regards, Bengt Richter

Re: GNU Guix 1.4.0 in September? (was: Re: GNU Guix 1.3.0 released)

2021-05-17 Thread Bengt Richter
>8--- planner-importable xml here --8<---cut here---end--->8--- Discussion without triggering automated import would just leave "[release-plannng]" out of the Subject: line, or have e.g. [release-discussion] in the Subject: line. Anyway, I thought

Re: Supporting *multiple* bootloaders for arm64 on a single install?

2021-06-19 Thread Bengt Richter
And on a forum, someone else can say, "Don't trust that thing with hash xxx...zzz, it blew up for me," and I can hold off until there's a consensus. WDYT? BTW, why not build multiple installer ISOs targeted for different architectures, and specialized needs? (for smaller ISOs and other benefits). I assume one could already do this with guix, but why not leave the whole ball-of-wax to git clone, and let people with common architectures have less to download and less irrelevant-to-them choices? > > Bye > > Stefan > > > ¹ <https://documentation-service.arm.com/static/5fb7e415d77dd807b9a80c80> -- Regards, Bengt Richter

Re: Use of %texlive-revision and %texlive-tag in tex.scm

2021-07-06 Thread Bengt Richter
ams? This would be a radical change in the approach to reproducibility, maybe dynamically selecting from a whitelist of trusted/tested substitutable executables with hash names in /gnu but not necessarily (though not excluding) binaries produced with guix source guarantees. Seems like guix is turing-complete enough to provide this kind of substitutable foreign functions already, so might this be a way to avoid mass recompilations? Or is this already available, but not so much used? I am not sure where to contibute thoughts like these, where they would be of interest rather than distracting. (Pls excuse the noise, if that's what this is to you). -- Regards, Bengt Richter

Re: Use of %texlive-revision and %texlive-tag in tex.scm

2021-07-07 Thread Bengt Richter
On +2021-07-06 15:28:43 -0300, Nathan Benedetto Proença wrote: > Bengt Richter writes: > > > Hi Nathan, > > Nice writeup! > > Thank you! > > > On +2021-07-05 11:03:46 -0300, Nathan Benedetto Proença wrote: > >> Hello! > >> > >> I

Re: packaging go-ethereum, and ultimately bee (of ethswarm.org)

2021-09-03 Thread Bengt Richter
I see a third viable option (3): treat the "go.sum" as a mere > > ‘friendly suggestion’, and just use the latest version when feasible. > > Again, I don't see much difference with, say, haskell, python, ruby, > > guile, java ... packages. > > > my point here is not that all go projects should be packaged like this > (i.e. with exacly pinned dependencies), but that applications like > geth should be, regardless of the language they are written in. > > in case of a random image viewer written in go, i'm all in for a > relaxed handling of dependencies. > > > > Have there been any problems in practice with just using the latest > > version (updating the version currently in guix where applicable)? > > > not that i'm aware of, but the first such identified issue could turn > out to be very expensive. > > - attila > > -- Regards, Bengt Richter

Re: Rethinking propagated inputs?

2021-09-05 Thread Bengt Richter
build-propagated-inputs: --8<---cut here---end--->8--- > > (A quick search of the ML turned up one previous discussion [0]; does > > anyone know of others?) > > > > [0] > > https://lists.gnu.org/archive/html/guix-devel/2017-02/msg00362.html > W.r.t. native-inputs, I think native-inputs should propagate > propagated-inputs, but not linked-inputs. Makes sense, doesn't it? > > -- Regards, Bengt Richter

Re: Guix Jargon File (WAS: Rethinking propagated inputs?)

2021-09-05 Thread Bengt Richter
pursuing "C-s whatever" once inside "info guix whatever", but though concept and api indices are great, they are not a Jargon File, and not as handy for an outsider :) On +2021-09-05 12:50:56 +0200, Liliana Marie Prikler wrote: > Hi, > > Am Sonntag, den 05.09.2021

Re: Guix Jargon File (WAS: Rethinking propagated inputs?)

2021-09-05 Thread Bengt Richter
ore re-inventing things you may already be way ahead in :) Oh, if you haven't already, also check into guile's regular expressions, e.g. "info guile Ret Ctrl-s regular expressions Ret Ret" And also try guile's repl by just typing "guile Ret" and then ",help

Re: Time for a request-for-comments process?

2021-10-28 Thread Bengt Richter
e based on > dates or interest. My trick to deal with such traffic is “just” to > quickly be able to determine if it is worth, for my interests, to jump > into the details. If it requires less than 10min to answer, then I do > it (obviously, it always take more time than expected :-)), else if I am > interested in, I mark the email to revisit it later – coupled with > Org-capture and scheduled TODO tasks. On the top of that, I use a > “structured procrastination” approach: do what I am interested in at the > moment, not what it is important or urgent. > -- Regards, Bengt Richter

Re: "Trojan Source" (CVE-2021-42574 and CVE-2021-42694): can 'guix lint' help someway?

2021-11-01 Thread Bengt Richter
cted. In the latter case, maybe an automatic substitute for the backlisted file could be provided that would generate informative hints when used in a build instead of aborting the whole thing. A flag in the blacklist line might be a way to select alternative automated actions? > What do others think? > -- Regards, Bengt Richter

Re: Release v1.4 (or 2.0): process and schedule ?

2021-12-20 Thread Bengt Richter
release’? :-) > >> The main argument for releasing, IMHO, is communication and so attract > >> potential new users. :-) > > To me, it's a milestone that can be communicated and provides a more > thoroughly tested (in theory) Guix installation image. > > Thanks for helping shape the release plan, > > Maxim > -- Regards, Bengt Richter

Re: On raw strings in commit field

2022-01-01 Thread Bengt Richter
---start->8--- “When I use a word,” Humpty Dumpty said in rather a scornful tone, “it means just what I choose it to mean — neither more nor less.” “The question is,” said Alice, “whether you can make words mean so many different things.” “The question is,” said Humpty Dumpty, “which is to be master – – that’s all.” --8<---cut here---end--->8--- -- Regards, Bengt Richter

Re: The way to promote GUIX package manager

2022-01-27 Thread Bengt Richter
; > above ways > > Guix can comfortably be used outside of Guix System. And you can > *still* use most “guix system” commands, e.g. to build containers or > virtual machines. > > -- > Ricardo > -- Regards, Bengt Richter

Re: The way to promote GUIX package manager

2022-01-28 Thread Bengt Richter
all_ hot-pluggable hard disks, even if two (for raid or cloning) of them have convenience slots to hold them as cartridges. Dreaming on ... -- Regards, Bengt Richter

Re: Assisting reviewing & committing with tags?

2022-02-15 Thread Bengt Richter
for reviewed patches that can be applied. > >> > >> There could also be a tag 'reviewed-looks-good2' if the patch appears ok > >> to two reviewers, or a 'reviewed-needs-work', etc. > > > > This is a great idea. I guess we will need to adjust the software that > > runs issues.guix.gnu.org to make use of it, but in the meantime you > > should keep using this tag. Thanks! > > I like it as well. > > Maxim > -- Regards, Bengt Richter

Re: Investigating a reproducibility failure

2022-02-15 Thread Bengt Richter
tation could be a start on some kind of abstract model validation test? It's simple, but it pulls on a lot of simulation tool chains. WDYT? > Thanks, > Ludo’. > -- Regards, Bengt Richter

Re: Excessively energy-consuming software considered malware?

2022-02-25 Thread Bengt Richter
dominated by allergy and spice concerns. (I have nothing againt special venues catering to sensitive minorities, don't get me wrong. What do I mean "minorities" eh? :) Wonder what George Carlin (R.I.P) would say about all this :) -- Regards, Bengt Richter

Re: Excessively energy-consuming software considered malware?

2022-02-25 Thread Bengt Richter
On +2022-02-25 14:04:34 +0100, Tobias Geerinckx-Rice wrote: > On 2022-02-25 13:41, Bengt Richter wrote: > > And maybe also a mailing list called "guix-grownups" -- > > where casual adult language is accepted without triggering > > endless complaints. > > This

Re: Assisting reviewing & committing with tags?

2022-03-21 Thread Bengt Richter
tl;dr: Sleep deprivation ;-/ SFTN On +2022-02-15 17:23:23 +0100, Maxime Devos wrote: > Bengt Richter schreef op di 15-02-2022 om 13:23 [+0100]: > > Hi guix, > > > > It sounds like a good idea, but ISTM we don't need yet another markup syntax > > if emacs o

Re: New review checklist

2022-04-02 Thread Bengt Richter
t ) [...])) > >     ...)) > > > > Why would things be different for 'commit' here?  How does putting > > the value of 'commit' in a let-form reduce surprises? > The main goal of let-binding commit and revision is to allow for easier > change. Suppose you need to reference some half-release for some > obscure reason, then this style makes it easier to switch to what is > already established praxis. > > In general, consider the poor soul who may have to read and maintain > your code after you get hit by a car because neither busses nor trams > run in your region. > -- Regards, Bengt Richter

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

2019-09-09 Thread Bengt Richter
ALL LETTER R _t_ +U74 116 LATIN SMALL LETTER T _è_ +Ue8 232 LATIN SMALL LETTER E WITH GRAVE _s_ +U73 115 LATIN SMALL LETTER S "\a": glyph codepoint .int name... _^G_+U07 7 ASCII bel, aka #\alarm I us

Re: 02/02: gnu: next: Compress the executable.

2019-10-03 Thread Bengt Richter
ation of physical page blocks when blocks are pure zero, and just store the fact of their existence in inode metadata? If that's right, then it would seem that it would be possible to access both the full physical size and alternatively just the sum on non-zero blocks' sizes. One wo

Re: fftwf tests running for 25+ hours - is this normal?

2019-10-14 Thread Bengt Richter
got to doing racket, which started out fast, but got really slow -- though it did finally crawl across the finish line, and cooled off. I guess it would show up in dmesg or journalctl -xe but I didn't look, sorry. HTH -- Regards, Bengt Richter

Re: 'staging' is FROZEN

2019-10-15 Thread Bengt Richter
cycle somewhat larger than > usual. Shortlog below. > > Thanks to everyone who contributed! > [...] -- Regards, Bengt Richter

Re: fftwf tests running for 25+ hours - is this normal?

2019-10-15 Thread Bengt Richter
On +2019-10-15 11:32:38 -0700, Chris Marusich wrote: > Hi Bengt and Matteo, > > Bengt Richter writes: > > > Have you checked sensors for overheating that might induce CPU clock > > throttling? > > Actually, yes, I happened to be watching dmesg output at the

Re: fftwf tests running for 25+ hours - is this normal?

2019-10-15 Thread Bengt Richter
Hi Chris and Matteo, On +2019-10-15 22:11:50 -0700, Bengt Richter wrote: > On +2019-10-15 11:32:38 -0700, Chris Marusich wrote: > > Hi Bengt and Matteo, > > > > Bengt Richter writes: > > > > > Have you checked sensors for overheating that migh

Re: “Guix Profiles in Practice”

2019-10-26 Thread Bengt Richter
ystème" sound right to you? It doesn't to me, unless même has a sense of pareil used that way. Maybe "en utilisant le même système" ? (note le/the -- not un/a) -- Regards, Bengt Richter

Re: Parallel downloads

2019-11-06 Thread Bengt Richter
uld be and divide by the number of cpus allocated and make the line buffer writes thread-safe. ... and use base>10 digits potentially ;-) > > - Can we configure the default value? > > Yup, just pass ‘--max-jobs=N’ to the daemon. > > HTH! > > Ludo’. > -- Regards, Bengt Richter

Re: Profiles/manifests-related command line interface enhancements

2019-11-06 Thread Bengt Richter
->8---" (get-string-all (current-input-port)) tag "---cut here---end--->8---" --8<(original did not do this)---cut here---end--->8--- Oops. still using /usr/bin/... there ;-) And I see easy improvements, but my point is it would have been less shareable as an emacs-only macro. Where guix is factorable into separately useful components, I think the same idea applies. The unix way of small things :) HTH -- Regards, Bengt Richter

Re: Profiles/manifests-related command line interface enhancements

2019-11-13 Thread Bengt Richter
e the build daemon which could run sandboxed guile expressions safely? If designed for the future, maybe such a daemon's interface could anticipate replacing the daemon and talking to a hypervisor dom0 as in Qubes-OS? -- Regards, Bengt Richter --8<(OT PS)---cut here---

Re: Package inputs in manifests

2019-11-17 Thread Bengt Richter
e different names for the same thing, except for local convenience abbreviations?) I see the de-duping gc does when it converts to hard links, and wonder there too. What am I missing? RFE: (request for enlightenment :) Exactly how are the /gnu/store prefixes computed? What _exactly_ is/are the input(s) that get hashed?? TIA -- Regards, Bengt Richter

Re: 79-GiB opam checkout in ~/.cache/guix

2019-11-18 Thread Bengt Richter
f the cloned repository does not have a worktree/checkout (i.e. if any of --no-checkout/-n, --bare, or --mirror is given) --8<---cut here---end--->8--- HTH -- Regards, Bengt Richter

Re: Package inputs in manifests

2019-11-23 Thread Bengt Richter
Hi Ludo, On +2019-11-23 15:05:49 +0100, Ludovic Courtès wrote: > Hi, > > Bengt Richter skribis: > > > Can "collisions" be collisions even if the targets are bit-identical? > > Collisions are when the same package appears several times with > different vers

Re: Package inputs in manifests

2019-11-24 Thread Bengt Richter
Hi Timothy, On +2019-11-24 02:17:20 -0500, Timothy Sample wrote: > Hi Bengt, > > Bengt Richter writes: > [...] > > ┌─┐ > > │ So again, what exactly goes into computing those /gnu/stor

  1   2   >