konstantinua00

6 ms·

31.
by konstantinua00 2y ago
he said?
32.
by konstantinua00 2y ago
it's different affected distribution is always x>3/4, both before and after what's measured is upper bound on number of zeroes <y, relative to y it was <y^(3/5), now it's <y^(13/25) it says nothing
33.
by konstantinua00 2y ago
if you can work in a fast language, why not? comments here have already mentioned couple horror stories of people accidentally/by inexperience doing a lot of work above the framework - if you can save that by not being slow, why not?
34.
by konstantinua00 2y ago
...username checks out?
35.
by konstantinua00 2y ago
it's not the stone that shines, but cloud around it and we can't even precisely predict cloud formation more than week or two in advance right in our face - on Earth so no wonder comets are unpredictable
36.
by konstantinua00 2y ago
I thought the punchline would be "we are intergalactic empire and are sending mind mails to another galaxy, there's a capture net on the other side"
37.
by konstantinua00 2y ago
I don't think you need to worry about winds when travelling at 0.2c... and there's plenty of stuff in space - nebulas are just when stuff is dense enough to see visually, but hydrogen lines reveal molecules everywhere
38.
by konstantinua00 2y ago
too late, my imagination is fuuuming
39.
by konstantinua00 2y ago
I remember lecture [1] that mentioned fuzzer finding bugs in formally-verified C compiler - because formal verification didn't cover frontend and backend I know people raise questions about trust in Coq itself and in translation (and I
40.
by konstantinua00 2y ago
Suprisingly, I have the opposite opinion All the people that preach about single project, contributing only to canonical project and having no alternative implementations need to check their egos, learn about existance of multiple approache
41.
by konstantinua00 2y ago
...that does answer question tho? tetris = old game old game = expectation of ACE bugs thus, tetris = expectation of ACE bugs
42.
by konstantinua00 2y ago
the difference right now is that score=max hasn't been shown possible yet
43.
by konstantinua00 2y ago
it's a donation the whole point is to only get donations from people willing to do the effort - with no downsides to others
44.
by konstantinua00 2y ago
if Google didn't make site more appealing, Google2 or Google3 or Google4 or SomeOtherCompetitor5 might but the problem is that there are no "2,3,4,5' options - there's only one. And it has no incentive for "good peo
45.
by konstantinua00 2y ago
I think the counterpoint is it's turtles all the way down. At some point you're relying on human mind, logic or otherwise, which will always have possibility of misunderstandings and mistakes. It seems like Mahematicians are inter
46.
by konstantinua00 2y ago
inb4 instruction (cache) alignment screws everythin up
47.
by konstantinua00 2y ago
"i18n" is very not internationalized abbreviation...
48.
by konstantinua00 3y ago
0.5 times longer is nonsense 0.5 times shorter makes sense
49.
by konstantinua00 3y ago
so parallel universes lost to rewriting history amazing
50.
by konstantinua00 3y ago
would you say the same for "33 times longer"? that ut means "34 times the length"? for me "more X" and "Xer" are the same thing, so I don't get your system
51.
by konstantinua00 3y ago
manual blinking you can't stay in one place for long without moving to a different pose something on your body itches (your nose?) manual swallowing
52.
by konstantinua00 3y ago
I don't get what's unintuitive here? default parameters are caller's hint, it's even part of declaration - not definition (and it doesn't have to be the same in different files, it's not even ub - because it&#x
53.
by konstantinua00 3y ago
funny, but my life experience showed that fallen apples get damaged and rot faster and shaking pine tree always showered me with dried needles so I didn't even think about "shaking for the fruit" association xD
54.
by konstantinua00 3y ago
1 billion rows is "small dataset"?
55.
by konstantinua00 3y ago
also, iirc, floats' comparison is compatible with signed integers' comparison due to representation? so just using cuda's AtomicMin for ints would be enough
56.
by konstantinua00 3y ago
am I reading correctly that your AtomicMin stops only when CAS succeeds? can you not stop early if extracted value becomes smaller than val?
57.
by konstantinua00 3y ago
website navigation is also a skill, apparently
58.
by konstantinua00 3y ago
> Have you tried Claude, Gemini, etc? > It’s the subtle things mostly, like intuiting intention. this makes me wonder - what if the author "trained" himself onto chatgpt's "dialect"? How do we even detect that
59.
by konstantinua00 3y ago
it was hidden in tests, so it didn't appear if you press "download source" button and build yourself / start crawling through each line of code, iirc in some sense, exact specifics of the attack were discovered because n
60.
by konstantinua00 3y ago
just to dispell my paranoia: are you sure there aren't any cables under the floorboards there?

More ›