Nix Vegas

REBUILD THE WORLD

August 7-10, 2025, DEF CON 33

Check out our 2025 retrospective and talk uploads!

@NixVegas on GitHub NixVegas on Bluesky NixVegas on Mastodon @NixVegas on X @NixVegasDEFCON on YouTube Nix Vegas Live

Welcome to Nix Vegas

We have every package from the world's largest software repository on machines here in this very room. Hopefully we've made it easy to get started.

Nixpkgs

We have a copy of nixpkgs, the world's largest and most up to date Linux package repository by many measures:

Our version is , which corresponds to - click here to see the corresponding commit on GitHub.

Downloading packages from our binary cache

Our binary cache is at https://cache.nixos.lv. If you're using our channel:

nix-shell --option substituters https://cache.nixos.lv -p ghidra

We use Let's Encrypt and pass through the "official" Hydra binary cache key, so no more configuration is needed and you mostly don't have to trust us to serve you packages except for accepting that you'll need to hit our infra to download them. If you use the above version of nixpkgs, we will likely have what you want cached.

You can use https://search.nixos.org or our local nixos-pagefind built in the docs section to find packages.

Trust but verify

While you could just grab following the above instructions, you can also check that it's what we say it is yourself. (Installing random software at DEF CON seems like a great idea, right)?

diff -r $(nix-prefetch-url --print-path --unpack | tee /dev/stderr | tail -n1) $(nix-prefetch-url --print-path --unpack | tee /dev/stderr | tail -n1)

You should just see versions that differ.

NixOS

You can also download our images that are configured to use https://cache.nixos.lv as their primary substituter to retrieve packages.

If you take this config offsite, https://cache.nixos.lv will transparently proxy you to https://cache.nixos.org, though you may want to still change your substituter preference to cache.nixos.org in case we take the server down.

ISOs

Proxmox Images

Docs

PXE boot your machine into NixOS

Our DHCP servers all serve the same config as the above ISOs via NixOS netboot. Boot into PXE while plugged into one and you'll boot directly into NixOS.