Projects/

Theorem Chat Bot

I’m friends with a bunch of nerds, and we choose some unusual services to keep in touch.

For chatting, I run a Matrix server. It’s similar to private offerings from Slack and Discord, but is entirely federated and end-to-end encrypted.

I wrote a bot named Theorem that hangs out in our Matrix server and does some helpful things:

The source code is available on GitHub.

Screenshots

Screenshot of Theorem listing volunteering events

Screenshot of Theorem listing upcoming theater showings