vacuity

47 ms·

781.
by vacuity 3y ago
As someone who is completely ignorant about this, what does it mean to use UEFI? I was under the impression that UEFI is just the firmware interface presented at boot time to configure stuff. So is this a way to do complex actions at boot t
782.
by vacuity 3y ago
At the very least, you'd think more people would be willing to, say, keep a consistent meat consumption of 50% their current level.
783.
by vacuity 3y ago
So you're saying the programmer forgets to use the return value at all. There are linters, documentation, and basic common sense. This is not at all a relevant issue, or else there are serious issues with the programs you see. Why are
784.
by vacuity 3y ago
I think Ayaan's point is that we should recognize God and fight to maintain civilization through our united devotion to God. I'm a staunch agnostic (as follows from epistemic inquiry) but I get where Ayaan is coming from. I think
785.
by vacuity 3y ago
On the other hand, there may be a greater gain in specializing the solver for the problem you're tackling. Besides, they can copy some of the algorithms.
786.
by vacuity 3y ago
There may be a misunderstanding. I say "sum type" to mean something along the lines of Rust's enum: a value stores both a tag and its data, and pattern matching distinguishes the variants (like a switch statement). It's
787.
by vacuity 3y ago
If you're going to invoke some abstract "the programmer doesn't know what they're doing" situation, I'm not sure how to continue this discussion. Even testing may not help in that case. Things are going to slip
788.
by vacuity 3y ago
Yes. The first code example in the blog post, referred to as "Problem Case #3", shows a case that intuitively should work, is rejected currently, and would be accepted by Polonius.
789.
by vacuity 3y ago
I believe not. The method signature indicates that each reference claims exclusive access to the struct, so it may even be backwards incompatible to add the new behavior without a syntax addition. I believe one of the proposals to this end
790.
by vacuity 3y ago
I imagine the biggest issue is performance. I'm sure an as-declarative-as-possible approach would be favored if it didn't sacrifice that.
791.
by vacuity 3y ago
That's the draw of having a borrow checker, which is arguably the contributor to the biggest pain points of Rust. Everything is a tradeoff. Rust's "unsafe" blocks are also a tradeoff. To my understanding, Rice's the
792.
by vacuity 3y ago
You're also generalizing though. The point is that either outcome could happen and you should be mindful of that. If you specifically never have an issue like that, good for you! But other people have been burned, and it's not any
793.
by vacuity 3y ago
Hm, that's a fair point. I personally don't prefer Go's style, but I'm growing to appreciate that it works for others.
794.
by vacuity 3y ago
I'm not really sure what your point is then. We should have comprehensive tests and therefore error checking isn't special compared to other programming mistakes? I think we should both have tests (don't skimp on them if give
795.
by vacuity 3y ago
There is a point at which even dependent typing won't save you, but sum types are a useful tool to reduce negligence. Don't let perfect be the enemy of good.
796.
by vacuity 3y ago
Yes, manual tagging doesn't provide type safety. That's why I said some people are disappointed that Go doesn't have sum types. There isn't even a convoluted workaround either, at least not a full one.
797.
by vacuity 3y ago
As a member of the Rust Evangelism Strike Force, please point me to these people so we can have a, ahem , civil conversation. /garfield
798.
by vacuity 3y ago
Tagged union is a good definition. I was thinking of Rust's Result type, which has Ok(some value) and Err(some value) variants.
799.
by vacuity 3y ago
Well, I think that's why a lot of people are disappointed that Go doesn't quite have sum types, because sum types do increase expressivity around values in general. That they improve error handling is just one application.
800.
by vacuity 3y ago
It's weird to me how compressed recent history actually is. Unix was 1970, LISP was 1960, the US Civil Rights Act was 1964. The Ottoman Empire was dissolved in the 1920s. At the same time, there's already so much on the Internet.
801.
by vacuity 3y ago
> Go, explicitly, has a completely different design trajectory. And as a result, Go code that was written in Go 1.8 will still compile today. Just saying, Go is far from the only language that values backwards compatibility.
802.
by vacuity 3y ago
Because handling errors is important for complex programs. Whether errors-as-values or exceptions or aborts are the best option, being able to write a program that handles errors well makes it that much more robust. Don't want some wei
803.
by vacuity 3y ago
> This statement, taken seriously, and extended, unlike everything you’ve said prior, can be very damaging, because it presumes not only are we each different, but that you are the only real one, and thus your own perspective is literall
804.
by vacuity 3y ago
> I don’t understand how you can say you think everything is your own mind and yet you can’t know it. I'm not saying everything is made up in my mind like some sci-fi movie plot. I'm saying that we're confined to the limit
805.
by vacuity 3y ago
> On that note, it is interesting that we've not seen any contribution from modern philosophy to alleviating some of the greatest existential crises the world is facing today To be fair, there are tons of bad actors. All the "s
806.
by vacuity 3y ago
Yeah, philosophy isn't a means to know more. I would describe it as a means to sharpen your mind to better understand with and process the world.
807.
by vacuity 3y ago
Ah, I guess I didn't have the right definition of solipsism in my head. I was thinking of the psychological meaning and not the epistemological one (which I forgot existed), although in my defense, my view isn't incompatible with
808.
by vacuity 3y ago
It works great! Until it doesn't, and then someone gets put into jail and the court doesn't bother reviewing the AI's verdict because how could it go wrong?
809.
by vacuity 3y ago
GP and I aren't talking about subjective realities merely on the level of "this is my perspective of this person and that thing". Insofar as you or I could be said to be conscious, to perceive the world and to think about it,
810.
by vacuity 3y ago
Oh, I think I understand what you mean. Still, I don't think we can reconcile our differences if we can't agree on and enact some morals as law. We agree that there's no objective morality we can discover, but acknowledging t

More ›