guix
live-bootstrap
guix | live-bootstrap | |
---|---|---|
48 | 28 | |
273 | 268 | |
0.7% | - | |
3.5 | 9.4 | |
4 months ago | 6 days ago | |
Scheme | Shell | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
guix
- Nix – A One Pager
-
Pkl, a Programming Language for Configuration
> So what we are missing now is a 500GB framework that can write the config file for the programming language that is writing a config file for the actual program I wish to use.
That exists since 1960. It's called LISP. The e.g. https://guix.gnu.org/ uses with great success, the Guile Scheme dialect of LISP, to be precise. And FYI the "framework" is:
$ ls --human-readable --size $(readlink $(which guile))
-
NixOS: Declarative Builds and Deployments
> inventing a brand new purely functional language programming language.
ISTM that if you dislike that, then there's GUIX.
https://guix.gnu.org/
Very briefly, AFAICT, it's "Nix but using Scheme".
-
Linux saved my life
And just wait till you discover Arch Linux, Gentoo, Guix, or NixOS.
-
The nicest web browser of 2023 uses Lisp.
https://guix.gnu.org for example. It did load before an update but it doesn't anymore.
-
Java community welcomes kotlin, c/c++ community welcome rust and go and Javascript community welcomes typscript except emacs community who still refuse to welcome gnu guile.
Is it? Seems to me it's used for some pretty cool stuff, heard of Guix?
-
Lua: The Little Language That Could
I think a "competitor" to Lua would be Guile [1], but I am not sure if it gets close to Lua in terms of lightweightness... it was designed to be used in the GNU project, with similar objects as Lua: to be light, easily embeddable. It's a Scheme (Lisp) so maybe not for everyone's taste... its "coolest" use i know of is for configuring Guix [2] (the GNU version of Nix).
[1] https://www.gnu.org/software/guile/
[2] https://guix.gnu.org
-
Immutable OS suggestions
No one said Guix yet, might be worth a look: https://guix.gnu.org/
-
What are some of the more innovative linux distributions?
GNU Guix! A fully functional package manager and distro heavily inspire by Nix. The primary difference between it and Nix being that it is almost entirely written and configured in GNU Guile, an implementation of Scheme (Lisp) and the official extension language of the GNU Project (originally intended to be for GNU what emacs lisp is for emacs).
-
Rust Offline?
You should perhaps utilize guix for your projects. It provides rather acceptable rust resp. crates support and in a perfectly reproducible build environment. But be aware, that it even tries to build even the rust compiler from source by going through all this nasty steps of its iterative bootstrap process. This can be a little bit complex and time-consuming, if you need an up-to-date version of rustc.
live-bootstrap
- Bored? How about trying a Linux speedrun? (2020)
-
SectorC: A C Compiler in 512 bytes
Not using this, but tangentially related is (full disclosure, i am a maintainer of this project) live-bootstrap, which uses about a KB of binary to do a full "Linux from scratch" style thing - read https://github.com/fosslinux/live-bootstrap/blob/master/part... for all 143 steps you have to go through to get there.
-
Saving Knowledge Post-Collapse
Actually you can skip a file system entirely if you do something like stage0 or live-bootstrap https://github.com/fosslinux/live-bootstrap
-
Every night
See https://github.com/fosslinux/live-bootstrap, and https://github.com/fosslinux/live-bootstrap/blob/master/parts.rst has all the steps we take.
- Goodbye to the C++ Implementation of Zig
-
what is the smallest linux system capable of building itself?
live-bootstrap builds a variety of intermediate systems, starting from a <1KB binary seed (kernel excluded). Check parts.rst for a description, it's kinda wild just how many C and C subset compilers get compiled... but the end result is a system with musl and GCC 4.7, from which building the latest GCC is 2 steps away.
-
Ken Thompson: Reflections on Trusting Trust (Turing Award Lecture)
There is also live-bootstrap which uses a similar bootstrap chain to Guix (stage0 -> Mes -> tcc -> gcc), but without needing Guile/guix-daemon binaries etc. The whole thing starts with just a 357-byte binary seed (source)!
- Collapsing Internet
- Zig is now self–hosted by default
-
GHC blog: Migrating from Make to Hadrian (for packagers)
There's some cool stuff being done in this area. For example, live-bootstrap goes from a tiny, auditable binary seed to a full GNU userland using only source code (and a Linux kernel).
What are some alternatives?
nix - Nix, the purely functional package manager
nix-ld - Run unpatched dynamic binaries on NixOS
t2sde - T2 SDE Linux
mescc-tools-seed - A place for public review of the posix port of stage0
ungoogled-chromium - Google Chromium, sans integration with Google
brainfuck-x86-64 - A brainfuck interpreter written in x86-64 assembly
steam-runtime - A runtime environment for Steam applications
M2-Planet - The PLAtform NEutral Transpiler
ublue - A familiar(ish) Ubuntu desktop for Fedora Silverblue.
rizin - UNIX-like reverse engineering framework and command-line toolset.
flatpak - Linux application sandboxing and distribution framework
zig-bootstrap - take off every zig