Building an In-App Language Picker for 17 Android Languages

A bare literal and an explicitly cast one pick different timezone() overloads, and the result types are opposites. Here is how overload resolution decides, and how to write the cast you mean.

A practical look at one searchable index of POPL, PLDI, ICFP and 20+ other venues: what its numbers imply, how to query it, and the gaps to check before trusting an empty result.

First-round shares of 47% and 45% settled nothing. Here are the offices, counting rules and voter requirements that govern what happens next, and where the data gets awkward.