Issue / 2026-06-29
A daily board of tools, apps, and references that Hacker News readers pulled into view on 2026-06-29. Each row keeps the original HN thread close to the claim.
What surfaced that day
Apple's compact desktop recommended as a quiet local LLM box.
One commenter says to use a Mac mini M4 with 64GB RAM, keep it in the basement or a few meters away, and connect over LAN or Tailscale for Qwen3.6 27B/35B.
SSH client with a file manager and X11 support.
One commenter says MobaXterm already does this, with a file manager on the side and X11 support.
Dynamic DNS service commenters said works fine for self-hosting.
A comment says a <something>.duckdns.org address works fine, framing DuckDNS as a simple self-hosting solution.
Verification language used in class for a pseudo digital wallet exercise.
One commenter says they had fun in a college class that used Dafny to build a pseudo digital wallet.
C analysis framework for proving properties and avoiding undefined behavior.
A commenter says loading arbitrary C into Frama-C gives you tons of properties to prove and helps guarantee termination and no undefined behavior.
Privacy VPN people said they were moving to after the controversy.
Commenters say they use Mullvad because it blocks logging, call it excellent, and discuss moving their money there instead of other VPNs.
Privacy VPN named as the other big alternative in the Mullvad thread.
A commenter says they are happy with Proton, another says ProtonVPN is the comparison point, and others ask for a good VPN that is neither Mullvad nor Proton.
Music marketplace people preferred over Spotify for buying music directly.
One commenter says they are done with Spotify and would rather spend money on Bandcamp; another says you can just buy music directly there.
Curated video platform commenters compared favorably with YouTube.
A commenter says they have similar feelings about Nebula vs YouTube, calling Nebula a smaller, more selective option.