carnitine

10 ms·

1.
by carnitine 3y ago
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 t
2.
by carnitine 3y ago
That’s not true either. Coq’s logic is significantly different to HoL.
3.
by carnitine 3y ago
They definitely don’t all compile to the same thing. Some do, most don’t.
4.
by carnitine 3y ago
It also just follows from X being >= 30.
5.
by carnitine 3y ago
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.
6.
by carnitine 3y ago
You’re saying that based on what? All the code and assets are AI.
7.
by carnitine 3y ago
Dice is plural, and common games have you roll two dice at a time. So you’re looking for a pair of pairs.
8.
by carnitine 3y ago
C is definitely a high level language.
9.
by carnitine 4y ago
Obviously not in reality, but their (wrong) definition refers to ‘time to do so’.
10.
by carnitine 4y ago
Under your definition they can just hold the bonds to maturity to be solvent.
11.
by carnitine 4y ago
No one is claiming it is a tautology for all X and Y, it just happens to be true in this particular case.
12.
by carnitine 4y ago
Lisp is not very functional at all.
13.
by carnitine 4y ago
How is it hilarious? I doubt the average English person is a massive fan of Canary Wharf and it’s owners.
14.
by carnitine 4y ago
Tether can be liquidated via the Tether Foundation.
15.
by carnitine 4y ago
How is a prop crypto firm a bank? Laughable
16.
by carnitine 4y ago
That has nothing to do with not knowing which assertion in a given test has failed.
17.
by carnitine 4y ago
They don’t need to claw back the money as long as Twitter services the debt.
18.
by carnitine 4y ago
Equality on reals is not computable.
19.
by carnitine 4y ago
Would shredded fabric and paint ordinarily form a dress when sprayed?
20.
by carnitine 4y ago
The whole point is that he secured funding from third parties for the Twitter deal. He was never buying it alone.
21.
by carnitine 4y ago
Why? That says financial assets aren’t included in reporting of inflation. Why would one think they would be?
22.
by carnitine 4y ago
Market makers and retail traders have aligned incentives. Stop scaremongering.
23.
by carnitine 4y ago
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.
24.
by carnitine 4y ago
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.
25.
by carnitine 4y ago
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.
26.
by carnitine 4y ago
What? The European economic outlook is substantially more dire than in the US. The knock-on effects of EUR depreciation alone will be massive.
27.
by carnitine 4y ago
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.
28.
by carnitine 4y ago
Well no, but what’s your point?
29.
by carnitine 4y ago
It’s not, it just makes it easier. Should be pretty simple to modify the code to work the way you want.
30.
by carnitine 4y ago
This seems like the opposite of a cautionary tale, if anything it makes Rust seem an even better choice.

More ›