foerbert

30 ms·

241.
by foerbert 6y ago
There is now, at least with Ada 2012 and GNAT[0][1]. While I'm pretty sure only GNAT has implemented it, I'm not sure if it's actually in the 2012 standard or not. I haven't played with it yet, but it does looks pretty i
242.
by foerbert 6y ago
In addition to what other's have mentioned in direct response to the examples you mentioned, there are additional safety factors - both by default and opt-in. Pointers - accesses in Ada parlance - have rules that help ensure you can&#x
243.
by foerbert 6y ago
Even that is itself a weird quasi-bad-faith statement though. A potential union would not be unaware of stock options, nor how to value them. They could just as easily request higher cash pay and that stock options remain as they are. That&
244.
by foerbert 6y ago
That's real easy to say when there isn't a union yet. And the company has zero incentive to give any kind of realistic and useful information in this situation. They can say whatever they want, and it doesn't mean anything. T
245.
by foerbert 6y ago
I don't see how that could be their point. They said nothing about multiple unions, nor is the article in any way related to it.
246.
by foerbert 6y ago
This isn't about any actual negotiation though. This is about a public statement aimed at discouraging even attempting to unionize. This is well before the point where the union and company would be negotiating. I think it makes a lot
247.
by foerbert 6y ago
Huh? Don't roads exist to facilitate vehicle transportation? If you need to do construction in order to make roads, what exactly is the point of them? I don't understand what your thinking here is. You're comparing the expect
248.
by foerbert 6y ago
I'd call that at least fairly optimistic. We're working on technology, but it hasn't materialized yet. Even if it does materialize sooner rather than later, we have no particular guarantee the political will to utilize the te
249.
by foerbert 6y ago
I find this line of though particularly strange too. Right now you have an extremely optimistic attitude. I'm not sure why hoping for the best is supposed to be a wise decision when we're talking about basic things like 'surv
250.
by foerbert 6y ago
Not even Tesla is saying their system could or should be used that way. You're making quite a few assumptions about the capabilities of the system and going outside of the instructed and permitted use of the system if you are going to
251.
by foerbert 6y ago
The end result is a simpler model. The process of simplifying your model may not be cheap. It's like how you can get some weird set of complex rules and after a bit of time and practice you can just apply them without thinking much abo
252.
by foerbert 6y ago
I agree you don't strictly need to update your mental model, but that doesn't make the update itself less expensive. I'd guess most people using Rust and checking the changelogs are people who are interested in keeping up wit
253.
by foerbert 6y ago
I understand that. And I still think these changes might be particularly expensive ones. Trying to keep track of what workarounds you do and do not need to use is hard. Removing workarounds is good, but still an expensive step. Applying a l
254.
by foerbert 6y ago
>"we figured out how to relax type checks to allow this safe program to compile that was previously failing to past muster with the borrow checker" While perhaps not a large change in practice, this seems like the sort of thing
255.
by foerbert 6y ago
I'm not certain what you are referring to with that article. I don't see much that inherently and obviously supports your assertion. In fact it references the same book I mentioned earlier, which clearly talks about the lack of su
256.
by foerbert 6y ago
That was how I was interpreting it. Again, I refer to the book mentioned.
257.
by foerbert 6y ago
> The world used gold/silver for its currency for most of human history until 1970 when we entered this period of worldwide fiat currencies. Our current situation is pretty remarkable. This much is patently false, and probably even
258.
by foerbert 6y ago
That description also fits straight up robbery. I don't think it's a particularly meaningful statement in this situation.
259.
by foerbert 6y ago
It's not like there's zero options here. There are lots of options. You seem to be implying we should just give up trying anything. Even the example provided doesn't seem to fall to your bankruptcy idea. If you collect the mo
260.
by foerbert 6y ago
I don't see how this can hold, without some severe restrictions on what you actually mean by 'bias.' As a kind of silly example, I posit that muggings closer to police stations are more likely to result in an arrest. Now we h
261.
by foerbert 6y ago
I can find no way to read this comment generously. Your original point was that use of the fillibuster was judicious. The article goes on, at length, about exactly how the use of the fillibuster has only substantially increased over time. A
262.
by foerbert 6y ago
For many attempts, like Rust, I don't think the problem is related to Moore's Law at all. It's more a matter of dev time, effort, and expertise. And even then, I don't think Rust's mechanisms even can be 100% as the
263.
by foerbert 6y ago
Ranges are a pretty big part of it for me, but what really gets me is the ease of creating useful new types. Having to destructure a new type to use it, or create a bunch of pass-through functions kinda ruins the point. I haven't seen
264.
by foerbert 6y ago
If it helps make up your mind at all, I was much the same the way until I ended up trying Ada. After a night bashing my head against the compiler... well now every time I see a new language pop up I quickly check a few of the features I&#x2
265.
by foerbert 6y ago
I wouldn't say Ada lacks memory safety. It doesn't go for 100%-in-all-cases but neither does Rust. The main differences are that it doesn't do memory safety by default (which is significant), and also treats memory safety wit
266.
by foerbert 6y ago
I think think your last sentence answers your own question. People are worried their new machine might only last 5 years.
267.
by foerbert 6y ago
I'm somewhat confused by what the point you are trying to make here. Are the kids here supposed to be competing on height? Or ability to obtain a taller footstool? The more I think about this the more absurd it seems. The situations ar
268.
by foerbert 6y ago
Largely I agree with you, though I don't think your calculation of effort is quite complete. One factor that should be considered is the harm done by allowing the ads. Facilitating the sale of a stolen phone is not going to be as harmf
269.
by foerbert 6y ago
Facebook has the resources and technical expertise to make quite a good pass at figuring this out. This is also unlikely to be the only situation of this sort that they will ever deal with, so the experience of addressing it should be of so
270.
by foerbert 6y ago
If you follow this line of thought, the conclusion seems to be that if Facebook were to run ads for illegal drugs, explosives, or humans, it would simply be an indication that some country should be enforcing it's laws better. And Face

More ›