prescod

Mastodon: ➡️ @[email protected]

[prescod @prescod]

@chier578563 @Martlu12 @mathematics_inc Move 37 was new knowledge. Indisputably. Also Gödel’s theorem has nothing to do with the creativity needed to come up with new knowledge. Gödel’s theorem in no way distinguishes between humans and AI and is therefore irrelevant to this discussion.

[prescod @prescod]

@AllVods @chier578563 @mathematics_inc Serious question: how would you know if you had stumbled across an unprovable statement? Do you mean that you seldom stumble across statements that persistently defy proof?

[prescod @prescod]

@chier578563 @AbrahamOdra @LawrPaulson @mathematics_inc So you claimed that Gödel proved something and when asked to clarify your statement you admit that you have no proof just a “strong indicator”. In other words, you misused Gödel’s work to try and bolster your gut feeling.

[prescod @prescod]

What is happening in the world where Slate and @alex_kirshner can publish a piece about cross-continental travel for “day trips” and not even consider the environmental aspects?

https://t.co/L7ZGv6bJmd

When did we decide that the planet is going to be fine no matter what we do?

[prescod @prescod]

@MatthewBerman It is not true that DeepSeek-R1 cost ~$5M to train. That was DeepSeek-V3

[prescod @prescod]

@MattPrinciple @_MichaelBooth_ @mattyglesias Carney has decided to run with Trump as the main issue. Ford has decided to run with Trump as the main issue. But I guess you know better than their pollsters about what is motivating voters right now.

[prescod @prescod]

@MattPrinciple @_MichaelBooth_ @mattyglesias "But there’s little reason to think that concern ver Trump’s threats would favor the liberals."

Concern over tariffs would support a renowned economist who has navigated two giant crises.

" The Tories here aren’t generally associated with Trump."

Also false. Elon endorsed PP.

[prescod @prescod]

@kimmonismus "We will always find solutions to dangers" is as pure an expression of faith as "God will always protect us from evil."

[prescod @prescod]

So I heard that you can get banned from this bastion of free speech by pointing out that @elonmusk admires Nazis (Trump, in particular). Let's see if that's true.

[prescod @prescod]

@Happyjuss @OpenAI You should ask a Chinese LLM to check your math.

[prescod @prescod]

@skdh What does this mean?
https://t.co/gWjTzwPK7h

Negative amount of time?

[Adam Parkhomenko @AdamParkhomenko]

Can we get 500 retweets on this video of Kamala Harris humiliating Donald Trump on Call Her Daddy

[prescod @prescod]

@xeniosfitness @reah_ai @lmsysorg It's a dynamically changing model called `chatgpt-4o-latest` and not recommended for production use because it can change with no notice.

[prescod @prescod]

@dellbby It seems to be!

[prescod @prescod]

@MIT_CBMM Why did videos disappear?

https://t.co/Tf8rqKixBk

[prescod @prescod]

Congratulations @jasontlantz, https://t.co/r0WrQd4Tw4 looks great! It sounds like you've pulled off some real magic moving Ford/VIIZR to the Produce Development Model. Much more impressive than most case studies I have read.

[prescod @prescod]

@vladov3000 @jartine Ugh...Twitter seems to have swallowed the "https:"

[prescod @prescod]

@vladov3000 @jartine Chrome also visits that site happily.

It's https://t.co/892KbWS3Bm that we're talking about. Try this:

$ wget https://t.co/892KbWS3Bm

ERROR: no certificate subject alternative name matches requested host name ‘https://t.co/amXBcSVOKU’.

[prescod @prescod]

@pcasey0430 @BretWeinstein Surely "talk at you and always right" is the defining characteristic of the Weinstein brothers. @pcasey0430, I think you have a "type".