vacuity

41 ms·

511.
by vacuity 2y ago
Having skimmed it, I hope more people read that article.
512.
by vacuity 2y ago
It's deeply unfortunate that this post hasn't gotten more attention here. Perhaps it's because it's very long, but it's worth reading. It's the kind of blog post that I think rings of the truth. No doubt there
513.
by vacuity 2y ago
It's difficult to speak of rigor for any of these hypotheses, but anyways. If we take "higher power" to roughly mean that there is some driving force, whether personal or impersonal, that inherently defines and imposes order
514.
by vacuity 2y ago
It's blatantly untrue to conclude that when we are largely ignorant of the detailed workings of the brain and of the universe at large, and ultimately unscientific, using Popper's falsifiability principle.
515.
by vacuity 2y ago
If we want the highest level of rigor, claims such as "the unconscious is/isn't influenced by a higher power" aren't falsifiable. Anything that you aren't aware of can't be explained by you. Others can exa
516.
by vacuity 2y ago
Even kings (nominally) have advisors and some level of contact with the people they rule over; they aren't expected to just make decisions from an empty room with exactly no room for being swayed. In theory, a good king is like that. A
517.
by vacuity 2y ago
Grandparent is making the case that it shouldn't have this role, which is independent of it having the role. It seems contrary to "the hacker spirit" to use the is-ought fallacy to discourage innovation. Is it wrong to have a
518.
by vacuity 2y ago
To offer a different perspective, green threads are far easier to use for programmers (which is a valuable quality; I'm not dismissing that), but async/await is the better abstraction if you know how to use it. I justify this more
519.
by vacuity 2y ago
I think most people can become fairly skilled in useful fields if educated properly, and the people who can't are a small group that can be cared for. I agree that even in a better education system, people aren't all going to be e
520.
by vacuity 2y ago
As long as an organism isn't performing too badly, it stays in the gene pool. It can persist and even share its genes more broadly, if in diluted form, to the other more successful organisms. And then some of those mixed-genes organism
521.
by vacuity 2y ago
I hugely agree on "corporations...[are] a group of people". I think it's an interesting model. But I would say that there's some essential liability that should be addressed or else the corporation has no reason to remai
522.
by vacuity 2y ago
We should have something like capability-based security, since object capabilities are amenable to more expressive interfaces than "read bytes" and "write bytes". Capability-based security also favors minimizing privileg
523.
by vacuity 2y ago
Java GC, Rust borrow checker, OCaml modules, linters, Valgrind...we more or less know the values that well-written code possesses, but we have yet to figure out how to make well-written code easy to write. Especially at the C or Rust "
524.
by vacuity 2y ago
It's an example of richer, expressive interfaces that allocate responsibility for who ensures what behavior properly for the problem. Send and Sync don't fundamentally make thread safety easier. What they do is that library author
525.
by vacuity 2y ago
Indeed. Democracy is "least bad" because it at least allows people to choose, but don't be surprised if they make the wrong choice. Evidently one problem outweighs the other, and for advocates for democracy it's that the
526.
by vacuity 2y ago
There is something to be said about exactly what the practice is/how the practice is structured. Both the learning and practice phases should rely less on rote memorization and more on dissecting and understanding principles. For insta
527.
by vacuity 2y ago
Indeed. There are people who have a fair point that desktops for users (as opposed to servers) should have a focus on being responsive and useful. Like how writing on a piece of paper produces meaningful markings in real time, user interfac
528.
by vacuity 2y ago
I think elaborate IPC designs are too much trouble, and I favor seL4's "context switch with benefits" approach of delegating larger messages to shared memory. It avoids performance and security hiccups with copying or kernel
529.
by vacuity 2y ago
And the people may not want democracy. Democracy is only "good" in the sense that it can allow multiple competing groups. Any given group would prefer, if it could magically get it, an authoritarian gov't that imposes its wor
530.
by vacuity 2y ago
The Democratic Party can't win with those tactics anyways. If it imitates the Republicans more and more, everyone will just slide further right. It should've taken a different stance and hard-lined on it. Trying to appeal to voter
531.
by vacuity 2y ago
There are actual fascists (and not as few as I would like) and they need to be called out, but using the term inaccurately and provocatively on a broad group makes it easier to oppose the usage outright. Optics are important to politics, li
532.
by vacuity 2y ago
> the most populist parties are the republicans and democrats This shouldn't come as a surprise to anyone...
533.
by vacuity 2y ago
In the ideal, populism can be seen as a good example of democracy. In practice, voters just go off of feelings and "he said, she said", at which point it's not about the benefit of the people so much as whichever elites manag
534.
by vacuity 2y ago
Political unity is something of a pipe dream when you look at some of the represented political groups in the US. I won't call out specific groups, but people can likely imagine at least one group they really don't want to have an
535.
by vacuity 2y ago
The interesting thing that is less obvious is that, if you are convinced you made a choice that you didn't (e.g. you see your votes but one is falsified), you will stick to it. So you hadn't gone through the commitment process but
536.
by vacuity 2y ago
I note that of the Spectre/Meltdown and similar hardware vulns, even the hard-to-swallow kinds of mitigations for Spectre primarily prevent user-to-kernel hijacking only, which is the most important single property but doesn't cov
537.
by vacuity 2y ago
I doubt that "idiomatic Rust projects use unsafe liberally". It is a more liberal construct, perhaps, but IMO actual usage is usually reasonable. Unless you mean the standard libary's use of unsafe?
538.
by vacuity 2y ago
I would think it's a mix of not being sure exactly what to do on error and not wanting to undergo the effort of writing error logic. You have to switch from "basic skeletal structure of the program" to "cover all bases&q
539.
by vacuity 2y ago
> Did they actually write that somewhere? wgpu.rs for comments about "general purpose", "modern" is my own interjection, and [1] about the difference in priorities between the WGPU maintainers and (funnily enough) you
540.
by vacuity 2y ago
As opposed to having companies do it while asking for exorbitant contracts and not necessarily delivering on par? (cough Boeing cough) It's not really better on the other side, and we need change somewhere.

More ›