The below is an off-site archive of all tweets posted by @texttheater ever

June 11th, 2023

andrew17876 Apple Maps has such a much nicer UI & UX in comparison to Google Maps.

With Apple Maps, I know exactly what stations i’ll be going through, and the lines actually match the real-life signage colours (Orange for the BDFM Lines, Blue for the PATH line)

Meanwhile… Google seems to… twitter.com/i/web/status/1… pic.twitter.com/yu1fVxwioJ

via Twitter for iPhone (retweeted on 11:46 PM, Jun 11th, 2023 via Twitter for Android)

kilinguistics Yup. That may be why branching time is much more intuitive to me than linear time, and I've developed a whole framework about modal semantics on that basis.

ALT text for quote in comment below. Graph from link.springer.com/article/10.100… twitter.com/dustychipura/s… pic.twitter.com/OuDR8l7nIh

via Twitter Web App (retweeted on 8:29 PM, Jun 11th, 2023 via Twitter for Android)

alexvtunzelmann The Unabomber has died. Here is a famously good footnote to him in a mathematics paper.

Citation: Pudwell, Lara. “Digit Reversal without Apology.” Mathematics Magazine, vol. 80, no. 2, 2007, pp. 129–32. JSTOR, jstor.org/stable/27643011. Accessed 10 June 2023. pic.twitter.com/xCwNbMtQmf

via Twitter for iPhone (retweeted on 5:46 PM, Jun 11th, 2023 via Twitter for Android)