gjm11

117 ms·

961.
by gjm11 7y ago
Sorry, I wasn't clear enough. I meant: 1. It might be best not to specify what happens, because 2. if it were specified then people would rely on the specific order, which would be bad style because it would make code harder to read
962.
by gjm11 7y ago
The syntax I always want but no language I know of supports: for 1 <= i <= 10: do stuff for 0 <= i < 10: do stuff for 1 <= i < j <= 10: do stuff (In the last case, the exact or
963.
by gjm11 7y ago
(This is from July 2018.)
964.
by gjm11 7y ago
The title (which is that of the article itself) may not be very informative, so here's a brief summary. Allegedly Opera, faced with declining usage of its web browser, has turned to an entirely different business model: predatory lendi
965.
Opera: Phantom of the Turnaround(hindenburgresearch.com)
1 points by gjm11 7y ago|1 comments
966.
by gjm11 7y ago
Rightness comes in degrees. It can definitely be better to be _almost right_ but convincing than _completely right_ but unconvincing. In fact, all you need is to be _more right_ than people would be if you didn't convince them.
967.
by gjm11 7y ago
You've shown that one can give a black-and-white definition of soundness and have it be useful . That doesn't mean that there's no way to give useful meaning to "more sound" or "less sound". Consider the
968.
by gjm11 7y ago
Would you like to elaborate on what changed over the last 10 years to make it no longer useful?
969.
by gjm11 7y ago
> ATT 3B2 There are a number of papers in pure mathematics authored by Doron Zeilberger and Shalosh B Ekhad. (See https://sites.math.rutgers.edu/~zeilberg/ekhad/papers.html for a list. I don't think it&#x2
970.
by gjm11 7y ago
When someone gets shot, usually you blame the shooter rather than the people who made the gun. Even if the gun is of the sort specifically designed for killing people. (As opposed to hunting animals or target-shooting for sport.) It seems l
971.
by gjm11 7y ago
Notably absent from this comment: the slightest awareness that "your traffic" is composed of people who have preferences. Yeah, no doubt, "exit intent works", if the only thing you care about is "the return of you
972.
by gjm11 7y ago
[The following isn't really "like you're five", but given how long it is already that's probably just as well.] Proofs and formal systems, and why we're kinda screwed Mathematicians like to prove things. What
973.
by gjm11 7y ago
Fun fact: the researcher mentioned here, Herbert Benson, was also the leader of a big study of intercessory prayer, which divided patients into (1) a control group, (2) a group that were prayed for but weren't told that, and (3) a grou
974.
by gjm11 7y ago
You can replace "do their fucking job" with "do their damn job" (a word 'like "fuck"', in some sense, but one that people are less likely to be seriously offended by[1]) "do the job they are bei
975.
by gjm11 7y ago
Stopping working and staging demonstrations is pretty core to what unions do .
976.
by gjm11 7y ago
So you're just saying: if the laws are just slightly wrong then devices built according to the wrong laws may fail but only very rarely and it may take us a while to notice? And therefore we can't say "these physical theo
977.
by gjm11 7y ago
> black holes Black holes were treated as mere hypotheses, for many years. Then astronomers started finding things that seemed to behave exactly the way black holes were supposed to behave. Eventually it becomes more reasonable just to
978.
by gjm11 7y ago
> Take for example electronics. [...] No one thinks or says that finding an error in physics would make devices fail. What people say is (1) that in some cases if X were wrong then all these things would never have worked in the first
979.
by gjm11 7y ago
It's a GAN with an unorthodox (and rather slow) training scheme!
980.
by gjm11 7y ago
If I write "I think Google is evil", I mean: "I think Google is evil, but I acknowledge that it's possible for other fairly reasonable people to have a different opinion." If I write "Google is evil", I me
981.
by gjm11 7y ago
> Emily Short ... who, incidentally, is married to Graham Nelson.
982.
by gjm11 7y ago
No, your brain does not fall over. No, when you see purple you are not seeing something your brain "thinks should be green". It's true that purple is a non-spectral colour. The rest of what that article says about purple is n
983.
by gjm11 7y ago
I'll quote my own Amazon review of Tao's book: ---- First, the bad news. The front cover of this book gives its author as "Terence Tao, Fields Medal winner 2006". Well ... yes, and no. The thing is, this book was written
984.
by gjm11 7y ago
It turns out that that's a completely different meaning of "homology". "Homology" really just means something like "correspondence". So it has, among its meanings, 1. the one in the article here: a way o
985.
by gjm11 7y ago
Abstract of article at Astrophysical Journal Letters (full content is paywalled): https://iopscience.iop.org/article/10.3847/2041-8213/ab4206 Short general-scientific-audience description from Nature : http
986.
by gjm11 7y ago
If they say that, in that way, then they are being misleading. Months ago, well before the current Stack Exchange pronoun policy was a thing, she said (yes, explicitly) that she wasn't willing to use singular "they" because i
987.
by gjm11 7y ago
Original MIT press release of which this is a word-for-word copy: https://news.mit.edu/2019/light-orders-exotic-material-1111 Actual letter in Nature Physics : https://www.nature.com/articles/s415
988.
by gjm11 7y ago
The point isn't just that you can't tell exactly when something is zero, although indeed you often can't. It's that if you have some calculation that needs to be special-cased at zero (e.g., because you're dividin
989.
by gjm11 7y ago
(Apologies for the greatly-delayed reply: I didn't notice your comment for ages.) I'm not sure I understand your argument. It seems to go like this: "Years ago some people said one of Python's design choices was terrible
990.
by gjm11 7y ago
That would be why they're (allegedly -- I haven't checked) buying up those lovely Republicans. I think it's likely to be a while before any political party other than the Democrats and the Republicans holds a lot of power in

More ›