tiflolinux.org - GNU Social
  • Login

Bienvenido

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Ludovic Courtès (civodul@toot.aquilenet.fr)

  1. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 08-May-2023 14:02:24 CEST Ludovic Courtès Ludovic Courtès

    The 🐑 #Shepherd 0.10.0rc2 is available for testing—last call!
    https://lists.gnu.org/archive/html/guix-devel/2023-05/msg00081.html

    You can help translate it, too:
    https://translationproject.org/domain/shepherd.html

    In conversation Monday, 08-May-2023 14:02:24 CEST from toot.aquilenet.fr permalink

    Attachments


    1. No result found on File_thumbnail lookup.
      The shepherd textual domain
  2. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 02-May-2023 15:24:18 CEST Ludovic Courtès Ludovic Courtès

    #JeRecrute, pas moi mais mes collègues de l’équipe Concace à Bordeaux (Inria, Airbus, Cerfacs), un·e ingénieur·e (fonctionnaire) en développement logiciel, spécialiste en méthodes numériques et #HPC, avec un volet #RechercheReproductible (MPI, C++, Python, Guix, Org, etc.).
    👉 https://www.inria.fr/sites/default/files/2023-04/2023-DT-IR-2.pdf

    In conversation Tuesday, 02-May-2023 15:24:18 CEST from toot.aquilenet.fr permalink

    Attachments


  3. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 24-Apr-2023 11:39:52 CEST Ludovic Courtès Ludovic Courtès
    in reply to
    • Ekaitz Zárraga 👹
    • w96k
    • David Wilson

    @ekaitz_zarraga Oh, got it! I was so confident that this had already been addressed that it didn’t occur to me… reported:
    https://issues.guix.gnu.org/63048

    @w96k @daviwil

    In conversation Monday, 24-Apr-2023 11:39:52 CEST from toot.aquilenet.fr permalink

    Attachments


  4. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 23-Apr-2023 21:41:32 CEST Ludovic Courtès Ludovic Courtès
    in reply to
    • Ekaitz Zárraga 👹
    • w96k
    • David Wilson

    @ekaitz_zarraga Dunno, why is it wrong?

    In some cases you may want to use ‘literal-string’, but I’m not sure ‘guix home import’ can really guess:
    https://guix.gnu.org/manual/devel/en/html_node/Essential-Home-Services.html#index-literal_002dstring

    @daviwil @w96k

    In conversation Sunday, 23-Apr-2023 21:41:32 CEST from toot.aquilenet.fr permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      Essential Home Services (GNU Guix Reference Manual)
      Essential Home Services (GNU Guix Reference Manual)
  5. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 22-Apr-2023 21:29:14 CEST Ludovic Courtès Ludovic Courtès
    in reply to
    • Ekaitz Zárraga 👹
    • David Wilson

    @ekaitz_zarraga It’s pretty incremental: you start with what ‘guix home import’ gives you and then you can gradually migrate your config from “old-style dot files” to Home services.

    @daviwil made excellent (as always!) talks and tutorials, such as the one at FOSDEM:
    https://fosdem.org/2023/schedule/event/guixhome/

    In conversation Saturday, 22-Apr-2023 21:29:14 CEST from toot.aquilenet.fr permalink

    Attachments

    1. FOSDEM 2023 - An Introduction to Guix Home
  6. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 17-Apr-2023 11:51:33 CEST Ludovic Courtès Ludovic Courtès
    in reply to
    • Ekaitz Zárraga 👹
    • Christine Lemmer-Webber
    • Andrew Kelley
    • The Spritely Institute

    @ekaitz_zarraga @andrewrk @spritelyinst @cwebber Thanks for the kind words!

    What you’ve achieved over the past two years has been inspiring to me. I hope we meet in person someday soon!

    In conversation Monday, 17-Apr-2023 11:51:33 CEST from toot.aquilenet.fr permalink
  7. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 01-Apr-2023 12:47:32 CEST Ludovic Courtès Ludovic Courtès

    “Reinstating an iconic error message”
    https://guix.gnu.org/en/blog/2023/reinstating-an-iconic-error-message/

    A proposed patch reinstates the “error in finalization thread: Success” that #Guix System users had come to rely on (and to have on stickers).

    In conversation Saturday, 01-Apr-2023 12:47:32 CEST from toot.aquilenet.fr permalink

    Attachments


    1. https://toot.aquilenet.fr/system/media_attachments/files/110/122/878/532/453/525/original/9ffa00c3b02f1b55.jpg

  8. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 25-Mar-2023 15:38:15 CET Ludovic Courtès Ludovic Courtès

    #GNU DNS has been intermittently failing for the past 24h.

    #Guix users can work around it and get substitutes using ‘--substitute-urls=https://141.80.181.40’.

    For upgrades, you can run: ‘guix pull --url=https://github.com/guix-mirror/guix’.

    In both cases, this is safe: #Guix authenticates substitutes as well as code fetched from Git, and it flags downgrade attempts.

    In conversation Saturday, 25-Mar-2023 15:38:15 CET from toot.aquilenet.fr permalink
  9. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 19-Mar-2023 18:41:35 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga In a nutshell, ‘syntax-rules’ macros list clauses; each clause has a pattern against which the input code is checked, and code to emit when the input code matches that pattern. It’s often referred to “macros by example”.

    In a way, it’s similar to a “sed -es/PATTERN/REPLACEMENT/” expression, where PATTERN can have sub-expressions and REPLACEMENT can have “backrefs”.

    In conversation Sunday, 19-Mar-2023 18:41:35 CET from toot.aquilenet.fr permalink
  10. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 19-Mar-2023 15:47:09 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga Probably the best way to study macros is to look at the result of macro expansion. You can do that in Emacs with Geiser or at the REPL, using the “,expand” or “,optimize” commands. Example:

    ,expand (false-if-exception whatever)

    In conversation Sunday, 19-Mar-2023 15:47:09 CET from toot.aquilenet.fr permalink
  11. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 19-Mar-2023 00:32:46 CET Ludovic Courtès Ludovic Courtès

    When you have a state machine (or an actor) and you’re threading its state in a named ‘let’ with many variables, writing those recursive calls can quickly become tedious.

    I came up with a pretty nice macro to help with that:
    https://git.savannah.gnu.org/cgit/shepherd.git/commit/?id=01db6552f9f70c4a5fff32831c04d75313fb57a4

    It can be thought of as a named ‘let’ with named arguments.

    #Scheme

    In conversation Sunday, 19-Mar-2023 00:32:46 CET from toot.aquilenet.fr permalink

    Attachments


  12. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 14-Mar-2023 10:12:20 CET Ludovic Courtès Ludovic Courtès

    Tomorrow I’ll be presenting (remotely) my article at the ‹Programming› conference: “Building a Secure Software Supply Chain with GNU Guix”
    https://2023.programming-conference.org/track/programming-2023-papers#program

    Looking at the lineup, I’m a bit intimidated!

    #SupplyChainSecurity #infosec #Guix

    In conversation Tuesday, 14-Mar-2023 10:12:20 CET from toot.aquilenet.fr permalink

    Attachments

    1. ‹Programming› 2023 - Research Papers - ‹Programming› 2023
      The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming. We have named it ‹Programming› for short. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience. In order to present at ‹Programming› 2023, papers must be submitted to the first, second or third issue of Volume 7 of the ‹Programming› journal (see details of the timeline).
  13. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 13-Mar-2023 18:50:59 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹
    • jannekeⓋ🌱

    @ekaitz_zarraga No idea. I know that @janneke worked hard to support have proper MinGW support in Guile (part of it has yet to be merged).

    Otherwise I’d suggest relying on WSL2, but again, I have zero experience with all this.

    In conversation Monday, 13-Mar-2023 18:50:59 CET from toot.aquilenet.fr permalink
  14. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Thursday, 02-Mar-2023 13:07:23 CET Ludovic Courtès Ludovic Courtès

    At FOSDEM I came across fellow #NixOS hackers and learned that #Nix is celebrating its 20th birthday with parties all around this month:
    https://nix.party/ 🎉

    Happy birthday Nix! 🎂 Thanks for showing the way and congratulations to y’all!

    In conversation Thursday, 02-Mar-2023 13:07:23 CET from toot.aquilenet.fr permalink

    Attachments

    1. Celebrating 20 years of Nix
  15. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 28-Feb-2023 21:39:09 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹
    • Victorhck

    @victorhck @ekaitz_zarraga ¡Muy buena y agradable introducción a Guix! 👍

    “Los Lisperos somos así.” :-)

    In conversation Tuesday, 28-Feb-2023 21:39:09 CET from toot.aquilenet.fr permalink
  16. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Friday, 24-Feb-2023 17:28:44 CET Ludovic Courtès Ludovic Courtès

    New ‘-Wunused-module’ option for #Guile, wo0t!
    https://git.savannah.gnu.org/cgit/guile.git/commit/?id=89c3bae3cf68fac9b6bf10fd377cd11de040be71

    In conversation Friday, 24-Feb-2023 17:28:44 CET from toot.aquilenet.fr permalink

    Attachments

    1. guile.git - GNU Guile
  17. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 21-Feb-2023 22:51:56 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga Thanks for a super clear explanation of both bootstrapping and the actual work you did with compilers! Quite a challenge to get those messages through in little more than 25mn, well done.

    In conversation Tuesday, 21-Feb-2023 22:51:56 CET from toot.aquilenet.fr permalink
  18. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Thursday, 02-Feb-2023 15:08:38 CET Ludovic Courtès Ludovic Courtès
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga By setting up ‘qemu-binfmt-service-type’:
    https://guix.gnu.org/manual/en/html_node/Virtualization-Services.html#Transparent-Emulation-with-QEMU

    In conversation Thursday, 02-Feb-2023 15:08:38 CET from toot.aquilenet.fr permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      Virtualization Services (GNU Guix Reference Manual)
      Virtualization Services (GNU Guix Reference Manual)
  19. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 30-Jan-2023 22:14:14 CET Ludovic Courtès Ludovic Courtès

    I just rediscovered daemons.el (‘emacs-daemons’ in Guix), and it’s pretty cool, especially combined with Guix Home.

    #Emacs #Shepherd #Guix

    In conversation Monday, 30-Jan-2023 22:14:14 CET from toot.aquilenet.fr permalink

    Attachments


    1. https://toot.aquilenet.fr/system/media_attachments/files/109/779/990/866/603/560/original/27e358c2b2a0d322.png
  20. Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 28-Jan-2023 00:59:21 CET Ludovic Courtès Ludovic Courtès

    TIL GoboLinux does have /bin, /lib, /usr, & friends, but it can hide them via a kernel module:
    https://gobolinux.org/doc/articles/gobohide.html

    In conversation Saturday, 28-Jan-2023 00:59:21 CET from toot.aquilenet.fr permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      GoboHide: surviving aside the legacy tree
  • Before

User actions

    Ludovic Courtès

    Ludovic Courtès

    GNU, Guix, Guile, reproducible research, etc.

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          4189
          Member since
          12 Apr 2021
          Notices
          150
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.