if a producer says something in a meeting you can just say "I just merge the PRs buddy". what can they say to that

I suppose the silver lining if you work at Epic is that you can tell claude to do 100% of your job while you look for other work. it's not like your manager can complain if they don't like claude's output

it feels like if a tech 1. has already been around for years, 2. is touted as drastically cutting down on the required time and effort to get results, it shouldn't be the case that you're *delaying* games to "pivot" to using it

It’s reasonable that we focus on cases where chatbots push people to do violent things or self harm. But one has to wonder how many cases like these, where someone goes into debt buying tokens to support their “genius” startup idea, there are. Is this essentially OAI running a pig butchering scam?

"I'm too smart to have my brain pickled by the X algorithm" is exactly the kind of thinking that leads to getting your brain pickled by the X algorithm

I wrote about the Interactive Fiction Competition for Remap!

I had looked at X bc it was the place a handful of trans women posted about a local who died & every single one of them was ratioed > 3:1 by racist cartoons about troon suicide. But you can follow more AI positivists without getting busted on as much so in conclusion i think X is a land of contrasts

it's the scariest time of year because this is when you start hearing the panic attack-inducing word ("december")

it can only be good for bluesky that about 23% of all conversation on here is about twitter, and climbing

so cheerful and inclusive!!!

basically no one on here has an information environment that would pass basic hygiene standards comparable to like a restaurant

100% of the blame there goes to React

i didn't hear about that one

this kind of diagram but analyzing the relationships between morphisms like "snuff", "birth", "unbirth", "vore", "necromancy", etc

is "reverse snuff" birth or necromancy, greatest thread in the history of forums, closed after 20,000 pages of heated debate

if you want to modernize carrie white then she is not a pretty, misunderstood quiet girl. what she is is a "lolcow", a girl who does not fit in and is seen as a bit grotesque and is systematically provoked until she breaks, with a goal of milking her for content.

Like imagine if everyone goes "well okay we don't really understand why but the code compiles so I guess the Riemann hypothesis is true" and it turns out that's not even valid either.

So without extensive manual checking, it's not definitely not possible to know that the Lean proofs say the things that the papers are saying. And accepting just the face-value meaning of Lean theorems probably carries some nonzero risk of catastrophic error.