- 5
- 5 320
guix.social
Приєднався 24 тра 2024
Full Source Bootstrapping RISC-V on Guix with Ekaitz Zarraga
Ekaitz Zarraga talks about the mission to achieve a full source bootstrap of the RISC-V architecture on Guix Linux. He introduces RISC-V and what makes it different. Discusses the importance of a full source bootstrap for security and trust in computing. Then talks through the multi-year mission to make it a reality on Guix.
Ekaitz's accompanying blog post to this talk: ekaitz.elenq.tech/bootstrapGcc16.html
The slides for this talk at: ekaitz.elenq.tech/guix-social.pdf
Ekaitz's accompanying blog post to this talk: ekaitz.elenq.tech/bootstrapGcc16.html
The slides for this talk at: ekaitz.elenq.tech/guix-social.pdf
Переглядів: 369
Відео
Guix patch reviews using Mumi by Jgart
Переглядів 254Місяць тому
Recording of Jgart's Guix.social talk. How to use Mumi to review patches in Guix. Also discusses setting up email with RDE's home services in Guix. #guix #gnu #linux #guile #lisp #freesoftware #nix #emacs
Guile, Guix and WASM, the future of the Web?
Переглядів 1,7 тис.3 місяці тому
David Thompson, CTO of Spritely Institute gives a talk about 'Getting Rich Slow with Guile and Guix' at the Guix.social online meet-up. David presents how he came to Guile via his love of Emacs, his developments in Guix and games, and his work at the Spritely Institute bringing Guile Hoot to the Web browser via WASM.
Guix System Crafting talk by David Wilson
Переглядів 1,9 тис.4 місяці тому
David Wilson gives his tips, tricks and workflows for Guix system crafting. David is the creator of systemcrafters.net where he streams and creates content on Guix, Guile, Emacs and crafting the perfect Linux system. #guix #gnu #linux #guile #lisp #nix #freesoftware #foss #functionalprogramming
All about Guix: chat with Ludovic Courtès project founder
Переглядів 1,1 тис.4 місяці тому
Recording (edited) of the Guix London Meetup chat with Ludovic Courtès. Ludo is a long-term #FreeSoftware hacker, interested in #lisp, #scheme and #guile. He is excited by the #nix deployment model, and created #guix. We chat about what got him started in free software. How his work on #reproducibility and #highperformancecomputing interested with #guix. We discuss the future of #linux distribu...
👍👍👍👍
👏🏻👏🏻
👍👍👍
I am not guix user, evaluating using it. I really would like to see a complete tutorial for it.
Hurd ♥️
The string name is the same, the inheritance doesn’t override it
Great interview, great man! Love these insights.
I just stared learning Guile, and I find it quite elegant and really enjoy using it.
Spritely is super awesome in their work!!! Awesome talk
43:30 - A little human moment on a VERY technical talk - I imagine the one in the background had enough with all the talking and is leaving for a quieter place to continue working.
Inspiring talk. Thank for sharing.
Glad you enjoyed it - we've had some fantastic guix.social meetups recently!
Awesome 😎🎉
Thanks!
It looks like I need to rework my system config.
I do that almost every day 😂
@@captaincool6268 now I definetly have to redo it as the SSD died 2 days ago :(
@@slalomsk8er397what brand was your ssd? (just curious about their actual life expectancy, looking for a new one)
@@levandrone I suspect it's an OEM Samsung one but since taking it out and putting it back it works again. So I guess it was just a loose connection.
@@slalomsk8er397 Congrats on your Lazarus Samsung then)
I enjoyed this. Thanks for putting it together.
That's huge! I have no idea that Ludovic's background included Nix and Hurd being the author of Guix. That's amazing.