Thanks, that was a great listen

I know of a Tobias who ended up working as an analyst-therapist before switching to a successful acting career.

What

The Spotify office had an Anders of the week.

A quick search in Norway's bureau of statistics shows that Anders had a big bump between about 1975 and 2000, peaking about 1985, when about 1.5% of boys were named Anders. I believe it was a top ten name that entire period. I don't have stats for Denmark where Hejlsberg is from, but I don't think the name is any rarer there.

There are a lot of developers in that generation.

Tobias is a less popular name overall, but had a much sharper spike around 2000. 1.5% of Norwegian boys born in 2003, the peak year, were named Tobias.

Those guys should be the just entering the workforce about now.