Mikhail_K

4 ms·

1.
by Mikhail_K 3mo ago
> It had one option left. It built two nuclear devices and levelled Toulouse. Of course it did, its designer worked for Tony Blair institute.
2.
by Mikhail_K 4mo ago
Thanks. Why the shen language was selected for writing specifications?
3.
by Mikhail_K 4mo ago
> But, for scientists, I find that these tools address the problem of the > exploding complexity barrier in the frontier. They do the opposite by locking the results the produce within the slop presentation that needs more AI to comp
4.
by Mikhail_K 4mo ago
Thank you, interesting work. Please, clarify what is possibly a naive question - your README states that the constraints imposed by your tool are weaker than the formal verification guarantees. Why not implement the backpressure as the full
5.
by Mikhail_K 4mo ago
> "But scientific understanding is not extraneous to experience; it is entirely > about experience." Let us hear about your experience of a wavefunction, Carlo.
6.
by Mikhail_K 5mo ago
> the bulk of changes that resulted in behavioral modernity > surely occurred in Africa "Surely" without examining the actual evidence is almost surely wrong.
7.
by Mikhail_K 5mo ago
> you realize they've been written for pre-systemd Linux So still retaining some kind of sanity and good engineering practices?
8.
by Mikhail_K 5mo ago
From the article: We finally observed signals of selection for combinations of alleles that today are associated with three correlated behavioural traits: scores on intelligence tests (increasing 0.74±0.12), household income (increasing 1.
9.
by Mikhail_K 6mo ago
That's valuable, detailed explanation, thanks.
10.
by Mikhail_K 6mo ago
> However NASA also believed the o-rings could still take the abuse, because > although they were moving they were getting shoved deeper into the joint, Why would they be "shoved deeper," when the problem is that the joint
11.
by Mikhail_K 6mo ago
> The sealant and O-rings did not succeed in keeping the hot gasses inside (evidence: Challenger). They were not adequate No. The whole assembly --joint, sealant and O-rings, -- failed. "They were not adequate" - yet, after the
12.
by Mikhail_K 6mo ago
> If the sealant and O-Rings were adequate, the joint would not have failed. That assertion requires some reasoning and evidence to back it.
13.
by Mikhail_K 6mo ago
> Challenger: no gasses were supposed to make it past the o-rings no matter what, > but when it became clear that gasses were escaping and the o-rings were being > damaged, there was a push to suggest that it's an acceptable l
14.
by Mikhail_K 7mo ago
I usually use the method "shout Banzai! and charge straight like a kamikaze" Is that the Mikado method?
15.
by Mikhail_K 7mo ago
> their UI feels dated A big selling point for me. Needless reworking of familiar interfaces plagues MS Windows ecosystem and I'm glad LibreOffice is displaying healthy conservatism by not fixing what isn't broken.
16.
by Mikhail_K 8mo ago
> I still can't figure out quite what motivates these "AI evangelist" types I'd hazard a guess and say "money"
17.
by Mikhail_K 8mo ago
> It’s beautiful, I love it. When computers become disposable, their programmers soon become disposable as well. Maybe, you shouldn't love it.
18.
by Mikhail_K 10mo ago
What, sugars and gum, but no sandwich wrappers?
19.
by Mikhail_K 11mo ago
In the release 1.12 they finally implemented the ability to create compact executables, so I would say the answer to your question is "yes".
20.
by Mikhail_K 11mo ago
If the USA and Europe decide to got this way, they will be (as in many other ways today) followers, rather than the leaders. China already does large-scale net censorship.
21.
by Mikhail_K 11mo ago
The belief that it is useful.
22.
by Mikhail_K 1y ago
Words "Python" and "fast" do not belong in the same sentence.
23.
by Mikhail_K 1y ago
There must be something wrong with your reading skills, because it's literally the same point slightly rephrased.
24.
by Mikhail_K 1y ago
It doesn't, it hurts you by limiting the number of platforms Git is available on.
25.
by Mikhail_K 1y ago
The wikipedia article you reference confirms my point: "Gauss wanted to interpolate the orbits from sample observations; his method was very similar to the one that would be published in 1965 by James Cooley and John Tukey, who are ge
26.
by Mikhail_K 1y ago
Fast Fourier transform was not invented by Cooley-Tukey, it was used by Gauss to compute trigonometric interpolation of orbits from observations.
27.
by Mikhail_K 1y ago
How about: because it's overhyped, but ultimately useless stock bubble prop?
28.
by Mikhail_K 1y ago
"Ratinalists" are basically libertarians that are coy about it.
29.
by Mikhail_K 1y ago
"Rationalists," the "objectivists" rebranded?
30.
by Mikhail_K 1y ago
SBMC has to get some prize for being the least funny comic strip ever

More ›