Full Time Nix

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/nixpkgs/commits?author=GaetanLepagehttps://github.com/nix-community/nixvimhttps://ensimag.grenoble-inp.fr/enhttps://github.com/nix-community/nixvim/commits?author=traxyshttps://nixos.org/manual/nixpkgs/unstable/#pythonhttps://nix.dev/guides/recipes/python-environment.htmlhttps://wiki.nixos.org/wiki/Pythonhttps://github.com/NixOS/nixpkgs/tree/00c24cc9cabab1bb8828311a670242ac80dd2ac5/pkgs/development/python-modules/torchhttps://wiki.nixos.org/wiki/JAXhttps://github.com/NixOS/nixpkgs/tree/00c24cc9cabab1bb8828311a670242ac80dd2ac5/pkgs/development/python-modules/jaxhttps://wiki.nixos.org/wiki/Tensorflowhttps://github.com/NixOS/nixpkgs/blob/00c24cc9cabab1bb8828311a670242ac80dd2ac5/pkgs/development/python-modules/tensorflowhttps://github.com/NixOS/nixpkgs/blob/00c24cc9cabab1bb8828311a670242ac80dd2ac5/pkgs/development/python-modules/protobufhttps://github.com/NixOS/nixpkgs/issues/157398https://github.com/NixOS/rfcs/pull/166https://github.com/NixOS/rfcs/pull/140Some recent contributions by Gaétanhttps://github.com/NixOS/nixpkgs/pull/362844https://github.com/NixOS/nixpkgs/pull/363751https://github.com/Mic92/nixpkgs-review/pull/440https://github.com/NixOS/nixfmthttps://github.com/nix-community/nix-inithttps://github.com/ekala-projecthttps://github.com/jonringerhttps://github.com/nrdxphttps://github.com/nix-community/nixvimhttps://github.com/nix-community/home-managerPedro Alveshttps://github.com/pta2002https://github.com/traxyshttps://github.com/MattSturgeonhttps://github.com/khanelimanhttps://github.com/nix-community/nixvim/graphs/contributorsNixvim: Configure Neovim with the power of Nix (NeovimConf 2023): https://youtu.be/GOe0C7Qtypk?si=T9gd0evaS8W3HvG-```nix run github:mightyiam/infra#nixvim```https://github.com/folke/lazy.nvimhttps://github.com/nvim-neorocks/lz.nGenerated chapters:00:00 Introduction to the Podcast and Guest06:15 Understanding NixOS Use Cases11:53 The Contribution Process Explained25:22 Nixpkgs Review Tool and CI Challenges34:26 Infrastructure and CI Limitations38:37 Transitioning to GitHub Actions45:07 Multi-System Evaluation Explained50:32 Contributions to Python Packages58:08 Challenges in Nix Packages01:02:27 Recent Progress in Nixpkgs01:07:53 NixVim Features and Benefits01:11:22 Gaétan's Involvement in NixVim01:19:33 NixVim: Configuration vs Distribution01:23:44 NixVim Options and Flexibility01:26:27 Plugin Management in NixVim01:29:27 Settings and Configuration Options01:32:06 Keeping Up with Plugin Changes01:37:24 User Contributions and Community Engagement01:44:13 Future Perspectives for NixVim ---Nixcademy ad transcript:Statistically speaking, Nix is a novel technology.As such, adoption comes at an immediate cost of productivity.Team members who know Nix find themselves preoccupied providing supportand the emergence of anti-patterns adds technical debt.What's worse; morale is affected.But, with training, these costs can be all but elimitated.Founded by my friend and mentor Jacek Galowicz,Nixcademy have brought hundreds of team members up to speed with Nix.It's what they do.So, liberate your Nix experts,prevent technical debtand get on top of Nix and back to work better and sooner.Visit nixcademy.com.Jacek tells me that most Nixcademy clients returned their investment in training in under three months.They also provide free educational content that I recommend and a newsletter that I subscribe to.nixcademy.com.Mentoring ad transcript:Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?I'm sure you can figure it out. But, you could pay the dime to cut the time.Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.For 1-on-1 mentoring sessions with me visit mightyi.am.Post-roll transcript:For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://www.youtube.com/@molybdenumsoftwarehttps://github.com/NixOS/rfcs/pull/101https://github.com/NixOS/nixfmtnixfmt created by https://serokell.io/https://github.com/nix-community/nixpkgs-fmthttps://github.com/NixOS/rfcs/pull/166https://github.com/kamadorueda/alejandrahttps://piegames.de/https://github.com/0x4A6Fhttps://github.com/tomberekhttps://github.com/dasJhttps://nixos.org/community/teams/formatting/https://github.com/numtide/treefmthttps://github.com/NixOS/nixpkgs/pull/322537https://github.com/NixOS/nixpkgs/pull/322537#issuecomment-2532934880https://www.tweag.io/https://antithesis.com/https://hintjens.gitbooks.io/social-architecture/content/chapter4.htmlhttps://github.com/NixOS/nixpkgs/blob/master/CONTRIBUTING.mdhttps://moduscreate.com/Auto-generated chapters:00:00 Introduction and Background01:44 The Journey to Standardized Formatting06:17 The Evolution of RFC 101 to 16611:22 The Role of the Shepherd Team15:59 Defining the Formatting Rules19:51 Finalizing the RFC and Implementation25:01 Implementation Insights and Challenges27:23 Finalizing the Formatter and Addressing Issues30:09 Tree-Wide Reformatting: Strategies and Challenges34:15 Ensuring Consistency in Formatting38:54 Future Plans for Formatting and Maintenance46:51 Enhancing PR Review Processes49:28 Streamlining Local Formatting with treefmt53:14 Managing Version Control and Formatting Conflicts55:45 The Role of the Formatting Team57:16 Exploring Linting and Future Maintenance01:01:02 Automation and Community Contributions01:04:10 C4 Guidelines for Effective PR Reviews01:07:30 The Future of Documentation and Automation01:10:15 Motivation Behind Community Contributions ---Nixcademy ad transcript:Statistically speaking, Nix is a novel technology.As such, adoption comes at an immediate cost of productivity.Team members who know Nix find themselves preoccupied providing supportand the emergence of anti-patterns adds technical debt.What's worse; morale is affected.But, with training, these costs can be all but elimitated.Founded by my friend and mentor Jacek Galowicz,Nixcademy have brought hundreds of team members up to speed with Nix.It's what they do.So, liberate your Nix experts,prevent technical debtand get on top of Nix and back to work better and sooner.Visit nixcademy.com.Jacek tells me that most Nixcademy clients returned their investment in training in under three months.They also provide free educational content that I recommend and a newsletter that I subscribe to.nixcademy.com.Mentoring ad transcript:Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?I'm sure you can figure it out. But, you could pay the dime to cut the time.Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.For 1-on-1 mentoring sessions with me visit mightyi.am.Post-roll transcript:For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/nix/releases/tag/2.25.3 ---Nixcademy ad transcript:Statistically speaking, Nix is a novel technology.As such, adoption comes at an immediate cost of productivity.Team members who know Nix find themselves preoccupied providing supportand the emergence of anti-patterns adds technical debt.What's worse; morale is affected.But, with training, these costs can be all but elimitated.Founded by my friend and mentor Jacek Galowicz,Nixcademy have brought hundreds of team members up to speed with Nix.It's what they do.So, liberate your Nix experts,prevent technical debtand get on top of Nix and back to work better and sooner.Visit nixcademy.com.Jacek tells me that most Nixcademy clients returned their investment in training in under three months.They also provide free educational content that I recommend and a newsletter that I subscribe to.nixcademy.com.Mentoring ad transcript:Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?I'm sure you can figure it out. But, you could pay the dime to cut the time.Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.For 1-on-1 mentoring sessions with me visit mightyi.am.Post-roll transcript:For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://fulltimenix.com/episodes/martin-schwaighofer-steering-committee-candidatehttps://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdfhttps://github.com/NixOS/nixpkgshttps://oxide.computer/https://github.com/nix-community/lanzabootehttps://en.wikipedia.org/wiki/UEFI#Secure_BootNixCon2024 rebuilding builders instead of trusting trust https://youtu.be/UlJUpUQc9Lc?si=_EebfQszx062M2mRExtending cloud build systems to eliminate transitive trust:https://discourse.nixos.org/t/extending-cloud-build-systems-to-eliminate-transitive-trust/50841https://scored.dev/https://reproducible-builds.org/Build systems à la carte: Theory and practicehttps://www.cambridge.org/core/journals/journal-of-functional-programming/article/build-systems-a-la-carte-theory-and-practice/097CE52C750E69BD16B78C318754C7A4?utm_campaign=shareaholic&utm_medium=copy_link&utm_source=bookmarkImplementing a content-addressed Nix, 2 December 2021 — by Théophane Hufschmitthttps://www.tweag.io/blog/2021-12-02-nix-cas-4/https://github.com/nix-community/trustixhttps://nixos.org/research/00:00 Introduction and Background01:28 Martin's Journey in Computer Science02:57 Compiler Construction Course Insights04:20 The Concept of Self-Compiling Compilers07:10 Hiding stuff in the compiler08:47 Trusting Trust: Compiler Security Issues09:58 Nix and Build Process Management12:09 Bootstrapping and Auditing in Nixpkgs13:21 Trust in Software and Hardware Security18:01 Secure Boot and Its Implications20:39 Scenario: Government Agency Targeting22:15 More on boot security28:09 The Role of Secure Boot and Measured Boot29:52 Measured boot35:13 Democratizing Trust with Remote Attestation36:11 Raising the bar on security39:31 Research Directions in Supply Chain Security47:34 Enhancing Nix for Security and Efficiency50:20 Understanding Reproducibility in Build Processes53:13 Navigating Trust and Threat Models in Nix53:22 Identifying Gaps in Nix's Trust Mechanisms56:48 Attribution and Trust in Build Systems01:05:35 Distinguishing Between Input and Content Addressing in Nix01:06:38 Nix store hashes 01:12:52 The Challenges of Content Addressing01:14:04 Self-References and Their Implications01:20:24 Trust and Attribution in Build Processes01:24:31 Future Directions for Nix and Content Addressing01:30:00 Sponsoring opportunitySponsor: ---Nixcademy ad transcript:Statistically speaking, Nix is a novel technology.As such, adoption comes at an immediate cost of productivity.Team members who know Nix find themselves preoccupied providing supportand the emergence of anti-patterns adds technical debt.What's worse; morale is affected.But, with training, these costs can be all but elimitated.Founded by my friend and mentor Jacek Galowicz,Nixcademy have brought hundreds of team members up to speed with Nix.It's what they do.So, liberate your Nix experts,prevent technical debtand get on top of Nix and back to work better and sooner.Visit nixcademy.com.Jacek tells me that most Nixcademy clients returned their investment in training in under three months.They also provide free educational content that I recommend and a newsletter that I subscribe to.nixcademy.com.Mentoring ad transcript:Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?I'm sure you can figure it out. But, you could pay the dime to cut the time.Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.For 1-on-1 mentoring sessions with me visit mightyi.am.Post-roll transcript:For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/nix/releases/tag/2.25.0https://github.com/NixOS/nix/releases/tag/2.25.1https://github.com/NixOS/nix/releases/tag/2.25.2 ---Nixcademy ad transcript:Statistically speaking, Nix is a novel technology.As such, adoption comes at an immediate cost of productivity.Team members who know Nix find themselves preoccupied providing supportand the emergence of anti-patterns adds technical debt.What's worse; morale is affected.But, with training, these costs can be all but elimitated.Founded by my friend and mentor Jacek Galowicz,Nixcademy have brought hundreds of team members up to speed with Nix.It's what they do.So, liberate your Nix experts,prevent technical debtand get on top of Nix and back to work better and sooner.Visit nixcademy.com.Jacek tells me that most Nixcademy clients returned their investment in training in under three months.They also provide free educational content that I recommend and a newsletter that I subscribe to.nixcademy.com.Mentoring ad transcript:Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?I'm sure you can figure it out. But, you could pay the dime to cut the time.Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.For 1-on-1 mentoring sessions with me visit mightyi.am.Post-roll transcript:For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/SC-election-2024/blob/main/candidates/roberth.md ---Post-roll transcript:For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/SC-election-2024/blob/main/candidates/nyabinary.mdIf you have any further questions for Niko, please reach out to them on Matrix at: @niko:nyanbinary.rs ---Post-roll transcript:For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/SC-election-2024/blob/main/candidates/numinit.md ---Post-roll transcript:For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com

Pre-roll transcript:Before you is an episode of the Full Time Nix podcastFor silence skipping and other useful features consider using a podcast app---https://github.com/NixOS/SC-election-2024/blob/main/candidates/djacu.md ---Post-roll transcript:For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.comI am pleased to be of service to the Nix ecosystem,but that doesn't pay the bills.So please sponsor me. Even a little bit helps.fulltimenix.com