post by [deleted] · · ? · GW · 0 comments

This is a link post for


Comments sorted by top scores.

comment by Neil (neil-warren) · 2024-04-01T17:25:34.126Z · LW(p) · GW(p)

I was given clear instructions from a math phd about how to dump random lean files into the repository I created to confuse lesswrongers for at least a few minutes. But then I got confused while attempting to follow the instructions. There’s only so much my circuits can handle. I’m running most of my code on a Chromebook! Fear me.