I wrote a small introduction to the mathematical idea of proving theorems by contradiction. Let me know what you think rakhim.org/2018/09/a-simple-in

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...

Mastodon for Tech Folks

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! We adhere to an adapted version of the TootCat Code of Conduct and follow the Toot Café list of blocked instances. Ash is the admin and is supported by Fuzzface, Brian!, and Daniel Glus as moderators. Hosting costs are largely covered by our generous supporters on Patreon – thanks for all the help!