HN user
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
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 a decade.
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.
What? The European economic outlook is substantially more dire than in the US. The knock-on effects of EUR depreciation alone will be massive.
That’s Musk’s fault. The market cap will be calculated the way it would in any other scenario. You’ve just made up some weird rule that doesn’t exist.
Well no, but what’s your point?
It’s not, it just makes it easier. Should be pretty simple to modify the code to work the way you want.
This seems like the opposite of a cautionary tale, if anything it makes Rust seem an even better choice.