Clamping into a triangle, going into a triangle, going out of a triangle, going insane, going cuckoo, eating a printed copy of IEEE 754-2008 with ketchup
Datalог
I'm starting to feel like it's a few months away now, y'know?
Because I don't want this only languishing in the appendix of a paper on a mostly unrelated matter, here's a cute 1-pager of a theorem I proved a few years ago
I fought Poe’s law and the law won
AI bug reports went from junk to legit overnight, says Linux kernel czar
