aron @adler.dev · Jul 11 uhh i just noticed one of the authors is called david BINDER? nominative determinism strikes again i guess?
8 likes 2 replies
?
Replies
the other author is literally called lean computer science is not a serious field
Lean and Binder lol