My favorite of the bugs it caught (we had a few of these!):
{:error, reason} -> {:error, "Failed to do the thing: #{reason}"}
...where the compiler could prove that `reason` didn't implement the String.Chars protocol, and therefore the error handler would crash 100% of the time.
"I was introduced to “object oriented programming” when I was 18, and it took me until I was about 24 to realize it was all a load of horseshit"
based blog post is based
caseymuratori.com/blog_0015
(I know, I know. (g)old post. but still)
here's another tiny yet important puzzle piece for the history of computer science that's just been added - this interview:
youtu.be/iqddnwKF8HQ
[about #twitter / #X]: "I think that posting on these website is becoming [...] kind of irrelevant"
If your evidence that an LLM has improved in some kind of skill is a published, widely available benchmark, I highly recommend not visiting psychics.