258 followers
@MattLuckcuck @arxiv At least you've succeeded in making me feel stupid for not trying this in 2009 instead of generating assertions in the code when we did https://t.co/NQ52hTL411 and its friends.
@MattLuckcuck @arxiv At least you've succeeded in making me feel stupid for not trying this in 2009 instead of generating assertions in the code when we did https://t.co/NQ52hTL411 and its friends.