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.
@ProofByBot
More bots
Snowflakes
Procedurally generated snowflakes.
palettegen
A bot that makes color palettes for artists to use.
cubeglobe
Landscapes made out of blocks.
Latest from the blog
Cheap Bots, Done Quick suspended, this time for good
So long, and thanks for all the bots.
Twitter shutting down free access to their API on February 9
I keep saying it's an end of an era quite often these days.
How do folks get into creative botmaking?
Sharing the stories of our early botmaking days.
Enjoying Botwiki?
Consider supporting the project!
