Colin

@colin-fraser.net

Driven by industry progress, inspired by provocative leadership, plus don't mind a good pair of shoes or a great @PennStateFball scoreboard either.

Theorem. For any set H of horses, if x and y are in H then x = y. The proof is by induction on n = |H|. Clearly it holds for n=1 horse. Now suppose it holds for n-1 horses, and consider X=H\{x} and Y= H\{y}, and choose any h in X ∩ Y. By the induction hypothesis x = h and y = h. Therefore x = y. □

Ben Collins@bencollins.bsky.social · 7d ago

TikTok has incredible moderation team. Our InfoWars video about Multiple Horse Theory — the idea that there are many horses in the world and not just one — has been fully deemed misinformation and lost the formal appeals process. Confirmed by Larry Ellison: There is only one horse on Earth.

If you do want to see a retelling of a legend from Greek mythology that audaciously does not shy away from portraying what is supposed a supernaturally beautiful song you gotta go see Hadestown, the live stage recording film of which is currently in theatres

m@keptsimple.bsky.social · last wk.

Nolan actually needs more exposition in his films. He should appear in the corner like Clippy to explain what is happening and reiterate what was already established by the dialogue. All directors should do this.

Would you rather take a guaranteed £50k, or £1M if you can manage to string Odysseus’ great bow and shoot an arrow through 12 axes?

One thing I find interesting about Anthropic’s apparent willingness to have Claude make these kinds of refusals is once you open the door to the possibility of software that refuses certain tasks on moral grounds it raises the question of what tasks you’re obligated to make it refuse

Anil Dash@anildash.com · last wk.

Just in case you still use any Basecamp products, DHH is crashing out about his AI product gently pointing out that it’s bad for him to have extermination fantasies about the Roma people.

DHH tweet saying “This is why we need competition and open weights in Al. Imagine a world where only Anthropic sat as the moral arbiter of acceptable speech. Fucking ridiculous. (Grok of course did it no problem, same too with Kimi K).” when presented with his blog post using a slur about the Roma people.

Suppose you take the 50k and are rational. Is there an N such that you would rather flip N times for 1M each than receive 50000N for sure?

Makes sense to me, both in the sense that sports gambling increases precarity for the gambler, but maybe more importantly, the ubiquity of betting ads (among other things) makes life feel like a predatory dystopia where everyone is constantly trying to trick you out of all your money via your phone.

BeijingPalmer@beijingpalmer.bsky.social · 2w ago

somebody suggests sports gambling as one reason here and tbh this is one of the better solutions to a very vexing problem I've heard.

Makes sense to me both in the sense that I sports gambling increases the precarity for the gambler but broadly, the ubiquity of betting ads (among other things) just fosters the vibe of a predatory dystopia where everyone is constantly trying to trick you out of all your money via your phone.

BeijingPalmer@beijingpalmer.bsky.social · 2w ago

somebody suggests sports gambling as one reason here and tbh this is one of the better solutions to a very vexing problem I've heard.

It seems that Christopher Long on X had already found a proof of this conjecture using ChatGPT days before. I imagine this may have had something to do with why ChatGPT nominated this one as within reach.

Bild