HNHacker News
TopNewBestAskShowJobs

GreenDolphinSys

91 karma · joined January 28, 2026

#81D8D0
submissionscomments
GreenDolphinSys··on The Nixpkgs core team has disbanded
Updating causing a rebuild isn't really a Nix or even a build tool problem though, is it? cache.nixos.org can't provide everything for every architecture all the time.

With multiple types of machines involved, you want some sort of binary cache setup, ideally automated with CI. There's niks3 [0], celler [1] (a more active fork of attic [2]), hydra [3].

0: https://github.com/Mic92/niks3

1: https://github.com/celler-cache/celler

2: https://github.com/zhaofengli/attic

3: https://github.com/NixOS/hydra

GreenDolphinSys··on Grit: Rewriting Git in Rust with agents
Yet, you didn't write the code yourself.

On Gitoxide: Given that the author read the docs and source code [0], and literally copied files over from the git source [1], it also is license-washing. At least libgit2 is GPLv2 with a linking exception. I don't think people would have much to say if these projects honored the original projects' intents and kept a copyleft GPL license. But they don't.

> The approach needed to make this a reentrant, memory safe, library driven codebase is so different that copying is generally not useful.

This is obvious given how different Rust is from most languages. So are licenses pointless as a concept now, because anyone can argue their Rust implementation of a GPL (or whatever) project is meaningfully different? Nice loophole there.

Stripping away the GPL in favor of MIT/ASL2.0 seems to be the trend for rust projects (see uutils, etc). I'm really glad that we can make it easier for large companies to extract value from community labor and, in general, not contribute much of anything back.

0: https://github.com/GitoxideLabs/gitoxide/discussions/253

1: https://github.com/GitoxideLabs/gitoxide/issues/925

GreenDolphinSys··on Grit: Rewriting Git in Rust with agents
This is simply plagiarism of GPL-licensed code, and license-washing as well. I can understand working backwards from a test suite, but this literally just reads the original source:

https://github.com/gitbutlerapp/grit/blob/main/AGENTS.md#sou...

LLM users seem to live in another world where stealing everything that isn't bolted down, and passing it off as their own work, is acceptable.

GreenDolphinSys··on 1024000^2 Blocks, 2B2T Minecraft Server World Download Project, and Discoveries
It's not in the base game, but there is a plugin that generates a map of your server and hosts it, called Bluemap [0]. It has an example. [1] I always toss it on the servers I host.

[0]: https://modrinth.com/mod/bluemap

[1]: https://bluecolored.de/bluemap/

GreenDolphinSys··on Lost in translation: The linguistic challenges facing N. Korean defectors (2025)
The Sino-Korean words stand out, but in a beautiful sense to my ears/eyes. It helps that they're generally short at 2 syllables and are represented nicely with the Hangeul script. Given that they make up about 57% of the Korean language [0], they're unavoidable.

English/German loanwords just stick out due to there being fewer of them, and they look atrocious in Hangeul, like little dirt islands in a sea of pure Korean and Sino-Korean words.

Since I study Hanja I imagine Sino-Korean words stick out a bit more for me, but I think anyone who's studied Korean for a while can get a sense of the two major groups. They just sound very different.

[0]: https://en.wikipedia.org/wiki/Sino-Korean_vocabulary

GreenDolphinSys··on Lost in translation: The linguistic challenges facing N. Korean defectors (2025)
No need for forgiveness, I appreciate the pedantry and explanations. Personal grips aside, I'm forever a student of the language.
GreenDolphinSys··on Lost in translation: The linguistic challenges facing N. Korean defectors (2025)
It's ironic no doubt to be complaining about this topic, in English. I can empathize with that 12th-century Anglo-Saxon.
GreenDolphinSys··on Lost in translation: The linguistic challenges facing N. Korean defectors (2025)
This is really interesting, thanks for putting it together. I figure for specific topics like computing it's pretty much unavoidable.
GreenDolphinSys··on Lost in translation: The linguistic challenges facing N. Korean defectors (2025)
> Unlike North Korea, South Korean society extensively uses loanwords in technology, finance, and culture. English-derived words like “computer,” “café,” and “internet” are ubiquitous in the South but virtually unknown in the North, creating challenges for defectors encountering them for the first time.

This is tangential to the topic at hand, but as a Korean learner of ~9 years, it's maddening just how many English loanwords there are. In addition to pure Korean words, there's a surfeit of Sino-Korean (Chinese-derived), or Hanja words. Both of these are beautiful, and then the English loanwords stick out like a sore thumb.

It's trendy to do so, but I think displacing Korean/Sino-Korean vocabulary at this pace is reckless. I think of it as 사대주의 (toadyism) to some degree as well.

---

Some years ago, I went to some cafe and ordered a coffee, like I've done thousands of times here. The employee asked me if I wanted a '디씨' (di-ssi). I had no idea what that was, so I had to ask, and lo and behold: it was shorthand for discount. Discount would be 5 syllables in Korean (디스카운트), an unbelievably long word in a language where most words are 2 syllables.

I was, and am, baffled because Korean already has a serviceable and widely used word that means discount: 할인 (hal-een), which is Sino-Korean (Hanja: 割引). I figure this is some marketing thing, but the same point applies. There are many cases where there's a perfectly capable word that, for seemingly no reason, gets switched out for an English loanword.

Maybe it's to give headaches to anyone trying to learn the language.

GreenDolphinSys··on I'm helping my dog vibe code games
Seems you can capture HN's attention by replacing /dev/urandom with random paw mashes.

Really glad the price of hardware and VPSs [0] are going up so people can generate and toss away garbage "games" like this. Instead of, you know, playing with their dog, which is what the dog actually wants.

[0]: https://news.ycombinator.com/item?id=47120145

GreenDolphinSys··on Don't create .gitkeep files, use .gitignore instead (2023)
.gitkeep is intuitive and easy to understand. Unignoring a .gitignore is not intuitive. This falls squarely into "clever optimization tricks that obscure intent and readability". Don't do things like this.

It's not that hard to update a .gitignore file every now and then.

GreenDolphinSys··on Facebook is cooked
That may apply to a vanilla account, but if your account is old, then that's just the kind of stuff you click like on, dwell on, bookmark, etc. We have to consider that these men may not be honest about their activity as well.

The search and reels page just shows you what you interact with, and in my experience it tends to overreact to recent input. Look at a couple cat reels for example, and the very next or so refresh will have more cat reels.

GreenDolphinSys··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
I don't think your examples are comparable. DHH is (/was?) the face of ruby on rails and basecamp, whereas Cook is just the latest person at the helm of a tremendously large (personnel-wise) company someone else built. There are only 2 relevant phone types to consider, and please don't tell me Google/Samsung are morally superior to Apple. Even for ruby on rails, hundreds (thousands ?) of people have been contributing to it. It's not really "owned" by DHH anymore, and it's 21 years old, well before these rants.

And not to compare badness, but DHH is ranting publicly on his blog about the projected % of white people in Norway in 2096 and quoting white supremacists in his lamentation about the UK not being more white. Blaming the increasingly totalitarian actions the UK has been taking on immigrants and not the literal lawmakers setting those policies is certainly an opinion to hold. It's a whole lot more in your face.

I do agree about Omarchy linux though- that's still very closely associated with DHH and I'm not touching that with a 39.5ft pole, let alone before getting into technical issues. I was honestly pretty disappointed to see the typical dev personalities online cover Omarchy linux despite the crap DHH has been spewing on his blog.

GreenDolphinSys··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
Well, it's hard to break bread with someone who you fundamentally disagree about things like humans rights issues with. Family or not. You don't just skip over that, and in fact why should you? Having blood relations means you have to sit and eat with someone who thinks you or people you know shouldn't exist or shouldn't be allowed to have the same rights as other people? I'm very glad that we've normalized not glossing over this kind of stuff anymore, because of "family".

"our hacker-minded spaces"

Spaces full of people.

"once clean, apolitical world-of-mind"

This only ever existed for select few people.

GreenDolphinSys··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
I'm not describing just the internet. I'm describing the nature of the world around us, both in meatspace and on in the internet in the context of this discussion. As regrettable as it is (I mean, who doesn't hate politicians?), it's just all politics, regardless if one chooses to detach or not.

That pseudonymity you're describing still exists in many spaces to this day. I have no idea what many (most?) of the contributors on F/OSS projects look like, or anything about them unless they voluntarily divulged it. You don't have to "pledge allegiance to political frameworks", not for any F/OSS project that I'm aware of.

What people do have to do more now is treat other people with respect, which the old internet very much did not do well. There are many people who can code, so projects actually don't have to keep around people who can't conduct themselves nicely.

"When you demand these spaces become ..."

"Demand" is a strawman argument. What changed overall is that people bring themselves into these spaces, not just a pseudonymous username. That comes with different expectations for conduct. Do you miss the flamewars of the past?

"where I didn't have to prove I belonged"

What F/OSS projects do you have to do this for? Basically every project I've contributed to had nothing like that.

"... there used to be spaces where we could focus on intellectual puzzles and technical problems without importing every societal conflict"

While I can empathize with this, I'm not sure if I entirely agree with this recollection of the internet. People could still be cruel to anyone who happened to reveal anything about themselves, as humans tend to do, that was "atypical", shall we say. I don't see why you still can't focus on technical problems, because unless you're a moderator, nobody is forcing you to comment on anything except technical discussions.

GreenDolphinSys··on FOSDEM 2026 – Open-Source Conference in Brussels – Day#1 Recap
The entire idea of F/OSS itself is political, and was very radical. We're just accustomed to it now, so it's not "political", in other words, it's not "controversial". Perhaps F/OSS is -more- political than other spaces because we organize around projects? Here, and on Reddit, we see the fallout of drama all the time in various F/OSS communities over disagreeing over policies. That's... politics.

Unless you happen to live alone and interact with no one, basically every single interaction is undergirded by policies determined by humans. Politics. A computer/phone being built that is purchasable for legal tender, charged by electricity being fed into our homes, where we can send packets in the air, underground and across the world, doesn't happen by magic. It's literally the result of politics.

"Detaching oneself" really just means "not paying attention to politics". And it's a free world to do so, especially for mental health reasons. It's definitely not healthy to be tapped into news/current events all the time and I have to take breaks myself. But for some people, they can't really detach when their literal existence is deemed "political". This is what people refer to when they say it's privileged to detach.

Side Note: criticism of "detaching" is not referring to things like detaching for mental health. Internet trolls aside, that's a strawman argument. What it's referring to is the kind of people who say "oh, I'm just apolitical" or "tech is apolitical, it's just code", when really the status quo is in their favor and they have zero need to ever think about political issues. They would certainly not be "apolitical" if they were being banned from entering public bathrooms or being banned from contributing to F/OSS projects on the basis of their skin color!