nixos

I learned two things recently: (1) I can enter a broken system with `nixos-enter` from a live USB environment and (2) I really should be mounting disks by UUID/label otherwise adding/removing disks can render the system unbootable 😅

I learned two things recently: (1) I can enter a broken system with `nixos-enter` from a live USB environment and (2) I really should be mounting disks by UUID/label otherwise adding/removing disks can render the system unbootable 😅

https://nixos.wiki/wiki/Change_root#Using_nixos-enter

Homelabs

8 cores, 32gb of ram in a package slightly larger than a cup of coffee. Move over raspberry pi, you’re getting replaced 👋

Had an old laptop with a broken hinge gathering dust for years. I removed its screen entirely and fortunately it boots headless. Time to give it the good ol’ NixOS treatment and have it run something useful 😬

programming

Well, I didn’t expect to read this when I woke up this morning 😬

Well, I didn’t expect to read this when I woke up this morning 😬 https://blog.jquery.com/2024/02/06/jquery-4-0-0-beta/

Started working on a tool to build Noir programs with Nix this weekend. It's pretty bare-bones right now (only supports self-contained programs, no dependencies) but I'm thinking of integrating proving and verifying of circuits too 🙂

Started working on a tool to build Noir programs with Nix this weekend. It's pretty bare-bones right now (only supports self-contained programs, no dependencies) but I'm thinking of integrating proving and verifying of circuits too 🙂 

https://github.com/alexghr/shroud

Alex

@alexghr