> We are completely overwhelmed, of course.
-
@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 @zzt @lykso @c0dec0dec0de that's why i'm making my own kernel
-
@daemonspudguy @zzt @lykso @c0dec0dec0de that's why i'm making my own kernel
@daemonspudguy @zzt @lykso @c0dec0dec0de operating systems like linux are extraordinarily inefficient
-
@lykso @hipsterelectron @daemonspudguy @zzt FUCK, tmux, is nothing sacred?!
-
@daemonspudguy @zzt @lykso @c0dec0dec0de that's why i'm making my own kernel
@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io
I'm curious, is it a microkernel?
-
@lykso @hipsterelectron @daemonspudguy @zzt FUCK, tmux, is nothing sacred?!
@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io
No. Sacredness was killed in the year 2020 along with all of humanity. 2020 was actually the apocalypse and this is actually a purgatory for all of humanity. /j
-
@hipsterelectron@circumstances.run @zzt@mas.to @lykso@tiny.tilde.website @c0dec0dec0de@hachyderm.io
I'm curious, is it a microkernel?
@daemonspudguy @zzt @lykso @c0dec0dec0de yes but not in the L4 style. a "monolithic" kernel actively abdicates security boundaries or protocols of any sort and is impossible to optimize to application-specific access patterns. ring 0 is for memory allocations and not for hardware. explicit message buffering (unlike seL4) enables strong guarantees around data persistence and data copies can be used to safely transfer across security contexts as well as memory hierarchy regimes. the bullshit linux does to pass around pages to avoid copies is incredibly archaic and it's very cache-unfriendly
-
@daemonspudguy @zzt @lykso @c0dec0dec0de yes but not in the L4 style. a "monolithic" kernel actively abdicates security boundaries or protocols of any sort and is impossible to optimize to application-specific access patterns. ring 0 is for memory allocations and not for hardware. explicit message buffering (unlike seL4) enables strong guarantees around data persistence and data copies can be used to safely transfer across security contexts as well as memory hierarchy regimes. the bullshit linux does to pass around pages to avoid copies is incredibly archaic and it's very cache-unfriendly
@daemonspudguy @zzt @lykso @c0dec0dec0de most of POSIX can be supported but not fucking pthreads. the entire concept of a mutex is completely broken and that's why deadlocks are even allowed to happen. haven't figured all that out yet but i think any constructs built on top of c11 atomics need to have clear semantics for progress. the ring buffer i've built supports stuff like "block until N bytes are available to write" and it makes parallelism so much easier when data structures provide guarantees around data flow rather than control flow
-
@daemonspudguy @zzt @lykso @c0dec0dec0de most of POSIX can be supported but not fucking pthreads. the entire concept of a mutex is completely broken and that's why deadlocks are even allowed to happen. haven't figured all that out yet but i think any constructs built on top of c11 atomics need to have clear semantics for progress. the ring buffer i've built supports stuff like "block until N bytes are available to write" and it makes parallelism so much easier when data structures provide guarantees around data flow rather than control flow
@daemonspudguy @zzt @lykso @c0dec0dec0de alexia massalin did the absolute coolest fucking shit ever with only an atomic compare-and-swap instruction in her synthesis kernel https://pages.cs.wisc.edu/~bart/736/papers/synthesis.pdf i'm doing a lot more with filesystem i/o and scheduler control because the scheduler is a security boundary and no process should have a global view of all files
-
@daemonspudguy @zzt @lykso @c0dec0dec0de most of POSIX can be supported but not fucking pthreads. the entire concept of a mutex is completely broken and that's why deadlocks are even allowed to happen. haven't figured all that out yet but i think any constructs built on top of c11 atomics need to have clear semantics for progress. the ring buffer i've built supports stuff like "block until N bytes are available to write" and it makes parallelism so much easier when data structures provide guarantees around data flow rather than control flow
@hipsterelectron That sounds fantastic, TBH. Really looking forward to seeing what you end up writing!
@daemonspudguy @zzt @c0dec0dec0de -
> We are completely overwhelmed, of course. The glimmer of hope is that we secured sufficient LLM budget and access (thank you Meta!) to run reviews with multiple frontier models on each patch. This eliminates some hallucinations.
jesus christ https://mastodon.catgirl.cloud/@lina/117130089920503564
@zzt “we are drowning in slop, the solution is obviously more slop”
-
if only we had lots and lots of examples of easier systems projects using similar techniques that entirely failed and now don’t exist as functioning projects
what are bun and rsync, why do you keep saying those names
@zzt it will be vindicating seeing linux go on that list
-
@zzt@mas.to @c0dec0dec0de@hachyderm.io
Even when translating to what the phrase is poorly trying to pretend to be different from, I have absolutely no fucking clue what "social warrior project" is meant to convey because "social justice warrior project" is just not a phrase I can make any sense out of. It doesn't scan at all.
@daemonspudguy @c0dec0dec0de @zzt it is the right-wing nutjob framing of “ethical project”
-
@zzt This is just the natural outcome.
The real red flags where when IBM (that is working into AI from more than a decade) buyed Red Hat and when they pushed madly a broken systemD as the usual "it's the FuTuRe" in the same guise they are pushing Wayland... that isn't really ready yet either for a lot of cases.
With these precedents why the LLMs push is so strange? Is just a normal development for these people.@raster I can not read the conversation here, thanks to @zzt for the block /s
I see that he enjoys the phrase "fucking slop", so you can point him and his fucking awful.systems to the open (non-blocked) anti-AI discussion linked below.
Alternatively, with less profanity:
― sloppy human systems.
https://www.reddit.com/r/freebsd/comments/1vtgx7t/antiai_open_source_has_an_enemy_in_common_but/
-
good thing the linux kernel has multiple frontier models, none of which are capable of generating a C compiler that fucking works
thank you Meta!
@zzt i am wondering if any of the benchmarks is "generate compiler for arbitrary language and architecture" with a testset that is just arbitrary code to compile amd execute (which is not oart of the context).
I guess not, that could lead to embaressment and admitting they set a trillion dollars aflame for spicy autocomplete -
I really liked having fully working linux systems for… like 7 out of the 30+ years I’ve been using this fucking thing
we even briefly got gaming before they decided to come and fuck it all up in exchange for money
@zzt what?
-
> We are completely overwhelmed, of course. The glimmer of hope is that we secured sufficient LLM budget and access (thank you Meta!) to run reviews with multiple frontier models on each patch. This eliminates some hallucinations.
jesus christ https://mastodon.catgirl.cloud/@lina/117130089920503564
@zzt "some hallucinations"
-
good thing the linux kernel has multiple frontier models, none of which are capable of generating a C compiler that fucking works
thank you Meta!
@zzt
They embraced, they extended, now comes the extinguishing (even if some of them believe it's extension) -
@zzt “we are drowning in slop, the solution is obviously more slop”
-
@raster I can not read the conversation here, thanks to @zzt for the block /s
I see that he enjoys the phrase "fucking slop", so you can point him and his fucking awful.systems to the open (non-blocked) anti-AI discussion linked below.
Alternatively, with less profanity:
― sloppy human systems.
https://www.reddit.com/r/freebsd/comments/1vtgx7t/antiai_open_source_has_an_enemy_in_common_but/
@grahamperrin take the block like a real poster and don't whine about it. (calling reddit “open” is a beautiful joke.)
-
@grahamperrin take the block like a real poster and don't whine about it. (calling reddit “open” is a beautiful joke.)
