HNHacker News
TopNewBestAskShowJobs

salvesefu

26 karma · joined August 25, 2025

submissionscomments
salvesefu··on Results from the ASIC puzzle
this reply isn't in good faith. OP is being self critical examining contradictions of living in complex interdependent societies. why are your queries so aggressively factional?
salvesefu··on HN: Zrevick – AI-native business OS for technical founders
whats the story behind the name?
salvesefu··on Ask HN: How can I browse HN in dark mode?
this is dope.
salvesefu··on Homebrew 7.0.0
for reference: https://docs.appimage.org/reference/appdir.html
salvesefu··on Quest for the Eternal Dock – Lambdock
designing something using gtk4 but it doesn't work in gnome is odd.
salvesefu··on Ask HN: America turns 250 today. What does it mean to you?
I always found the symbols of America interesting and their connections to the history of the European Democratic societies (and their ideals). Concepts that spread like wildfire across the global peasantry, unlanded & slave classes alike.

Who is this Columbia woman? Seriously, why is there a pyramid with an eye on the dollar bill? Compared to many other countries currencies, America has some of the most ambiguous imagery on its bills to the point most Americans don't know or understand their respective meanings.

Americans don't discuss Democracy's relationships to Anarchy (I always found this strange, especially with its obsession with guns); how one complements the other in very important and dynamic ways (this was an ongoing study in the working groups of early democratists).

Why did Americans give up wigs and the Brits did not? are the paris club and imf considered democratic institutions because they originate in democratic countries? Why is capitalism as an economic structure automatically considered democratic?

America as a concept of converging ideas has always befuddled me.

salvesefu··on Ask HN: Good fast IDE for reading and navigating code in multiple languages
practically any ide built in the last 30 years can do what you need...from micro to zed.

what are you looking for exactly?

salvesefu··on Ask HN: What internal tools/SASS replacements are you building?
What are the stats around internal tool building in the last 2-3 years? rates of adoption? are internal users satisfied?
salvesefu··on What's gonna happen to software engineers?
The Swiss govt has done much to protect Swiss labor from external market pressures; whether the watch is a handmade movement or quartz is irrelevant.
salvesefu··on Openrsync: An implementation of rsync, by the OpenBSD team
For those needing context for the development of this package; this project is presently being developed as part of a RPKI validator.

https://medium.com/@jobsnijders/a-proposal-for-a-new-rpki-va...

salvesefu··on OpenBSD 7.9
i wonder how gnome will be supported in the future on systems without systemd. heres a thread of someone beginning the process of replacing systemd with gnu shepherd: https://discourse.gnome.org/t/accompanying-non-systemd-distr...
salvesefu··on The vi family
"Sam is designed as two synchronous programs: a command interpreter and a mouse-oriented bitmap windowing interface."

https://en.wikipedia.org/wiki/Sam_(text_editor)

salvesefu··on Dev environment. One window. AI woven through everything
Its ironic just how many of these tools could simply be marketed as shiny ai emacs.
salvesefu··on A desktop made for one
we are there now. depending on boot loader/os combination, one can get to the sub 1-5 sec range, if its cli-only.
salvesefu··on Help Keep Thunderbird Alive
team geary needs more love. geary works well for most day to day tasks with no showstopping bugs.
salvesefu··on Interview: Nobonoko, Master of the Minimal Sequencer
tldr; vaporwave musician with cat art.
salvesefu··on Show HN: I built a P2P network where AI agents publish formally verified science
i found this discussion interesting as it relates to LLMs and Lean 4: https://news.ycombinator.com/item?id=47047027
salvesefu··on An x86-64 back end for raven-uxn
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?

salvesefu··on Back to FreeBSD: Part 1
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.

salvesefu··on Microsoft open-sources LiteBox, a security-focused library OS
The GPT found this and thought it was relevant: "an introduction of library operating system for Linux" - https://lwn.net/Articles/637658/
salvesefu··on U.S. mandates more foreign travelers to pay $15,000 visa bond deposits
Bad and expensive.
salvesefu··on Screenshots from developers: 2002 vs. 2015 (2015)
where in mexico? sounds really cool
salvesefu··on Show HN: RunMat – runtime with auto CPU/GPU routing for dense math
From the Website: "If you write math in MATLAB and hit performance walls on CPU, RunMat is built for you."
salvesefu··on IDEs we had 30 years ago and lost (2023)
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?"

salvesefu··on The Unix-Haters Handbook (1994) [pdf]
That Ken Pier quote in the preface is still nasty work.