9gagceo

You're right, but a lot of people do use third-party apps on their mobile phones since the official Reddit app is crap. From what I've read, third-party apps are also the only way for moderators to perform while they're away from their desktops since the official app is extremely limited in that regard.

Even on desktop, a lot users and mods use Reddit Enhancement Suite (RES) [0] because the "default" Reddit is crap too, lol. I'm sure other HN users would also be using the "old" version of reddit, old.reddit.com [1] since it still performs better somehow. RES has also mentioned that it should continue working fine, but they're not entirely sure about it either. [2]

[0]: https://redditenhancementsuite.com/

[1]: https://old.reddit.com/

[2]: https://www.reddit.com/r/RESAnnouncements/comments/141hyv3/a...

FWIW there is an ongoing PhD scholarship for researching and developing a type system powered by set-theoretic types for Elixir. [0]

[0]: https://twitter.com/josevalim/status/1535008937640181760

FWIW WhatsApp didn't have Android -> iOS migration for the longest time, but was introduced earlier this year