Pope Leo XIV today lamented light pollution, telling Vatican Observatory Foundation Board members "we have filled our skies with man-made light that blinds us to the lights God has placed there", evoking the words of his immediate predecessor.
Transcript: https://www.vatican.va/content/leo-xiv/en/speeches/2026/may/documents/20260511-vof.html
To help protect Signal users from phishing and social engineering attacks, we’ve introduced additional confirmations and educational messaging in the app to help people better detect fraudulent profiles, especially message requests from scammers posing as Signal.
More changes are on the way.
First thunderstorm of the season incoming! Wooo!!
The thunderstorm is making it quite dark, and the cats are both very very convinced that they need dinner 2 hours early because of this.
("Look how important light exposure is!!" Says my brain after talking way too much to lots of light pollution experts)
starts off with an atomic truthnuke
Even assuming sequential consistency, concurrent program verification is a highly challenging problem, since one must account for the myriad interleavings of threads.
this does sound confusing to me though for two reasons:
"myriad" scientific term for a large number such as certainly at least 2
RE: https://hachyderm.io/@skinnylatte/116558145727389693
Every woman is reading this right now going “sounds about right.”
@jonny did you see that flyingpenguin post, or bagders post from today?
@Viss no but i shall search (not being in the scene i don't recognize those names but i love them both)
🤑 A user on X just managed to trick Grok and Bankrbot into sending around $200K in free tokens. The message that bypassed the AI safety was written in Morse code, making it easily readable only to the bots. https://www.cryptopolitan.com/user-tricked-grok-bankrbot-to-send-tokens/
@Viss as someone outside of security world, can u point me to some stuff on the mythos hype/who should have been a collaborator but wasn't? i have mostly only been able to find... AI slop about the AI slop
@jonny did you see that flyingpenguin post, or bagders post from today?
wow if only bluepy.mosphere.at had @leaflet.pub@bsky.brid.gy support via @standard.site@bsky.brid.gy
„Mastodon ist das Fediverse.
Friendica nutzt kein Mensch.
Alttexte kann man weglassen.
Das Fediverse hat keine Reichweite.“
Warum schreibe ich das? Weil ich mir manchmal wünschen würde, dass nicht immer die paar selben Menschen sich sofort provoziert fühlen und Menschen, die hier neu ankommen mit Belehrungen vergraulen.
Einfach mal aushalten üben. Entdecken lassen. Ne Chance geben. Ignorieren. Loslassen. Durchatmen.
Das Fediverse wird nicht schöner, wenn man sagen kann, ich hatte recht. 🤓
@Sascha Mit dem letzten hattest du mich nah dran ;)
ok this paper by aaron turon et al is cool as shit though https://plv.mpi-sws.org/gps/paper.pdf oh i'm so glad he's for real so refreshing
ok this paper by aaron turon et al is cool as shit though https://plv.mpi-sws.org/gps/paper.pdf oh i'm so glad he's for real so refreshing
starts off with an atomic truthnuke
Even assuming sequential consistency, concurrent program verification is a highly challenging problem, since one must account for the myriad interleavings of threads.
this does sound confusing to me though for two reasons:
Them: what kind of music do you listen to?
Me: anything where there's clearly a train in the background and there wasn't really anything they could do about it.
@jenniferplusplus A marketing term, used for a bucket that includes mostly LLMs and also things like image and audio models these days.
@seldo part of why I ask is that you seem to be answering questions premised on the things in the bucket, not the marketing term
Which just adds to the ambiguity
The nice thing about AI is you can blame all your breaches on it and everyone's like oh okay that tracks.
"On May 5, 2026, Community Bank discovered an internal incident involving the handling of non-public customer information through an unauthorized AI-based software application."
Sorry, the app encountered an unexpected error
Install bonfire.cafe
Get the full app experience
