No

An important step with property based testing and similar techniques is writing your own generators for your domain objects. I have used to it to incredible effect for many years in projects.

I work at Antithesis now so you can take that with a grain of salt, but for me, everything changed for me over a decade ago when I started applying PBT techniques broadly and widely. I have found so many bugs that I wouldn't have otherwise found until production.

Yes. He died last week.

RIP Tony Hoare.

Legendary Turing Award Winner.

Any link to information?

Came through personal contact who is close to the family.

More stuff for pony than you can shake a stick at.

predicting that a startup will fail is.. well, you got a ton of probability on your side there. so it isn't a particularly impressive thing to be right about.

Unimpressive doesn't mean incorrect, sometimes it's good to take the side of the most probable. And yet at the same time I am reminded of this quote:

> The reasonable man adapts himself to the world: the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. - George Bernard Shaw

Sometimes adapting oneself is, in fact, progress.

well played sir. well played.

Well played sir. Well played

That's an exceedingly unkind summation of the piece in question.

I wasn't talking about the piece in question, which just says "BTW I don't use AI".

No

working fine for me.