It obviously gives us guarantees in terms of what the source will do and what the compiled code should need.

These do not provide memory safety, so memory bugs would not be solved by these. They will find unexpected behavioural issues, though.

The precondition and postcondition statements are not cunningly-disguised assert statements because they're not asserted at runtime. They're enforced at static check and/or compile time.

The policy hints mean that if the kernel is doing something you're not expecting, you find this when testing the code. Equally, though, it means that users cannot cause the software to venture into realms unknown through many of the usual attack vectors because those will require permissions that aren't there.

They won't want to touch the other side of it either. If what Flock is doing is fine, so is the creeper snapping photos on a public playground and creating a giant database somewhere.

That seems...undesirable.

Agency is just it's ability to act upon it's conclusions. While there is a great argument that AI should not be given agency, it had it.

If you're trying to say it had no sentience, I'll agree with that.

In the same sense that a gerbil has agency but not sentience. It too might escape from a cage.

A late reply to your comment:

Yes, overall structure is a problem. I generally give it hints as to how I would like the architecture to be, and for larger projects I mention that future ability to expand/extend is important, which then makes it construct more robust "frameworks".

But generally you need to know what the bones of your solution should look like and push it in that direction otherwise you end up with nicely commented spaghetti code.

Function did its job, exactly as designed.

Whether it's legal to use or not is dependent on jurisdiction and circumstances (and still hasn't been established!), but the function existing and allowing a user to use it is no bad thing.

Think a mugger demanding you access your bank accounts. Oh, no, look, the phone's stopped working...

a.k.a. throwing money at rubbish ideas, and seeing what sticks.

The greatest business strategy of all time /s

It's like a miniature version of the "big kernel lock" thing that took years to resolve.

Sure there were some blocking issues causing performance setbacks for it in certain locations but it was orders of magnitude more difficult to slice it out and replace things with smaller locks, and it still didn't have MASSIVE increases in performance or any user-visible way at all.

It's just code maintenance.

The whole bury it for 100,000 years seems to be FUD anyway. That figure leaves the waste less radioactive than the uranium rocks the fuel came from ever were. If we applied the same standard to natural sources we'd be up in arms about banana peel disposal.

The barrier to AI cheating is ridiculously low, though.

RIDICULOUSLY LOW.

It tool me about 20 seconds to paste your comment into Claude and get this back out:

Quick take, then the rebuttal itself:
 
The comment's "cheaters gonna cheat" logic dodges the actual point. A few counters:
 
Ease changes behavior, not just outcomes. If AI cheating is dramatically easier and lower-risk than pre-AI alternatives (crib notes, bribing a proctor, memorizing leaked exams), it doesn't just help existing cheaters - it recruits new ones who wouldn't have bothered with the harder, riskier methods. Frictionless cheating scales.
 
"Someone would've cheated anyway" doesn't mean the tool is blameless. That's true of almost any enabling technology (fake IDs, counterfeit currency, doping). We don't shrug at those because determined bad actors exist regardless - we still try to close the specific hole.
 
The "other tests exist" point is the real concession. If proctored, in-person, or oral exams resist AI cheating better, that's an argument for changing how we test, not for waving away AI's role in why the change is suddenly urgent. The heart surgeon example works against the poster here - we'd absolutely want to know an AI-era certification exam let someone through who couldn't do the job, because the failure mode (unqualified surgeon) is real regardless of how they cheated.
 
So the response isn't "AI is uniquely evil," it's "AI meaningfully lowered the cost of cheating, which is exactly why testing methods need to adapt" which is compatible with, not contradicted by, the original comment's own second paragraph

Replacing garbage trucks burned by angry villagers can get expensive.

On the other hand, it is actually common to make the duress password VERY similar to the correct password so it looks about the same when you enter it. Especially on something like a phone where you can generally re-load the data later if you want. The consequences of an accidental wipe may be quite small.

Other posible explanations include the defendant remembering the wrong password under pressure. The defendant having any history of mis-typing is irrelevant.

There were a few different questions in the feedback popup before I finally answered.

One of them was "How delightful do you find the new home page layout?"

Oh yeah, DELIGHTFUL.

Look Mozilla, I don't get any delight out of opening a browser tab. Maybe, about 1994 or so, I had some delight in just getting NCSA Mosaic to open, so that I could connect via Trumpet Winsock to this crazy new thing called the World Wide Web, and look at some page that some guy at CERN built, and check out how full a coffee pot was with Netscape Navigator 0.9. Nowadays, it's a very small step in my task of "get out on the internet and find something", or "Open browser so I can click on a bookmark in the bookmark bar". Get out of my way and stop wasting CPU and bandwidth on stuff that I don't look at,

Over the last few weeks started getting increasing numbers of shortcut icons underneath my search bar on my default page - Amazon, Temu, etc,(with tiny "sponsored" text) and a couple of my most visited sites.

Then I started to get the mini-apps exhorting me to play this or look at that.

And then I went to FireFox's settings and set my new tab option to "blank".

There was a feedback popup when the tab loaded and I spent a little time telling them not to repeat the mistakes of other browsers cluttering up their landing pages. One of the few times I recommended taking a cue for Google, home page is clean, you hit it and jump off somewhere else, job done.