Hacker News: salvesefu

New comment by salvesefu in "Help Keep Thunderbird Alive"

salvesefu — Thu, 09 Apr 2026 18:21:17 +0000

team geary needs more love. geary works well for most day to day tasks with no showstopping bugs.

New comment by salvesefu in "Interview: Nobonoko, Master of the Minimal Sequencer"

salvesefu — Mon, 30 Mar 2026 12:35:57 +0000

tldr; vaporwave musician with cat art.

New comment by salvesefu in "Show HN: I built a P2P network where AI agents publish formally verified science"

salvesefu — Thu, 19 Mar 2026 23:10:14 +0000

i found this discussion interesting as it relates to LLMs and Lean 4: https://news.ycombinator.com/item?id=47047027

New comment by salvesefu in "An x86-64 back end for raven-uxn"

salvesefu — Thu, 19 Mar 2026 06:05:41 +0000

Not surprising. the 100R folk are very upfront about their ideology around sustainability and eco justice.

mjk didn't have anything to add to the social economic conversation around llm usage, to the point of even being a bit tone deaf (especially if the 100R were part of his intended audience).

A bit more open constructive conversation to mjk's post on Mastodon would've been helpful for more people to understand the 100R philosophy more intimately; but...it seems the battle lines are drawn. Who wins/loses?

New comment by salvesefu in "Back to FreeBSD: Part 1"

salvesefu — Sun, 22 Feb 2026 13:56:23 +0000

Probably bc, Windows users live in walled knowledge domains that tend to reinforce levels of competence (or lack of competence).

Gamers tend to be somewhere in the middle though.

New comment by salvesefu in "Microsoft open-sources LiteBox, a security-focused library OS"

salvesefu — Fri, 06 Feb 2026 21:04:21 +0000

The GPT found this and thought it was relevant: "an introduction of library operating system for Linux" - https://lwn.net/Articles/637658/

New comment by salvesefu in "U.S. mandates more foreign travelers to pay $15,000 visa bond deposits"

salvesefu — Fri, 09 Jan 2026 19:33:30 +0000

Bad and expensive.

New comment by salvesefu in "Screenshots from developers: 2002 vs. 2015 (2015)"

salvesefu — Sun, 07 Dec 2025 17:36:41 +0000

where in mexico? sounds really cool

New comment by salvesefu in "Show HN: RunMat – runtime with auto CPU/GPU routing for dense math"

salvesefu — Tue, 02 Dec 2025 16:51:58 +0000

From the Website: "If you write math in MATLAB and hit performance walls on CPU, RunMat is built for you."

New comment by salvesefu in "IDEs we had 30 years ago and lost (2023)"

salvesefu — Sat, 18 Oct 2025 13:39:47 +0000

Schoolaged 1995 coder self with a fpuless Mac would like a word about what we lost/gained (no available c compilers at the time).

The need for tui argument is vague outside of muscle memory. Lots of beautiful poetry though.

That age of computing the author is romanticizing was expensive and corporate fed stupid (RIP Mr Bollenbach my hs cs teacher who gave us weekly insider tech reports).

I feel like tui folk need their stack/os/integrated environment...oh wait. Nevermind.

"Is FreeDos the Moderate Libertarian TempleOS?"

New comment by salvesefu in "The Unix-Haters Handbook (1994) [pdf]"

salvesefu — Mon, 25 Aug 2025 14:34:59 +0000

That Ken Pier quote in the preface is still nasty work.