scscsc

Do you also think that primary school students should not be taught, say, multiplication? Because they can, of course, use a calculator. No need to ask them what 3 times 4 is.

For your convenience, here is the list of NP-complete problems where "AI" works better than the state of the art in the worst case:.

Having some experience in this field, I can say that all of the tools presented on the webpage are very lightweight static analyzers. They are all based on processing the syntax tree and they which will detect things like uninitialized variables, or do style checks.

"Real" static analyzers, which are more useful, are based on symbolic execution and abstract interpretation and they will uncover more interesting classes of errors, like double frees, out of bounds array access, etc.

Note that all analyzers will have FPs and FNs, because the underlying problem is uncomputable.

The best open source "real" static analyzer overall for C++ is the Clang static analyzer. There are many commercial analyzers available, and most C++ shops will use one or more of these.

Does anyone know anything about the affiliation of the first author, "Fgemm SPA"?

It does not stop it, but certainly reduces it.

What are the dozen ways?

I have just seen someone using such a phone.

It looks good, just a tiny bit bulky.

Not sure on how it will do long term.

My OnePlus has been serving me well for more than 3 years now.

Note that the title is misleading.

The issue is lack of seatbelt pre-tensioning, not the size of car.

I am surprised manufacturers are not required to have pretensioners.

To those wondering if there will be a successful "marriage" between popular incarnations of AI, like ChatGPT, and FM: no, at least not in the sense you would expect.

Sure, ChatGPT will successfully manage to find formal proofs that have been done before.

But synthesising proofs from scratch is NP-complete for the simplest proofs (or worse for more interesting cases), and LLMs are simply not clever enough to do it (except in cases where the proof has been seen before).

It could be possible to integrate an SMT solver with a LLM to make this work, but the core difficulty of the FM task will then be solved by the SMT solver.

I would like to point out that such a resource is useful for reference purposes (only).

If you want to really understand an algorithm/a data structure, you have got to read it up and get your hands dirty and implement it yourself. There is no way around this.

This is a bit like taking notes in classes. The notes themselves are (nowadays mostly) almost worthless, with easy access to textbooks and other resources. The fact of taking the notes is what actually counts.

Could anyone in the know explain how "shorting" works?

I am surprised so many talented engineers went the touchscreen route. Volkswagen, Mercedes and more recently BMW are going this way. In my experience it is not only annoying, it is a safety hazard. In my old car, I could feel for the button to turn on the defrosting without ever taking my eyes off the road, it was so well designed!

In a way, it feels that the current trend is very much like the Apple laptops at some point, where they god rid of the physical function keys and replaced them with touch sensitive controls. Thankfully, Apple is reverting this change.

I think at some point car manufacturers will realise that it leads to more accidents and they will also reverse course. Perhaps touchscreens will even be forbidden?

Caveat: I was wrong before on touchscreens. I though phones with touchscreens will not work out, but they have. However, it is because we no longer use phones for phoning, but to watch movies, read text, etc.