crocal

8 ms·

31.
by crocal 5y ago
Your point is wrong. C was /not/ intended for safety critical applications. Therefore, it makes sense that using it in that context will require adaptation. For Ada it does not. It’s tire patching.
32.
by crocal 5y ago
C and C++ were not designed with critical applications in mind. Therefore you cannot apply the same criticism to them. SPARK is a proof that something is wrong. If you have to restrict the language to attain the goal of the language, that’s
33.
by crocal 5y ago
Ada is really in a bad place. It’s too generalist for safety critical applications. A DSL is a much better fit, restricting operations and possible side effects to a minimum. At the same time, it’s very abstract and somewhat esoteric, meani
34.
by crocal 5y ago
It’s very common. Top management in large political orgs do not want to be associated with a failed project. They will spend the first days actively covering their tracks. Once this is done, they usually send HR to clean house. Unions stay
35.
by crocal 5y ago
There is a solution to this problem, known for a few decades now: the vital coded processor. Basic idea: each operation can simultaneously compute a result and an arithmetic « signature » that can be pre-calculated for a program. The length
36.
by crocal 5y ago
It’s so useless it’s needed.
37.
by crocal 5y ago
James Bond, sitting in the night train, is having dinner with Vesper Lynd. "Wait a minute, you're saying self-driving cars are not safer than human drivers?". Bemused, James takes a sip of Bordeaux, and quips "You'v
38.
by crocal 5y ago
I guess you are ready for dictatorship then?
39.
by crocal 5y ago
Well, yes and no. In my opinion, lobbying in itself is not evil if it remains within reasonable limits. One of the limiting factor is to avoid giving the said lobbies unlimited funding. That is one of the reason for taxing corporations.
40.
by crocal 5y ago
I find ironic to portray as extremists journalists who report on a company that pays zero (0) taxes on revenues expressed in billions. I would rather apply the adjective to the reported company for some reason, but maybe we have different m
41.
by crocal 5y ago
Taxing mega corporations is essential. I would add that you need to tax them to oblivion after shareholder’s expectations are reasonably satisfied. If you don’t, you essentially create rogue institutions with deep pockets that will attempt
42.
by crocal 5y ago
In France, the gendarmes (police force outside of big cities) are military and live with family in garrison-like building blocks. SWAT team members identity is a secret, and if you mess up with them, French special forces will get you anywh
43.
by crocal 5y ago
... Indeed. Therefore we add sensor diversity to balance the failure modes and increase availability. Having no sample means that you increase your confidence interval at warp speed to account for all possible scenarios. Very quickly your e
44.
by crocal 5y ago
This is actually compulsory requirement for safe communication protocols in railway according to EN 50159. The correct way to manage this is to reject the outdated samples. Ultimately, this should result in a transition to fallback mode (in
45.
by crocal 6y ago
Spot on. By the way, one can purchase multiple units (brand new) for 1.2M€ per car, and that’s before negotiating. 2.5 is really expensive. And I am talking European price, not Indian or Chinese.
46.
by crocal 6y ago
Google Ariane 501. Enjoy.
47.
by crocal 6y ago
There is a difference between vulgarisation of science, and making money out of sensational unproven claims pretending it’s science. This is my moral compass in that matter.
48.
by crocal 6y ago
From what I understand, most of the RNA just sits there, and people are speculating its role. Did I get that part wrong?
49.
by crocal 6y ago
... Thereby ensuring that the project will fail in the long run, but the move will save their corporate seats in the short run. Typical.
50.
by crocal 6y ago
Driving is unsafe if humans drive because humans make mistakes. It should not be when machines do. Otherwise, what is the benefits of using them? Driverless cars can, must and will be held to a higher standard. But it is not a lofty ideal,
51.
by crocal 6y ago
Ok, so. I will say it again to all the people out there who think they can accumulate millions of miles of trials and use statistics to eventually declare a driverless transportation system is safe: stop. What you are doing is morally and t
52.
by crocal 6y ago
Nuclear submarines like this have prevented the world from going to war because some crazy idiot could think he had first strike advantage. Not a bad waste of engineering, especially if not used. In terms of warfare, this is the optimal res
53.
by crocal 6y ago
The toilet is a very critical device in a sub. It is said that a german sub /sank/ because of that.
54.
by crocal 6y ago
Maybe I am an optimist, but that seems really bleak thinking. 1/ « Keep an eye on » is different than « Intervene ». We have to have satellites out there mapping this stuff in excruciating detail, and spies tracking who is responsible
55.
by crocal 6y ago
Pay your taxes so that your military can keep an eye on the assholes who do this, and so that UN may offer some form of asylum to their victims. Vote for politicians that oppose this shit publicly. Explain to your kids why this is wrong.
56.
by crocal 6y ago
Profit margins in automotive are typically single digits. Edit: Added « margins »
57.
by crocal 6y ago
Nausicaa of the Valley of Wind?
58.
by crocal 6y ago
Actually a typical GMAT question...
59.
by crocal 6y ago
Why would Boeing take such a symbolically negative decision now? Either we miss part of the picture, or the leadership of this company is...
60.
by crocal 6y ago
Grain silos are actually built to withstand explosions. I am not an expert but I was explained as a kid that stored grain can create static electricity discharges that can result in self-ignition.

More ›