for the last few years, i have been working mostly around pure mathematics. i am still a beginner mathematically, but i’ve learned how to work with mathematicians and engineers: where to look, who to talk to, and which problems are worth attacking first my real passion is applied mathematics. beyond differential equations and fractals, one of the areas i find most fascinating is extreme value theory (EVT) i have been formalizing a large part of EVT in lean 4 @leanprover i am now starting to use that foundation to work on open problems! repo:

Top auto import into China thru September. Lexus is far & away the top brand. Lexus ES, RX & NX are 3 of the top 4 models to be imported. China has imported > 100k Lexus, >56k Benz & ~32k BMW + ~20k of Landrover & Porsche each so far. Most of Benz & BMW sales in China are local production