> We are completely overwhelmed, of course.
-
@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.)
-
@grahamperrin please do not re-insert into the conversation people i deliberately removed in order to remove clutter in their threads, thanks.
i had a look at your timeline and now i do understand why people might not want to communicate with you; i just joined their number.
please do not reply, thanks in advance.
-
@grahamperrin please do not re-insert into the conversation people i deliberately removed in order to remove clutter in their threads, thanks.
i had a look at your timeline and now i do understand why people might not want to communicate with you; i just joined their number.
please do not reply, thanks in advance.
@mawhrin don't take an interest without properly knowing the facts and then feign disinterest.
-
@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/
@raster here's the less open public discussion, with greater engagement:
FreeBSD, AI, and LLMs
https://www.reddit.com/r/freebsd/comments/1vthk9s/freebsd_ai_and_llms/
― including a comment from a member of the FreeBSD Core Team.
-
-
@zzt "Are we the baddies" walked so that "Thank you Meta" could run.
-
but nah, I’m sure it’ll be fine, I keep seeing the take on here that somehow the kernel doesn’t matter at all for a desktop and nobody will notice when it breaks
you know, the code that literally all of your applications call into, that makes all your hardware work
the thing that was the point of being on linux at all
the kernel????
@zzt can’t wait for more and more events of “bizarre kernel bug fucks up physical hardware entirely”. if only there would be a way of like, not doing that.
