tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.
Are there any plans to filter by language? What will happen when people start posting in several languages? #meta
I wonder if it's okay to keep posting in Japanese here.
I get the feeling the site creator wants this to be a place where speakers of various languages can talk together.
&1045
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
Returned after a ride on bikes around the lake with the boy. Did stop for workout, ๐๏ธโโ๏ธ did pull-ups, push-ups and squats. Love the place we live in.
I'm really interested to play around with textlog for a bit. I miss the space that once was Twitter and its constraints. Let's see if we find any #NixOSnotesfollow users here ... ;)
Regular photos are so outdated, everyone knows that
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
"Everything worth doing is worth doing badly."
Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection. #philosophynotesfollow#lifenotesfollow