Martin Schwaighofer

Pre-roll transcript: Nix Freaks: Spontaneous topics Passionate discussions Wild takes Programmer humor A Full Time Nix production For silence skipping and other useful features consider using a podcast app. --- Nix Freaks Ocean Sprint The Nix moment French government NixOS nixos: dbus -> dbus-broker nixos/systemd-boot: Add mirroredBoots --- Post-roll transcript: For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.com . Nix Freaks takes place weekly. You are welcome to show up and chat or even ask to join the call. For details visit fulltimenix.com .

Pre-roll transcript: Nix Freaks: Spontaneous topics Passionate discussions Wild takes Programmer humor A Full Time Nix production For silence skipping and other useful features consider using a podcast app. --- Nix Freaks FOSDEM - video recordings nixos/test-driver: add support for nspawn containers by kmein · Pull Request #478109 · NixOS/nixpkgs Flakes — nix.dev documentation allow non-trivial expressions in flakes by KiaraGrouwstra · Pull Request #15132 · NixOS/nix [RFC 0193] TOML Flakes by roberth · Pull Request #193 · NixOS/rfcs fricklerhandwerk/flake-inputs: A helper to use remote references from flake.lock in stable Nix. lix-project/flake-compat: Turns Nix flakes into normal Nix expressions - Lix Systems --- Post-roll transcript: For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.com . Nix Freaks takes place weekly. You are welcome to show up and chat or even ask to join the call. For details visit fulltimenix.com .

Pre-roll transcript: Nix Freaks: Spontaneous topics Passionate discussions Wild takes Programmer humor A Full Time Nix production For silence skipping and other useful features consider using a podcast app. --- Nix Freaks https://fulltimenix.com/nix-freaks --- Post-roll transcript: For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.com . Nix Freaks takes place weekly. You are welcome to show up and chat or even ask to join the call. For details visit fulltimenix.com .

Pre-roll transcript: Before you is an episode of the Full Time Nix podcast. For silence skipping and other useful features consider using a podcast app. --- https://github.com/NixOS/SC-election-2025/blob/959ffd2589e081514f148b3d0c1fcbd47bf29d40/candidates/mschwaig.md --- Post-roll transcript: For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.com .

Pre-roll transcript: Before you is an episode of the Full Time Nix podcast. For silence skipping and other useful features consider using a podcast app. --- https://fulltimenix.com/episodes/martin-schwaighofer-steering-committee-candidate https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf https://github.com/NixOS/nixpkgs https://oxide.computer/ https://github.com/nix-community/lanzaboote https://en.wikipedia.org/wiki/UEFI#Secure_Boot NixCon2024 rebuilding builders instead of trusting trust https://youtu.be/UlJUpUQc9Lc?si=_EebfQszx062M2mR Extending cloud build systems to eliminate transitive trust: https://discourse.nixos.org/t/extending-cloud-build-systems-to-eliminate-transitive-trust/50841 https://scored.dev/ https://reproducible-builds.org/ Build systems à la carte: Theory and practice https://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=bookmark Implementing a content-addressed Nix, 2 December 2021 — by Théophane Hufschmitt https://www.tweag.io/blog/2021-12-02-nix-cas-4/ https://github.com/nix-community/trustix https://nixos.org/research/ 00:00 Introduction and Background 01:28 Martin's Journey in Computer Science 02:57 Compiler Construction Course Insights 04:20 The Concept of Self-Compiling Compilers 07:10 Hiding stuff in the compiler 08:47 Trusting Trust: Compiler Security Issues 09:58 Nix and Build Process Management 12:09 Bootstrapping and Auditing in Nixpkgs 13:21 Trust in Software and Hardware Security 18:01 Secure Boot and Its Implications 20:39 Scenario: Government Agency Targeting 22:15 More on boot security 28:09 T

Pre-roll transcript: Before you is an episode of the Full Time Nix podcast. For silence skipping and other useful features consider using a podcast app. --- https://github.com/NixOS/SC-election-2024/blob/main/candidates/mschwaig.md --- Post-roll transcript: For past and future episodes search "Full Time Nix" on a podcast app or visit fulltimenix.com .