vacuity

63 ms·

841.
by vacuity 3y ago
There are objective truths in the world. Or, to be more precise, there are objective truth's in each person's "world", their sense of reality. "1 + 1 = 2" is objectively true given a certain system of axioms an
842.
by vacuity 3y ago
Yeah, I like to lie too.
843.
by vacuity 3y ago
"1 + 1 = 2" has a commonly understood meaning that implies a system of axioms and theorems and whatnot so as to be an objectively true statement in that context. You're not being asked to interpret what someone means by &quot
844.
by vacuity 3y ago
So, you'll imminently lead a mob to kill executives of companies that majorly contribute to climate change?
845.
by vacuity 3y ago
Could I bother you to elaborate? I'm interested in OS design and capabilities too :)
846.
by vacuity 3y ago
Politics is messy. On the one hand, people should be civil unless they have very strong reason not to be. I don't condone the behavior. On the other hand, I have to wonder why Duncan was invited to speak in the first place. This isn&#x
847.
by vacuity 3y ago
The fact that you have a whole other process, was my line of thinking. If the scheduling doesn't play nice then latency will suffer. I don't really know in practice though.
848.
by vacuity 3y ago
Time to write a comprehensive paper titled "Optimizations Considered Harmful". Seriously though, it's distressing how we have Spectre and Meltdown and whatnot. We've gone too far trying to squeeze every drop of performan
849.
by vacuity 3y ago
At that point, I imagine the overhead will motivate that bounds checks may as well be enabled as the alternative.
850.
by vacuity 3y ago
The point of `unsafe` in Rust is that you can generally limit `unsafe` code to a few short functions and encapsulate them in a safe interface. This means less code to review and maintaining strong guarantees in the rest of the safe Rust cod
851.
by vacuity 3y ago
It isn't, but there's a big difference between writing straight C and writing some unsafe Rust with safe wrappers. It's generally possible to have comparably few lines of unsafe Rust that do the heavy lifting and can be verif
852.
by vacuity 3y ago
I believe they use a GC, so they may be able to leverage the runtime to help out. If it's all type system-based, the compiler probably has to be stricter to ensure safety (Rice's theorem implies that compilers err on the side of r
853.
by vacuity 3y ago
Just a note on naming: fibers, goroutines, green threads, virtual threads and the like are stackful coroutines (miniature threads, essentially). Then there are stackless coroutines, which are state machine objects that have function colorin
854.
by vacuity 3y ago
As the Wikipedia page shows, NetBSD had an implementation but later removed it. There isn't really enough information to make a sound judgement on scheduler activations. Although if I had to guess, there might be too much overhead (mai
855.
by vacuity 3y ago
Rust didn't invent the terminology. Rust has stackless coroutines. Go has stackful coroutines. The literal distinction is that stackless coroutines exist independently of a stack: you have a state machine object that, when it's re
856.
by vacuity 3y ago
I'm clearly not against immigrants because I don't like immigration. It's also not grounded in reality for you to say that Americans can support arbitrary numbers of immigrants because the economy will magically make things w
857.
by vacuity 3y ago
As much as a weather forecaster's is, I suppose.
858.
by vacuity 3y ago
You'd be fine with us going from a population of 3XX million to, say, 3 billion? I feel like there'd be a few problems with that. Can we annex other countries then? I'm not trying to be facetious; I genuinely don't under
859.
by vacuity 3y ago
> The general rule here is that unless there's an obvious reason to deny equal people something you've given other people, you shouldn't deny it in the first place. Of course. The problem is that your view of the economy i
860.
by vacuity 3y ago
Welcome to the world, where people who are from the US need to feed their families, and have just as much a right to do so as immigrants do. See the issue? Just because we accept immigrants and they benefit the economy doesn't mean eve
861.
by vacuity 3y ago
I don't deny that immigrants are beneficial at the moment. However, some people aren't going to have jobs. Besides, it's not as if noncitizens should be paid less just because they can survive with those wages. I'm sayin
862.
by vacuity 3y ago
What, don't Americans need things too? The logical conclusion of "countries should support their people" is that the countries these people are emigrating from should support them. If a country like the US is doing that well
863.
by vacuity 3y ago
Life isn't fair, but we could do a lot better than imposing even more unfairness. Sexual harrassment and sexism, LGBT discrimination, racism, nepotism, etc. We're not quite living in a meritocracy.
864.
by vacuity 3y ago
At the same time, if a surplus of noncitizens enter and suddenly the country's ability to provide for all of its people is strained, wouldn't that be a grave disservice to the citizens? What would be the difference between a citiz
865.
by vacuity 3y ago
I don't think the risk of being sent back (or lack thereof) is important for how to treat other people. To put it crudely, assholes will be assholes no matter where they come from.
866.
by vacuity 3y ago
I think people are looking to SwiftUI for inspiration. It'll still take some time to build and evaluate these solutions.
867.
by vacuity 3y ago
If Rust had gone with green threads as the core async strategy (I know it was a thing pre-1.0), that would be terrible. You're not understanding Rust's design goals. Rust's async model, while it has several major pain points
868.
by vacuity 3y ago
You're overstating your case. Rust's async tasks (based on stackless coroutines) and Go's goroutines (based on stackful coroutines) have important differences. Rust's design introduces function coloring (tentative soluti
869.
by vacuity 3y ago
Threads, at least on Linux, are much more lightweight than you seem to think. Async Rust can scale better, of course, but you're overexaggerating your case.
870.
by vacuity 3y ago
> but I genuinely can't understand how anybody could look at the mess that's Rust's async and think that it was a good design for a language that already had the reputation of being very complicated to write. Rust adopted

More ›