Tootfinder

Uh, World Bank, solar?
World Bank Lifts Ban on Nuclear Power, Considers Upstream Gas | Financial Post
https://financialpost.com/pmn/business-pmn/world-bank-lifts-ban-on-nuclear-power-considers-upstream-gas

Adobe reports Q2 revenue up 11% YoY to $5.87B, vs. $5.8B est., Digital Media revenue up 11% to $4.35B, and forecasts Q3 revenue above estimates (Brody Ford/Bloomberg)
https://www.bloomberg.com/news/articles/2025-06-12/ado…

Adobe Posts Strong Outlook, Touting Traction for AI Tools
Adobe Inc. gave a strong sales outlook for the current quarter, quieting investor anxieties that the leader in creative software is falling behind in a competition with AI-focused upstarts.

Tubi announces plans to distribute 20 films funded on Kickstarter, starting in the fall, and to invest in Kickstarter's FilmStream Collective Fund (Charles Pulliam-Moore/The Verge)
https://www.theverge.com/news/684374/tubi-kickstarter-initiative

Kickstarter-funded films are coming to Tubi
Tubi and Kickstarter are partnering to bring a selection of crowdfunded movies to the upstart streamer.

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian Huang, Ayana Monroe, Peli de Halleux, Sorin Lerner, Nikolaj Bj{\o}rner
https://arxiv.org/abs/2506.08294

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically using SMT solvers. Despite its importance in many Computer Science disciplines, resources for teaching and learning logic modeling are scarce and scattered, and challenges remain in designing educational environments for logic modeling that are accessible and meet the needs of teachers and students. This paper explor…

How to prepare for a 8h train ride: go running.
Now of to Prague to #FlockToFedora; looking forward to meet a lot of old friends there and make new ones.
Ohh, and I give a talk there, too: When and how to use upstream Linux kernels to fix or improve Fedora –

Based on the replies, maybe ICE leadership is really just upset that people are so focused on the Gestapo and are neglecting the SS and the Brownshirts.

Toward Low-Altitude Airspace Management and UAV Operations: Requirements, Architecture and Enabling Technologies
Guiyang Luo, Jinglin Li, Qixun Zhang, Zhiyong Feng, Quan Yuan, Yijing Lin, Hui Zhang, Nan Cheng, Ping Zhang
https://arxiv.org/abs/2506.08579

Toward Low-Altitude Airspace Management and UAV Operations: Requirements, Architecture and Enabling Technologies
The low-altitude economy (LAE) is rapidly advancing toward intelligence, connectivity, and coordination, bringing new challenges in dynamic airspace management, unmanned aerial vehicle (UAV) operation, and security management. Existing systems remain fragmented and lack effective coordination. To bridge these gaps, we propose UTICN (Ubiquitous and Trusted Intelligent Cellular-native Network) for LAE, a unified cellular-native architecture that integrates multi-domain sensing, high-precision pos…

« Skulle det uppstå behov av konsulärt stöd så kommer ambassaden och UD att bedöma hur vi på bästa sätt kan hjälpa den svenska medborgaren Greta Thunberg att lösa sin situation. »
UD
#Gaza #freedomflotilla
https://

Uppgifter: Thunbergs fartyg bordat av Israel
Aktivisterna – däribland Greta Thunberg – som är på ett fartyg på väg till Gaza uppger att israeliska styrkor har bordat fartyget,

Strain dependent viscous response describes the mechanics of cohesionless soft granular materials
Chandan Shakya, Luca Placidi, Anil Misra, Lars Kool, Anke Lindner, Jasper van der Gucht, Joshua A. Dijksman
https://arxiv.org/abs/2506.08855

Strain dependent viscous response describes the mechanics of cohesionless soft granular materials
Granular materials are ubiquitous in nature and are used extensively in daily life and in industry. The modeling of these materials remains challenging; therefore, finding models with acceptable predictive accuracy that at the same time also reflect the complexity of the granular dynamics is a central research theme in the field. Soft particle packings present additional modeling challenges, as it has become clear that soft particles also have particle-level relaxation timescales that affect th…