nmrm2

27 ms·

181.
by nmrm2 11y ago
I am one of little faith. At the high school level, there's really only so much that can be done without the instructor understanding the end-game. It's just fundamentally difficult for an algebra teacher to effectively teach alge
182.
by nmrm2 11y ago
Common Core is an improvement. But things won't get much better until teaching pays a competitive salary.
183.
by nmrm2 11y ago
Thanks for the clarification. (Perhaps the most important difference is that if you're being fined by the SEC, you've probably got lawyers who are ready to defend you. One of the most egregious things about civil forfeiture is the
184.
by nmrm2 11y ago
> Anecdotes and narratives are valuable. But when those anecdotes and narratives are ultimately nothing more or less than an appeal to authority ("I'm an ENGINEER/accountant/etc. and can't do/didn't d
185.
by nmrm2 11y ago
No, fines and civil forfeiture are completely different. Forfeiture would be more like the EPA confiscating (and then auctioning off) a factory because it might have been polluting too much maybe, with the onus on the company to prove that
186.
by nmrm2 11y ago
> A buddy of mine who is an EE with a heavy math background has had trouble helping his child get the correct answer. Yeah, these anecdotes of supposedly brilliant people incapable of learning a new way to add numbers are always about
187.
by nmrm2 11y ago
You'd be absolutely astounded at the number of vector calculus students at highly regarded universities who: * identify a rote procedure to apply when a problem of a particular form is seen * execute the rote procedure * come up with
188.
by nmrm2 11y ago
> both of your points get solved with greater transparency My first point was exactly that transparency isn't a solution, even theoretically. There's no such thing as perfect knowledge when the questions you're asking ar
189.
by nmrm2 11y ago
Okay, then car companies can open source their ECU (and other safety-critical) software. No one is recommending copy/pasting aerospace regulations. In part because we're now 10-30 years further along in basic and applied CS resear
190.
by nmrm2 11y ago
The behavior you're describing is disproved by history. People use demonstrably insecure products that are insecure all the time, even when great secure alternatives exist. Even speaking theoretically, the behavior you're describi
191.
by nmrm2 11y ago
I agree with you -- the push for opening up code to public scrutiny is politically and economically unfeasible. But that doesn't mean nothing can be done -- a more palatable regulatory regime might require oversight a la the aerospace
192.
by nmrm2 11y ago
Just like people stop mining for coal or iron when it causes loss of life and environmental damage? The people being harmed by software vulnerabilities are rarely the people who made an informed decision to use a certain piece of software.
193.
by nmrm2 11y ago
Yes, that has always been my assumption -- they're probably counting operating system, libraries, etc. in those mlocs. It's X MLOCs in the car, not X MLOCs written by the car manufacturer.
194.
by nmrm2 11y ago
That doesn't make sense to me because car companies hire huge numbers of automotive engineers (I think?) I always thought this was an engineering culture war thing -- software engineers aren't really engineers and software is sort
195.
by nmrm2 11y ago
If Elsevier tries to kill arxiv, they'll lose a huge fraction of the academic publishing market.
196.
by nmrm2 11y ago
FYI, the common core mathematics standards are largely a backlash to the sorts of tricks this book is complaining about. And a member of the group that coauthored the book (MTBoS) has also published a book that speak favorably about commo
197.
by nmrm2 11y ago
Many of the "tricks" this book indicts aren't good hacks and aren't easily formulated as theorems. They are terrible hacks that are ridiculously inefficient, distracting, and only necessary if you fundamentally don'
198.
by nmrm2 11y ago
> do those "tricks" represent the way math is usually taught in America? Anecdotally, yes -- and damn proud of it! A lot of the backlash against Common Core Mathematics is from people who want Mathematics education to stay th
199.
by nmrm2 11y ago
Definitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.
200.
by nmrm2 11y ago
System-level testing doesn't always suffice; see the Toyota UA case. Or, more topically, see the VW case for examples of why testing "in-service-operation-equivalent" requires a certain level of trust that's not ideal in
201.
by nmrm2 11y ago
Open sourcing the code is an orthogonal issue to whether we should consider the use of formal methods a best practice. > Are you saying that revealing source will lead to more bureaucracy that formal specs will somehow avoid? I'm
202.
by nmrm2 11y ago
> This means we're stuck with a compiler nobody ever heard of that contains known (and unknown) bugs that can't be fixed because that would mean losing the certification. This is why regulators should embrace formal methods a
203.
by nmrm2 11y ago
History shows us that "3rd party review process"es turn into paperworks games, with all of the effort going into making sure some boxes are ticked and no effort going into actually thinking about the code. Especially for large cod
204.
by nmrm2 11y ago
Right, like the "GM nod". The principle that CEOs are responsible for what happens on their watch is major reason cited for their levels of compensation. You don't get it both ways.
205.
by nmrm2 11y ago
It seems the takeaway is that if you're going to sign a contract because you're concerned about copyright/patent infringement, then you should get an IP lawyer because law is weird (and also make sure they're aware if yo
206.
by nmrm2 11y ago
> then still might come out ahead even with $0 or -$10/head After blowing an entire year's worth of advertising on a single promotion... Which is an awful idea because a) advertising needs to be sustained; and b) Groupon us
207.
by nmrm2 11y ago
> If the business owners/clients are stupid enough to give away the best experiences for cheap, it's their own damn fault for not having any business sense whatsoever. And yet Groupon is closing down operations in 7 countrie
208.
by nmrm2 11y ago
Is access to the biz dev IP probably included by a handshake deal?
209.
by nmrm2 11y ago
> I think the circumstances point more clearly to Billy being an equal partner in a group of 9 That's shitty for Billy; he just signed away 18 MONTHS of business development for a 0.4% stake. Or else he doesn't get acces
210.
by nmrm2 11y ago
TL;DR: I think everyone is massively underestimating how much Billy has to lose here. The developers signed away a weekend of work for a 0.4% stake. Billy signed away some undefinable chunk of 18 MONTHS of biz dev for a 0.4% stake! If Billy

More ›