242 karma · joined November 18, 2017
I've got another one: famous hold 'em poker player Stu Ungar never lost a game of gin rummy. Utterly dominant.
That means the missing information is temporal: the subsitution in point III narrows indemnity to only those claims which satisfy finally settled at the moment the contract binds.
> III. Blanket indemnities. I'm not wealthy, and my insurer won't cover claims that you settle without their consent. Asking me to indemnify you against "all claims" exposes me to the risk of bankruptcy – and still doesn't protect you. I change this to "all finally settled claims."
A claim not finally settled leaves nothing to indemnify against. I'm missing something here.
Edit: Maybe "I indemnify Publisher against all claims which at the time of contract signing are finally settled"?
> ... when you then say you decided to stick with C, you contradict with yourself
Figments of your imagination.
Just to be clear, he does not deny the information. Chronology matters a lot, danluu knows this, and he does make it available. He also made finding it a personal journey for any first-time visitor looking for a date, costing about 60s per user lifetime.
He's unduly sensitive to bad criticism by ignorant people and admits as much. Reducing his exposure to them helps get him through the day, and so all the power to him.
As for the arrogance, I love this site and would keep coming here even if danluu were Pol Pot himself. Users and moderation make the site.
The hung file systems can be a buttpain, enough that I wrote a Bash script that calls `mount` to get the hung FS IDs and `umount` them with the results. After that easy peasy.
I subscribe to Noam Chomsky's opinion that the best journalism is found in the financial press because businesses need a more accurate and timely view of what's going on.
And yes, the op-eds are a blemish on the paper's outstanding journalistic reputation. It got jammed full of cronies after News Corp purchased the paper. Its workaday editorial staff remain fiercely independent, however.
> Only mentioning this here just in case the PR spin doctors threaten the researchers into removing mention of Intel on this one.
The page's creator should be giving reasons why his "great" example defies a basic typographical convention. This webpage seems to be all headline.
In 2016 some researchers at Stony Brook published the full (Multi-) Paxos algorithm using TLA+, including a couple of nice extras:
https://arxiv.org/abs/1606.01387
The spec is succinct enough to commit to memory and way easier to comprehend than Lamport's prose descriptions (Lamport has never specified the Paxos algorithm in TLA+, although you can find his TLA+ spec for Paxos consensus). The paper also includes a mechanically checked proof and an interesting overview of other related work.
Knuth's a good, engaging writer, but TAOCP's content and typography are definitely better thought out than the prose.
EDIT: Just remembered a BBC interview with a philosophy professor about Kant. Apparently Kant is criticized for being really verbose. The professor's retort was he sensed Kant had so much to say and so little time to say it that he didn't edit very carefully, giving it a similar kind of bloated, meandering quality. Even so, Kant is held up as one of the GOATs, because in the end it's the content that counts.
¹https://www.theverge.com/2016/6/27/12046738/microsoft-pays-1...
²https://docs.microsoft.com/en-us/windows/win32/fileio/maximu...
The alternative explanation is magic. Take your pick.
You would probably like Joshua Foer's book Moonwalking with Einstein.
Developing memory is not a panacea for intelligence or a replacement for sound thinking. Some elite memory athletes assert that they're not that smart and attribute their success only to working very hard at memorizing.