Alex (alexghr)

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

• 0 replies
• 1 recast
• 5 reactions

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

• 1 reply
• 0 recasts
• 3 reactions

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 😬

• 0 replies
• 0 recasts
• 3 reactions

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

• 0 replies
• 0 recasts
• 2 reactions