does anyone have an exceptionally funny movie from the last ~10 years to recommend? friends and family in the USA are going to need something to distract from the election tomorrow night 

 the satire in "Knives Out" was not subtle or merciful but "Glass Onion" is so much more brutal.... "Birdie... please tell me you did not think sweatshops are where they make sweatpants." 

 it’s a beautiful day in the neighborhood

https://files.mastodon.social/media_attachments/files/111/179/838/922/070/126/original/0ef3fe1171badafc.jpeg 

 did you ever do the thing where you’re making soup and you start with a sensible amount of stock and start adding ingredients and then all of a sudden

https://files.mastodon.social/media_attachments/files/111/156/874/171/136/974/original/d68758f1b10edcaf.jpeg 

 dimensional analysis is one of the great intellectual loves of my life; when I was in school it sometimes simplified things so much that it felt like I was cheating. later, as a professional computer scientist, the parallels with type-checking became obvious and super fun.

anyhow this old Terrence Tao piece goes into the formal underpinnings of dimensional analysis -- luckily we don't need to care about this stuff to use it in practice!

https://terrytao.wordpress.com/2012/12/29/a-mathematical-formalisation-of-dimensional-analysis/ 

 life-affirming reddit content

https://files.mastodon.social/media_attachments/files/111/061/757/470/514/037/original/b63a83d94f310ad5.png