raggi

21 ms·

271.
by raggi 2y ago
Assuming it stays up for about 10-15s this is a saving over staying idle of around 85%, based on the idle burn rate from toms hardware. Not bad at all!
272.
by raggi 2y ago
You can also state this without the Rust involvement: adding a duplicate of the APIs in any other dialect, going through that exercise pushes implementors to reach clarity and understanding that is more detailed and complete than any increm
273.
by raggi 2y ago
I don't know if KMI is all that stable (I've not looked), and some of the modules may be constrained to that symbol space (though not boot drivers), and they'll still likely encode assumptions about being in a single kernel a
274.
by raggi 2y ago
androids gki is an effort in this direction which has been helping android vendors. it has a number of limitations which would need to be overcome for broader use, but definitely is a good direction https://source.android.com&#x2
275.
by raggi 2y ago
In short: no. Longer: there is no such thing as "compatible with linux drivers", linux has a stable(ish, very ish) userspace, but it does not have a stable HAL or driver interface. All of the drivers in Linux are GPLv2, so there a
276.
by raggi 2y ago
There's an attempt at heading off the driver commentary with a note at the bottom. The note makes some hand-wavy thing which is essentially "assuming you have an army of people with specifications, this won't be a problem&quo
277.
by raggi 2y ago
Not really, as the only point he made wasn't under discussion or in conflict at all. The bulk of the words he said were intended to deliver other messages. I took the time to explain it in some detail here: https://news.ycom
278.
by raggi 2y ago
A leader needs to draw a line in the sand around maintenance across changes. The discussions keep going back and forward on "I won't learn rust, so I won't do it" and "we can't have this anywhere real if it&#x2
279.
by raggi 2y ago
fair pushback, though s/unless they're also modifying the page table/unless they're also accessing the page table/, as it too needs to be synchronized. so yes, sometimes it has no effect, but given how often program
280.
by raggi 2y ago
changes in the page table block the whole process, doesn't matter what combination of concurrency models you're using. we could do with a sub-process mapping API from the OS, but it's not something any major OS offers today,
281.
by raggi 2y ago
give it a few months and it'll start begging you to remove the printer too
282.
by raggi 2y ago
the models used in OP site are not tuned on stylized content you keep saying LLM when you mean chatbot, i’m not sure if you’re really reading my posts
283.
by raggi 2y ago
Oddly timed article with Ernesto being what it was and is
284.
by raggi 2y ago
generative models are trained to generate outputs in response to an input, that closely resemble the training data. that’s literally all they do. if a base model was introducing “style” training (as we currently do it) wouldn’t even functio
285.
by raggi 2y ago
in the above, when i say llm, i mean the base models, when i say chatbot, i mean things like chatgpt, they're not the same. chatgpt is not just a frontend for the base model, studies on chatgpt covering output biasing that it has from
286.
by raggi 2y ago
an unbiased llm shouldn't be producing "style", it should be generating outputs that closely match the training set, as such their introduction should constitute only some biasing toward the average, which also happens in lan
287.
by raggi 2y ago
after a few things like hosts files which exist on every major operating system including windows
288.
by raggi 2y ago
sure, but that's all details, and there are other cooperative scheduling models which aren't excessively eager. this isn't to be a downer on this implementation, or other implementations, but just generally pointing at cooper
289.
by raggi 2y ago
cooperative scheduling is the basis for so many patterns with great metrics :)
290.
by raggi 2y ago
absolutely right re. shells, there's a lot in core old unix that depends on dup and a lot from the 90s/00s that depends on dup2 as well, with all the pain in the butt that it comes with (for multi-threaded and userspace implemento
291.
by raggi 2y ago
async/await like many similar constructs buys you the ability to defer design decisions you would otherwise have to have made earlier. in a program that stays small, this is good, less work to do. in a program that grows large, this is
292.
by raggi 2y ago
When I worked on Fuchsia and we had a heavily async set of system interfaces, users went through this learning path very regularly, and it was very painful for many. Folks who reached out for help early in their first engagement on this kin
293.
by raggi 2y ago
I think most people get a partial idea of what Pin is fairly quickly when they try, but that's part of the problem. They struggle a lot more with Unpin, and particularly the dynamics as code changes. This comes up more often than in pr
294.
by raggi 2y ago
they have kernel modules for macos and linux too afaik, so i wouldn't be counting those chickens too fast
295.
by raggi 2y ago
I'm not talking about supporting public key cryptography, I'm talking about having a specific and usable deployment of a PKI. The closest thing SSH has is SSHFP, which depends on DNSSEC, which is according to many opinions, DOA.
296.
by raggi 2y ago
yup, not an extensive list, but further demonstrative: - terminal emulators are not security hardened clients against malicious actors - ssh lacks PKI and is inconvenient so users never do prekeying in practice, so it's TOFU &#x2
297.
by raggi 2y ago
classic web engineering demo: - small well contained math operation that could be put in a worker - instead of putting that in a worker, startup a whole parallel page and shuttle messages via ipc for the heaviest part of the process,
298.
by raggi 2y ago
you bet though that as soon as the grub types are forced into userspace they're going to want to do fancy userspace things, like give me a fancy framebuffer driver and the ability to push a shader into the gpu to animate while the seco
299.
by raggi 2y ago
To state this slightly differently: GRUB has a terrible security story, a key point in the posted presentation. GRUB is huge and has design traps which contribute to regular developer mistakes. Any huge solution here will suffer the same pr
300.
by raggi 2y ago
An EFI stub that sets up multi-boot, kernel and initrd then jumps into it is pretty simple. I don't know why people really need to keep putting huge intermediate loaders in every default boot path. If you want to boot more than one OS,

More ›