Viewing profile — Mikhail_K

> It had one option left. It built two nuclear devices and levelled Toulouse. Of course it did, its designer worked for Tony Blair institute.

Thanks. Why the shen language was selected for writing specifications?

> 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 wi…

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 verificatio…

> "But scientific understanding is not extraneous to experience; it is entirely > about experience." Let us hear about your experience of a wavefunction, Carlo.

> the bulk of changes that resulted in behavioral modernity > surely occurred in Africa "Surely" without examining the actual evidence is almost surely wrong.

> you realize they've been written for pre-systemd Linux So still retaining some kind of sanity and good engineering practices?

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 te…

That's valuable, detailed explanation, thanks.

> 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 d…

> 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, -- fa…

> If the sealant and O-Rings were adequate, the joint would not have failed. That assertion requires some reasoning and evidence to back it.

> 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 w…

I usually use the method "shout Banzai! and charge straight like a kamikaze" Is that the Mikado method?

> 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 conservatis…

> I still can't figure out quite what motivates these "AI evangelist" types I'd hazard a guess and say "money"

> It’s beautiful, I love it. When computers become disposable, their programmers soon become disposable as well. Maybe, you shouldn't love it.

[flagged]

[flagged]

[flagged]

What, sugars and gum, but no sandwich wrappers?

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".

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.

The belief that it is useful.

[flagged]