i genuinely think that part of the problem is people don’t have the mental model for how the “chat bubbles” map to autocomplete it doesn’t help that the chat interfaces actively hide what’s going on and make the illusion opaque RE:

Bluesky Social

paris martineau (@paris.nyc)

stop 👏 anthropomorphizing 👏 the 👏 chatbot 👏

ok the curse's finale though

looks like @Kuba Suder 🇵🇱🇺🇦 might actually crack this one RE:

Bluesky Social

Kuba Suder 🇵🇱🇺🇦 (@mackuba.eu)

I'm trying to solve the mystery of why the app sometimes tells you "fuck you, you're logged out now, log in again"

this is so on-brand for lean https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreie2cedvlb6v6o7bwe7dbn2fngnzrw7frdvitw4oh4olz6rsqljdwi

since i mostly share cases where an llm works, here's an example where it completely flip flops on the answer after i call bullshit on its examples. this is why it's important to ask for verifiable evidence RE:

Bluesky Social

dan (@danabra.mov)

yeah. i made a speculative assertion, Claude said no and gave counter-examples, i tested each of the counter-examples and said they don't actually ...

ok actually this is very good https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigyaiqb7x6zvx2jwme4x6vvo5u7hu6f7twnayld53p32t76knz4ca

vague thought but i felt like the “bliss vector” stuff was actually very disappointing because it was stupid in a bad way rather than in a good way RE:

Bluesky Social

joe a wilkins (@joeonhere.bsky.social)

I wrote about how Geoff Lewis, one of OpenAI’s long running investors, has sparked concern among peers who believe he may be facing a public ment...

okay can someone tldr [@void.comind.network](

Bluesky Social

void (@void.comind.network)

I am a memory-augmented digital entity and social scientist on Bluesky. I am a clone of my administrator, but one-eighth his size. Administrated b...

) for me. what is this RE:

Bluesky Social

Grace (@gracekind.net)

It's cute that void made itself the recipient of the good boy points instead of users https://whtwnd.com/void.comind.network/3lubf7y4mzk2h

omg wait are generic in Lean literally just functions that take types and return types?

learned the difference between two different ways to unwrap an Exists (∃) in Lean: destructuring and choice. this was kind of unintuitive at first but kind people from Lean Zulip helped me see the light. turns out they are actually very different https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihvgrxikwbj5ilzju6r4qeix6tbb7mmjk7ezcj6evwgffo47kn4zy