vacuity

17 ms·

211.
by vacuity 1y ago
Yes, then there is no way to elevate Bob above Alice, but in practice I think the assumption of external indistinguishability is too strong, and even the suspicion that Alice is sketchy (i.e. without hard proof) is meaningful.
212.
by vacuity 1y ago
> Has anyone proposed an actual better way of solving these kinds of problems? No. This is the heart of the matter. Nothing is good or bad in a vacuum, but when two things (say, outcomes) can be compared, distintions can be drawn. Notici
213.
by vacuity 1y ago
I did say that simple doesn't mean easy. I don't know how to judge whether something is many or few without a fixed norm, nor how to measure it without reference to the environment it exists within. Simplicity does not mean having
214.
by vacuity 1y ago
From what you're saying, it sounds like components in this framework (React?) are not simple at all. A major hurdle in evolving a program is capturing and maintaining simplicity. The proof of whether something is simple lies in its com
215.
by vacuity 1y ago
I believe we can do fairly well in addressing people in groups. People are irrational, but the probability distribution of "things we say" against "what people will think and do" can be modulated for the better. The bigg
216.
by vacuity 1y ago
Absolutely agree. I think of children as "people who don't know a lot right now ". But really, we're all children to some extent. Children are always honed to look for inconsistencies, and if those inconsistencies aren&
217.
by vacuity 1y ago
Thanks for sharing. Aside from what the other replies to you have shared, I admittedly have less experience, and I'm mainly interested in the OS perspective. Balancing global and local optimizations is hard, so the OS deserves some lee
218.
by vacuity 1y ago
The trend of multicore and NUMA means that hardware increasingly looks like a traditional network of many separate computers. The natural conclusions of single-core scaled up to, say, 4 cores, shift when there are 8+ cores. Locality becomes
219.
by vacuity 1y ago
Haven't read that before, but nicely read. I've had related thoughts on this, and I agree. I like the quote "keep an open mind, but not so open that your brain falls out". Alternatively, change always comes, so be adapta
220.
by vacuity 1y ago
> Sometimes you can prove mathematically that two different approaches are equivalent, but differ only in name or some parameter, and that's a unification of sorts, without proliferation of standards. Certainly, but that would alrea
221.
by vacuity 1y ago
The thing is, the most fundamental obstacle to unification, is that unification is a very hard feature to obtain. Even in an LC formalization, do you expect that two "text editor" programs would be interchangeable? Would only a ca
222.
by vacuity 1y ago
There are no hard rules; use principles flexibly. That being said, there are some things that are generally true for the long term: use a pinned thread per core, maximize locality (of data and code, wherever relevant), use asynchronous prog
223.
by vacuity 1y ago
Yeah, I don't think "surely no one seriously believes this" is viable now, if it was before. Of course, what you choose to do with that conclusion is still up to you.
224.
by vacuity 1y ago
See also Barrelfish for a multikernel research implementation. I think fos also qualifies. > Personally, I would never agree to give up SMP CPU coherency. Multiprocessor systems are hard enough to debug with hardware cache coherency that
225.
by vacuity 1y ago
Sounds interesting; I would like to see more OSes built out of passion. Just curious about design choices (I don't mean to come off as aggressive below): > from basing off of Plan 9 to building a new exokernel in a language like Rus
226.
by vacuity 1y ago
Probably a lot of overlap with the links upthread, but [0] also goes over Unix and Smalltalk (and I only just realized is also by Stephen Kell). [0] https://dl.acm.org/doi/10.1145/2525528.2525534
227.
by vacuity 1y ago
Rust isn't perfect, but it's basically the most viable language currently to be used in software such as Linux. It's definitely more of a C++ contender than anything else, but manages to be very usable in most other cases too
228.
by vacuity 1y ago
Contrasting the sibling reply from umanwizard, I'll say Rust is 75, but 95% of the time, it's 40 or under. There's a pretty obvious cliff, so you can avoid or detect it unless you need to do something advanced. Unlike C++, yo
229.
by vacuity 1y ago
I also encourage reading [0], for another perspective on languages and formal guarantees (and a slightly different perspective than Rust's). It also talks about concurrency, which has many open problems for programming languages and so
230.
Rust is not about memory safety(o-santi.github.io)
3 points by vacuity 1y ago|1 comments
231.
by vacuity 1y ago
> In many ways, I'd say the socialists mostly need to work on their branding and spin. Don't they always? As much as I despise the modern Republican party and Trump in particular, I think they're much better at messaging a
232.
by vacuity 1y ago
I don't think what you're describing is not "security by obscurity" so much as it is "security by not being the target". And "security by obscurity", if not used standalone, is basically just "se
233.
by vacuity 1y ago
Especially in the case of GP, I'd say Rust is not the main recommendation, although it is one. I would concur that Rust is only one of many decent languages (for memory safety or otherwise). Still, there are languages with guardrails,
234.
by vacuity 1y ago
Considering how big Linux is and how many different use cases it supports, this could well be an undue maintenance burden for Linux where it wouldn't be for other operating systems. Though, I'll grant that I don't know the de
235.
by vacuity 1y ago
I trust science; I trust scientists less, and science journalism and its readers even less. Science as a human practice has never been a shining beacon of the truth. Even ignoring results that suit politics, I don't take much stock in
236.
by vacuity 1y ago
I think most people would claim that they support the truth. Even a troll might publicly claim to speak the truth, let alone someone who has an ideological motivation to believe likely falsehoods. Flat Earthers don't typically say &quo
237.
by vacuity 1y ago
Although this is somewhat true, I think the bigger issue is expecting Linux to support all these use cases. Even if Linus accepted all use cases, it's a different story to maintain a kernel/OS that supports them all. The story fro
238.
by vacuity 1y ago
In my own experience, I think I am not "match[ing] the hive mind", nor do I try to, and as such my karma growth is slow but not painfully so. I think that I've been treated more or less fairly. I think your downvotes mainly c
239.
by vacuity 1y ago
That's why I like to read most of the comments on a post, because typically I'll find some useful information scattered throughout. After I'm done, I can roughly get a sense for "excellent comments", "comments
240.
by vacuity 1y ago
I generally agree with you. I have a bad habit of simplifying my statements and losing nuance. If an error occurs, it should be handled reasonably and soon. If the cause or solution to an error is unclear, restarting at the task boundary is

More ›