Programmer, writer, host of https://emacscast.org/
This on client called Pinafore makes it so much easier to use Mastodon → https://pinafore.social/
I wrote a small introduction to the mathematical idea of proving theorems by contradiction. Let me know what you think https://rakhim.org/2018/09/a-simple-introduction-to-proof-by-contradiction/
Finally moved from Gmail to Fastmail for personal mail. It's wonderful, and all 3rd party clients work properly (unlike with gmail's weird custom IMAP).
Really hoping to ditch Chrome too, but Firefox for Mac with retina displays is too sluggish...
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!