Daily issue / 2026-08-03
Useful things that surfaced in Hacker News discussions on 2026-08-03. Open the context to see why each one caught our attention—or jump straight to the original thread.
What we found
A local-first browser tool for visually comparing two STL versions.
Source discussion: Meshdiff – visually compare two STL versions in the browser, client-side
“Very cool work! Nice job. Road-map looks good too! I always appreciate client/local-first emphasis.”
sota_pop · recommendation
Direct HN comment
A proof-oriented programming language for verified systems and incremental C migration.
Source discussion: F*: A general-purpose proof-oriented programming language
“I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.”
pvsnp · recommendation · first hand use
Direct HN comment
An open-source system for centrally managing Linux desktop policies.
Source discussion: Show HN: Bor – Open-source policy management for Linux desktops
“This looks really close to what I need. I manage a few laptops for a non-profit.”
V__ · recommendation · evaluated
Direct HN comment
An experimental Linux ARM userspace for running macOS binaries.
Source discussion: Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM
“this is something I've been waiting for a long time. I will be watching this with great interest.”
leothetechguy · recommendation
Direct HN comment
Nix and NixOS configuration for NVIDIA DGX Spark hardware.
Source discussion: Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
“Been running this on a few Asus GX10 machines with k3s on top, it’s been great.”
redrove · recommendation · production use
Direct HN comment
A Photoshop plugin for transforming images into unusual map projections.
Source discussion: Folding Paper Globes
“is an incredible decades-old Photoshop plugin for making these.”
rgovostes · recommendation · first hand use
Direct HN comment
A Python library for turning 360-degree photographs into isospheres.
Source discussion: Folding Paper Globes
“I have used this python libraries to make isospheres from 360 photographs: https://github.com/Teque5/pydymax”
blululu · recommendation · first hand use
Direct HN comment
A modern C and SDL 2 clone of the classic FastTracker II music tracker.
Source discussion: Fasttracker II clone in C using SDL 2
“So thank you to the author for resurrecting this amazing and somewhat esoteric bit of software!”
tomduncalf · recommendation · first hand use
Direct HN comment
An interactive holographic cloth-effect web experiment.
Source discussion: Holocloth
“I don't know why but I just LOVE holographic effects. Looks gorgeous!”
ghosty141 · recommendation
Direct HN comment
A 120 mm PC fan recommended for high-airflow custom cooling builds.
Source discussion: ASRock BC-250: Building the Budget Steam Machine
“then you can fit the Phanteks T30-120 which hits 105CFM at 43.6dBa, beating the P12 by a solid +30CFM for +4dBa.”
altairprime · recommendation
Direct HN comment