Tootfinder

iPhone Air teardown: clever use of space by placing the logic board above the 12.26 Wh battery, the same cell used in Apple's MagSafe Battery pack, and more (Elizabeth Chamberlain/iFixit News)
https://www.ifixit.com/News/113171/iphone-air-teardown

Apple’s Thinnest iPhone Still Stands Up to Repairs
To be honest, we were holding our breath for the iPhone Air. Thinner usually means flimsier, harder to fix, and more glued-down parts. But the iPhone Air proves…

The similarity to the climate crisis is amazing - robust scientific research has identified a serious, life threatening problem - as well as what is needed to address that problem. But $€₱₹¥£ are flowing from customers who are unaware of the problem, and are seduced by marketing messages - in movies, TV shows, social media, and explicit advertisements. And there is huge profit from practices that are already resulting in injuries, illnesses and death, as well as economic losses. And

The similarity to the climate crisis is amazing - robust scientific research has identified a serious, life threatening problem - as well as what is needed to address that problem. But $€₱₹¥£ are flowing from customers who are unaware of the problem, and are seduced by marketing messages - in movies, TV shows, social media, and explicit advertisements. And there is huge profit from practices that are already resulting in injuries, illnesses and death, as well as economic losses. And

Homomorphism Calculus for User-Defined Aggregations
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Isil Dillig
https://arxiv.org/abs/2508.15109 https://

Homomorphism Calculus for User-Defined Aggregations
Data processing frameworks like Apache Spark and Flink provide built-in support for user-defined aggregation functions (UDAFs), enabling the integration of domain-specific logic. However, for these frameworks to support \emph{efficient} UDAF execution, the function needs to satisfy a \emph{homomorphism property}, which ensures that partial results from independent computations can be merged correctly. Motivated by this problem, this paper introduces a novel \emph{homomorphism calculus} that can…

You Don't Know Until You Click:Automated GUI Testing for Production-Ready Software Evaluation
Yutong Bian, Xianhao Lin, Yupeng Xie, Tianyang Liu, Mingchen Zhuge, Siyuan Lu, Haoming Tang, Jinlin Wang, Jiayi Zhang, Jiaqi Chen, Xiangru Tang, Yongxin Ni, Sirui Hong, Chenglin Wu
https://arxiv.org/abs/2508.14104

You Don't Know Until You Click:Automated GUI Testing for Production-Ready Software Evaluation
Large Language Models (LLMs) and code agents in software development are rapidly evolving from generating isolated code snippets to producing full-fledged software applications with graphical interfaces, interactive logic, and dynamic behaviors. However, current benchmarks fall short in evaluating such production-ready software, as they often rely on static checks or binary pass/fail scripts, failing to capture the interactive behaviors and runtime dynamics that define real-world usability - qu…

Filling in the semantics for intuitionistic conditional logic
Brendan Dufty, Jim de Groot
https://arxiv.org/abs/2508.11972 https://arxiv.org/pdf/2508.11972…

Filling in the semantics for intuitionistic conditional logic
We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a duality to transfer algebraic completeness to completeness with respect to conditional Esakia spaces, a topologised version of a conditional Kripke frame. We then use so-called fill-ins to obtain completeness results with respect to classes conditional of Kripke frames. The fill-ins close the gap between conditional Esakia spaces, which do not have a canonical underlying frame, and c…

Juristische Auseinandersetzung mit der Eilentscheidung des Oberverwaltungsgerichts zur #RüttenscheiderStraße in #Essen und den erkannten Gestaltungsräumen von @…

OVG Münster: Flankierende Maßnahmen ermöglichen Fahrradstraße - Recht energisch
Juristen sind sehr an Texten orien­tiert. Dabei sagt ein Bild oft mehr als tausend Worte. Insbe­sondere dann, wenn es darum […]

"As trading activity spiked on [#Crypto] exchanges and prices whipsawed, multiple centralized platforms suffered glitches. Binance’s site went completely down at one point, and customers reported unexplained account freezes, unsuccessful trades, and automated protections like stop-losses failing to trigger"
Again, of course. People build crypto exchanges because they want to get ric…

Anatomy of a crypto meltdown
October 2025 brought the most dramatic crypto flash crash of all time, but it was only a dress rehearsal for the systemic crisis the industry is building toward.

Three-year Program in Logic and Debate. The Art of Reasoning in the Nālandā Tradition
https://ift.tt/3CWcwr9
University of Alaska - Fairbanks - Alaska & Polar Regions Area Studies Bibliographer & Curator of…
via Input 4 RELCFP

Robert Redford's Sundance Film Festival transformed how Hollywood does business, creating a pipeline for independent films to be shown around the world (Lukas I. Alpert/MarketWatch)
https://www.morningstar.com/news/marketwat