Merry Christmas and a happy, healthy and prosperous 2022 to all!
There have not been many changes to dexter in 2021, but overall it has been a happy year, professionally, and we have many ideas for the near future. dexter is known in 145 countries now. It has taken 5 months to get from 140 to 145, so it may be a while until the next increase.
Prize question: which density function approximates best the unique shape of Dexter’s ear?