carnitine

They provide a service to the market and that’s just a pretty basic description of it. Obviously they hope to make money from doing so, but so does every company.

No different to saying McDonald’s focuses on delivering quick and easy food to customers.

That’s not true either. Coq’s logic is significantly different to HoL.

They definitely don’t all compile to the same thing. Some do, most don’t.

It also just follows from X being >= 30.

January 2023 is an age ago in terms of generative AI. DALL-E 3 has been out what, a month? I just tried and it generated hands no problem.

You’re saying that based on what? All the code and assets are AI.

Dice is plural, and common games have you roll two dice at a time. So you’re looking for a pair of pairs.

C is definitely a high level language.

Obviously not in reality, but their (wrong) definition refers to ‘time to do so’.

Under your definition they can just hold the bonds to maturity to be solvent.

No one is claiming it is a tautology for all X and Y, it just happens to be true in this particular case.

Lisp is not very functional at all.

How is it hilarious? I doubt the average English person is a massive fan of Canary Wharf and it’s owners.

Tether can be liquidated via the Tether Foundation.

How is a prop crypto firm a bank? Laughable