vacuity

44 ms·

601.
by vacuity 3y ago
I find it unfortunate, since I think async should be the default model for communication. Similar to message passing with shared memory as an optimization, I wonder if async messaging with sync messaging as an optimization is feasible. Asyn
602.
by vacuity 3y ago
I will look into OpenBSD's implementation. Sounds interesting!
603.
by vacuity 3y ago
I think the main concern about libc is that there are many aspects of it that aren't "minimal", so developers who want an interface for syscalls only are pressured into using libc in its entirety. I do not think libc is curre
604.
by vacuity 3y ago
Yes, particularly due to the design decision that Rust code should strive to be explicit in intention and mechanism.
605.
by vacuity 3y ago
I think it wouldn't be so painful even as it's pervasive if the ergonomics were far better. Unfortunately, things are still far off on that front. Static dispatch for async functions recently landed in stable, though without a goo
606.
by vacuity 3y ago
I think a part of it is that dumb diff tools may record large diffs when the change in functionality is limited and the rest is more or less moving lines around. Like making if cond { ... return; } ... into if cond { ... ret
607.
by vacuity 3y ago
Although, like many bugs, it's also a feature.
608.
by vacuity 3y ago
Sure, if Mastodon works as broadly as I described. It just needs to be more widespread then.
609.
by vacuity 3y ago
I suppose, but more general ways to structure the forum, moderation, how to do upvotes or likes, and so on. Maybe decentralized and federated. Make the whole Internet message passing, even!
610.
by vacuity 3y ago
I was going off-topic.
611.
by vacuity 3y ago
I'm not supportive of all opinions from the left-wing about race and whatnot, but it's clear that there is real pushback. Some people want to downplay the crime of enslaving Africans and highlight "American exceptionalism&quo
612.
by vacuity 3y ago
There's no amount of informed argument that will sway the extremists, so when it comes to politics, people are even bigger idiots. For the rest, it's more that they feel one candidate or the other is a necessary evil to avoid lett
613.
by vacuity 3y ago
This is why I wish there was a megaforum where anyone can isolate themselves into smaller forums as they wish. Then no one gets deplatformed by the feds or corporations or whatever (unless they call for violence or doxx someone, something l
614.
by vacuity 3y ago
Freedom comes with a cost, but using a bludgeon like the US Supreme Court to outlaw "bad speech" today may have severe repercussions tomorrow. We should look for other solutions. Social solutions for social problems.
615.
by vacuity 3y ago
I think people (and designers of other languages, in particular) were outraged that not only did V have the very aspirational claims, but there was also a Patreon (or similar) and the general attitude of the newly forming V community that f
616.
by vacuity 3y ago
It's not about frequency; it's about the possibility that just one of these unsoundness bugs gets through to production and screws things up. The whole point of memory safety languages is that, unless you (or a dependency author)
617.
by vacuity 3y ago
There certainly isn't one concrete scheduler that works for all workloads. It probably doesn't matter for server or supercomputer environments; as long as some scheduler works, it doesn't have to change. For other use cases,
618.
by vacuity 3y ago
Perhaps not just any program, but ideally a user could tell the OS that a certain program requires minimal latency across some cores for some duration, or that hardware TCP offload should be prioritized for a server process. Like madvise or
619.
by vacuity 3y ago
Makes sense. Ideally the OS should provide the capability to do SA (or similar), but I don't know how the overhead would be for programs that opt out of using it.
620.
by vacuity 3y ago
Reentrancy is a nuisance. seL4 allows for the kernel to be preempted only at specific points of long running operations, which massively reduces concurrent spaghetti but also sacrifices some latency. Would the userspace program have some wa
621.
by vacuity 3y ago
How so?
622.
by vacuity 3y ago
Can you elaborate on what it means for them to be kernel threads as opposed to green threads (no userspace control over when it blocks and yields?) and reentrant context switch routines? I read the original paper but I fear I don't hav
623.
by vacuity 3y ago
Ah, the dream of fully-featured, performant M:N threading. Spawn tasks left and right, optimize with a small declarative config, and sit back and relax. I'm very interested to see how close we can get.
624.
by vacuity 3y ago
I believe I saw a presentation on OKL4 describing this sort of abstraction as virtual CPUs capabilities. There is a similar mechanism in Barrelfish and Psyche. Last I heard, the seL4 team was pursuing a different approach of scheduling capa
625.
by vacuity 3y ago
I don't think there's any way to mitigate memory safety issues in the syscall wrappers or the kernel; if the very overseer that is depended upon to enforce some degree of security isn't secure, then it can't be relied up
626.
by vacuity 3y ago
Speaking entirely out of inexperience, perhaps it's a situation where you could theoretically do everything with structured concurrency, but you'd have to have deep understanding of all the details of your system, not to mention n
627.
by vacuity 3y ago
Apparently that's a thread-local executor (scroll up to the top of the page).
628.
by vacuity 3y ago
Go has tried to avoid libc where possible, but Linux is rather unusual in that raw syscalls can be done reliability with assembly code. Rust just uses libc to sidestep the hassle (and perhaps better interface with C code, not sure).
629.
by vacuity 3y ago
For the syscall raw ASM/libc debate, would it be possible to provide an interface that just does syscalls and separate that from the rest of libc? It would be more inconvenient for people using ASM, but they wouldn't have to confo
630.
by vacuity 3y ago
What are more uses that WASM (or any theoretical technology, really) could have for a web browser? Do you mean scripting to customize the browser itself?

More ›