throwaway729

15 ms·

91.
by throwaway729 10y ago
https://www.mib.com/ > including your humble commenter, would opt-out too. (or just not opt-in if we're lucky). At this moment, do you know what organizations own a copy of your medical records -- in whole or part
92.
by throwaway729 10y ago
Yes, mine does that. No braking as discussed below though.
93.
by throwaway729 10y ago
> What industries are using formal methods to not crash things? Aerospace and chip design are the two major industries that make regular use of formal methods. > Uber and... Tesla... cowboying... And the old guard is even worse - r
94.
by throwaway729 10y ago
> But we have tons of recalls for cars, toys, food and gadgets Most of these recalls aren't related to software. Regardless, systematic quality issues in each of those businesses have their own unique cultural origins. > So wh
95.
by throwaway729 10y ago
It's not so much fundamental advances as much as a maturing of tooling and educational resources. The result is a lot of compelling proof-of-concept implementations: https://sel4.systems/ http://compcert.i
96.
by throwaway729 10y ago
> they don't evolve into making people do more work They don't evolve into making people do less work, either! You really think programmers work fewer hours today than they did 40 years ago? They don't. They just build m
97.
by throwaway729 10y ago
> a top-loader should certainly lock while it's running. By law, though, as GP mentioned? That surprises me, given my recent purchase... > You should double check that there's not something wrong with it. I'm 100000
98.
by throwaway729 10y ago
Parent probably meant another company that goes from $0 to megacorp before your newborn child graduates college. Not a search company.
99.
by throwaway729 10y ago
Is this true? I bought a (new) washer < 3 months ago that does not lock. Top-load, so maybe that's why? I never understood front-load anyways. Topload fails safe. Front load fails in a giant puddle all over your floor.
100.
by throwaway729 10y ago
We should also invest more in changing "100% bugfree software may be too hard to be worth the effort in most applications". Ultimately, everything else is just stop gap.
101.
by throwaway729 10y ago
Nope. Small Midwestern town, same deal.
102.
by throwaway729 10y ago
Why not Scala?
103.
by throwaway729 10y ago
The same thing is true for payday loans...
104.
by throwaway729 10y ago
> I'm just perplexed when they say they're losing money (or making so much less than minimum wage that they may as well be) but they keep on doing it instead of stopping Most people don't drive Uber as a job. It's a
105.
by throwaway729 10y ago
This is an absolutely terrible methodology for asking that question. People tend to blog about major language changes. Very few C# shops/devs are publishing blog posts about how they're still using C# this year. Unfortunately, you
106.
by throwaway729 10y ago
Video conferencing? Downloading large files (IDE and various other software updates, VM images)? I mean you don't need that stuff every day. But you need it often enough that it's a PITA not to have.
107.
by throwaway729 10y ago
Everybody loves it because it can never become profitable. Except the small handful of folks on the wrong side of that wealth transfer, that is.
108.
by throwaway729 10y ago
Except Novella's critique is entirely reasonable...
109.
by throwaway729 10y ago
Be careful? The copyright and licensing status of those videos is probably less clear-cut than stuff that was explicitly released under a permissive license.
110.
by throwaway729 10y ago
> How is this different from proprietary software? Most free software is proprietary software! Big chunks of Facebook's code base is proprietary, and the data they collect is extremely proprietary. Ditto for google. By "the
111.
by throwaway729 10y ago
> How is it preferable that a handful of incredibly talented, well-funded, private companies know more about you than your mother or your best friend (or arguably yourself)? It's not preferable, but it's less worrying. It&#x2
112.
by throwaway729 10y ago
Greed
113.
by throwaway729 10y ago
The key question for me is whether the CHS's were trusted and spontaneous. Trusted in the sense of there existing a chain of evidence that doesn't depend on the CHS's. Spontaneous is the sense that BB staff weren't runni
114.
by throwaway729 10y ago
So buy the 5th edition. One of the perks of being able to self learn is that these sorts of revenue models don't impact you :-) Edit: I've used Gallian. Not sure what's in the 7th edition but the 5th is perfectly good.
115.
by throwaway729 10y ago
China doesn't have to be more free. They just have to make life comparatively comfortable for useful people.
116.
by throwaway729 10y ago
> REI... Showing overpaying for shit that doesn't matter is SharperImage's whole business model. Comparing Sharper Image to REI isn't fair at all. REI is the only and cheapest place to buy a lot of "backcountry&quot
117.
by throwaway729 10y ago
> It's hard to argue that Apple (or Android) shouldn't be able to set boundaries on behaviors which are only allowed to be done by the OS as a opposed to an app It's really not. The argument for user freedoms is almost a
118.
by throwaway729 10y ago
They are but that doesn't make them analyzable... Dealing with C craziness AND dnn craziness is silly. And the latter craziness is essential.
119.
by throwaway729 10y ago
No. That would be crazy. Well maybe not really as planes become more autonomous and airspace more crowded, delivery drones and so on, but we are still a long way from that. I was thinking more of self driving though.
120.
by throwaway729 10y ago
Can you do the perception tasks that self driving platforms do using only control theory?

More ›