May

via Astra Underscore (@astra_underscore@wetdry.world): I feel like some of you Rust freaks might be into this:

Creusot is a tool that helps you formally prove your Rust code is correct. It uses deductive verification to let you write specifications as annotations in your Rust code and then verify them automatically, bringing the power of formal methods to everyday Rust development.

via Den Odell (@denodell@mastodon.social): Some browsers check what site you’re on and render the page differently. Yup, you read that right.

via Organic Maps (@organicmaps@fosstodon.org):

• Tap a bus, tram, train, or ferry stop on the map, and Organic Maps highlights the entire transit line, selectable from the list of displayed lines and routes.
• Cleaner bookmark labels and a more legible map
• Finer map regions across Asia.
• .. and many other improvements in the May update:

I’ve known all of this. And yet …

And yet … it’s still rather unsettling to see it laid out so plainly.

via Miguel de Icaza ᯅ🍉 (@Migueldeicaza@mastodon.social): “You opened this page. It already knows the following.”

Interesting perspective on the experience of being in a place. It’s likely not the same place now as it was when you were last there.

via Terry Godier (@tg@indieweb.social): 📢 New Essay: The Boring Internet

Cute Spanish expression for things going sideways …

via Organic Maps (@organicmaps@fosstodon.org)

Cool hack — turn text into charts with fonts.

via Assaf 🌴 (@assaf@mas.to)

via kottke.org (@kottke@mastodon.social): (The Secret to Success Is ‘Monotasking’)[https://www.theatlantic.com/health/2026/05/monotasking-inside-the-box-excerpt-david-epstein/687015/]. “We find that in ­real‑world work, the more switches in attention a person makes, the lower is their end‑­of‑day assessed productivity.”