The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude! Huge thanks to @ojoshe, @kleddamag, @wand_125, @guzhou0806, and @ctjlewis for aiding in the process.
Image credit: https://t.co/2oUaPKe2Hz
1/n
Here's how I go into all my meetings prepared without digging through a bunch of tabs.
Normally, I have to go through past meetings, maybe meetings happened without me, Slack messages, emails to remember what we talked about and what still needs to get done in this meeting.
Now,@OpenTag does all the, all that work for me!