home.social
Sign in Create account

#bootstrappable — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #bootstrappable, aggregated by home.social.

  1. Janneke @[email protected] ·

    Had a most lovely---almost 2h---video chat session with @ekaitz_zarraga and Timothy Sample (GNU Mes contributor and author of Germ) on the workings of Ekaitz' rewrite of Mes from a Scheme interpreter to a compiler.

    AIUI, Guile Scheme has some interesting characteristics that prevent the Mes compiler from using some simple and low hanging fruit performance improvements. Sorry for being vague, Ekaitz can elaborate.

    Wondering if these are also "slowing down" Guile so much---and if not, why not?---and if anything could be done about that.

    #GNU
    #Guile
    #Guix
    #Mes
    #bootstrappable
    #fullSourceBootstrap
    @civodul
    @wingo
    @reproducible_builds
    @nlnet
    @guix

    #gnu #mes #fullsourcebootstrap #guile #bootstrappable #guix
  2. Janneke @[email protected] ·

    @regtur
    Wait what? #GNU #Mes isn't being mentioned? Not even in the comments?
    Fediverse do your thing!

    cc: @lauriewired @reproducible_builds
    @guix
    @ekaitz_zarraga
    @nlnet #bootstrappable
    #bootstrappablebuilds
    #guix
    #trustingtrust

    #gnu #mes #bootstrappable #bootstrappablebuilds #trustingtrust #guix
  3. Janneke @[email protected] ·

    #GNU Mes 0.27.1 released: A bug-fix release that supports

    * development build with gcc-14
    * building with M2-Planet 1.12.0
    * building on x86-linux with M2-Planet 1.13.0
    * building bootstrappable-tcc using 1.00.02 <= NYACC <= 2.02.2

    <lists.gnu.org/archive/html/inf>

    Thanks to @ekaitz_zarraga and @stikonas!

    #GnuMes
    #bootstrappable
    #BootstrappableBuilds
    #ReproducibleBuilds
    @reproducible_builds
    @fsf
    @fsfe
    @gnutools
    @nlnet

    #gnu #gnumes #bootstrappable #bootstrappablebuilds #reproduciblebuilds
  4. Janneke @[email protected] ·

    Good and bad #bootstrapping and #lisp news.
    Timothy Sample has been exploring to write a #bootstrappable syntax-case implementation (the first?) and using GNU Mes to prototype that, sponsored by @nlnet .

    Sadly, it didn't perform and #NLnet apparently didn't choose to extend his grant. (Boo!)

    Edit: I was contacted by NLnet and they convinced me that they never denied such an extension (or new grant) proposal.
    So...that's probably double sad...this seems to have been a most classical communication problem (seen Black Mirror S07E05?).

    Edit: Also, the "Boo!" was primarily directed at the possibility of the EU retracting funding, NLnet is doing very important work, and amazingly so.

    Anyway, Timothy is now writing another bootstrappable lisp implementation: Germ. It's still pretty early days but it's looking great. So happy with this!

    ngyro.com/blog/introducing-ger

    #bootstrapping #lisp #bootstrappable #nlnet
  5. Janneke @[email protected] ·

    I think it just makes no sense to, at some arbitrary level, say: "Listen, we're not going to build this package from source, because: 'Well, we actually don't have any good reason for it but we just won't.'"

    #bootstrappable
    #bootstrappability
    #bootstrappableBuilds
    #freeSoftware

    #freesoftware #bootstrappablebuilds #bootstrappability #bootstrappable
  6. Janneke @[email protected] ·

    #GNU Mes 0.26 released: With greatly enhanced #Guile compatibility, Guile-style modules, and supporting Gash and Gash-Utils.

    lists.gnu.org/archive/html/inf

    Thanks to the amazing work of Timothy Sample (and myself :)

    #GnuMes
    #bootstrappable
    #BootstrappableBuilds
    #ReproducibleBuilds
    @fsf
    @fsfe

    #reproduciblebuilds #bootstrappablebuilds #bootstrappable #gnumes #guile #gnu
  7. Janneke @[email protected] ·

    #GNU Mes 0.25 released: Supporting the bootstrap for riscv64-linux.

    lists.gnu.org/archive/html/inf

    Thanks to the amazing work of @ekaitz_zarraga and
    @stikonas!

    #GnuMes
    #bootstrappable
    #BootstrappableBuilds
    #ReproducibleBuilds
    @fsf
    @fsfe

    #reproduciblebuilds #bootstrappablebuilds #bootstrappable #gnumes #gnu
  8. blake shaw 🇵🇸 @[email protected] ·

    Actually existing 《 #BareMetal coding 》be like:

    Copyright (C) 2016 Jeremiah Orians
    This file is part of #stage0

    stage0 is free software: you can redistribute it and/or modify. It under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. stage0 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

    ## ELF Header
    7F 45 4C 46
    02
    01
    01
    03
    00
    00 00 00 00 00 00 00
    02 00
    3E 00
    01 00 00 00
    FB 00 60 00 00 00 00 00
    40 00 00 00 00 00 00 00
    00 00 00 00 00 00 00 00
    00 00 00 00
    40 00
    38 00
    01 00
    00 00
    00 00
    00 00

    ## Program header table
    01 00 00 00
    07 00 00 00
    00 00 00 00 00 00 00 00
    00 00 60 00 00 00 00 00
    00 00 00 00 00 00 00 00
    9B 01 00 00 00 00 00 00
    9B 01 00 00 00 00 00 00
    00 00 20 00 00 00 00 00

    ## Hex
    48 83 f8 23
    74 26
    48 83 f8 30
    7c 6f
    48 83 f8 3a
    7c 5a
    48 83 f8 41
    7c 63
    48 83 f8 47
    7c 58
    48 83 f8 61
    7c 57
    48 83 f8 67
    7c 47
    eb 4f

    ## Purge Comment
    48 c7 c2 01 00 00 00
    48 c7 c6 99 01 60 00
    48 c7 c7 00 00 00 00
    48 c7 c0 00 00 00 00
    0f 05
    48 85 c0
    0f 84 be 00 00 00
    8a 04 25 99 01 60 00
    48 0f b6 c0
    48 83 f8 0a
    75 c8
    48 c7 c0 ff ff ff ff
    c3

    ## ascii num
    48 83 e8 30
    c3

    ## ascii low
    48 83 e8 57
    c3

    ## ascii high
    48 83 e8 37
    c3

    ## ascii other
    48 c7 c0 ff ff ff ff
    c3

    ## start
    49 c7 c7 ff ff ff ff
    49 c7 c6 00 00 00 00

    ## Loop
    48 c7 c2 01 00 00 00
    48 c7 c6 99 01 60 00
    48 c7 c7 00 00 00 00
    48 c7 c0 00 00 00 00
    0f 05
    48 85 c0
    74 5d
    8a 04 25 99 01 60 00
    48 0f b6 c0
    e8 3c ff ff ff
    48 83 f8 00
    7c c7
    49 83 ff 00
    7d 0c
    49 89 c6
    49 c7 c7 00 00 00 00
    eb b5

    ## print
    49 c1 e6 04
    4c 01 f0
    88 04 25 9a 01 60 00
    49 c7 c7 ff ff ff ff
    48 c7 c2 01 00 00 00
    48 c7 c6 9a 01 60 00
    48 c7 c7 01 00 00 00
    48 c7 c0 01 00 00 00
    0f 05
    eb 80

    ## Done
    48 c7 c7 00 00 00 00
    48 c7 c0 3c 00 00 00
    0f 05

    ## Place for input, This actually isn't required but here it is
    02 00 00

    #hex0 #mes #guix #bootstrappable #gnu

    savannah.nongnu.org/cvs/?group

    #baremetal #stage0 #hex0 #mes #guix #bootstrappable
  9. Janneke @[email protected] ·

    @amszmidt
    That's right, they do not help: they're essential!

    Without Reproducible builds and Bootstrappable builds, free software, and certainly software freedom, is an illusion at best.

    Re: Trusting Trust, see for example the excellent talk by @vagrantc

    archive.org/details/fossy2023_

    #RebproducibleBuilds
    #Bootstrappable
    #BootstrappableBuilds

    #bootstrappablebuilds #bootstrappable #rebproduciblebuilds
  10. Andrius Štikonas @stikonas ·

    Spent part of my at looking at bootstrapping 0.9.26 from on architecture. And thanks to mantainer @janneke for his help with debugging various issues. We can now build initial binary and it can even run some simple commands such as --help or -vv.

    Unfortunately, we still hit some critical bugs when trying to use this tcc binary to rebuild itself but hopefully we are not far now.



    #rechageday #amd #tinycc #gnumes #x86_64 #mes
  11. Janneke @[email protected] ·

    At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).

    Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!

    youtube.com/watch?v=jwMEDI4WsA

    #las2023 #bootstrappable
  12. Janneke @[email protected] ·

    At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).

    Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!

    youtube.com/watch?v=jwMEDI4WsA

    #las2023 #bootstrappable
  13. Janneke @[email protected] ·

    At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).

    Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!

    youtube.com/watch?v=jwMEDI4WsA

    #bootstrappable #las2023
  14. Janneke @[email protected] ·

    At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).

    Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!

    youtube.com/watch?v=jwMEDI4WsA

    #bootstrappable #las2023
  15. Janneke @[email protected] ·

    At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).

    Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!

    youtube.com/watch?v=jwMEDI4WsA

    #bootstrappable #las2023
  16. Janneke @[email protected] ·

    If you run "guix pull" today, you get a package graph of more than 22,000 nodes rooted in a 357-byte program---something that had never been achieved, to our knowledge, since the birth of Unix: a Full-Source Bootstrap.

    Edit: Add blog post link inline guix.gnu.org/en/blog/2023/the-

    #GnuMes
    #bootstrappable
    #BootstrappableBuilds
    #ReproducibleBuilds
    #SupplyChainSecurity
    @reproducible_builds
    @fsf
    @fsfe

    #reproduciblebuilds #bootstrappablebuilds #bootstrappable #gnumes #supplychainsecurity
  17. Andrius Štikonas @stikonas ·

    Recently I have been working on my new project:

    git.stikonas.eu/andrius/stage0

    This is probably the first self-hosted compiler that runs on UEFI. But it's not just that, it can also be bootstrapped from hex.

    It is still work in progress and does not go beyond self-hosting M2-Planet on UEFI but its POSIX equivalent (that assumes existence of kernel such as ) can go all the way from hex to GCC:

    github.com/fosslinux/live-boot
    github.com/oriansj/stage0-posix

    #linux #bootstrappable #uefi #stage0
  18. Hartmut Goebel @[email protected] ·

    @EWings
    bootstrappable.org/ should be a good entry point into this topic. One of the relevant projects is GNU Mes gnu.org/software/mes/

    #bootstrappable #GNUmes

    #bootstrappable #gnumes