Show newer
jonoodle :dragnloaf: boosted

PoC author @retr0id published his writeup about how the bug was found, I strongly encourage you to give it a read and a follow: da.vidbuchanan.co.uk/blog/expl

Show thread
jonoodle :dragnloaf: boosted

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 acropalypse.app/

Google still hasn't communicated anything on this.

(h/t ItsSimonTime on Musk's site)

re: Board games 

There would be no point to scoring for points (lol) but I think you could totally play this game singleplayer
It's just fitting puzzle pieces together after all

Show thread

re: Board games 

Played Railroad Ink tonight! I think it's a delight. You get four configurations of tiles over seven turns and you need to slot them together in a way that, uh, typecheck, maximizing your sum over a few metrics. It's also lovely designing a little town and I added trees for commuters to look at while on the road or the train
It's also very funny that when you get computer scientists playing this you suddenly start talking about connected components and mappings from exits to points lol

Show thread

where's my board games thread I have a new fantastic game to add

true adulthood is (but not limited to) having a bath towel and also a backup bath towel for precarious situations

Show thread

I am in the precarious situation where I really need to do laundry but I also haven't taken a shower and it's 11 pm and I have a full day of activities tomorrow lol

Show thread

um. maybe I should have more than one bath towel

after like the three other papers I need to read for various courses and research reasons this weekend lol

Show thread

cat reading newspaper meme I should read joy of abstraction

I was wondering why I didn't apply to more places and then I remembered that I was having a hard enough time picking between SPL and UPenn even

But then no one likes it when I suggest that the Virginiae merge 🙄

Show thread

Carolina? Dakota? I don't care about the ones in the middle. They can do whatever

Show thread

Oregon should just swallow Washington State whole, there's no need for a Washington State

Show thread

You could probably combine all the new england states into Massachusetts and no one would notice. You could also give Maine to New Brunswick and no one would notice either

Show thread

No one's going to care if you convince Pennsylvania and New Jersey. DC is basically just Maryland extended. I often forget about Delaware so we could probably delete it

Show thread

There's too many states on the east coast. I think they should merge some of them

alcohol 

New York, Pennsylvania, New Jersey, Delaware, Maryland, DC, and Virginia are all in the same geographical classification because I could plausibly get to them by train and back

Show thread
Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.