with GNU Guix for developers & power users Package managers - PowerPoint PPT Presentation

Oct 22, 2022 •493 likes •705 views

functional package management with GNU Guix for developers & power users Package managers are really useful. Package managers are really useful. But they can be so frustrating! Old software Version conflicts Suspenseful upgrades The

functional package management with GNU Guix for developers & power users
Package managers are really useful.
Package managers are really useful. But they can be so frustrating!
Old software Version conflicts Suspenseful upgrades The only way is forward Changes affect all users
because package managers are imperative & stateful
big binary bundles?
big binary bundles are indistinguishable from giving up
Functional packaging headers sources build tools libraries ... cabba9e- emacs -24.5/ bin emacs lib ...
Functional packaging cabba9e- emacs -24.5/ Same inputs? bin emacs lib Same output! ... dedbeef- emacs -24.5/ Different inputs? bin emacs lib Different outputs. ...
GNU Guix Guix client Build daemon RPCs (guix packages) (guix store) Isolated build processes chroot with declared inputs Store
/home/rekado/.guix-pro fi le /gnu/store /var/guix/... guix-pro fi le hscq14x...-pro fi le ... bin samtools 42 bowtie2 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2
/home/rekado/.guix-pro fi le /gnu/store /var/guix/... guix-pro fi le hscq14x...-pro fi le ... bin samtools 42 bowtie2 43 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2 z3braf1sh...-pro fi le bin samtools
/home/rekado/.guix-pro fi le /var/guix/... /gnu/store hscq14x...-pro fi le guix-pro fi le ... bin samtools 42 bowtie2 43 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2 z3braf1sh...-pro fi le bin samtools
/home/rekado/.guix-pro fi le /gnu/store /var/guix/... guix-pro fi le hscq14x...-pro fi le ... bin samtools 42 bowtie2 43 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2 z3braf1sh...-pro fi le bin samtools
/home/rekado/.guix-pro fi le /var/guix/... /gnu/store hscq14x...-pro fi le guix-pro fi le ... bin samtools bowtie2 43 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2 z3braf1sh...-pro fi le bin samtools
/home/rekado/.guix-pro fi le /var/guix/... /gnu/store guix-pro fi le ... 43 rhrdst11m...-samtools-1.2 bin samtools include lud0v1c...-bowtie-2.2.4 bin bowtie2 z3braf1sh...-pro fi le bin samtools
/home/rekado/.guix-pro fi le /var/guix/... /gnu/store guix-pro fi le ... 43 rhrdst11m...-samtools-1.2 bin samtools include z3braf1sh...-pro fi le bin samtools
Learn more! #guix on irc.freenode.net http://gnu.org/s/guix rekado@elephly.net

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Foreign packages in GNU Guix Examples from Ruby gems, Python modules and R/CRAN Pjotr Prins

Foreign packages in GNU Guix Examples from Ruby gems, Python modules and R/CRAN Pjotr Prins & David Thompson FOSDEM January 30th, 2016 UMC Utrecht/UTHSC GeneNetwork.org Foreign packages in GNU Guix p. 1 GNU Guix What is it to me?

609 views • 21 slides

GNU Guix R. Wurmus , B. Uyar, B. Osberg,

Reproducible genomics analysis pipelines with GNU Guix R. Wurmus , B. Uyar, B. Osberg, V. Franke, https://doi.org/10.1093/gigascience/giy123 A. Gosdschan, K. Wreczycka, J. Ronen, A. Akalin

576 views • 24 slides

GNU Guix as an alternative to the Yocto Project Mathieu Othacehe <m.othacehe@gmail.com>

GNU Guix as an alternative to the Yocto Project Mathieu Othacehe <m.othacehe@gmail.com> 2020-02-02 1 / 26 About myself Working as a Linux embedded engineer for 7 years. Mostly making drones and other IOT devices using Buildroot, Yocto,

597 views • 26 slides

to functional package management with GNU Guix Package managers are really useful. But they can

a gentle intro to functional package management with GNU Guix Package managers are really useful. But they can be so frustrating! Package managers are really useful. But they can be so frustrating! Version conflicts Old software

280 views • 12 slides

with GNU Guix Ricardo Wurmus + Pjotr Prins + Ben Woodcroft + Altuna Akalin BOSC 2017, Prague

reproducible and user-controlled software management in HPC with GNU Guix Ricardo Wurmus + Pjotr Prins + Ben Woodcroft + Altuna Akalin BOSC 2017, Prague System Admins Users prefer mature software, want fresh software, no variants, only apply

821 views • 28 slides

Package software for any distribution with upt Cyril Roelandt Package software for any

Package software for any distribution with upt Cyril Roelandt Package software for any distribution with upt 1/28 Introduction Cyril Roelandt OpenStack (Red Hat) GNU Guix (Do not miss Ludovics talk at 4:30PM!) Package software for any

808 views • 63 slides

CS103 Unit 8 Recursion Mark Redekopp 2 Recursion Defining an object, mathematical function,

1 CS103 Unit 8 Recursion Mark Redekopp 2 Recursion Defining an object, mathematical function, or computer function in terms of itself GNU Makers of gedit, g++ compiler, etc. GNU = GNU is Not Unix GNU is Not Unix GNU is Not Unix

440 views • 17 slides

How Slow is Quadruple Precision? Paul Zimmermann, INRIA, Nancy, France May 7, 2020 ICERM

How Slow is Quadruple Precision? Paul Zimmermann, INRIA, Nancy, France May 7, 2020 ICERM Workshop on Variable Precision in Mathematical and Scientific Computing How Slow is Quadruple Precision? 1/26 Workshop Abstract: [...] Exascale computing

374 views • 26 slides

GNU/Linux and FPGA in Real-time Control Applications Pavel Pisa pisa@cmp.felk.cvut.cz CC BY-SA

Introduction BLDC/PMSM Motor Control Other Projects GNU/Linux and FPGA in Real-time Control Applications Pavel Pisa pisa@cmp.felk.cvut.cz CC BY-SA Czech Technical University in Prague Faculty of Electrical Engineering Department of Control

735 views • 44 slides

Evolution of Java(TM) Software on GNU/Linux Dalibor Topi Java F/OSS Ambassador Sun

Evolution of Java(TM) Software on GNU/Linux Dalibor Topi Java F/OSS Ambassador Sun Microsystems http://robilad.livejournal.com Dalibor.Topic@Sun.com 2 3 License GPL v2 + Classpath Exception No proprietary forks Programs

950 views • 29 slides

Optimized Binary64 and Binary128 Arithmetic with GNU MPFR (common work with Vincent Lefvre)

Optimized Binary64 and Binary128 Arithmetic with GNU MPFR (common work with Vincent Lefvre) Paul Zimmermann Arith 24 conference, London, July 24, 2017 Introducing the GNU MPFR library a software implementation of binary IEEE-754 (decimal

501 views • 37 slides

Testing AutoFDO for Geant4 Nathalie Rauschmayr IT-CF-FPP With help from Benedikt Hegner and

Testing AutoFDO for Geant4 Nathalie Rauschmayr IT-CF-FPP With help from Benedikt Hegner and Shahzad Malik Muzaffar 1/29 Testing AutoFDO for Geant4 Nathalie Rauschmayr Introduction Idea: Autotuning Compile 2/29 Testing AutoFDO for Geant4

945 views • 32 slides

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems Sergio Sez

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems Sergio Sez <ssaez@disca.upv.es> Alfons Crespo <alfons@disca.upv.es> Instituto de Automtica e

398 views • 10 slides

Challenges in Open-source RISC-V Implementations Differentiation & Customization Open Source

Challenges in Open-source RISC-V Implementations Differentiation & Customization Open Source Hardware Promises and Hopes Great way to collaborate Faster development thanks to readily available IP (e.g. peripherals, ) Very

411 views • 17 slides

Directions in Statistical Computing 2014 Renjin's JIT Thinking about R as a Query Language

Directions in Statistical Computing 2014 Renjin's JIT Thinking about R as a Query Language Alexander Bertram BeDataDriven 2014 1 Quick Intro: Renjin R-language Interpreter written in Java, uses GNU R core packages (base, stats, etc)

747 views • 25 slides

GMP 6.2.0 Installation GMP 6.2.0 Installation gcc/g++ g /g Source download:

G NU M ulti- P recision Library 1 GMP 6.2.0 Installation GMP 6.2.0 Installation gcc/g++ g /g Source download: https://gmplib.org/ complete build: configure make

478 views • 12 slides

1 Profile:- Comprompt Solutions LLP (formerly known as Comprompt Solutions from 2000 to 2017)

1 Profile:- Comprompt Solutions LLP (formerly known as Comprompt Solutions from 2000 to 2017) has become a brand to reckon with in the field of IT security and solutions. During its formative years, Comprompt won accolades from hundreds of its

590 views • 40 slides

SQL$Joins Max$Masnick August&7,&2015 What%are%joins?

SQL$Joins Max$Masnick August&7,&2015 What%are%joins? Combine(two((or(more)(tables(into(a(single(results(table I"will"go"through"the"most"common"joins"here. Setup

597 views • 21 slides

Sustainable way of testing your code by Eugene Amirov Teamlead at Scrapinghub For top 100 most

Sustainable way of testing your code by Eugene Amirov Teamlead at Scrapinghub For top 100 most starred Python projects on GitHub the percentage of testing code is a little bit more that 23%. Percentage of tests Lines of code in tests def

918 views • 56 slides

Surprising Negative Results for Generative Adversarial Tree Search Kamyar Azizzadenesheli 1,2,5 ,

Surprising Negative Results for Generative Adversarial Tree Search Kamyar Azizzadenesheli 1,2,5 , Brandon Yang 2 , Weitang Liu 3 , Emma Brunskill 2 , Zachary C Lipton 4 , Animashree Anandkumar 5 1 UC Irvine, 2 Stanford University, 3 UC Davis, 4

317 views • 10 slides

Content moderation If youre a moderator for any communities: CS 278 | Stanford University |

Reply in Zoom chat: Content moderation If youre a moderator for any communities: CS 278 | Stanford University | Michael Bernstein are you light touch or heavy handed? I fine-tuned some AI language models on your submitted midterm

719 views • 52 slides

Share Everything Play Fair Dont Hit People Put Things Back Where You Found Them

Share Everything Play Fair Dont Hit People Put Things Back Where You Found Them Say Your Sorry When You Hurt Someone Dont Take Things That Are Not Yours Take a Nap Every Afuernoon Wash Your Hands Before You

521 views • 16 slides

8. Other Deep Architectures CS 519 Deep Learning, Winter 2018 Fuxin Li With materials from Zsolt

8. Other Deep Architectures CS 519 Deep Learning, Winter 2018 Fuxin Li With materials from Zsolt Kira and Ian Goodfellow A brief overview of other architectures Unsupervised Architectures Deep Belief Networks Autoencoders GANs

439 views • 25 slides

Module 9 Media Communications Module Nine: Media Communications 1 Objectives Understand

The last several Modules were about communication. Our interactions may not stop with employees, peers and contractors. There may be a time when we have to deal with the media. Module 9 will help you meet this responsibility. 0 Module 9

542 views • 27 slides