IsTom

24 ms·

511.
by IsTom 2y ago
If this were true then there would never be a legal need for clean-room implementation or design.
512.
by IsTom 2y ago
> That would require any update to any file to cascade into a bunch of directory updates amplifying the write and for what? You can be a little lazy about updating parents this and have O(1) update and O(1) amortized read with O(n) worst
513.
by IsTom 2y ago
Shape doesn't matter what the shape is if it's softer than the other material, you can't scratch glass with chalk no matter the shape of it.
514.
by IsTom 2y ago
> Snow and ice are quite abrasive stuff Per wiki ice has mohs hardness of 2 to 4 depending on temperature and if it has fallen out of the sky I guess it shouldn't be mixed with sand or other abrasives. How is it abrasive then?
515.
by IsTom 2y ago
> If you find a way to make them usable on mobile And if that requires any tradeoffs like it did for GUIs (no hover, no small elements) it'll end up getting dumbed down for mobile like GUIs did.
516.
by IsTom 2y ago
> it's just a notational convention I'd argue it's a bit more, it's a natural way to extend domain of exponentiation, as we do before this with naturals -> integers -> reals.
517.
by IsTom 2y ago
I guess I got a little confused, because a different form with some de-morganing and contraposed implications feels more natural to me in plain-language proofs.
518.
by IsTom 2y ago
In the step of √2 = a/b you can get away without asking for relatively prime, using GCD or this descent by asking for least a for which this holds. Then when you get a/b = 2c/2d = c/d, but c would be less than a, hence c
519.
by IsTom 2y ago
But wouldn't xenon (as a noble gas) be pretty hard to ionize? Without a charge it shouldn't interact the way ions do.
520.
by IsTom 2y ago
Wouldn't it be the same as breathing any other nonreactive gas? Isn't this just symptoms of hypoxia?
521.
by IsTom 2y ago
Recently we had issues with RH 9 not having header packages for openssl 1.1 (which means e.g. you can't have erlang < 25). There's a potential for breakage for anything that is 3+ years old.
522.
by IsTom 2y ago
EU's single biggest win is free and open Single Market and it will fight to keep it so. It doesn't matter where companies come from – if you look at e.g. GDPR enforcement tracker you'll see they're as eager to keep inter
523.
by IsTom 2y ago
Pianos are tuned differently, they use stretch tuning and will be pretty out of tune with other instruments at both lowest and highest notes ( https://en.wikipedia.org/wiki/Piano_tuning#/media/File:Rails... )
524.
by IsTom 2y ago
While I agree with most points: steel degrades quickly. Iron-age swords found are in a bad shape already (bronze age swords preserve better!). Stainless is better, but not that better.
525.
by IsTom 2y ago
I'm not sure how concrete fares with time, but we're making a lot of it. If buried asphalt roads might present a decent head-scratcher. And if not weathered rock carvings should be noticable for a long time.
526.
by IsTom 2y ago
Sitting in dry sediments they'd keep being OK until geological processes catch up to them. They're literally rocks. If something does not degrade biologically/chemically and is shielded from the elements it's going to ta
527.
by IsTom 2y ago
We've got stone tools from 2-3 millions years ago. Arrowheads just weren't made back then, only much more primitive oldowan choppers and then acheulean handaxes.
528.
by IsTom 2y ago
> While being perfectly ok with Coal strip mining. There were protests against coal mine expansions as well.
529.
by IsTom 2y ago
It was so good that to this day there is an economic rift between former west and east Germany.
530.
by IsTom 2y ago
> they would have to wait for a committee to approve required changes Or just make proprietary extensions?
531.
by IsTom 2y ago
Not RH being true, but that the proof itself would require discovering and proving something of high interest as an intermediate step.
532.
by IsTom 2y ago
The sane will tell you that Necronomicon doesn't exist in our world, yet we have a vague idea of what it contains and we're sure that it contains only the most repulsive of things.
533.
by IsTom 2y ago
Current fastest supercomputer has a little over 1 exaflop and consumes over 20MW. 20 exaflops at 500kW is a lot less power, but it'd probably still generate a substantial amount of heat.
534.
by IsTom 2y ago
If you're sitting next to each other with regular volume then clearly you do, with the same volume, but across a room it's probably going to be ok.
535.
by IsTom 2y ago
Personally I can't hear much above 15.5 kHz and I can hear these devices, so they're not even particularly high-pitched.
536.
by IsTom 2y ago
I assume that if speakers are not set too loud then either you're close and the algorithm works or you're far and sound is quiet enough that it's not an issue.
537.
by IsTom 2y ago
There was a peace deal before (Minsk agreement). Agreements with Russia are not worth the paper they're signed on. Any peace deal Putin is willing to sign is just to consolidate his gains and get more time to prepare for another attack
538.
by IsTom 2y ago
Reminds me a lot of the reduceron, sans FPGA.
539.
by IsTom 2y ago
If you establish mapping first you could probably use 4 or 8 byte integers as ids instead of using custom encodings to gain 30 vs 19 bytes. With 8 bytes you could even use a hash.
540.
by IsTom 2y ago
At least they're hard to display on a terminal. Reading EXPLAIN ANALYZE diagrams from psql does not spark joy.

More ›