to functional package management with GNU Guix Package managers - PowerPoint PPT Presentation

Sep 11, 2022 •156 likes •280 views

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

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 Suspenseful upgrades The only way is forward Changes affect all users Trust?
No package management You are on your own. External repos EPEL, PPAs, AUR... more con fl icts , more to trust Application-specific packaging gem , cabal , pip , cpan , npm : more packages, less management Build your own system package Relocatable rpm , deb , PKGBUILD, ... Meta package managers Generate system packages with e.g. fpm Giving up Packaging is hard, let’s take snapshots .
Functional packaging headers sources build tools libraries ... cabba9e- emacs -24.5/ bin emacs lib ...
Functional packaging cabba9e- emacs -24.5/ Same inputs? bin emacs Same output! lib ... dedbeef- emacs -24.5/ Different inputs? bin emacs Different outputs. lib ...
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
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

+ f(x) = Python Functional Programming Python Functional Programming Functional Programming by

+ f(x) = Python Functional Programming Python Functional Programming Functional Programming by Wikipidia: Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids

754 views • 27 slides

Functional Systems Or: Functional Functional Programming Marius Eriksen Twitter Inc. @marius

Functional Systems Or: Functional Functional Programming Marius Eriksen Twitter Inc. @marius QCon San Francisco 14 Caveat emptor Where am I coming from? 1k+ engineers working on a large scale Internet service I build systems

872 views • 86 slides

Functional Linear Models 1 66 / 181 Functional Linear Models Statistical Models So far we have

Functional Linear Models Functional Linear Models 1 66 / 181 Functional Linear Models Statistical Models So far we have focussed on exploratory data analysis Smoothing Functional covariance Functional PCA Now we wish to examine predictive

1.04k views • 43 slides

Functional Testing Review Chapter 8 Functional Testing We saw three types of functional

Functional Testing Review Chapter 8 Functional Testing We saw three types of functional testing Boundary Value Testing Equivalence Class Testing Decision Table-Based Testing What is the common thread among the above methods?

685 views • 33 slides

FFR Guided Functional FFR Guided Functional FFR Guided Functional FFR Guided Functional

FFR Guided Functional FFR Guided Functional FFR Guided Functional FFR Guided Functional Angioplasty Angioplasty g g p p y y in Complex Anatomy in Complex Anatomy Jung-Min Ahn, MD g , Heart Institute Asan Medical Center Heart

671 views • 27 slides

Functional Programming Pete Graham @petexgraham My Functional Programming Timeline Learned

Functional Programming Pete Graham @petexgraham My Functional Programming Timeline Learned Haskell at University. Forgot it. Something strange happened... Functional Programming Renaissance 1. What is it? 2. Why learn Functional

559 views • 17 slides

Functional Encryption Lecture 23 ABE from LWE Functional

Functional Encryption Lecture 23 ABE from LWE Functional Encryption f g h KeyGen PK SK SK f PK f(x) Dec SK g x g(x) Enc Dec Ciphertext SK h h(x) Dec Index-Payload Functions Message x=(

166 views • 13 slides

Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia

Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia Applications Albert Grf Dept. of Music-Informatics Q: A Functional Programming Language Quick overview What? Why? The Library MIDI,

496 views • 12 slides

functional thinking applying the philosophy of functional programming to system design &

functional thinking applying the philosophy of functional programming to system design & architecture Jed Wesley-Smith @jedws please, ask questions functional programming has many bene fj ts: better program reasonability, composition,

787 views • 67 slides

Functional Somatic Syndromes 3. generalized autonomic dysfunction 2. impaired specific 1.

Functional Somatic Syndromes Somatization - a challenge for the Health Care System Clinical aspects of Functional Somatic Syndromes Dr. med. Bernhard Palmowski, Berlin Functional Somatic Syndromes Guiding symptom is somatic Organ function

551 views • 29 slides

Functional Data Structures [C. Okasaki, Simple and efficient purely functional queues and deques ,

Functional Data Structures [C. Okasaki, Simple and efficient purely functional queues and deques , J. of Functional Programming, 5(4), 583-592, 1995] [H. Kaplan, R. Tarjan, Purely functional, real-time deques with catenation , Journal of the ACM,

368 views • 8 slides

FUNCTIONAL Cognitive functions Social function CAPACITY ij M, Savonia UAS 4

7.2.2016 Content Functional ability of When we are old? Age definitions older people What is functional ability? Different dimensions What is the evidence from the research? Marja ij PhD, Principal Disablement

657 views • 6 slides

The importance of the Functional Skills reforms Christine Edwards QTLS Functional skills:

The importance of the Functional Skills reforms Christine Edwards QTLS Functional skills: essential for life, , learning and work Functional skills are those core elements of English, mathematics and ICT that provide an individual with the

653 views • 10 slides

Part I: Functional Programming A pure functional program consists of data, functions, and an

Part I: Functional Programming A pure functional program consists of data, functions, and an expression which describes a result. Missing: variables, assignment, side-effects. A processor of a functional program is essentially a

833 views • 36 slides

and their use in functional food Dr. Wissam Zam Faculty of Pharmacy Functional foods 5/10 of

Extraction of polyphenols from Olive leaves and their use in functional food Dr. Wissam Zam Faculty of Pharmacy Functional foods 5/10 of deaths due to chronic diseases are caused by unhealthy diets Cardiovascular Type II Some Stroke

551 views • 21 slides

Introduction to Functional Programming in Haskell 1 / 46 Outline Why learn functional

Introduction to Functional Programming in Haskell 1 / 46 Outline Why learn functional programming? The essence of functional programming What is a function? Equational reasoning First-order vs. higher-order functions Lazy evaluation How to

778 views • 46 slides

Today Simplest.. Load balance: m balls in n bins. k n k k n n ne For

Today Simplest.. Load balance: m balls in n bins. k n k k n n ne For simplicity: n balls in n bins. k ! k k k Round robin: load 1 ! Load balancing. Centralized! Not so good. n = n ( n 1 ) (

1.1k views • 3 slides

Offer in Compromise Workshop From Initial Call to Offer Acceptance Presented by: Eric L.

Offer in Compromise Workshop From Initial Call to Offer Acceptance Presented by: Eric L. Green, Esq. 1 About Tax Rep LLC Tax Rep is a member driven community that helps each other build their representation practice and help taxpayers,

730 views • 48 slides

Tony Comper Tony Comper Chairman & CEO Chairman & CEO SLIDE 1 Who We Are Who We Are

Meeting With Investment Community Meeting With Investment Community Meeting With Investment Community Meeting With Investment Community Meeting With Investment Community Meeting With Investment Community Meeting With Investment Community

813 views • 25 slides

Leveraging Supply Chain Finance to Optimize Value Brad Peterson +1 312 701 8568

Leveraging Supply Chain Finance to Optimize Value Brad Peterson +1 312 701 8568 bpeterson@mayerbrown.com Massimo Capretta +1 312 701 8152 mcapretta@mayerbrown.com David A. Ciancuillo +1 312 701 7258 dciancuillo@mayerbrown.com Business

792 views • 24 slides

Polynomiality for Bin Packing with a Constant Number of Item Types Michel X. Goemans & Thomas

Polynomiality for Bin Packing with a Constant Number of Item Types Michel X. Goemans & Thomas Rothvo MIP 2013, Madison Bin Packing / Cutting Stock Input: item 1 . . . item d Bin Packing / Cutting Stock Input: Item sizes s 1 , . . .

1.84k views • 72 slides

EVIDENCE OF INTERMEDIATE-SCALE ENERGY SPECTRUM ANISOTROPY IN THE NORTHERN HEMISPHERE FROM

EVIDENCE OF INTERMEDIATE-SCALE ENERGY SPECTRUM ANISOTROPY IN THE NORTHERN HEMISPHERE FROM TELESCOPE ARRAY Jon Paul Lundquist for the Telescope Array Collaboration ABSTRACT Evidence of an energy dependent intermediate-scale anisotropy has been

677 views • 30 slides

Advanced Algorithms (III) Shanghai Jiao Tong University Chihao Zhang March 16th, 2020

Advanced Algorithms (III) Shanghai Jiao Tong University Chihao Zhang March 16th, 2020 Balls-into-Bins Balls-into-Bins Throw balls into bins uniformly at random m n Balls-into-Bins Throw balls into bins uniformly at random m n

982 views • 74 slides

Discrepancy Theory and Applications to Bin Packing Thomas Rothvoss Joint work with Becca Hoberg

Discrepancy Theory and Applications to Bin Packing Thomas Rothvoss Joint work with Becca Hoberg Discrepancy theory Set system S = { S 1 , . . . , S m } , S i [ n ] i S b b b Discrepancy theory 1 Set system S = { S 1 , . . .

1k views • 83 slides