19 subscribers
התחל במצב לא מקוון עם האפליקציה Player FM !
פודקאסטים ששווה להאזין
בחסות


1 Gene Baur: Confronting the Morality of Factory Farming 28:16
Nix, The Build-Everything Language (with Julian Arni)
Manage episode 473778206 series 3476072
Ever since we invented makefiles, the programming world has been wrestling with the problem of building software stacks reliably. This week we’re going to look at one of the most ambitious solutions available - Nix. Nix tries to do everything from invoking your compiler to installing your language, and even providing your operating system. But how does it work in theory, and how well does it work in practice?
Joining me to discuss is Julian Arni, a Nix-enthusiast and creator of a build/test/deploy service called Garnix.
Nix has been one of my go-to tools for years - I hope it’ll find its way into your stack.
–
Nix Overview: https://nixos.org/explore/
Nix Tutorial: https://nix.dev/tutorials/first-steps/
Nix Flakes: https://nixos.wiki/wiki/Flakes
The Nix Package List: https://search.nixos.org/packages
Garnix.IO: https://garnix.io/
Julian’s NixCon Talk, Call by Hash: https://www.youtube.com/watch?v=fU9ogB9hZZA
Support Developer Voices on Patreon: https://patreon.com/DeveloperVoices
Support Developer Voices on YouTube: https://www.youtube.com/@developervoices/join
Kris on Bluesky: https://bsky.app/profile/krisajenkins.bsky.social
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
94 פרקים
Manage episode 473778206 series 3476072
Ever since we invented makefiles, the programming world has been wrestling with the problem of building software stacks reliably. This week we’re going to look at one of the most ambitious solutions available - Nix. Nix tries to do everything from invoking your compiler to installing your language, and even providing your operating system. But how does it work in theory, and how well does it work in practice?
Joining me to discuss is Julian Arni, a Nix-enthusiast and creator of a build/test/deploy service called Garnix.
Nix has been one of my go-to tools for years - I hope it’ll find its way into your stack.
–
Nix Overview: https://nixos.org/explore/
Nix Tutorial: https://nix.dev/tutorials/first-steps/
Nix Flakes: https://nixos.wiki/wiki/Flakes
The Nix Package List: https://search.nixos.org/packages
Garnix.IO: https://garnix.io/
Julian’s NixCon Talk, Call by Hash: https://www.youtube.com/watch?v=fU9ogB9hZZA
Support Developer Voices on Patreon: https://patreon.com/DeveloperVoices
Support Developer Voices on YouTube: https://www.youtube.com/@developervoices/join
Kris on Bluesky: https://bsky.app/profile/krisajenkins.bsky.social
Kris on Mastodon: http://mastodon.social/@krisajenkins
Kris on LinkedIn: https://www.linkedin.com/in/krisjenkins/
94 פרקים
כל הפרקים
×
1 InfluxDB: The Evolution of a Time Series Database (with Paul Dix) 1:49:23

1 Beyond AI Hype, What Will Developers Actually Use? (with Zach Lloyd) 1:18:06

1 The $500 Billion Integration Problem, And One Possible Solution (with Marty Pitt) 1:31:33

1 Making Software Crash Before It Breaks (with Isaac Van Doren) 57:08

1 Making Apache Kafka Diskless (with Filip Yonov & Josep Prat) 1:29:29

1 Java's Cutting Edge Comeback (with Josh Long) 1:24:29

1 The State & Future of Apache Kafka (with Anatoly Zelenin) 1:12:22

1 DataFusion - The Database Building Toolkit (with Andrew Lamb) 1:32:10

1 Jupyter's Architecture Unpacked (with Afshin Darian & Sylvain Corlay) 1:29:11

1 Nix, The Build-Everything Language (with Julian Arni) 1:20:36

1 Graphite: Image Editing as a Syntax Tree (with Keavon Chambers & Dennis Kobert) 1:17:32

1 ReScript: A Better Typed JavaScript? (with Gabriel Nordeborn) 1:32:53

1 A universal query engine in Rust (with Predrag Gruevski) 1:15:31

1 Raspberry Pi Hardware & A Lisp Brain (with Dimitris Kyriakoudis) 1:34:43

1 Software Systems Aren't Just Software (with Diana Montalion) 1:50:14

1 Building Fyrox: A Rust Game Engine (with Dmitry Stepanov) 1:43:45

1 Testing TVs At Scale With Elixir (with Dave Lucia) 1:16:05

1 Programming As An Expressive Instrument (with Sam Aaron) 1:50:01

1 Elm & The Future of Open Source (with Evan Czaplicki) 50:24

1 Programmers, ADHD, And How To Manage Them Both (with Chris Ferdinandi) 1:39:14

1 MicroServices For Better And Worse (with Ian Cooper and James Lewis) 47:09

1 Pony: High-Performance, Memory-Safe Actors (with Sean Allen) 1:13:23

1 Architecting a Rust Game Engine (with Alice Cecile) 1:18:08

1 Writing a CAD Language in Rust (with Adam Chalmers) 1:22:48

1 Text User Interfaces in Rust (with Orhun Parmaksız) 1:06:23

1 Designing The Lustre Web Framework (with Hayleigh Thompson) 1:04:27

1 Faust: A Programming Language For Sound (with Romain Michon) 1:18:01

1 GPUs, from Simulation to Encryption (with Agnès Leroy) 1:03:48

1 The State of Full-Stack OCaml (with António Monteiro) 1:27:15

1 Multiplatform Maps Built As Layers on Rust (with Ian Wagner) 1:01:18

1 Building a New Terminal App (with Zach Lloyd) 1:07:39

1 Building A Programming Language From Its Core (with Peter Saxton) 1:01:21

1 Practical Applications for DuckDB (with Simon Aubury & Ned Letcher) 1:08:04

1 Recording and Replaying the Browser (with Justin Halsall) 1:02:50

1 Zig as a Multi-OS Build System (with Loris Cro) 1:19:05

1 Creating and Evolving Elixir (with José Valim) 1:42:21

1 PyO3: From Python to Rust and Back Again (with David Hewitt) 1:34:29

1 NATS & Jetstream: The System Communication Toolkit (with Jeremy Saenz) 1:11:04

1 Cuis Smalltalk and the History of Computing's Future (with Juan Vuletich) 1:18:53

1 The Inko Programming Language, and Life as a Language Designer (with Yorick Peterse) 1:24:21

1 Building the Zed Text Editor (with Nathan Sobo) 1:23:51

1 Reimplementing Apache Kafka with Golang and S3 1:23:04

1 Extending Postgres for High-Performance Analytics (with Philippe Noël) 1:07:33

1 Designing Actor-Based Software (with Hugh McKee) 1:12:02

1 ByteWax: Rust's Research Meets Python's Practicalities (with Dan Herrera) 1:01:54
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.