Smaug123

70 ms·

871.
by Smaug123 5y ago
This is an instance of the orthogonality thesis, by the way. Your assertion is that "increased ability to think" should cause "increased desire to eat Traditional Food (tm)", which is no more true than the assertion &quo
872.
by Smaug123 5y ago
Yes, it all Just Works (TM). Rider with net5 is as seamless for me on a Mac as it is on Windows.
873.
by Smaug123 5y ago
I'll need someone to step in with a link to the actual post, because I can't think of the right search terms, but he has (of course) written about this in the past. His self-described schtick is to write about existing things in s
874.
by Smaug123 5y ago
I think the author even grants too much to the opposing viewpoint. Think of e.g. Prolog vs LISP vs C vs Haskell. I wouldn't call those "different forms of the same mathematics"; I'd be more likely to call them "diff
875.
by Smaug123 5y ago
That's a rather blanket statement. Depends on the work! I have certainly had paid employment where I frequently just sat down at 8am, programmed and programmed, realised about 3pm that I hadn't eaten yet, and stopped for a break.
876.
by Smaug123 5y ago
Likewise (Firefox 89.0.1 on macOS 10.14.6) I had to close the page once I'd scrolled down to the layout of the various building interfaces; ended up just reading the HTML.
877.
by Smaug123 5y ago
The usual advocacy point is to reduce most of the other taxes and send the LVT way up. "We should have a land value tax" is usually meant to mean "most tax should be on land".
878.
by Smaug123 5y ago
One would certainly hope that your exhaled breath contains a higher concentration of carbon dioxide than is present in the ambient air! For it to be lower , your lungs would have to be somehow removing CO2 from the air, which doesn't
879.
by Smaug123 5y ago
> Im quite discombobulated on why they are doing this instead of offering you a job. In fairness, they are doing this as well as offering him a job (see the second email screenshot in the article).
880.
by Smaug123 5y ago
I don't know much about it, I'm afraid. But there is the very cool fact that the usual Riemann integral can be written as basically just a sum in nonstandard analysis; it's covered very neatly in André Pétry, "Analyse
881.
by Smaug123 5y ago
The construction is fairly easy but requires some fairly hefty background knowledge to make formal. In brief, though: an ordinary real number can be implemented as a sequence of rational numbers, with two sequences considered to be "th
882.
by Smaug123 5y ago
I claim that the first undergrad course in Analysis is not actually there primarily to teach you real analysis. Rather, it's there to teach you the difference between "forall exists" and "exists such that forall", a
883.
by Smaug123 5y ago
Remember that jokes often struggle to survive translation from one modern language to another, let alone ancient Sumerian to modern English. There is, of course, an XKCD about the additional effect ( https://xkcd.com/794&#x
884.
by Smaug123 5y ago
Author here. The post is about a quick-and-dirty way (but a very easy one!) to ensure your property-based tests are actually covering the space you intended them to search through.
885.
Metatesting your property-based tests(gresearch.co.uk)
2 points by Smaug123 5y ago|1 comments
886.
by Smaug123 5y ago
This is the first comment I've used HN's "favorite" feature on. How wonderfully insightful.
887.
by Smaug123 5y ago
Ohh, sorry - I got the wrong end of the stick entirely. Yes, in that case I'm satisfied!
888.
by Smaug123 5y ago
I think the problem is that describing it as "would have deleted 1378 servers", and then going off and deleting those 1378 servers, doesn't solve the race condition problem that leaves you with some servers left undeleted bec
889.
by Smaug123 5y ago
I believe (though can't swear to it) that we do provide immigration/relocation assistance and money, at least for quant researchers and possibly for all employees. If that would be enough to get you interested, feel free to drop m
890.
by Smaug123 5y ago
That's all very well for just `--dry-run`, but it's still a problem if you use the method in OP to architect the entire tool (and in particular the non-dry-run execution) around the existence of a `--dry-run` phase.
891.
by Smaug123 5y ago
Thanks! You're quite right; thanks for letting me know. I'll get that fixed.
892.
by Smaug123 5y ago
All things lie on a spectrum: there's no binary "was exposed to testosterone in the womb", nor is there a binary "their physiology is changed or not". See, for example, https://www.sciencedaily.com/r
893.
by Smaug123 5y ago
Indeed, that's the thing I rather swept under the rug. I'll definitely take precautions if it's at all easy to avoid the assumption that just because my `--dry-run` stage said something was safe, it will definitely be safe by
894.
by Smaug123 5y ago
coughs gently I use `DryRunMode.Dry` and `DryRunMode.Wet` in the OP.
895.
by Smaug123 5y ago
Also not quite the same, but `git clean` bails out extremely early unless you supply one of -i, -f, or -n (the latter of which is `--dry-run`).
896.
by Smaug123 5y ago
(Author here.) A whistlestop tour of the technique "insert a lightweight API boundary down the middle of a tool, for fun and profit". It leads you towards a structure that has lots of benefits, such as meaningful `--dry-run` outpu
897.
In praise of --dry-run(gresearch.co.uk)
395 points by Smaug123 5y ago|158 comments
898.
by Smaug123 5y ago
The two of you are not disagreeing except insofar as you're both using the word "guaranteed" to mean completely different things. _kst_, you're using it to mean "the programmer can rely on it". msbarnett, you&#
899.
by Smaug123 5y ago
I agree with everything you've said except for "and that would break the magic". We've already seen proofs of concept of "how natural does this kind of thing seem", in Star Trek and so on, and I can easily imag
900.
by Smaug123 5y ago
If you mean "why Parse, Don't Validate", you should read the original blog post, linked at the top of the article. It's… transformative, if you aren't already aware of the principle. https://lexi-lambda.g

More ›