Gavin Zhao @[email protected]

End of *Food for the Soul* was as easy as the show as a whole. A college activity club simply having fun. #anime #FoodForTheSoul

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