#guix
I'm beginning to think #guix is a bloated mess. Basically I need to RTFM 😹
Chuff it. Decided to do a quick and dirty install of #guix on the X200 and have a play. 😸
I can always reinstall later, once I fix the firmware 🤔
@faizalr For me, #guix is the future 👉https://guix.gnu.org/ 😃
At some point I also want to get away from using the #linux kernel entirely, #GNUguix is one more step along that road.
@dekkzz76 Yeah, I was watching one last night. Also, Prot 👉 ( https://protesilaos.com/ ) did a livestream on #guix recently.
Which is why I'm thinking a more capable laptop might be a good idea 😆
Although it's the right thing to do, given the current state of things, this feels like putting the cart before the horse:
https://pkg.go.dev/github.com/anchore/syft
Building an #SBOM based on heuristics is prone to fail and will never give a deterministic result.
Build input and SBOM shouldn't be two distinct entities - they should be derived from the same single source.
This is were fully reproducible and deterministic systems like #NixOS / #nixpkgs or #guix can shine.
Alternativ gäbe es noch #guix, das kann Verschlüsselung
https://guix.gnu.org/manual/en/html_node/Mapped-Devices.html (allerdings mit kleinen Einschränkungen wegen Bug in GRUB, siehe https://issues.guix.gnu.org/55723
@qbi @0x17
rde Meetup #3 will take place in less than 5 hours.
https://lists.sr.ht/~abcdw/rde-announce/%3C871qjmjaow.fsf%40trop.in%3E
Who hoo! That's liblibrecast 0.6.1 in #guix!
Next #Guix and/or #Emacs meetup in #London when? #SelfFulfillingToot
#Guix is getting too big for me. I can no longer execute
(fold-packages
(lambda (package result)
(cons package result))
'()
#:select? (lambda (p) (and (supported-package? p)
(not (hidden-package? p))
(not (package-superseded p)))))
(from 'guix repl`) on a computer with 16 GB of memory.
Can the #Guix out troll #LM3? Is #Clojure not a #Lisp? Is #STklos fake shit? Is #TinyKlos the real deal? Is #Emacs Lisp actually a #Scheme??! Are #Guile users #SmugNonLispWeenies? Can #Janet join the #SmugLispWeenies?
Tune in to #mastodon.el to find out the answers to all of the questions you were too scared to ask
#emacs #guix #tramp
Hi, first post on Mastodon. I'm a self taught software developer using #guix, #stumpwm, #emacs, and currently experimenting with #nyxt.
I'm fond of #foss, and do some drive-by contributions to various projects as I encounter issues.
By day, I'm working as a consultant mostly using #windows, #dotnet and #csharp, but I use #fsharp whenever I get the chance.
Looking forward to meeting likeminded people on Fosstodon!
This can be useful for trusted #bootstrap chain which led me to the impressive work #GUIX did on the subject https://guix.gnu.org/blog/2023/the-full-source-bootstrap-building-from-source-all-the-way-down/
hot take: if we were to classify #guix in terms of mathematical ontology it would be a materialist operating system rather than a functional/constructivist one, as the system is conceived primarily as a set of extensions of "system", rather than #NixOS's options-as-pure-functions (iirc), which seems to represent more of a constructivist vision.
Just got a #CLI-only system running. I tried to write a Mastodon post, but it ended up pretty long, so here it is on my #Gemini capsule:
https://deafeningcreationearthquake.flounder.online/gemlog/2023-05-22.gmi
gemini://deafeningcreationearthquake.flounder.online/gemlog/2023-05-22.gmi
> what features of Lisp make it more liberating for you personally than some other more popular high-level language such as Python or JavaScript?
Lisp offers “Freedom 1” (“the freedom to study how the program works, and change it”) in its fullest. Any function definition is a single M-. away to study, and it can be changed at any time, instantly. OODA loop is as short as it gets. I'm sure Emacs users read and change the code of the program they are running more than any other social group in the world.
Patch the object system, alter the thing that defines local functions, extend the syntax that defines code transformers — all with immediate effects, of course — all that would probably beyond my hopes, had I settled with more popular languages. (And I had to do all the things I mentioned, due to bugs or missing features.) How about something less fancy, such as redefining a class? Looks like Python has problems even with that. This is extremely limiting.
> I suppose you use #Guix OS with Shepherd?
No; Gentoo.
> Then […] have most of your day-to-day computing tasks covered by Lisp.
Smartphone use aside, that's the case already. I have to run some daemons written in C, and the system depends somewhat heavily on Python and Perl but that's it. I just never leave Emacs, except when it crashes.
I recently worked with SWWS (https://softwareworkers.it/) developing a minimalist CSS theme for their websites.
I think this is the first time I get to work a paid job using libre tools (GNU Guix and its packages) and be able to release the resulting work as a libre cultural work. It feels great 🙂
Check the theme in action:
https://luis-felipe.gitlab.io/themes/swws/
It styles basic HTML elements and Org components.
Get the source:
https://gitlab.com/softwareworkers/swws/-/tree/develop/documentation/source/themes
A practical solution for #Hurd's lack of drivers: #NetBSD's #rumpkernel framework at #fosdem:
https://archive.fosdem.org/2022/schedule/event/dzammit/
found this via @janneke's recent patch series, working to bring it to #guix:
https://lists.gnu.org/archive/html/guix-patches/2023-05/msg00633.html
@daviwil @PaniczGodek but in all fairness, I think interest in Scheme has been growing due to #Unison's adoption of Chez for their primary backend and 470x performance increase they saw as an immediate result.
The average person seems to think that scheme is a slow toy language for learning how to implement programming languages, which is just incredibly wrong as demonstrated by projects like #idris, #guix, #goblins and countless others. #scheme is C among functional languages.
I'm a little adventurous today and really considering ThinkPad on ARM from Japan (:
My current laptop is falling apart, yubikey died yesterday, so it's definitely time to fresh up my devices. I know that x1 carbon will work for me 100%, but what is joy in being hundred percent sure?)
Already collected a bunch of links to various kernel patches for x13s.
I guess I can use the #pinephone as a substitute server :D
If you like clojure, I highly recommend trying scheme and #guix, which is like NixOS but written in Scheme top to bottom. Scheme takes more time and patience to learn than clojure, but the sheer flexibility that it offers is well worth it.
Any Guix users here that have managed to build the Emacs next package with a transformation e.g. --with-branch or --with-commit, in order to get a more recent version? 🙂
I wanted to try out some of the newly added features and tried the above but ran into problems. Building works, but when I launch Emacs the native compilation of my installed packages fails. Warnings of ld not finding dependencies.
I did try using the --with-commit and set it to the same hash as what is used upstream giving me the same result 🤔
Anyone understand why using --with-commit could give a different result than regular guix install if commits are the same? 🙂
Just realized I never did a #introduction post, and since I have been getting back into Mastodon I guess it is time I make one.
Hi, I'm Tyler (he/him), and I am a student of #computerscience, #math, and #linguistics. I hope to work in the field of #computationallinguistics. I am very interested in the aforementioned fields as well as #freesoftware, #emacs, #linux (currently using #guix), leftist politics, and film.
rde Meetup #3 is [re]scheduled for May 27.
We plan to explore guile and rde future work plans, meow and modal editing, project documentation.
https://lists.sr.ht/~abcdw/rde-announce/%3C871qjmjaow.fsf%40trop.in%3E
Join IRC/matrix for more interesting talks:
https://trop.in/rde/manual#Chat
I'm just now catching Andrew Whatson's talk on #PreScheme from #fosdem this year, and I just can't get over the fact that he was able to implement a working, reasonably fast systems programming language with Hindley-Milner type inference in his free time over the course of a few months. And I was in the #GuileSteel irc when the discourse first started, it was probably less than a month before he got it working. I even try it then and it seemed great for something that went up that quick. What other programming languages make rapid prototyping #compilers feasible without relying on massive frameworks like #LLVM or #Truffle/#Graal?
And even then...
There’s a paid internship offer with the Greens in Brussels that needs #Guix and #Guile skills: https://www.greens-efa.eu/en/get-involved/work-with-us — I thought you may be interested. Deadline for application: 31 May, 23:59 CET — info about needed skills is from an email of a green elected: Internal toolchain development, debugging or maintenance, using Guile Scheme, Guix, PHP (Drupal / CiviCRM), bash, postgres, sqlite and similar technologies #job
Today I'm spending some time writing up an outline for a new guide and video series about Guile Scheme!
The goal is to teach anyone (even programming beginners, if possible) how to use Scheme as a language for building personal tools (scripts, etc) and managing their system via Guix. Guix itself won't be covered in depth, but the features of the language used commonly in Guix will be!
What would you like to see covered in such a series?
Had around 150 people sign up for the newsletter after I sent out the announcement yesterday, exciting!
I'm will send out the first issue later today, sign up here if you want to receive it!
Just realized something after running yay -Scc in my Arch chroot: since store items are immutable on #Guix, there is no practical reason to store backup copies the way pacman and most other package managers do. So if it weren't for the sometimes difficult to prune trees of dependencies, a Guix install could be taking up a lot less space, maybe even less than traditional distros. 🤔
Hiya, guess who just made https://octodon.social their new fedi-home? 👋
A good chance to re-introduce myself: I'm Fabio, a software engineer and... "technologist", I guess? I tend to maintain a critical stand towards technology and to care about its social/political/ethical aspects as much as or more than the purely technical ones.
I'm interested in #FreeSoftware, especially community-led projects - in other words, "free" as in "open/distributed governance" more than "simply open source".
My tech stack is in large part #Emacs, #Guix, and various other #GNU projects. I love programming languages of the #Lisp and #Scheme family.
Pronouns: they/them. #Vegan, #London-er.
Some more info on myself on the terribly outdated https://fabionatali.com.
🔴 Today on #SystemCrafters Live, we'll experiment with a Wayland compositor called `dwl-guile` which is meant to be used with GNU Guix and configured with Guile Scheme!
Do we now have a modern, REPL-hackable window management experience built on Wayland? Let's find out!
Join us on YouTube or Twitch:
- https://youtube.com/live/wHbH0VGJ6TQ
- https://twitch.tv/SystemCrafters
Stream time in your time zone: https://time.is/compare/1800_in_Athens
G-exps, derivations, creating your own file-like objects and much more. Another great post from unmatched-paren. If you into #guix, I highly recommend this series for better understanding of internals.
https://guix.gnu.org/en/blog/2023/dissecting-guix-part-3-g-expressions/
BTW, no cross-platform reproducibility also means no reproducibility across processors. You can run #Guix on Intel and ARM chips, but you can't expect to get reproducibility across hard platforms.
Basically, you build a software stack layer by layer, starting from the hardware. You can't swap foundations and be certain to get the same results.
No-root is in principle possible for #Nix and #Guix under #Linux, but not available today.
Cross-platform reproducibility is not possible, period. You can run #Nix under #macOS as well as under #Linux, but you get reproducibility only within each platform.
Moreover, reproducibility with #Nix under #macOS is limited because #Nix depends on code it cannot control (managed by Apple).
When I first go into #guix, I experimented with every little thing. Now I only change my configuration every three months or so, while for anything else I just use guix shell. And my system remains solid and predictable, with no weird state and quick environment variable tweeks building up leading to library collisions etc that can come to haunt you at a moments notice. Just my studio, as I designed it to be.
🔴 Today on #SystemCrafters Live, we'll try to define the principles of "system crafting" as a framework to decide how to choose tools when crafting one's system.
I have my own ideas for what these principles are but I'm very interested to hear your suggestions!
Join us at 3PM UTC on YouTube or Twitch:
- https://youtube.com/live/w8KCrpqOsrc
- https://twitch.tv/SystemCrafters
Sábado 15 de abril à tarde, se você estiver em #SãoPaulo, venha para o #FLISol, instalar e bater papo conosco sobre #SoftwareLivre no Garoa Hacker Clube https://garoa.net.br/wiki/FLISOL_Brasil_2023
Para quem não está em São Paulo, consulte outras cidades no https://flisol.info/FLISOL2023/Brasil
e teremos também uma transmissão de algumas das apresentações (deve rolar o link lá na página do Garoa).
#Blender #FreeCAD #Linux #Python #Krita #Inkscape #Gimp #GPL #FLOSS #QGIS #GNU #GUIX #RedHat #Manjaro #Debian #Hackerspace #Processing #FlISol2023
Was trying to install #guix on my work machine.
Oddly enough, the installer has ran out of space. The store grabbed ~7 GB of the installer drive space. I had to compile the full Linux kernel, of course... But this has never been the issue before.
I tried to remove the checkpoints and run guix gc (because guix gc doesn't run with 0 space), but after that the installer started to download everything again, sure enough. So I guess this wouldn't solve the issue.
I wonder what can I do differently? I could try to install the libre kernel and run reconfigure from there, but this is not an option on my other machines...
Can't get this thought out of my brainmeats:
What if a portable #permacomputing / #collapseComputing languages used something like G expressions in #Guix to cross compile expressions to other architectures?
Imagine a cluster of salvaged hardware (possibly just the embedded CPUs already found in a modern PC) that you can deploy native code to, for a mix of redundancy and performance.
Here's another curious poll... :blobthinkingsmirk: Experienced Linux users! Which advance distro do you use on a daily basis? :linux: (sorry for having a bit too much hashtags)
#linux #archlinux #gentoo #voidlinux #distro #poll #endeavouros #guix #slackware #nixos #foss #redhat #debian #rhel
Guix System for PinePhone Pro:
https://git.sr.ht/~abcdw/guix-pinephonepro
Wifi, sound, calls and all the stuff should work, however, I tested only wifi connectivity.
#guix #rde #linux #arm #arm64 #pinephone #pinephonepro #pine #pine64
Hi, I’m Ken, I’ve been on the Fediverse for a couple of weeks now. It seemed silly to introduce myself to nobody when I first started this instance, although I did fill in my bio. I’m a #writer from England who joined the Fediverse to publicise my work and maybe try to #getfedihired. I’m still feeling my way around the social aspects of this though, I don’t just want to use this as an advertising platform.
Looking back over my statuses for the first fortnight, so far I’ve mostly boosted things I found funny or beautiful. I replied to a few other posts including some responses to #SillyCuratorPrompts and #DesignChallenge – two drawings and a silly poem. And early on I posted another poem, largely to push past the anxiety I felt about the whole social media thing. The last thing I put up was some photos of spring flowers.
I already have a blog at https://kenhutton.uk or https://kenhutton.uk/atom for your rss/atom reader. You can find more information about my book ‘Social card games’ there if you’re interested and I plan to post some stories and poems there soon, perhaps some essays too. No promises about when though, as I’m job hunting right now and not putting pressure on myself to do too much else.
#writing #poems #poetry #bookdesign #typography #cardgames #ttrpg #wargame #crochet #knitting #tunisiancrochet #woodwork #dorset #walking #gawk #guix #TeX #publishing #design
Accidentally installed GNU Guix on PinePhone Pro 😄
Just two days of constant kernel rebuilds, a few cross-compilation quirks fixes and here we go! :)
🔴 On today's #SystemCrafters stream we'll strip a Guix system configuration down to the bare essentials to achieve a minimal desktop environment based on Sway and Pipewire!
I'll also discuss the components needed to accomplish a minimal Wayland configuration like this so the information here may be useful even if you don't use Guix!
Join us LIVE at 4PM UTC on YouTube or Twitch:
- https://youtube.com/live/OYbenLOm3Js
- https://twitch.tv/SystemCrafters
Has anyone managed to run Guix System on pinephone? Share your experience.
Please boost! 🙂