Lmao.

#ai

me: it doesn’t have a tail so i’m pretty sure it’s a hamster

tech support: okay fine right-click the hamster

Where to next for static race detection? It is really good at verifying lock based patterns now, but that's not enough for verifying real-world programs, which use all sorts of interesting idioms to avoid races (and hence undefined behaviour!)

On Friday afternoon Karoliine Holter is presenting our TOPLAS paper at #PLDI: "Sound Static Data Race Verification for C: Is the Race Lost?" Joint work with my colleagues from Tartu: Karoliine, Simmo Saan, and Vesal Vojdani.

We identified 20 coding idioms to avoid races by separating accesses in time and space; some existing tool can verify 8 of the 20. If you want to verify real world programs you'd better be able to handle these idioms: we show that they do occur in real programs from the Concrat suite.

PDF: https://patricklam.ca/papers/25.toplas.data-race-empirical.pdf

After more than a year of advocacy and a petition, SDOT starts fixing the extra-bumpy crosswalk stripes on Burke-Gilman Trail in Frelard

#SEAbikes #Seattle

https://www.seattlebikeblog.com/2025/06/16/after-more-than-a-year-of-advocacy-and-a-petition-sdot-starts-fixing-the-extra-bumpy-crosswalk-stripes-on-burke-gilman-trail-in-frelard/

Seen among the Flipboard chum, this piece of #AISlop that gets worse the longer you look at it.

#BadMaps #ForTheLoveOfGodJustHireAnIllustrator