Tootfinder

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

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 ...

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 …

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://…

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

TissUnet: Improved Extracranial Tissue and Cranium Segmentation for Children through Adulthood
Extracranial tissues visible on brain magnetic resonance imaging (MRI) may hold significant value for characterizing health conditions and clinical decision-making, yet they are rarely quantified. Current tools have not been widely validated, particularly in settings of developing brains or underlying pathology. We present TissUnet, a deep learning model that segments skull bone, subcutaneous fat, and muscle from routine three-dimensional T1-weighted MRI, with or without contrast enhancement. T…

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…