This works on the NVIDIA DGX Spark itself and also on the Asus Ascent GX10.
See my 5 minute lightning talk from Planet Nix for an intro: https://youtu.be/AvK_gi_snJE?si=MPKv3iiuS9B5elIE
Hacker News
Latest
My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw."
2026-08-02 @ 19:42:08Points: 32Comments: 15
EU rules on AI models become enforceable. What's going to change?
2026-08-02 @ 19:40:19Points: 34Comments: 42
German carmakers flood jobs market with managers after wielding axe
2026-08-02 @ 19:24:18Points: 30Comments: 22
Europe EV Sales BEVs Jump 50% & Reach 26% Market Share
2026-08-02 @ 19:20:50Points: 48Comments: 19
'Crush this lady': how eBay harassment campaign led to $56M payout
2026-08-02 @ 19:19:24Points: 59Comments: 16
Harvesting SSH Credentials: Insights from My Honeypot Network
2026-08-02 @ 17:45:51Points: 26Comments: 18
Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
2026-08-02 @ 17:05:54Points: 64Comments: 16
Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM
2026-08-02 @ 16:26:40Points: 119Comments: 29
Rooting, firmware analysis and persistent credentials of TP-Link TL-841N
2026-08-02 @ 16:19:17Points: 64Comments: 10
How the words we teach English language learners changed
2026-08-02 @ 15:41:08Points: 170Comments: 97
Twenty Years of RISC OS Open
2026-08-02 @ 12:36:07Points: 132Comments: 23
F*: A general-purpose proof-oriented programming language
2026-08-02 @ 12:31:16Points: 126Comments: 49
Great Question (YC W21) Is Hiring Senior Demand Gen Manager
2026-08-02 @ 12:01:00Points: 1
Meshdiff – visually compare two STL versions in the browser, client-side
2026-08-02 @ 11:34:41Points: 158Comments: 16
Show HN: Fuse – statically typed functional programming language
2026-08-02 @ 11:23:56Points: 90Comments: 26
Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.
I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then extending with concepts such as Bidirectional Type Checking with Higher-Rank Polymorphism.
I’ve mainly drawn inspiration from Rust, Haskell, Scala and Python (in terms of syntax). It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc. but have the pure functional semantics.
I'd would love feedback on the language design and its general usage.
Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge
2026-08-02 @ 10:18:24Points: 116Comments: 28
Show HN: Bor – Open-source policy management for Linux desktops
2026-08-02 @ 09:06:33Points: 155Comments: 19
Bor consists of a lightweight Go agent and a central server. Policies are streamed to clients over mTLS/gRPC in real time—no polling—and currently support Firefox, Chrome, KDE, dconf, polkit and package management, with more coming.
Version 0.8 introduces several new policy types - Thunderbird, Microsoft Edge for Business and FirewallD zones, along with a number of improvements and fixes.
I'd love feedback on the architecture, policy model, and whether this is something you'd consider for managing Linux workstations.