Forgot your password?
typodupeerror

Comment Thought for the day (Score 1) 17

What if...

Someone (say someone who was familiar with doxygen and GCC) developed number of comment types, where some stipulated preconditions that must be true for the function to run correctly, postconditions that must be true once the function has run, kernel facilities that the function definitely needs, and kernel facilities that the function definitely doesn't need. These would all be optional for any given function.

A static checker could then validate if the code meets the behaviour expected by the programmer. This is precisely what is done in SPARK, a fork of Ada for high-reliability code. Combined with existing static checker capabilities, this would greatly increase the number of bugs that could be caught with all kinds of tools, AI included.

It could ALSO build a full fine-grained mapping for any fine-grained mandatory access controls system. You'd also want includes that you could import for precompiled libraries. This would allow someone to verify if the code was making unanticipated/undesirable calls but would also make SELinux possible to develop for at the application level.

It would not be trivial. If it was trivial, it would have been done simply because it already IS done in other languages and that makes it "obvious" to anyone who has been programming for a while. However, it should not be massively complicated, simply because you can use AI as the static checker. Once it has a definite set of bounda that must be satisfied, it should be much more capable of knowing what paths would violate those bounds. Which means that the checker stage essentially is trivial today, leaving only the markup stage.

Comment Re:Real advantage is the assist, not the braking. (Score 0) 32

The major advantage is being able to use an engine that's worthless for acceleration, e.g. Atkinson cycle. All ICEs are most efficient at a specific point on the torque/RPM chart so that's not the differentiator.

Regen braking is the biggest benefit in the city. It's essentially irrelevant everywhere else, but whether it matters most or not depends on where you're driving.

Comment Re:South dakota (Score 1) 133

South Dakota is a state full of retirement homes and very few other employment opportunities.

Nothing could be more compatible with American crony capitalism than just continually building retirement homes in SD and sending poor old people there to die. But they will need to find some way to give out some nursing degrees.

Comment Re:Change of Attitude may be Needed (Score 1) 133

Real talk though, there's no chance of SD attracting CA's workforce by changing policy.

True, because they will never have any self-awareness in SD or any other flyover state. They will cry and complain about how they can't attract these professionals but they won't make any changes to the shitty society that drove those people away in the first place.

Leaving sunny CA to live in a tundra and probably be a cowboy is simply a non-starter.

There are people who would prefer the weather there, but still won't move there because they don't want to deal with the provincial hicks in sticks bullshit. THAT is the non-starter, which as you said, is not going to change.

Comment Re:Always the wrong answer (Score 2) 95

Define "working society". Are you including the people who shoplift/steal items and make their living selling them at popup flea markets?

Boosters are risking their freedom and even their lives. If it was easier for them to find work then they'd do legitimate work instead of boosting. Selling at flea markets is a job itself, so they're clearly willing to work.

Comment Re: The difference between blue collar and white c (Score 1) 62

haha good one, the boys down at the maga rally will get a real kick out of it as you stroke eachother off

You have it exactly right. I can see why you didn't post with an identity, you'd get punished by the reich wingers. Wage theft exceeds all other theft combined but maggots are still crying about shoplifters

Slashdot Top Deals

I THINK THEY SHOULD CONTINUE the policy of not giving a Nobel Prize for paneling. -- Jack Handley, The New Mexican, 1988.

Working...