ogogmad

73 ms·

601.
by ogogmad 4y ago
In other cases of "what's old is new again", riot police look like ancient soldiers employing ancient battle tactics.
602.
by ogogmad 4y ago
A computerised proof checker is much less likely to have a mistake than a typical computer program - or a mathematical proof - because it's extremely simple.
603.
by ogogmad 4y ago
> recent progress toward CFT What's this?
604.
by ogogmad 4y ago
How much do we know about pre-Islamic Zoroastrianism, and is it something that modern Zoroastrians care about? I've heard that while modern Zoroastrianism is "dualist", this might have started as a concession to Islam, to pre
605.
by ogogmad 4y ago
This is the usual kind of useless pedantry on this site. It's not a misunderstanding. The entropy of a discrete probability distribution is indeed a measure of how random samples from it are. The misunderstanding is by you. See Gibbs a
606.
by ogogmad 4y ago
There was someone recently on HN who didn't know about the possibility of non-backtracking implementations of regex.
607.
by ogogmad 4y ago
There's one famous US magazine that set up a UK branch. They hired an editor who said in his two-sentence biography that he's "a descriptivist, not a prescriptivist". As a result, this editor didn't edit. And given
608.
by ogogmad 4y ago
Regex DoSes can be made impossible without using any concurrency. See Go's and Rust's implementation. Also see https://swtch.com/~rsc/regexp/
609.
by ogogmad 4y ago
I don't know if I've misread some people here, but it's silly to insist that the law be a formal system. It's impossible. Common Law uses judicial precedent to fill in ambiguities as they turn into actual disputes. If yo
610.
by ogogmad 4y ago
Exactly. See the definition: https://mathworld.wolfram.com/Associative.html
611.
by ogogmad 4y ago
Minor erratum: Floating point addition actually is commutative; it's in fact non-associative.
612.
by ogogmad 4y ago
[redacted]
613.
by ogogmad 4y ago
That's not a scientific paper. I find it easier not to make mistakes when I index from 1.
614.
by ogogmad 4y ago
The pragmatic solution for transcribing is probably to make some functions `array_index` and `array_slice` that automatically convert between the two conventions. I think Julia offers another way: It lets you choose between them.
615.
by ogogmad 4y ago
What you've said isn't surprising. The problem isn't whether 0 or 1 are "right" or not, it's the inconsistency. It makes transcribing something from a textbook harder, because the indexing logic in a textbook a
616.
by ogogmad 4y ago
It can't be comfortably used as part of a larger Awk script.
617.
by ogogmad 4y ago
The way filters are explained is interesting: The intuition is similar to Non-Standard Analysis, and indeed models of NSA are constructed using a type of filter. I somehow think NSA is more "user friendly". Would anybody contradic
618.
by ogogmad 4y ago
So you're suggesting that because it can tell the current date, it should have said " had not yet occurred" instead of " have not yet occurred". That's kind of subtle.
619.
by ogogmad 4y ago
Leela Analog Chess Zero? If they could do StarCraft, I don't see why they can't do this.
620.
by ogogmad 4y ago
Analog means continuous. The moves are continuous, not discrete.
621.
by ogogmad 4y ago
Having something work most of the time but break without warning - at least by writing to a log that an overflow has happened - goes against a lot of SWE best practices AFAICT. Imagine debugging that without knowing it can happen. Does JS a
622.
Subnormal Number(en.wikipedia.org)
1 points by ogogmad 4y ago|0 comments
623.
by ogogmad 4y ago
> Same for arbitrary-precision calculations like big rationals. That just gives you as much precision as your computer can fit in memory. You will still run out of precision, later rather then sooner. Oh, absolutely. This actually shows
624.
by ogogmad 4y ago
> And you should understand that most of its limitations are an inherent mathematical and fundamental limitation, it is logically impossible to do better on most of its limitations You can do exact real arithmetic. But this is only done
625.
by ogogmad 4y ago
Related: In numerical analysis, I found the distinction between forwards and backwards numerical error to be an interesting concept. The forwards error initially seems like the only right kind, but is often impossible to keep small in numer
626.
by ogogmad 4y ago
The conclusion of the article runs counter to the argument here: https://acoup.blog/2022/01/14/collections-rome-decline-and-f... It's unsurprising that the "bright ages" book was written by art
627.
by ogogmad 4y ago
Related and useful to know: https://en.wikipedia.org/wiki/Combinatorial_species Also: https://en.wikipedia.org/wiki/Brzozowski_derivative Good to know about these: https://en.wikipedia.
628.
by ogogmad 4y ago
e^{it} would get replaced with \frac{1+it}{1-it}. t=n/d then implies \frac{1+it}{1-it}=\frac{d+in}{d-in}. RT boils down to doing trigonometry with dot products and without square roots. There's a temptation to replace dot products
629.
by ogogmad 4y ago
This comment makes me see red. First of all, this: > None of those are a complete replacement, except maybe Lyx, and it’s based on LaTeX. Source: Your [censored]. > Huh? You must be totally ignorant of the uses of LaTeX. Outside of ac
630.
by ogogmad 4y ago
Academia has got inertia. How long has it taken it to adopt Open Access? There's far more investment into web tech than into Latex. Browsers can do more than PDF readers.

More ›