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.

Seems like a problem you could fix overnight with guaranteed national minimum wage, worker's employment rights, and opening up immigration to regain the trust of those people you shot, killed, kidnapped and ripped their children away from.

Who the fuck would CHOOSE to go work in the US at the moment?

Problem1 : You would need conduction (from each cpu/gpu in the server toward a radiator using cooling liquid for example) from the rack to a radiator.
Otherwise if you don't those 100kW would be dumped into very small surface of the GPU/CPU and small radiator they usually have.
At 300K blackbody radiance is ~450 W.m^-2 So you r calculation of the surface of the cylinder is OK, you would only need 222 m^2 to dissipate a blackbody at 300K of 100kW of heat. The problem is that the heat is not dumped into the cylinder directly, but would need to be conducted from the cpu/gpu radiator to the cylinder . And that's where the problem starts, as you would need almost certainly a liquid for the transport, and that brings a lot of issue itself (weight, pump failure, freezing/boiling etc...). And that's not even counting servicing & obsolescence.

IMO the feasability of this is near null zero enough to be disregarded as a tech bro stupid solution in wait of a problem.

much MUCH easier solution is to have the server on earth, in zone where you have a lot of renewable like solar, wind. easier to maintain , cool, and give energy.

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.

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.

Worried about the news cycle moving on from AI, are we guys? Realising that's achievements are vastly outweighed by its costs still, and desperate for a use-case, much like IBM were in the Watson days when they literally had to ask people to suggest things it could do for them because they're run out of things that it could actually do?

Yeah, keep trying. Keep pretending that it's conscious or real intelligence or "looks like a human brain". Because someone's gotta pay those trillions back and you don't want it to be you, right?

Put it this way:

I've stopped bothering to see whether my ~2000 games on Steam are "Linux-compatible" on a standard Ubuntu install.

I've also supplemented my entirely-Linux network with a Linux gaming laptop onto which I've put... all my old favourite Windows freeware.

Last night something reminded me and I wanted to play WH40K:Space Marine. Double-click. Install. Play.

A few weeks prior, my daughter was talking about RDR2. Double-click. Install. Play.

I brought across my Wreckfest too. Double-click. Install. Play.

My default photo viewer is not the trash that it's in Ubuntu by default but my old favourite of Irfanview.

I even went to the effort of downloading all my old GOG games and installing them (no, not all of them are DOSBox, there are many old Windows games in there), and even got Castle of the Winds (a very old 16-bit Windows 3.1 game that doesn't even run in modern Windows) working by just substituting the Ubuntu 32/64-bit only install of Wine with the stock Wine from the Wine website.

It's not perfect, but you know what? It's so damn close that you can just think "Hey, this just needs an update" whenever you encounter something unusual that you want to run.

Wine is good. Proton is AMAZING. And it only ever trips up on pathetic stuff - like things that have deep ActiveX/IE integration (e.g. OrcaSlicer variants produced exclusively for FlashForge do that to load the proprietary camera view... fortunately OrcaSlicer itself is open-source, and the camera view is not important at all, and there are other ways to access it)

I have to agree. Now, I really wish they'd make an actual brand name for themselves and label the products that way, but half the time those "SEGBDGEDC" brand items for things like screwdrivers, drills, etc actually work plenty good enough for home DIY type stuff. I wouldn't use them if I was using a tool every day for work but for around the house its fine.

To some degree "VEVOR" has started doing that though. A lot of the "cheap but ok" stuff has been started to be branded VEVOR pretty frequently.

Sort of, but many of them have language that makes it ever more the same thing as a surcharge. Particularly in gun shops/shows, its VERY common to see "All listed prices include a 3% cash discount. This discount cannot be earned via credit card.".

What's crazy is when that put that verbiage on AUCTIONS. The auction price that I bid myself somehow is supposed to include a "3% cash discount".

Sort of. The "rewards" are also there to make people spend using the credit card and carry a balance. They know if people think they're "making money" while charging purchases that they're more likely to rack up that total. They know they'll make more via the interest charges in the long run. Sure some particularly responsible card users may be able to game it for some rewards, but they'll be so much in the minority that it won't matter.

Debit cards don't carry that potential, so you won't find any debit cards offering rewards anywhere close to what the credit cards offer.

The DoD is known for viruses transporting payloads across airgaps onto Internet-connected machines. One thing it isn't is "so secure".

But, to the extent that it IS secure, it uses pretty much what I outlined. They use Class 3 certs for all users and all machines, and have done since about 2001. The US Navy got to trial run thei system to shake down the defects in the design, before they rolled it out to everyone. Beyond that, they use segregated networks (in principle, physical separation rather than logical separation, but who knows?) and encrypted communications.

What I've done above is take what the US DoD uses today, threw in what the US DoD recommended but never actually implemented in the 70s to fill in some of the gaps, and also included what the US DoD implemented and actually used in the way of Trusted OS deisgns in the 70s and 80s. The NSA and IRS likely use some variants on the same techniques.

So, what I've got above is pretty much why the DoD is as secure as it is.

What I've done is augmented it to handle the fact that you need to verify the hardware and not just the endpoint, and that you need to verify the physical host independently of the logical host. But that's pretty much it.