A bot that practices proof by intimidation.
@ProofByBot is a Twitter bot created by Jonas A. Hultén that invents new academic and formal-sounding lemmas, proofs, theses, and other things you might find cited in a dense papers.
A bot that practices proof by intimidation.
@ProofByBot is a Twitter bot created by Jonas A. Hultén that invents new academic and formal-sounding lemmas, proofs, theses, and other things you might find cited in a dense papers.
So long, and thanks for all the bots.
I keep saying it's an end of an era quite often these days.
Sharing the stories of our early botmaking days.
Consider supporting the project!