to functional
play

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

  1. a gentle intro to functional package management with GNU Guix

  2. Package managers are really useful. But they can be so frustrating!

  3. Package managers are really useful. But they can be so frustrating!

  4. Version conflicts Old software Suspenseful upgrades The only way is forward Changes affect all users Trust?

  5. 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 .

  6. Functional packaging headers sources build tools libraries ... cabba9e- emacs -24.5/ bin emacs lib ...

  7. Functional packaging cabba9e- emacs -24.5/ Same inputs? bin emacs Same output! lib ... dedbeef- emacs -24.5/ Different inputs? bin emacs Different outputs. lib ...

  8. GNU Guix Guix client Build daemon RPCs (guix packages) (guix store) Isolated build processes chroot with declared inputs Store

  9. /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

  10. /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

  12. Learn more! #guix on irc.freenode.net http://gnu.org/s/guix rekado@elephly.net

Recommend

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

+ 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

755 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

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 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

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

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

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

560 views • 17 slides
Functional Encryption Lecture 23 ABE from LWE Functional

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=(

168 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

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,

498 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 &

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 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 ,

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

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:

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

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

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

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
Introduction to Functional Programming in Haskell 1 / 51 Outline Why learn functional

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

Introduction to Functional Programming in Haskell 1 / 51 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

794 views • 51 slides
tidyfun : Tidy Functional Data A new framework for working with functional data in R Fabian Scheipl

tidyfun : Tidy Functional Data A new framework for working with functional data in R Fabian Scheipl

tidyfun : Tidy Functional Data A new framework for working with functional data in R Fabian Scheipl 1 Jeff Goldsmith 2 1 : Dept. of Statistics, LMU Munich 2 : Columbia University Mailman School of Public Health Functional Data Painful to work with:

969 views • 61 slides
Restricted Likelihood Ratio Tests for Functional Effects in the Functional Linear Model by

Restricted Likelihood Ratio Tests for Functional Effects in the Functional Linear Model by

Restricted Likelihood Ratio Tests for Functional Effects in the Functional Linear Model by Swihart, Goldsmith, and Crainiceanu (2014) September 1, 2017 1 / 16 Modeling Framework Consider { Y i , X i , W i } modeled with a Functional Linear

279 views • 16 slides
AIP-31: Airflow functional DAG Airflow Summit 2020 1 Introduction 2 Why functional DAG? 3

AIP-31: Airflow functional DAG Airflow Summit 2020 1 Introduction 2 Why functional DAG? 3

July 10, 2020 AIP-31: Airflow functional DAG Airflow Summit 2020 1 Introduction 2 Why functional DAG? 3 Explicit XCom: XComArg 4 @task decorator 5 Future work Intro Gerard Casas Saez Software Engineer ML Platform - Cortex @

1.26k views • 28 slides
Sosro Presentation Functional Beverage Mapping Efficient nutrition (fast but healthy) Functional

Sosro Presentation Functional Beverage Mapping Efficient nutrition (fast but healthy) Functional

Sosro Presentation Functional Beverage Mapping Efficient nutrition (fast but healthy) Functional Drink Functional Concept Satisfy Thirst Pleasant, Convenient, & Non-Alcoholic Healthy Ready to Drink health convenience

694 views • 33 slides
Section G Functional Status V1.01 Objectives State the intent of Section G Functional

Section G Functional Status V1.01 Objectives State the intent of Section G Functional

Section G Functional Status V1.01 Objectives State the intent of Section G Functional Status. Conduct an accurate assessment of a residents ability to perform Activities of Daily Living (ADLs). Explain and apply the Rule of

1.16k views • 115 slides
21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design

21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design

Fakultt Informatik, Institut fr Software- und Multimediatechnik, Lehrstuhl fr Softwaretechnologie 21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design Technische Universitt Dresden 2. Modular Design

538 views • 40 slides
21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design

21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design

Fakultt Informatik, Institut fr Software- und Multimediatechnik, Lehrstuhl fr Softwaretechnologie 21) Functional and Modular Design Prof. Dr. U. Amann 1. Functional Design Technische Universitt Dresden 2. Modular Design

807 views • 36 slides

More recommend