Gavin Zhao @[email protected]

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

家人同事還離不開 LINE，有些朋友只能靠 IG 私訊才能聯絡，甚至還有人在台灣彼此用 WeChat 聊天？把這篇快速懶人包傳給他們，說明為何 開源通訊 App 才是真正長久安心的選擇。

https://www.tomfichtner.com/article/zh/liu-ge-lianluo-fangshi-ba/

#privacy #opensource #e2ee #signal #fediverse #whatsapp #telegram #instagram #facebook #meta #boycottmeta #line #wechat #隱私 #開源 #加密

@adrian oh but they don’t need the tech talent pipeline anymore, remember? they have AI and armies of vibe coders now