Gavin Zhao @[email protected]

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

家人同事還離不開 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

If you've ever struggled with trait/typeclass compiler errors, or if you're interested in better user interfaces for compiler diagnostics, check out our upcoming PLDI paper: "An Interactive Debugger for Rust Trait Errors"

Rust famously has good error messages. But we found that with the right interface, people become ~3x faster at identifying the root cause of a trait error. See our blog post, including a live demo in your browser:

https://cel.cs.brown.edu/blog/an-interactive-debugger-for-rust-trait-errors

The EU is introducing an energy label for phones, together with mandatory requirements for phones sold in the EU;

- 5 years of software updates (AFTER they stop selling the device in the EU)

- providing important hardware parts (during sale and for 7 years after), including free software (if needed), to every repair shop, within 5-10 business days

- batteries have to make 800 charging cycles and still be above 80% original capacity

And on top of that, phones and tablets need this energy label (which also includes a fall damage durability and repairability score), and abide by the above requirements, from 20 June 2025.

(https://energy-efficient-products.ec.europa.eu/product-list/smartphones-and-tablets_en)

Lovely chart of doggie body language by Lili Chin https://www.doggiedrawings.net/

just some seedy #breadposting

Har har yes

(by Instagram user @art_storefronts)
https://www.instagram.com/p/DG3LqmtM64E/