6:30 to go. my spaghetti has come back to bite me in the ass (already). i am stopping for lunch now
herculean, heroic, other h-adjectives that mean of daunting size and commanding respect for having been undertaken
after yesterday's scare i'm back on the grind. today: getting the annotated printing PR mergeable and merging @totbwf's herculean rewrite of everything co/limit for the 1lab
doctor seems to think it's just dietary which is gonna be really "funny" when her bp is 21 over 16 again
CVE-2023-21036 / acropalypse is absolutely bonkers.
Apparently for 5+ years the cropping / editing tools for screenshots on Google Pixel phones was only overwriting the start of the screenshot PNG file, but not truncating.
All screenshots shared for the past 5+ years might have data recoverable from them. Demo available at https://acropalypse.app/
Google still hasn't communicated anything on this.
(h/t ItsSimonTime on Musk's site)
Student of homotopy type theory and (higher) category theory (this account adheres to the implicit ∞-category convention).
I help maintain Agda Γ ⊢ 🐔, maintain the 1Lab 🧊🔬, and very occasionally write on my blog 👩🏫✍️