Rolph Recto

computer

[Rolph Recto @rolphrecto]

@krismicinski we can't let people know about the One Weird Trick

[Rolph Recto @rolphrecto]

@pmddomingos what's a symbol

[Rolph Recto @rolphrecto]

@dlbydq a lot of people don't doubt the technology just the financing

[Rolph Recto @rolphrecto]

@doenges_cs I'm just wondering which OAI employee proposed this problem lol

[Rolph Recto @rolphrecto]

@krismicinski @awsTO I think when people hear "formal verification" they assume proving correctness not finding bugs

[Rolph Recto @rolphrecto]

https://t.co/sXUkJOJ2lO

[Rolph Recto @rolphrecto]

one must imagine the engineers happy

[Rolph Recto @rolphrecto]

@krismicinski He's still right about this one though https://t.co/E2L6mVyGPI

[Rolph Recto @rolphrecto]

@dlbydq @mattparlmer it’s 内卷

[Rolph Recto @rolphrecto]

thinking about how the most enduring catchphrases of the English language in recent memory have come from Donald Trump and Claude

[Rolph Recto @rolphrecto]

@ChaosEmergent @Anoyroyc @TheStalwart the bitter lesson avant la lettre

[Rolph Recto @rolphrecto]

@dosco I don't like the fact that the combinators were fixed and just looked up by the model, it's not bitter lesson pilled. should be learned imo

[Rolph Recto @rolphrecto]

@krismicinski the library problem, meaning computing summaries for library methods called in an application?

[Rolph Recto @rolphrecto]

@neocentrist @phl43 https://t.co/6vZsy7kUD0

[Rolph Recto @rolphrecto]

@neocentrist @phl43 same thing

[Rolph Recto @rolphrecto]

Dario Amodei does not want China, ruled by a Leninist party-state, to control AI. Instead, he wants the AI revolution to be lead by a small group of responsible professionals like him and his coworkers at Anthropic. A vanguard, if you will.

[banteg @banteg]

doing delayed/limited releases would play exactly into anthropic’s hand. their wet dream is heavy govt regulation that would lock in the existing big labs and make it impossible for new contenders to even try.