Dan Sandler

658 Followers
150 Following
99 Posts
System UI: the beautiful face of Android™
websitehttp://dsandler.org
workhttps://android.com
main mastodon instancehttps://mastodon.social/@dsandler

Another release, another platform logo full of little easter eggs:

https://android-developers.googleblog.com/2026/02/the-first-beta-of-android-17.html

Now that I'm helping my kid with her physics homework, it's handy to be able to type some basic math symbols on my phone, thanks to this:

https://github.com/DenverCoder1/latex-gboard-dictionary

It's a list of mappings from TeX-style symbol notations to Unicode that you can import as a personal dictionary into Gboard, which will then suggest the actual symbol ∞ when you type \inf and the like

GitHub - DenverCoder1/latex-gboard-dictionary: ⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX

⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX - DenverCoder1/latex-gboard-dictionary

GitHub

Today is the 30th anniversary of the release of Macintosh System 7.5.

It was a fun project, the people involved were a pleasure to work with, many of whom are still friends today.

The infamous MacUser Eddy award-winning “System 7.5 Sucks Less” t-shirts even had their 15m of fame.

To our surprise, it seems that one of the easter eggs we hid in that release still has not been discovered.

Occasionally I need to call someone on the phone to test something. I don't know why I never thought of this until now

Now that #Android15 has been pushed to AOSP, I can show you a small detail in the updated easter egg:

As an homage to our new code-flagging system, the lander now plants a cute little flag wherever it lands. But as you can see, this new-flag feature is itself implemented behind a feature flag! It's called FlagFlag:

https://cs.android.com/android/_/android/platform/frameworks/base/+/642017c9f16fdcb63b4411a7ef3e147697440f5f

So, with yesterday's launch, the lander landing-flag flag launch has landed.

Just wanted to flag that.

well, not quite yet