2.0 -//Pentabarf//Schedule//EN PUBLISH EUYNYF@@talks.nixcon.org -EUYNYF NixCon 2023 Opening Ceremony en en 20230908T100000 20230908T101000 001000 NixCon 2023 Opening Ceremony PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/EUYNYF/ Lecture hall (Room 122) Ron Efroni PUBLISH 8XSCGH@@talks.nixcon.org -8XSCGH Nix State of the Union 2023 en en 20230908T101500 20230908T103900 002400 Nix State of the Union 2023 PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/8XSCGH/ Lecture hall (Room 122) Ron Efroni Eelco Dolstra PUBLISH L3QVWC@@talks.nixcon.org -L3QVWC Flake schemas en en 20230908T104000 20230908T110500 002500 Flake schemas PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/L3QVWC/ Lecture hall (Room 122) Eelco Dolstra PUBLISH VPYBSY@@talks.nixcon.org -VPYBSY What Flakes needs (technically) en en 20230908T112500 20230908T115000 002500 What Flakes needs (technically) PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/VPYBSY/ Lecture hall (Room 122) Linus Heckemann PUBLISH HRWDVC@@talks.nixcon.org -HRWDVC not-all-packages-anymore.nix en en 20230908T115000 20230908T121500 002500 not-all-packages-anymore.nix PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/HRWDVC/ Lecture hall (Room 122) Silvan Mosberger PUBLISH V3UGSG@@talks.nixcon.org -V3UGSG Adapting NixOS to fit local site constraints en en 20230908T142000 20230908T142500 000500 Adapting NixOS to fit local site constraints Examples of site-specific variations: * timezone * time server * network share * SSL/TLS certificate PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/V3UGSG/ Lecture hall (Room 122) Nick Bathum PUBLISH MNUFFP@@talks.nixcon.org -MNUFFP Blending NixOS with Flathub for friends and family en en 20230908T142500 20230908T143000 000500 Blending NixOS with Flathub for friends and family Since 2006 I've been helping friends and family run desktop Linux. This lightning talk reflects on the distributions I've used in the past and why I'm now using NixOS with Flathub enabled to make NixOS accessible to non-expert Linux users. PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/MNUFFP/ Lecture hall (Room 122) Martin Wimpress PUBLISH 7WYFPW@@talks.nixcon.org -7WYFPW Compiling to Nix: A Quick Overview en en 20230908T143000 20230908T143500 000500 Compiling to Nix: A Quick Overview This lightning talk will offer a brief overview of languages that can compile to Nix. For instance, [Dhall](https://dhall-lang.org/), [PureScript](https://hackage.haskell.org/package/purenix) and [Nickel](https://nickel-lang.org/) (even though it doesn't directly translate to Nix). What do the generated expressions look like? Can I use them to write a package definition or a NixOS configuration? **EDIT:** I will not have the time to introduce an experimental toy project of mine: a Scheme dialect that compiles to Nix, featuring a _static_ type system inspired by the [contracts](https://github.com/yvan-sraka/contracts) library. But I will be more than happy to discuss it while HackDay! PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/7WYFPW/ Lecture hall (Room 122) Yvan Sraka PUBLISH 7LPHTK@@talks.nixcon.org -7LPHTK Nix, but with a different frontend en en 20230908T143500 20230908T144000 000500 Nix, but with a different frontend [Organist](https://github.com/nickel-lang/organist) is a Nickel library and tool aimed at serving as the entry point for all the development tools, and featuring in particular a [Nickel](https://github.com/tweag/nickel) frontend for Nix as an experiment in changing the surface language. Changing the frontend used was also an occasion of changing the way we declare, compose and override packages, with a framework based on merging records (_a la_ module-system) rather than stacked wrapping functions and explicit fixpoints. PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/7LPHTK/ Lecture hall (Room 122) Théophane Hufschmitt PUBLISH G8NDHE@@talks.nixcon.org -G8NDHE This year in Nix documentation en en 20230908T144000 20230908T144500 000500 This year in Nix documentation PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/G8NDHE/ Lecture hall (Room 122) Valentin Gagarin PUBLISH LZ9QTZ@@talks.nixcon.org -LZ9QTZ NixOS Foundation Board Panel en en 20230908T145000 20230908T151500 002500 NixOS Foundation Board Panel During this interactive session, board members will share their insights on the current state of Nix, discuss ongoing projects, and foundation plans for the upcoming year. In addition to sharing the board's roadmap, this panel will also facilitate an open dialogue with the community in the form of Q&A. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/LZ9QTZ/ Lecture hall (Room 122) NixOS Foundation board PUBLISH 3FSNG9@@talks.nixcon.org -3FSNG9 Declaring an IDE with evalModules en en 20230908T151500 20230908T154000 002500 Declaring an IDE with evalModules PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/3FSNG9/ Lecture hall (Room 122) Ryan Mulligan PUBLISH VN8YMP@@talks.nixcon.org -VN8YMP Automating testing of NixOS on physical machines en en 20230908T155000 20230908T161500 002500 Automating testing of NixOS on physical machines PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/VN8YMP/ Lecture hall (Room 122) Daniel Fullmer PUBLISH UPNSQD@@talks.nixcon.org -UPNSQD Impermanence en en 20230908T161500 20230908T164000 002500 Impermanence In this talk, I'll go into why and how you would set up a system with ephemeral root storage and how Impermanence can help you manage the state you want to keep between reboots. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/UPNSQD/ Lecture hall (Room 122) talyz PUBLISH 8BJU9K@@talks.nixcon.org -8BJU9K Using Nix from Python, using Python from Nix en en 20230908T170500 20230908T173000 002500 Using Nix from Python, using Python from Nix Nix plugins have been a possibility for years, but haven't caught on. I'll talk about the proposed new C API and what you can do with it. - Using Nix from your own tooling without wrapping the CLI - Writing Nix plugins PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/8BJU9K/ Lecture hall (Room 122) Yorick van Pelt PUBLISH KJCDMT@@talks.nixcon.org -KJCDMT How to teach Nix in 5 minutes! en en 20230908T173000 20230908T175500 002500 How to teach Nix in 5 minutes! Congratulations, you’ve convinced your friends / peers / coworkers to give Nix a try. Now the hard work starts: you have to actually teach it to them! Nix might be hard to learn, but it sure can be a fun journey! In this talk, Rok Garbas from flox will share the tools and techniques you need to teach Nix to your friends and colleagues…and, most importantly, what NOT to teach. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/KJCDMT/ Lecture hall (Room 122) Rok Garbas PUBLISH TDYA9W@@talks.nixcon.org -TDYA9W NixCon Hiring Happy Hour en en 20230908T175500 20230908T185500 010000 NixCon Hiring Happy Hour PUBLIC CONFIRMED Break Long https://talks.nixcon.org/nixcon-2023/talk/TDYA9W/ Lecture hall (Room 122) Ron Efroni PUBLISH QVCJ7Y@@talks.nixcon.org -QVCJ7Y NixOS Governance conversation (1st session) en en 20230908T133000 20230908T143000 010000 NixOS Governance conversation (1st session) PUBLIC CONFIRMED Workshop/Training - Select this if you are planning on running a training for attendees https://talks.nixcon.org/nixcon-2023/talk/QVCJ7Y/ Workshop room (Room 24) Jonas Chevalier (zimbatm) PUBLISH DS3REV@@talks.nixcon.org -DS3REV NixCon 2023 Opening Ceremony en en 20230909T100000 20230909T101400 001400 NixCon 2023 Opening Ceremony PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/DS3REV/ Lecture hall (Room 122) PUBLISH BAVND7@@talks.nixcon.org -BAVND7 Finding things in nixpkgs and NixOS source en en 20230909T101500 20230909T104000 002500 Finding things in nixpkgs and NixOS source There are a lot of tools and methods for getting documentation and finding things in Nix but they are often not well publicized and form peoples' private workflows. Substantial progress has been made on this, for instance, with nixd, but there are other methods that still have their place when more advanced tools don't have perfect code context. This talk introduces a novel NixOS-modules ctags implementation allowing finding option definitions nearly instantly. It also presents how to navigate nixpkgs using nix-doc for ctags and to get function documentation in the Nix repl, how to fall back on `unsafeGetAttrPos`, and how to use the Nix debugger. I will briefly dive into the internals of NixOS to show the introspection capabilities it provides for where settings come from, and how to load a NixOS configuration into the repl for inspection in the first place. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/BAVND7/ Lecture hall (Room 122) Jade Lovelace PUBLISH 8QMELJ@@talks.nixcon.org -8QMELJ disko and nixos-anywhere: Declarative and Remote Installation of NixOS en en 20230909T104000 20230909T110500 002500 disko and nixos-anywhere: Declarative and Remote Installation of NixOS If you ask three NixOS users what their favorite NixOS deployment tool to update a NixOS system is, you might get four answers. However, installing NixOS on a machine can be a tedious and manual process, especially if the machine is not physically accessible or does not have a NixOS installer. In this talk, we will introduce two tools that can simplify and automate the installation of NixOS on any machine with Linux and SSH access: disko and nixos-anywhere. Disko is a declarative disk partitioning tool that allows you to specify the layout of your disks using a simple Nix expression. It can create, resize, format, and mount partitions on any device that supports block operations. It also supports encryption, ZFS, RAID, and LVM. Nixos-anywhere is a tool that can install NixOS on any cloud or bare-metal environment over SSH. It can detect whether the target machine has a NixOS installer; if not, it can use kexec to boot into one. It then uses disko to partition and format the disks according to your configuration, and installs NixOS with your desired packages and secrets. With these tools, you can easily deploy NixOS on any machine without needing physical access or manual intervention. You can also reuse the same configuration for multiple machines, ensuring consistency and reproducibility. In this talk, we will demonstrate how to use disko and nixos-anywhere to install NixOS on various scenarios, such as a virtual machine, laptops or bare-metal servers. We will also discuss some of the challenges and limitations of these tools, and how they can be improved in the future. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/8QMELJ/ Lecture hall (Room 122) Jörg Thalheim lassulus PUBLISH KAYMMA@@talks.nixcon.org -KAYMMA Nuenv: an experimental derivation builder for Nix en en 20230909T112500 20230909T115000 002500 Nuenv: an experimental derivation builder for Nix While Bash is a tried-and-true and highly well-known quantity, it's not particularly expressive and it has known "footguns" surrounding things like string parsing. Nushell is a recent entry into the world of shells. It's written in Rust and it offers robust data types and safety guarantees that have a lot to potentially offer to Nix. In this talk, I'll teach you not just about Nushell, how I built it, and how it works, but also about the realisation process itself. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/KAYMMA/ Lecture hall (Room 122) Luc Perkins PUBLISH CQVAZU@@talks.nixcon.org -CQVAZU Rust + Nix: More than the sum of their parts? en en 20230909T115000 20230909T121500 002500 Rust + Nix: More than the sum of their parts? PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/CQVAZU/ Lecture hall (Room 122) Zach Mitchell PUBLISH BABWGG@@talks.nixcon.org -BABWGG Dynamic Derivations: what and why en en 20230909T141500 20230909T142000 000500 Dynamic Derivations: what and why PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/BABWGG/ Lecture hall (Room 122) Thomas Bereknyei PUBLISH T3FZ8A@@talks.nixcon.org -T3FZ8A Nix for HPC: the case of cudaPackages en en 20230909T142000 20230909T142500 000500 Nix for HPC: the case of cudaPackages Nixpkgs and NixOS go a long way in stabilising a program's inherently random build and runtime behaviour. Meanwhile the scientific computing software, and the state of the art "AI" research code in particular, heavily rely on dynamic and "impure" deployment techniques. These include e.g. dynamic linkage using "dlopen", unenforced assumptions about paths, distribution of pre-built black-box binaries, largely facilitated by the use of dependency solvers, and more. Sometimes these "impurities" are necessary, as when using driver-aware libraries like OpenGL or CUDA. This seemingly makes it cheaper to relax the requirements to reproducibility set by Nix and embrace tools such as pip, conda, singularity (apptainer) and docker. We should briefly see (or recap) what effort it takes today to provision via Nix a typical stack that includes Pytorch and CUDA, see when Nix could still be the better choice, and when Nix may seem to hinder progress. We should try to argue that the obstacles we observe can be eliminated at the nixpkgs level. P.S. This description is preliminary PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/T3FZ8A/ Lecture hall (Room 122) SomeoneSerge PUBLISH GXW3EX@@talks.nixcon.org -GXW3EX Layered Nix Stores en en 20230909T142500 20230909T143000 000500 Layered Nix Stores Nix has various different store implementations. For example the daemon store, which provides store access to unprivileged users on multiuser systems. Some caveats apply, but the new local-overlay store lets you combine an existing lower store with an upper layer, similar to the Linux Overlay Filesystem. Anything in the lower store will be accessible via the overlay store, while modifying the overlay store will only change the upper layer and leave the lower store untouched. PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/GXW3EX/ Lecture hall (Room 122) Ben Radford PUBLISH SERXWP@@talks.nixcon.org -SERXWP Single Website Firefox VMs with NixOS en en 20230909T143000 20230909T143500 000500 Single Website Firefox VMs with NixOS PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/SERXWP/ Lecture hall (Room 122) Nitin Passa PUBLISH 8ENEKM@@talks.nixcon.org -8ENEKM Nix in the Wild en en 20230909T143500 20230909T144000 000500 Nix in the Wild PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/8ENEKM/ Lecture hall (Room 122) Ross Turk PUBLISH DHXKNW@@talks.nixcon.org -DHXKNW Nix in Space en en 20230909T144000 20230909T144500 000500 Nix in Space PUBLIC CONFIRMED Lightning talk https://talks.nixcon.org/nixcon-2023/talk/DHXKNW/ Lecture hall (Room 122) Kip93 PUBLISH DDQRWQ@@talks.nixcon.org -DDQRWQ Bootstrapping Nix and Linux from TinyCC en en 20230909T151000 20230909T153500 002500 Bootstrapping Nix and Linux from TinyCC Links: https://github.com/ZilchOS/bootstrap-from-tcc, https://github.com/ZilchOS/core, http://bootstrappable.org PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/DDQRWQ/ Lecture hall (Room 122) Alexander Sosedkin PUBLISH DDVFVZ@@talks.nixcon.org -DDVFVZ Reinventing the wheel with Zilch en en 20230909T153500 20230909T160000 002500 Reinventing the wheel with Zilch PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/DDVFVZ/ Lecture hall (Room 122) Puck Meerburg PUBLISH Z897S3@@talks.nixcon.org -Z897S3 Tvix en en 20230909T160000 20230909T162500 002500 Tvix This talk will give a status update on the current state of the project, and an outlook on the roadmap. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/Z897S3/ Lecture hall (Room 122) flokli PUBLISH Q3YYMR@@talks.nixcon.org -Q3YYMR Daily-driving NixOS on the Librem 5 en en 20230909T164500 20230909T171000 002500 Daily-driving NixOS on the Librem 5 PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/Q3YYMR/ Lecture hall (Room 122) Sophie Tauchert PUBLISH CYEPCX@@talks.nixcon.org -CYEPCX Nix and Kubernetes: Deployments Done Right en en 20230909T171000 20230909T173500 002500 Nix and Kubernetes: Deployments Done Right What you will learn: - Setting up nix to work with argocd - Deploying simple applications written purely in nix - Utilizing the public helm charts in nix, with custom configuration and resource overriding without the chart forking - Using nixpkgs' modules system for complicated muti-cluster deployments PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/CYEPCX/ Lecture hall (Room 122) Vladimir "farcaller" Pouzanov PUBLISH RNTYJF@@talks.nixcon.org -RNTYJF microvm.nix en en 20230909T175500 20230909T182000 002500 microvm.nix Full virtualization suffers from overhead and performance degradation due to software emulation of real hardware. MicroVMs are optimized by replacing this emulation with interfaces that have been optimized for the virtual machine use-case: VirtIO. microvm.nix helps you building and running NixOS on different virtual machine managers. You can use it in different use-cases, for example as a more isolated alternative to nixos-container. PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/RNTYJF/ Lecture hall (Room 122) Astro PUBLISH NRSXHT@@talks.nixcon.org -NRSXHT NixCon 2023 Closing Ceremony en en 20230909T182000 20230909T184500 002500 NixCon 2023 Closing Ceremony PUBLIC CONFIRMED Talk https://talks.nixcon.org/nixcon-2023/talk/NRSXHT/ Lecture hall (Room 122) Ron Efroni PUBLISH TPLSLT@@talks.nixcon.org -TPLSLT NixOS Governance conversation (2nd session) en en 20230909T133000 20230909T143000 010000 NixOS Governance conversation (2nd session) PUBLIC CONFIRMED Workshop/Training - Select this if you are planning on running a training for attendees https://talks.nixcon.org/nixcon-2023/talk/TPLSLT/ Workshop room (Room 24) PUBLISH MYDSCP@@talks.nixcon.org -MYDSCP Nix Training en en 20230909T150000 20230909T182000 032000 Nix Training Join us at nixcon 2023 for an exciting and informative free training session on Nix flakes. Designed for beginners and those looking to deepen their understanding of Nix, this training will provide you with a solid foundation in Nix fundamentals. During the training, you will learn how to install and set up Nix, gaining hands-on experience with essential commands and techniques. Discover the power of Nix flakes as you dive into writing your own flake, exploring the creation of packages and runnable applications. By the end of the training, you'll be able to build your flake in GitHub CI, ensuring reliable and reproducible results. In addition to practical exercises, this training will also introduce you to the important vocabulary of the Nix ecosystem. You'll become familiar with key terms and concepts, enabling you to navigate the Nix community and documentation with ease. Led by experienced trainers from nixcademy.com, this session promises a dynamic learning environment that combines theory with interactive exercises. You'll benefit from the trainers' expertise and enthusiasm for Nix, making the learning process enjoyable and engaging. Whether you're a developer, system administrator, or simply curious about declarative package management, this free training is an excellent opportunity to enhance your Nix skills and gain valuable insights into the world of Nix flakes. Don't miss out on this chance to expand your knowledge and join us at nixcon 2023 for an unforgettable learning experience. PUBLIC CONFIRMED Workshop/Training - Select this if you are planning on running a training for attendees https://talks.nixcon.org/nixcon-2023/talk/MYDSCP/ Workshop room (Room 24) Jacek Galowicz PUBLISH AH7JSC@@talks.nixcon.org -AH7JSC NixOS Governance conversation (hackday session) en en 20230910T083000 20230910T100000 013000 NixOS Governance conversation (hackday session) PUBLIC CONFIRMED Workshop/Training - Select this if you are planning on running a training for attendees https://talks.nixcon.org/nixcon-2023/talk/AH7JSC/ Workshop room (Room 24)