staunton

43 ms·

541.
by staunton 3y ago
If youre project is open source, won't everyone who wants it just scrape in anyway?
542.
by staunton 3y ago
> We can know this to be true, because if it did then checking the results would require it as well This argument is blatantly false. (I mean the argument not the claim it's arguing for) As just one counterexample, writing a mat
543.
by staunton 3y ago
I'm not sure what you're saying...
544.
by staunton 3y ago
That's not a good answer. We're not talking about thinking , we're talking about things with a cognitive component. Writing software has such a component and it's possible to tell if any software has been written (it&#x
545.
by staunton 3y ago
For example, they advise executives to do what they already want to do (layoffs and increased executive compensation) and thus justify that decision (blame outsourcing). A more generous take: when a business or project is stagnating due to
546.
by staunton 3y ago
You're missing access to water, which is perhaps the biggest issue.
547.
by staunton 3y ago
... the famous Two Hard Things, together with off-by-one errors.
548.
by staunton 3y ago
NSA did persuade them to weaken DES by shortening the key size. The "magic S-boxes" were chosen to be resistant to differential cryptanalysis (which was successfully kept secret for decades to come) but that doesn't change
549.
by staunton 3y ago
Who wants to pay for something that used to be free?
550.
by staunton 3y ago
People aren't just going to say "OK, I guess I'm useless now" and simply starve. The scenario you're talking about has something like a civil war in there somewhere. Keep in mind that the people being replaced this
551.
by staunton 3y ago
So I guess the coders get replaced first after all? Sounds like a more natural progression. There's more of them and it's easier/faster to tell if their work is getting done. And they don't need any "empathy" w
552.
by staunton 3y ago
> hardware is a lot more likely to be mathematically proven Maybe that's a nitpick, but I would say it's fundamentally impossible to mathematically prove anything at all about a physical system. You have to assume some model to
553.
by staunton 3y ago
What does it mean to say "a program is provable"? You have to prove something about it . In principle, nothing prevents you from taking e.g. an ARM binary and formally proving that it will never crash in some environment, e.g., b
554.
by staunton 3y ago
> assuming you are handling OOM Which almost noone ever does. It's very hard and almost never has any benefit. At that point you have way different problems than programming style choices...
555.
by staunton 3y ago
Joke quality aside, you marked something as a quote which isn't close to one, afaict.
556.
by staunton 3y ago
Has that kind of metaphor ever helped in a real case/conversation you know of? The metaphor illustrates how what you're saying might be true and helps understand what you mean. Somebody who disagrees usually understands what you
557.
by staunton 3y ago
Which indeed doesn't work for journals because publishing wrong research isn't (and shouldn't be) illegal...
558.
by staunton 3y ago
It's amazing to have people on such a forum who can give some insights. Could you perhaps write a longer response outlining how you see what happened there? How he pissed off everyone? Was it his policies? Was it how he communicated th
559.
by staunton 3y ago
I totally agree with what you're saying. However, does it apply to Varoufakis? Can you cite sources or outline an argument that his policies actually were divorced from reality? What would have happened if the Greek government had no
560.
by staunton 3y ago
What exactly is disastrous about his term? He pushed for certain unorthodox policies, which may or may not have been economically prudent, but his boss decided not to go for them after all when pressured by the EU, at which point Varoufakis
561.
by staunton 3y ago
HN is dominated by computer science people. Category theory is related to functional programming (e.g. Lisp), which academic computer scientists tend to like. Proof assistants are related to verifying correctness of software, which many com
562.
by staunton 3y ago
Why is safety bad? That's a werid claim...
563.
by staunton 3y ago
Actually, an ad hominem is when you try to discredit an argument somebody made by attacking that person. The example you cite seems closer to attacking a person based on their arguments being (perceived or claimed to be) bad. If you say &
564.
by staunton 3y ago
I think the intended meaning was: "back when prompt hacking was popular".
565.
by staunton 3y ago
If you make a law against "test-breaking" people will just break that law.
566.
by staunton 3y ago
For example, making "exhaustive tests" (as if you're able to check every single possible user input), eliminating a lot of security vulnerabilities, provably correct implementations of cryptographic algorithms (DJB is playing
567.
by staunton 3y ago
If you're not so much interested in using the language you learn in a job, I would recommend learning a proof assistant like Coq (basically Ocaml on steroids) or Lean (newer toy originally by Microsoft). The functional programming is f
568.
by staunton 3y ago
The C++ standard library "general regex engine" is crap (at speed), so there's no competition on that front at least...
569.
by staunton 3y ago
What's the difference?
570.
by staunton 3y ago
Again, I agree with your claims about entropy. I also agree with the claim that replacing stoves is generally good. One still does not imply the other. The question was about what makes sense . That's economically, socially, political

More ›