Viewing profile — bidirectional

What % of people alive can do either? We have a system which beats the vast majority of humanity.

How is GPT-4 not AGI? It is generally intelligent and passes the Turing test. When did AGI come to mean some godlike being that can enslave us? I think I can have a more intellectu…

Clubs' spending must be tied to their revenue, foregoing sponsorship money would force them to spend less no matter what, and there's a continuos arms race to spend more and more. …

What stage of denial is this?

The US government gets to pay x% interest because they can theoretically always service a debt denominated in USD. Every other borrower in USD pays (x+y)%, where y amongst other th…

Can you name a single form of analysis which a human can employ but would be impossible to program a computer to perform? Can you tell me if a program which searches for counterexa…

Fund managers at a Swedish pension firm don't have yachts. The teachers/train drivers/policemen etc. they manage pensions for definitely don't.

So did the depositors who exceeded the limit for FDIC insurance.

> Even something as broad as 'buying and holding an index fund' beats almost all funds and strategies. How do you come to believe something so blatantly false and naive? Is this du…

Why? Loads of private investment funds beat indices.

Where is the money skimmed from the retail investor there? They beat the NBBO?

Lean supports coinduction, which allows you to write programs which run indefinitely. This even allows you to embed Turing-completeness, it just has to be declared as potentially n…

User-approval isn't the only metric by which features are judged. No one liking it was obvious as there's no user benefit. If it results in increased revenue/recurring users/valuab…

Are any of those workable on a phone?

Tether is not backed by crypto so why would crypto market losses affect it? They publicly state what their assets are and how much they're worth. People just think they're lying fo…

Why? They may have acted reckless up to now with the commercial paper etc. but unless they have taken massive losses and somehow covered them up, they can just convert to risk-free…

Why would they? Tether said they had commercial paper, so it's not some mind-blowing revelation and they'd be risking their job by doing so.

Why would they? They're now in an incredible position -- convert everything to treasuries and yield over 4%.

By definition they would never have assumed zero defaults when buying the paper, just few enough defaults for other gains to offset them.

You don't need to trade with an intermediary in the commercial paper market, companies could directly issue the paper to Tether, no one would ever know about it. They could then re…

Yes, you need to not run away as soon as a non-alphanumeric symbol is used. That's hardly even mathematical notation.

Odd how you've been downvoted when what you say is true of literally the first item on the list...

I don't think that is in the spirit of this list at all, no matter how good it may be. This is about seminal papers advancing the state of the art in the theory of programming lang…

I'm not American, I'm British and feel as though our approach to healthcare is hobbled by people who think the NHS is some saintly miracle and not a very expensive bureaucracy whic…