Gavin Zhao @[email protected]

Happy Caturday Mastodon Friends

At the summer cottage, Halla gets the top bunk all to herself

#caturday #summer #cottage #weekendvibes
#photography #cats #finland #fediverse #fujifilm

@apc

For “Beach Episodes” I just have to send in one of my all time favorite pictures of Chika! The way she winks at the camera is making my heart skip a beat!

(First page of chapter 27)

#AniMangaFoundIt #ChikaFujiwara #Kaguyasama

@catsalad Burger King is a good place to get some GRUB.

#animangafoundit @apc There's been some really good shows this season, and I'm enjoying everything I've started. One I almost passed on is my favourite so far- Food For The Soul. Really, mixing PA Works and the writer of Non Non Biyori should have always put this on my radar. It's a simple Cute Girls Doing Cute Things show, but it's a nice change that the girls are in University rather than high school. Cute, fun, and the most laid back comfort food since Yuru Camp
#anime
#FoodForTheSoul

Turned my #zurihac2025 talk on #competitiveprogramming in #Haskell into an expanded blog post:

https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html

@zachleat new captchas just dropped

哈哈哈哈哈

so, uh, if you know someone with $1.5M to burn who wants to bootstrap an ecosystem of high-level languages that compile to hardware, hit up your boy

So who does e-graphs for equality saturation in a real compiler? I want to hear about performance impact both to the compiler and the resulting program. @regehr maybe?

Deep truth

(creator: unknown)

Today's Low Quality Ad is for these Knife-Shaped Cat Toys. Our feline friends are natural-born killers. They need toys to embrace their homicidal urges, or else they will release their pent-up murderous rage on your furniture.
https://www.amazon.com/dp/B0D2VRPMRH?ref=t_ac_view_request_product_image&campaignId=amzn1.campaign.3PLWIAKTOUR0O&linkCode=tr1&tag=connorstone06-20&linkId=amzn1.campaign.3PLWIAKTOUR0O_1744991839543

good god Lisbon airport is very active on GitHub

and they told me the perfect function name didn't exist..

#Haskell #Lens

Hi all! Good news — Google has decided to restore the permissions to our #Android app so we can bring back the full file syncing functionality. Expect a test tonight and final later this or early next week. Thanks a lot for your support, it is what made all the difference!

#PowerOfCommunity

https://arstechnica.com/gadgets/2025/05/nextcloud-accuses-google-of-big-tech-gatekeeping-over-android-app-permissions/

@highergeometer @robinhouston @gjm

Actually, Waksman's algorithm from 1970 [1] allows multiplying two 4x4 matrices over any commutative ring allowing division by 2 using only 46 multiplications.

Maybe DeepMind ought to invent an AI that searches the scientific literature for prior art, to check their own novelty claims before publishing.

[1] https://doi.org/10.1109/T-C.1970.222926

a very special caturday post today

i have this theory that truly great used bookstores all run out of space on the shelves, and end up piling books along the floors of every aisle.

i have this second theory that a bookstore cannot be truly great until it has a store cat.

today, i stopped in the Double Read Book Nook in Edson, alberta - on the trans-canada highway - and now have a third theory: that all great bookstore owners know how to write 6502 assembly language.

this bookstore has been around for about 70 years, hidden away in the basement of an old building on the highway through town.

when i last visited three years ago, the store cat - Max - was only 4 months old and a rambunctious nutsy kitty who chased me around the store for half an hour while the bookstore owner kept apologetically whispering "Max! Stop harassing our customers!" 😆

now, Max is a Big Boy™️ and has his own kittyharness. he follows his catdad around the store, begging for treats which he catches with both front paws, and sticks them straight into his mouth before they can hit the floor.

i got to spend an hour talking with max's dad - Bruce - the new owner of the store. it turns out that he learned 6502 assembly on an Apple ][ in high school, and went on to university-level programming on IBM mainframes before switching careers.

if you happen to find yourself driving to Jasper this summer, stop at the Book Nook. at the very least, you'll find a weird old book - and Max adores any attention he can get.

#books #bookstodon #canada #caturday #alberta #yeg