Coq was released in the nineties. But mathematicians hate it because it doesn't allow them to be sloppy. Well now they will be forced to do what they should've done three decades ago.
To be fair, even just a tool that can search the literature for solutions of similar problems is extremely useful.
I mean, the Play Store has always been flooded with shovelware, AI may actually raise the average quality.
Most cars are QNX based which is proprietary.
The applications are easy to duplicate. The hard part are the custom drivers which are part of the kernel due how Linux works. Once you have those you can replace Visio's crap with a custom ROM.
While it can happen to any IDE, most serious IDEs like Eclipse have a pretty well organized repo, VSCode is an outlier with its addon market being a free for all. I normally prefer freedom, but given how much damage a malicious addon can cause I feel like some moderation is warranted here.
Wonder if this sets a precedent in the suit against Zuck.
I'm surprised how rarely infrasound emissions are measured. The health effects are well known, and it wouldn't surprise me if the symptoms of most "EM sensitive" people were actually caused by infrasound coming from a crappy antenna.
How about not putting sensitive data into notifications in the first place? Signal needs to decide if it's a security app or a trendy chat app.
You gotta spend money to spend money.
This is why I migrated to Wayland. I'm not a fan of it, but running unmaintained software like X is going to be a very bad idea very soon.
"The water isn't hot, in fact it's the coldest it will ever be. Frogs used to complain about the water being hot, then they got used to it."
You could look it up if you had recall!
Moving to closed source alone doesn't help, because LLMs understand machine as if it was just another programming language. You need to combine it with powerful obfuscation, and even that will only work until someone figures out how to teach an LLM to use a debugger.
Long Island Blockchain 2: Natural Stupidity
You are lost in the Swamps of Despair.
