Programmer, writer, host of https://emacscast.org/
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...
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!