If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
11–20 of 44 posts
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#12Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#13Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#14Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#15Earlier quoted context omitted.
What quant are you using, and what tps are you getting with K3?
The FP8 version from DeepSeek themselves [0], around 1800 tps prefill and 45 tokens per second decode. I’ve been running a custom VLLM image with b12x as well as nvfp4_ds_mla. I would say it’s quite fantastic in day to day, I use it mostly in Hermes and sometimes for coding. I have qwen 3.6 27b on an rtx 6000 pro as well so I use that as a workhorse in pi with DS as a reviewer/planner. [0] https://huggingface.co/deep…
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#16Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#17Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.
I'll admit, even with LLMs to help, the Nix language and NixOS did have a rather steep learning curve, because it's quite different from anything I'd experienced before. But after getting the hang of it, I can't imagine going back to a "normal" OS and I'm very happy I put in the time to get over the initial friction.
Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#18Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#19Re: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
#20Slightly off topic, but Claude Code (and likely other models/harnesses) are incredibly effective at Nix. It can trivially self-verify, without side effects, which is a perfect match for an LLM. If you've ever been put off by the difficulty of the language, it's worth checking it out again with AI assistance.