Good question. Their POWER series of CPUs were not insignificant in capability, their chip designers were clearly technically sophisticated, and GPUs are just specialised vector processors with a few extra bells and whistles - stuff IBM is extremely familiar with.

It would not have been difficult to release a GPU or other LLM-specific processor to go along with the POWER11. They'd been working on the POWER11 for 4 years, they knew in 2020 that LLMs had a strong potential to be significant for Big Data processing - an area you use big iron for, they're not rank amateurs, they have plenty of reserve, they could have assembled an emergency team to build a vector processor that was custom-designed for just LLM work, and released an LLM processor card that could run circles around nVidia.

They didn't. Because, as has happened before, their management is simply too stupid and too slow.

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.

Not to mention, as a kid playing Doom you either had to find the BFG or your friend Timâ(TM)s older brother could tell you the secret. Today, a million youtubers have already done full 100% letâ(TM)s plays, and every secret, 100% completion, unlock, etc., is a quick google or gpt search away.

I loved adventure games. The genre just isnâ(TM)t viable today. So many of the old hallmarks of games just donâ(TM)t work or make sense anymore. I donâ(TM)t even think thatâ(TM)s necessarily a bad thing. I can fire up SCUMMVM or an NES emulator or Dosbox if I have an itch to play those games.

Entertainment IS a brutal business.

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.

Can I go now?

Also, the majority of us (in said minority) are probably running ad / tracking blockers (I run uBlock Origin on Waterfox with NoScript - which probably makes it easy to fingerprint me .. if not precisely, then as someone who is not going to watch/see their ads).

So yeah it would need to be a nonprofit or a paid engine.

I really liked the idea of Kagi but their reliance on Yandex (Russian owned /operated engine which Putin has had increasing say over since 2019)

I mean, I think somewhere there are projects that have made their crawler result set available - maybe there's room for a nonprofit to build a better interface / search on one of those?

I dunno, it's one thing to understand on a high level "we need a reliable up to date index, and then make a fair, transparent search system that implements a patent-free ranking algorithm (is Page rank up yet?) and just searches using provided keywords and respects 'exact quoted phrases', but it's quite another to build something that can keep that index updated, and that can handle queries at scale and not cost so much that its impossible to do without an advertising model.

Are we great again yet?

Ok Ok low effort reply there but truthfully this is a direct example of brain drain due to an administration that is downright hostile to science. We used to be the envy of the world in terms of our research institutions and science.

The more the nationalists try and keep others out and the more they make science into a political point the more folks are going to just give up on America.... and I don't blame them. If I had any "in" elsewhere (family history, available opportunity) I'd leave

Sorry in truth I really wish they hadn't made science and education and many peoples very humanity and human rights political...

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.

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.

That is true, but the archaeology shows that this won't work for all island-hopping or all river navigation.

For example, we have clear evidence of hominins not just living on islands across the Mediterranean when no ice was present (it was free-standing water) but commuting to and from shore. We also have evidence of technologies travelling upstream along river-based communities at speeds that cannot be accounted for by simply walking.

So we need a model in which they could actively navigate against the water flow AND across significant distances of open water.