Hacker News new | ask | show | jobs
by eli_gottlieb 4160 days ago
Hey everyone, let's all point and laugh at the primitive still using first-order logic rather than stochastic type theory! What does he think this is, the 1970s? Wake up, bro: a whole century has passed.

</tongue-in-cheek>