Viewing profile — 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 s…

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

That has nothing to do with not knowing which assertion in a given test has failed.

They don’t need to claw back the money as long as Twitter services the debt.

Equality on reals is not computable.

Would shredded fabric and paint ordinarily form a dress when sprayed?

The whole point is that he secured funding from third parties for the Twitter deal. He was never buying it alone.

Why? That says financial assets aren’t included in reporting of inflation. Why would one think they would be?

Market makers and retail traders have aligned incentives. Stop scaremongering.

To even have those ‘best alphas’ in the first place and then select them in advance for your best fund is the impressive part. The returns are insane even if the fund is capped.

How exactly would this fraud work? Most HFT firms only trade their own capital and distribute gains internally, there’s no one to defraud. Also it’s been going on a lot longer than…

For ‘financial stuff’ where proximity matters (which is a small fraction of it) you would be colocated with the exchange, and there’s no need for that data centre to be in London.