Tootfinder

So I have to live in a police state because full grown men who are scared to ride the subway in broad daylight hate the fact that their Uber driver speaks Spanish?
https://bsky.app/profile/sophiethebear.bsky.social/post/3lqidgo3tkc2v

Definitely not under the radar in Toronto, I see their logo everywhere, both on restaurants and drivers.
Didn’t know it was a delivery app from Vancouver
#fantuan #buycanadian

This https://arxiv.org/abs/2501.08249 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Verifying Device Drivers with Pancake
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant driver has been verified for a non-trivial device. We propose Pancake, an imperative language for systems programming that features a well-defined and verification-friendly semantics. Leveraging the verified compiler backend of the CakeML functional language, we develop a compiler for Pancake that guarantees that the b…

Major Mergers Mean Major Offset: Drivers of Intrinsic Scatter in The $M_{GCS}-M_h$ Scaling Relation for Massive Elliptical Galaxies
Veronika Dornan, William E. Harris
https://arxiv.org/abs/2505.24154

Major Mergers Mean Major Offset: Drivers of Intrinsic Scatter in The $M_{GCS}-M_h$ Scaling Relation for Massive Elliptical Galaxies
In this work we determine the total globular cluster (GC) counts and globular cluster system (GCS) total mass estimates for 27 extremely massive elliptical galaxies. The GC 2D spatial distributions of these galaxies were created from photometry of HST images using DOLPHOT in the near-IR wavelength range. The projected radial density profiles of these GCSs were determined using a Voronoi tessellation-based technique introduced in our previous paper. We then plot these galaxies on the GCS - halo …

#Melbourne peeking through the eucalyptus trees of Yarra Bend, from today’s bike ride #cycling #straya

RIVM rioolwaarden update.
Met vandaag weer een stevige stijging in deze (zo lijkt het nu toch echt) 16e golf, het gewogen gemiddelde is de 200 inmiddels ruim voorbij en zit rond de 220.
Twee nieuwe dagen in de data slechts (ik had drie verwacht vanwege afgelopen vrijdag geen data): 26 en 27 mei, met 40% en 30% van de meetstations. Maar wel veel extra data van de dagen daarvoor.
#qp2t

Microsoft is now allowing developers to sign up for a private preview of what it calls the Windows Update orchestration platform, that will enable Windows Update to support any update for apps or drivers in the future.
https://www.theverge.com/news/675446/micro

Microsoft wants Windows Update to handle all apps
Microsoft is starting to open up Windows Update to third-party apps. A new preview is designed to let any app developer use Windows Update.

In April Todd Lyons,
the acting director of Immigration and Customs Enforcement (ice),
lamented that it takes too long to deport illegal immigrants.
At the Border Security Expo in Phoenix he told a crowd of startup bosses vying for government contracts that a better deportation system would function more like Amazon, the tech giant whose delivery drivers zigzag the country at record speed.
“Like Prime, but with human beings,” he said.

America’s immigration detention centres are at capacity
A visit to the second biggest, in Georgia, shows what that looks like

I fully believe this is a true story. Another part of this plan would undoubtedly have protected one’s verified status from being visible in any way to any other users, to avoid verified users getting harassed for their superior status. https://vmst.io/@vmstan/114560478536939857

Sources: Elon Musk is pushing lawmakers to help clear a path for driverless vehicles and has been weighing in on revisions of a bill on autonomous vehicles (Bloomberg)