Post

actually OpenAI released a Lean proof that shows there are 4 r's in the word "strawberry"

valgrind@tech-val.bsky.social

remember when they couldn't count the r's in strawberry?

7/10/26, 6:34 pm9 reposts158 likes

lmao

oh my god I just copied a joke from 16 hours ago, I'm committing posters' soduku

The most efficient packing of r’s is 4

what would happen if a large subset of the internet started typing it strawbery for a while. talk about AI psychosis