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.

What makes solar financially un-viable in Austin? I live a long ways from Texas so there might be something really obvious here that I'm missing. I know the solar power arguments are older than the hills at this point (I remember roof top solar panels from many decades ago) but I'm interested in what about that location makes it doomed to not work out.

Or is there just no way for Tesla to make it financially viable? Could a more honest company pull it off in a different way?

It's a trade off: you get abundant free energy to run the server, with extreme constraints on cooling because your server is running in the most perfect Thermos bottle ever.

Others are taking the opposite tack: undersea data centers for abundant free cooling at the expense of having to get the power down to your servers.

If had to bet on which one is more practial, I'd go with undersea servers. Build them off the coast of Chile, run cables out from batery-backed solar plants in the Atacama desert.

That doesn't mean they get paid 40 hours of wages for doing 20 hours of work. It just means much greater scheduling flexibility.

Your statement would apply if these data center space nutters could certify that everything they launch will reach escape velocity.

For everything else, what goes up, must come down. Right back into our jurisdiction.

I'm having a bit of trouble working up any sympathy, as the saying goes.

Is to set coursework and exams that are specifically crafted to exploit where AI is weak or prone to hallucinate.

You do not ban cheating, because those who cheat will inevitably find ways to circumvent the ban.

Rather, you exploit the properties of the mechanisms of cheating to ensure that those who actually understand the ideas are marked relatively highly (regardless of whether they reach the textbook conclusion) and whose who do not understand the ideas cannot do well even if they give what is in the textbook.

The interest should not be in precise answers, but in precise use of tools of reasoning and analysis, because this is what actually matters when it comes to understanding. Yes, it means you can't standardise so easily, and you have to devise things in ways that don't penalise intuitive thinkers over methodical thinkers, but you cannot teach a subject properly if you are only concerned about the surface.

The $5K a year just gives you a $300 per person per visit discount. So pays itself back in 15 visits or so.

We can't afford to let the success of big tech companies depend on the health of fragile meatbags. We need to get resilient, fault-tolerant AGI in there running the enterprise. Also, unlike meatbags, you don't need $100M stock payouts to convince an AGI to work as a corporate executive.

The FSB is certainly getting a good ROI on their investment in Trump.

I didn't see a 5.6 option on the Windows client last night.

Haa anyone else observed 5.6 in the wild?

Trump doesn't need to have power, he only needs to create fear, uncertainty, and doubt.

Companies are risk-averse, which is why Anthropic pulled their AI model for a while.

You can get Veracrypt to work with the Mac, via FUSE, but I don't know how safe/robust that is. It's probably more secure than anything Apple has. It's certainly more secure than anything Microspot has.

But, yeah, it's getting extremely irritating that useful stuff is being taken out of commercial OS' and junk put in.

There's no known client, but there is a very good unknown client:
(For those familiar with Kenny Everett...)

https://dev.to/jfscoertzen/cha...
https://snapcraft.io/chatgpt-d...

Whether it has all the official features, I don't know. But that's your best bet.