> We are completely overwhelmed, of course.

[c0dec0dec0de@hachyderm.io]

@hipsterelectron @daemonspudguy @zzt I’m sure it’s got some Hurd-les in front of it :rimshot:

[c0dec0dec0de@hachyderm.io]

@hipsterelectron @daemonspudguy @zzt neat!
This does give me pause: “amd64 support exists in Gentoo but it is less stable so far than x86.”
https://wiki.gentoo.org/wiki/Project:Hurd

[hipsterelectron@circumstances.run]

@c0dec0dec0de @daemonspudguy @zzt i don't know how to evaluate that without further context but "so far" indicates it is a subject of active research

[cap_ybarra@beige.party]

@zzt thank you meta, the company so visionary it renamed itself after a market already on the way out, you have a great take on what decisions won't look terrible in the near future

[c0dec0dec0de@hachyderm.io]

@zzt yes, I am still sore about someone who installed Windows ME on my Pentium 3.

[thankfulmachine@oldbytes.space]

@zzt Thank you Meta. Since you've started spraying anorgasmia chemtrails across the planet, I'm really glad to have your ananorgasmia inhalers. My sex life has never been so not quite almost what it was before

[hipsterelectron@circumstances.run]

@lykso @c0dec0dec0de @daemonspudguy @zzt oooooo thanks!

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

HyperbolaBSD is also from the same cranks who decided that running an obsolete and thoroughly exploitable kernel was a good idea so quite frankly I think you'd be a fucking fool to ever trust it, or anything from that same group of people.

[hipsterelectron@circumstances.run]

@daemonspudguy @zzt @lykso @c0dec0dec0de is there more information about this anywhere?

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

The kernel it's using is Linux-libre (already a bad sign anyways because that kernel can't update microcode at all) version 5.10, which is absolutely ancient.

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

I would try to find a specific source about their stance itself but their website is utterly impenetrable because it's all philosophical wankery that I can't make sense of because my eyes physically can't read it. The kernel version, though, is just right on the package list. Last updated August 2025.

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

Oh my god I found one. It doesn't mention the kernel specifically but the fact that the kernel is clearly included in it makes it clear that that's their position.
https://wiki.hyperbola.info/doku.php?id=en:philosophy:reject_machinelearning#outcome_and_decisions_for_hyperbola

#outcome_and_decisions_for_hyperbola

[ophiocephalic@kolektiva.social]

@zzt
Identity scans for everything on the internet. Thank you Meta!

[pastelfluffyfox@meow.social]

@zzt feeling like gandalf when he read that journal about the fall of moria, only it's about LLMs coming to the linux kernel

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

Your list of operating systems ain't exactly large if LLM extruded code is a complete dealbreaker. Especially if you're exposing something on the internet.

[daemonspudguy@app.wafrn.net]

@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io

@mrmasterkeyboard mentioned.

[lykso@tiny.tilde.website]

@daemonspudguy @hipsterelectron @zzt @c0dec0dec0de Yeah. Longer-term plan is developing something on top of seL4 with (probably) Idris 2, but I need something for hosting in the meantime.

I'm also planning to do this in a private-ish environment (hence the tilde), releasing everything under a license that precludes use by any entity that is not worker owned and controlled, and restricting access to the source code along the same lines.

[cap_ybarra@beige.party]

@dysfun @zzt it's evals eval'ing evals, and evals eval'ing those evals, and surely that's enough evals to not have to pay the nerds anymore right?

[hipsterelectron@circumstances.run]

@daemonspudguy @zzt @lykso @c0dec0dec0de that's why i'm making my own kernel

[hipsterelectron@circumstances.run]

@daemonspudguy @zzt @lykso @c0dec0dec0de operating systems like linux are extraordinarily inefficient