Yes but did you know about the yoga pose button

i still don't know what that meant

The feature name is "linked data types", under the "data" tab. Put, say, "downward dog" into a cell and click the "yoga" linked data type.

There's other, more useful data types, like cities and ZIP codes and stocks, I just listed the yoga one because it's the funniest.

Perhaps there are time zone differences, but it's not 2023 yet where I am =)

haha good point, but I can't see those data types?

It's the learn TLA+ person :) Awesome to hear he is exploring Excel. Is that the manual version of crunching models for formal consistency?

Management science is all about modeling stuff in Excel and using solvers. Imagine if somehow we could meld the robustness of TLA+ with the immediacy of an in-built macro-lang, ubiquitously installed .exe that is the spreadsheet.

Future sprint planning days: everyone prototypes in the spreadsheet! No one estimates until the rules and formulae make sense.

XKCD 1053 is relevant here. You and I knew it, but there are going to be lots of people who learn about it for the first time today, and that's a net positive.

https://xkcd.com/1053/ (to make a link available)

HN still accepts new accounts. It's not an exclusive club for old people.

Even beyond that, stories have been repeating here since the beginning. Not everyone has the same life experiences, and not everyone checks HN at the same time.

I didn’t know about named ranges, and think it’s pretty cool. Of course, when I thought of places where I could apply them I realized that by the time I use enough Excel to use named ranges, I should probably switch to a real programming language.