Tootfinder

Medien werden in der Google Suche kaum noch gefunden
AI Overview in der Suche und die weiteren KI-Tools von Google sorgen dafür, dass bei vielen Websites der Traffic einbricht. Denn vielfach entfällt durch etwa die KI-Übersichten in der Suche die Notwendigkeit, überhaupt noch eine Website aufzurufen.
Damit droht das Ende des Journalismus und leichtes Spiel für Manipulatoren.
Via #savesocial

Google AI Overview sorgt offenbar für massive Traffic-Einbrüche bei vielen Websites
Über viele Jahre war es eine Symbiose: Die Suchmaschine von Google hat Besucher zu Websites geleitet, die Verlage haben die Inhalte ...

Artificial Light at Night - State of the Science 2025: #LightPollution

AIFoundry invites you to the 2nd edition of the AI Plumbers Conference, a meetup for low-level AI builders who value real conversations over keynote slides and for anyone working in modern data infrastructure, machine learning and open-source software projects. Connect, swap ideas and collaborate, free from the pressure of constant talks.
📅 When: June 15, 2025 – 10 am
📍 Where: GLS Event Campus Berlin, Kastanienallee 82 | 10435 Berlin
Register now:

AI Plumbers conference: 2nd edition · Luma
AIFoundry is bringing you the AI Plumbers Conference: 2nd edition — an open source meetup for low-level AI builders to dive deep into "the plumbing" of modern…

Google to release development tools for Android XR glasses later this year https://skarredghost.com/2025/06/12/android-xr-smartglasses-dev-tools/

Google to release development tools for Android XR glasses later this year
Discover the announcements of Google related to the development tools for AR glasses and smartglasses at AWE 2025.

Series A, Episode 01 - The Way Back
BLAKE: I have to think.
FOSTER: Of course. We'll talk after the meeting.
BLAKE: Hmm.
DEV TARRANT: What do you think?
https://blake.torpidity.net/m/101/89 B7B4

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
https://arxiv.org/abs/2506.09455 …

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Modern verification tools for deep neural networks (DNNs) increasingly rely on abstraction to scale to realistic architectures. In parallel, proof production is becoming a critical requirement for increasing the reliability of DNN verification results. However, current proofproducing verifiers do not support abstraction-based reasoning, creating a gap between scalability and provable guarantees. We address this gap by introducing a novel framework for proof-producing abstraction-based DNN verif…

ContextBuddy: AI-Enhanced Contextual Insights for Security Alert Investigation (Applied to Intrusion Detection)
Ronal Singh, Mohan Baruwal Chhetri, Surya Nepal, Cecile Paris
https://arxiv.org/abs/2506.09365

ContextBuddy: AI-Enhanced Contextual Insights for Security Alert Investigation (Applied to Intrusion Detection)
Modern Security Operations Centres (SOCs) integrate diverse tools, such as SIEM, IDS, and XDR systems, offering rich contextual data, including alert enrichments, flow features, and similar case histories. Yet, analysts must still manually determine which of these contextual cues are most relevant when validating specific alerts. We introduce ContextBuddy, an AI assistant that learns from analysts' prior investigations to help them identify the most relevant context for new alerts. Rather than …

Drove through the Blackwall Tunnel to Greenwich and back to Islington yesterday.
South of the river it's all 30MPH speed limits and everything feels too fast and scary compared to the sedate and pedestrian-friendly 20MPH limits in the north.
Since I last went through it, it seems the Blackwall tunnel has added a toll.
The TFL website for setting up to pay the tolls is absolutely awful. Failed in Librewolf, Failed in Firefox. Failed because VPN. Took me four attempts in three different browsers to get it to take payment card details.
Demands *no* special characters in the password?!? And doesn't even tell you what the specific problem with the password is, just "doesn't meet the rules above"
Uses awful validation questions like "mothers maiden name". Bad enough practice to use them at all, but the "memorable date" question restricts to ddmmyy format so you can't even put in a date from outside this century.
For some reason asks for a PIN and and Password both!? Pointless. Then actually refuses the login form if you supply both!?

Setting up the auto-payment doesn't seem to have covered the charges added to the registration plate yesterday, so had to do the payment-details entering yet again to deal with yesterday's charges.
Email validation message contains the link only in the HTML of the email, not the text version, so viewed in Mutt it has no link.
And this all seems to be separate from the Dartford Crossing charge, which had a less crappy but still pretty crappy signup.
Good god council programmers suck at web-dev.
#driving #london #tfl #blackwallTunnel #greenwich

In #Graz wird diesen Sommer kräftig gebaut.
Nun gibt's offenbar anlässlich der Totalsperre der Tramlinien über die Hauptbrücke weitere Maßnahmen am Kaiser-Franz-Josef-Kai als auch der Erzherzog-Johann-Brücke:
https://…

Kyle Liu is the Head of Engineering at Mercari, a second-hand e-commerce marketplace based in Japan. His team has been using Elastic Search for retrieval and DNN Learning to Rank for ranking for a long time. At #bbuzz, he will discuss how they re-architected their search system in response to developments in deep learning and LLM, and how they successfully convinced internal stakeholders to adopt new…