It's still advisable to pretend that it might work, though. Just saying...you've got to think strategically when you work in the national security business.
Give it a few years and nobody will want to run software that hasn't been debugged and hardened by AIs. It's going to be much more thorough than human auditors - it already is, to some extent, and faster anyway, but I'm talking about the future. So it's going to be the latter, complete normalization of AI. You can still write the program by hand, but you'll need AI to make it trustworthy and secure enough, if only because the attackers will also be mostly AI.
It's unobtanium so nobody should care about it. Any frontier AI company can nowadays create models with ridiculous resource and token usage that will get extremely high scores, but they're of no use when you can't use them.
I take this opportunity to give feedback on Argon. The limitations are a problem. I have a Pro subscription and Argon already stops working after 3-4 prompts with long delays afterwards. It's virtually useless right now even when you pay monthly for it. It is better for some tasks than 3.1 Pro, though. Not much in my experience but it can sometimes fix errors that 3.1 has problems with. I never use Flash models since they often give abysmal results.
It seems to me that the scenario is that someone spoofing a cell tower can disable your phone practically forever and recovery requires expert interference. Maybe I'm mistaken, though, it's not clear from the description whether a spoofed cell tower would suffice and whether it needs to remain in the vicinity to repeat the attack often enough or whether sending 200 corrupt SMS messages in one go would suffice.
It's marked as an informal disapproving use, so it depends on whether you want to convey this message or not. But Yes, a juror could say "What we had to do was slave labor, we didn't even get proper breaks" and you would perfectly well understand what they said and meant with that message.
"Let's be honest": Why would I care that you care so much that these problems were solved automatically when you yourself don't even seem to be aiming at a better understanding and talk in disrespectful ways about the people who seek a deeper understanding? You could read a book about the history of mathematics, for example Roger Penrose's Road to Reality.
IMHO it makes no sense to admit you don't know what "the credit" means and continue to participate in this discussion. You don't seem to understand the culture and motivation of professors and postdocs doing research level mathematics.
Banning open weight models in the US would provide the rest of the world with a huge business advantage since these models are much more cost-effective than US models.
Who cares, it's their choice and probably because they were overwhelmed with LLM-generated project announcements.
I'm aware that being anti-AI is trendy right now, so many people won't like to hear that, but the reality is that it won't take long until the opposite will occur. Projects will get rejected for not having been thoroughly checked by AI, if not written by AI, because purely human development will cause too many security and code quality concerns.
It would be a piece of cake to create a device that can be permanently downgraded for the un-tech savvy. It would be interesting to see how many customers would voluntarily choose that mode. My guess is that it would once and for all put Apple's security theater into the graveyard of stupid, annoying, and patronizing ideas where it in my opinion belongs.
My bank pestered me so much to use their app that I eventually caved in. Ironically, they claim it's more secure than normal internet banking from the PC with 2-factor authorization, even though they send the SMS token for in-app transfers to the same phone as the app...it makes no sense.
It's certainly wise to diversify as much as possible, a healthy mix of sovereign home-made tech plus US and Chinese tech and from all other countries where it seems fit. The problem right now is the extreme dependence on US tech, such a dependence is always a bad idea no matter what country the tech comes from.
It's better to use 0-day exploits to install legitimate software by now. It saves everyone from a lot of hassle. Or, more realistically for most, make a web app and forget about native apps.
My dream is to release an iOS app that self-installs and not say anything special about it other than having a "Download for iPhone" button on my website. If someone asked me, I'd answer: "Huh, what do you mean? It's our app for the iPhone."
For the defenders of Google's (and previously Apple's) behavior, I'd like to point out that if any of this was for the sake of security, developer ID certification would be left to an independent international organization and not be under company control. That would also clearly have legal advantages.
That's how it's done with domain names, with security advisories and disclosures, etc. That they don't do it for developers shows that it's about control and anti-competitive business behavior (preventing other app stores).
This is nothing but a business decision to extort money from developers and you know it. It's anti-competitive at its core, locking out other, more reliable app stores and taking control of an open source operating system. It's just one more measure in a long trend of fulfilling the wet dreams of large tech, namely killing personal computing and controlling everything people can do with devices they've bought.
Probably so they have no problems getting people who work there and provide technical services. I mean that seriously without any sarcasm or tongue-in-cheek, it seems the most likely explanation to me.
I'm not a mathematician but from what I've heard from them that's generally not how mathematics works. You can "use" whatever you want, of course, but a mathematician's goal and main activity is finding and understanding proofs. The ones I knew also liked compiling error lists for math textbooks and sending them to the authors. (It opened my eyes because I admit to have been one of those ignorants who implicitly assumed "it's formal stuff in a book, sure it's going to be right".)
You're absolutely right. I'm by some somewhat complicated fate not worth explaining here practically forced to attempt to make a living by selling software, and it's indeed lonely. I'm sitting on the computer at home developing every day and have to force myself to go for a coffee outside. :(
It's important in this discussion to distinguish between people who make a living from what they create and those who don't. Of course, people can create amazing things with AI in short time but I took "solo founder" to be the solo founder of a company that earns money or manages to obtain good funding.
It's touching to read that important AfD members went to Hitler's birthplace and lit a candle for him but that was already known. The leak contains their whining about it, plus a bunch of antisemitic discussions, lists of doxed enemies with 25k entries, and a bunch of Sieg Heils and svastikas.
They're not Nazis, though, as they do not cease to emphasize. Not at all. How could they be Nazis? Elon Musk supports them!