vacuity

59 ms·

751.
by vacuity 3y ago
Also, the Earth can theoretically sustain a few more billions of humans if we become vegetarians (vegans?), but with our current population, we can't support everyone living like the average American. Americans also aren't impacte
752.
by vacuity 3y ago
I think cancel culture tends to be somewhat more grounded in sane principles of equality, but the mechanism does make it comparable to far-right mobs. Targets can't really defend themselves and things may escalate into real life. I don
753.
by vacuity 3y ago
It's like you didn't read my comment. Of course I'm free to spend my time doing that, but significant memory safety or thread safety hazards can't just be waved away because "you can vet your dependencies". For
754.
by vacuity 3y ago
And my point is that "Muslim communities bombed Israel" is not an obviously reasonable statement. If Reuters or AP posted an article with that phrasing, I'd wonder if some party other than Hamas was fighting Israel now. At th
755.
by vacuity 3y ago
If so many people actually adopted this view or could be convinced to a comment like this, we probably wouldn't be experiencing this. You're not wrong in the least, but I'm just saying, we can't have that dialogue right
756.
by vacuity 3y ago
> sufficiently coercive corporations are indistinguishable from government and vice-versa It is the current state of the US, but I think it's not inevitable and more due to the circumstances of the US. Regulating billboard usage and
757.
by vacuity 3y ago
Everyone has biases, and you're not exempt. If you know that your language might be grossly misinterpreted, consider changing it, if only for your own image. > If I say "Christian Communities hate gays", you'll probab
758.
by vacuity 3y ago
You say "that's obvious" but your terminology is ambiguous. I wouldn't say "Muslim communities bombed Israel". To me, that sounds something along the lines of "the predominantly Muslim countries in the M
759.
by vacuity 3y ago
Wow, that's a thread. I'd like to know who is actually hurt by this. I'm quite liberal, but a lot of the culture policing seems more like a "White Man's Burden" situation rather than a reflection of a legitimat
760.
by vacuity 3y ago
I don't think relying on a proprietary license to make sure enemies can't get AI for nukes is a sane security model. Something else needs to give.
761.
by vacuity 3y ago
Frankly, if the society is so fragmented that the court of public opinion doesn't get genuine neo-Nazis laughed out of town, I don't think the primary issue is whether Xitter (I like that term LOL) or other platforms strictly upho
762.
by vacuity 3y ago
Poe's law; I can't tell if this is a joke. I was under the impression that Hurd is not going to be ready for usage any time soon (a while).
763.
by vacuity 3y ago
> If C is so bad, why has no major language supplanted it or C++? I think a big reason is the massive codebases with legacy practices that no one has the time or money to fix or rewrite. But there are plenty of companies using newer lang
764.
by vacuity 3y ago
Imagine if programmers did that with memory safety. "Hey, is the program interfacing with any C/C++ libraries that aren't rigorously sanitized and fuzzed for memory safety? If so, throw them out." Yes, theoretically you
765.
by vacuity 3y ago
An explicit goal of Rust is to be "low level", which is an admittedly vague phrase. While you could certainly write a Rust library that clones linked lists left and right, and maybe someone would prefer that, someone else should b
766.
by vacuity 3y ago
Leaving aside the question of whether protests that damage property are reasonable, BLM protests generally haven't had violence/property damage as the main event. I'm saying generally because I don't know if that was tru
767.
by vacuity 3y ago
Or you use MaybeUninint, which I think is a great example of how unsafe Rust exposes to potential memory unsafety but grants you control when you need it.
768.
by vacuity 3y ago
From witnessing so many HN flamefests, between Go and Rust, it seems there are people who are genuinely more productive with Go than Rust, and vice versa. Not saying people usually lie when they claim to be more productive with one, but rat
769.
by vacuity 3y ago
A big problem with Try is the function signatures...excuse me, I would like a <<T as Try>::Residual as FromResidual<Result<T, !>>::Output, please. Yes, that is a caricature and I don't know the proper signatures,
770.
by vacuity 3y ago
Entity-component-system paradigm. Compared to OOP, ECS is more "data-first". It's like a database of components (attributes such as Position, Velocity, Player) with entities (simple integer identifiers) as keys. Systems are f
771.
by vacuity 3y ago
I don't deny that bootstrapping in current systems is ridiculous, but I don't see why it can't be improved. It's not like EROS is a typical OS either. In any case, I'll read up on those OSes.
772.
by vacuity 3y ago
It's fallacious to assume that the persistence model of the system can't enter an invalid state and thus cause issues similar to bootstrapping. The threat model also doesn't make sense to me: if an attacker can manipulate the
773.
by vacuity 3y ago
Two factors are the small working set (fit the code and data in cache) and heavily optimized IPC. The IPC in L4 kernels is "a context switch with benefits": in the best case, the arguments are placed in registers and the context i
774.
by vacuity 3y ago
Wouldn't there be issues following from distributed systems and CAP? Admittedly, I know nothing about Amoeba. E.g. You spawn a process on another computer and then the connection drops.
775.
by vacuity 3y ago
Guess I'm too ignorant. I need to read up on these. I did know about the persistence feature. I think it's not terrible but also not great, and systems should be designed for being shut down and apps being closed.
776.
by vacuity 3y ago
https://dl.acm.org/doi/pdf/10.1145/2517349.2522720 " We took a substantially different approach with seL4; its model for managing kernel memory is seL4’s main contribution to OS design. Motivated by the
777.
by vacuity 3y ago
Yes, but I believe seL4 took it to the max. I may be wrong on that count, but I think seL4 is unique in that it leverages capabilities for pretty much everything except the scheduler. (There was work in that area, but it's incomplete.)
778.
by vacuity 3y ago
Recently, I've been thinking that we need a microkernel design in applications. You have the core and then services that can integrate amongst each other and the core that provide flexibility. Like the "browser as an OS" kind
779.
by vacuity 3y ago
I didn't say seL4 introduced capabilities. However, to my knowledge, seL4 was the first kernel to show that pervasive usage of capabilities is both feasible and beneficial.
780.
by vacuity 3y ago
For a modern example, there's seL4. I believe it does no dynamic memory allocation. It's also formally verified for various properties. (Arguably?) its biggest contribution to kernel design is the pervasive usage of capabilities t

More ›