Austin K retweeted
People are missing the point of Ginux.
I didn’t create another kernel to compete with Linux. That is idiotic!
In fact I consider the code disposable. Think about that…
Ginux wasn’t the product. The development process was the experiment. The kernel was the evidence.
Could AI, directed by an experienced engineer, could build and validate an extraordinarily complex software system.
In just 11 days, I produced an independent kernel capable of booting Rocky Linux 10 with systemd.
That was the experiment. And while Ginux isn’t a complete Linux aligned kernel, the experiment is complete.
The research paper documents the methodology, results, and limitations.
Since publishing, people have started finding bugs and security issues. That’s fantastic! Independent review is exactly how complex software gets better.
There has already been an initial security review, and there’s a remediation plan sitting in context that I’m considering implementing.
So the question is, since the experiment is complete, do I even do anything further here?
Maybe there is an interesting experiment in measuring how efficiently human-directed AI can fix the problems external reviewers discover?
How much time does it take to reproduce an issue, identify the root cause, implement a fix, and validate the result? How much human intervention is actually required?
That’s potentially an even more interesting situation than the original 11-day experiment.
Because the real question was never whether AI could replace Linux. Even if it can replace some aspects of its functionality, it can’t replicate the community, standards, collaboration, alignment, or stability.
If you still believe that Ginux was designed to be a Linux replacement, you should read the actual paper.
zenodo.org/records/23682548
The creator of CentOS and Rocky Linux built a new OS kernel with AI in just 11 days.
It’s called Ginux, and it can already run selected Linux programs without the Linux kernel underneath.
Gregory Kurtzer guided the design while Codex wrote and tested around 139,000 lines of code.
Written mainly in Rust, Ginux has its own memory management, scheduler and networking. It even boots Rocky Linux 10 with systemd in a virtual machine.
It’s still an experimental prototype, with incomplete compatibility and hardware support. The code is open source under Apache 2.0.
Eleven days to get this far. Now comes the harder part of making it reliable.
Source: github.com/gmkurtzer/ginux
It's still early but I'm already thinking if this had vim style motions I'd use it as my primary window manager – at Orem, UT
Austin K retweeted
Replying to @mjackson @RyanCarniato
It's more of an abstraction designed for libraries actually. The best react apps I've ever written rarely use useState or useEffect
Bro has never seen a steam library before?
Replying to @TTV_Kaguya @RavenMurcielago
それで?
"海賊版"の方はいくらで入手したんだ?
適正価格?無料?開発元への還元は?
それが"間違ってる"とは思わないの?
皆が海賊版をプレイしたらゲーム会社が潰れるぞ。
Readers added context they thought people might want to know
Important Context:
Steam is a Digital delivery service that works as a markeplace for buying games legally, not a "Piracy library" as poster may imply
The co-founder, Gabe Newall, famously said that "Piracy is almost always a service problem and not a pricing problem"
en.wikipedia.org/wiki/Steam_(se…
store.steampowered.com
Love how Republicans always push away Mormons even though they are conservatives. Nothing productive ever comes out of this divisive mindset. – at Orem, UT
Austin K retweeted
There must exists an app with PHP, deployed on Railway, with calls to cURL, with other services written in node that use Brotli compression running on a couple day old Linux, with their code self managed on GitLab
They are having a hell of a week
I have an idea that will solve the Japanese media piracy discourse. We can all pretend to be absolutely disgusted by piracy to become their best friends and then maybe they'll consider distributing some of their media to the west – at Orem, UT
Steam won't match your client's resolution when you stream from Linux. So my 21:9 desktop hit the TV as a squished letterbox.
Fixed it with a display that doesn't exist. Phantomscope: a fake 4K monitor + gamescope, and the stream comes out right. – at Orem, UT
Try it out here: github.com/austin-karren/pha… – at Orem, UT
I reserved one. I hope it's good! – at Provo, UT
there are certain social behaviors that are illegal for Whites and we adhere to these bc of who we are as a people and seeing the amount of foreigners in our country and how they completely disregard these unspoken rules has regressed our entire society.
Replying to @IllariaDiMar
Many women chafed and tore down those barriers during the latter half of the 20th century. Turns out, those fences were up for very good reasons. Chesterton is almost always right.
Me waiting for @thewitcher remastered update – at Orem, UT
Austin K retweeted
That's why Tobi is the CEO, not a random employee. This idea that a private company should be a small "democracy" and hierarchy shouldn't exist is total bs.
I run my companies the same way. I make the calls, my AI agents/employees execute. I don't involve them in the decisions and I don't expect them to particularly care - I pay them to do a job and they get it done.
Bad/good decisions are on me, for better or for worse.
Yep. Except:
1. This was about important internal tools. The team was stuck in some architecture nightmare of their own doing (writing it in rails but headless, with graphql api, and a SPA react app, constantly needing frontend engineers for changes). I call this kind of thing 'cosplaying an enterprise production app'. All that complexity was in the way and using straight rails was perfect in that case.
2. I make calls like this all the time. Usually someone on the team asks me to. They see what needs to happen but don’t want to be the bad guy. I’m happy to just make the call if I agree with the premise. Saves enormous amounts of meetings and change management etc. Sometimes this is jokingly referred to as Founder-mode-as-a-service here.
3. For ten years I’ve also run an internal podcast called Context, where I revisit decisions like these and explain the reasoning so everyone can learn from them. This is helpful to give people all the variables that were considered and why this was the choice made given the information available at the time. I want to teach how to make such decisions effectively without needing me. Sunk cost fallacy is a problem.
4. Any notions that Shopify is succcessful despite of me doing this, instead of because of it, will have a hard time making their argument come together I think 😄
the part of 'two weeks later tobi learns about...' is nonsese and the pivot of that project up there happens one of the more successful examples of interventions. But getting the company to work effectively with great architecture and low technical debt baggage into the right direction is literally the job, so guilty as charged I suppose.
But there are always cope stories floating around like this because they are more fun, than saying 'somehow we needed tobi to stop doing silly architecture astronautics'. I can totally see that.
























