raver1975

raver1975

It looks like you really fucked up tying you shorts though. Don't mind me, I dum dum

raver1975

I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/

raver1975

2 months agodiscuss

WTF is a Googlebook? "Hey buddy, you got a little googlebook hanging out of your nose, a little nasty looking googlebook. Don't eat it, that's so gross!"

raver1975

6 months agodiscuss

I can factor 83% of integers by dividing by 2 or 3

raver1975

8 months agodiscuss

I am going to name my first egg baby Llmon

raver1975

8 months agodiscuss

I wish I could use it to recompile itself

Submissions

[untitled]

comments