i'm begging you, please improve on this, it deserves so much better

this nightmare is brought to you by tiktok's video editor

free meme idea: video of mac in always sunny saying "well through god all things are possible so jot that down" but at "jot that down", his face is replaced by biddy blas's and the voice is replaced with the line "scrib doon" with subtitles translating it to "write that down".

damn these are choice picks, thank you

what's your favorite way to fall asleep

"the most approachable dragons dogma yet!" stfu

Open the ateliers!!

omg noooooo

Some of these Lean proofs are millions of lines long. So what OpenAI is doing is presenting a "result" that may or may not be the same as a huge git repo of Lean files. The paper demonstrates examples of incorrect proofs being "translated" into correct Lean by GPT!

"i wanna get off on mr bones wild ride"

every so often i try to explain to my wife some technical problem i'm wrestling with and it goes so poorly. the amount of set up to even get to the problem statement exhausts me, and then the problem statement is like "it doesn't work", and my solution is "i made it work". what's the point hahaaa 🫩

mary tomieworth

I love moanin’. The album of the same name also

those are sick. one of my favorite parts of ocaml

lisp symbol 'foo !== ruby symbol :foo !== clojure keyword :foo

clojure-ify every language, please. post this online and i'll give it a whirl! but i'm noticing a severe lack of keywords (ie :foo) which is naughty

eg. my obsession with Eternal Strands last year

we gotta return...