Tootfinder

Xbox-Entlassungen: Microsoft stellt Spiele von Rare und The Initiative ein
Allmählich zeichnet sich das Ausmaß der Entlassungen bei Microsofts Xbox-Abteilung ab. Auch namhafte Studios sind von den Kürzungen betroffen.

Air defense is needed immediately: Ukraine calls on the US to act, while Russia intensifies terror: https://benborges.xyz/2025/07/03/air-defense-is-needed-immediately.html

Indian quick commerce companies like Swiggy, Zepto and Flipkart are slowing down dark store expansion to rein in cash burn after an aggressive year of growth (Pranav Mukul/The Economic Times)
https://economictimes.indiat…

Quick commerce companies slow dark stores buildout to control cash burn
Quick commerce firms are hitting pause on expansion of dark stores to keep cash burn in check. Industry executives said companies are renegotiating their lease agreements for these mini-warehouses. An exception is Blinkit, which is backed by parent Eternal’s $2 billion war chest and plans to expand its network to 3,000 stores from 1,544 dark stores as of June 30.

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Tiziano Dalmonte, Marianna Girlando
https://arxiv.org/abs/2507.02767 ht…

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Intuitionistic conditional logic, studied by Weiss, Ciardelli and Liu, and Olkhovikov, aims at providing a constructive analysis of conditional reasoning. In this framework, the would and the might conditional operators are no longer interdefinable. The intuitionistic conditional logics considered in the literature are defined by setting Chellas' conditional logic CK, whose semantics is defined using selection functions, within the constructive and intuitionistic framework introduced for intuit…

😆
Microsofts Secure Future Initiative: "Bullshit!"
https://www.heise.de/en/opinion/Microsofts-Secure-Future-Initiative-Bullshit-10506153.html

Microsofts Secure Future Initiative: "Bullshit!"
With the Secure Future Initiative, Microsoft's bosses promised to make security a top priority. "It's all just security theater," says Jürgen Schmidt.

Lions' D.J. Reed noticed immediate energy difference with Detroit after three years with Jets

https://www.cbssports.com/nfl/news/lions-d

Damals in Bayern vor 15 Jahren, Sieg des Volksentscheids für ein Rauchverbot in Kneipen und Gastwirtschaften.
https://www.oedp.de/aktuelles/pressemitteilungen/newsdetails/news/seit-15-jahren-oedp-in…

Regeln sind da, um... angepasst zu werden? 😀 Eine aktuelle Umfrage von Indeed zeigt, dass viele Angestellte mehr Zeit im Homeoffice verbringen, als es die offiziellen Richtlinien vorsehen. 🤫
Zum Artikel: https://heise.de/-10472002?wt_mc=sm.re…

Indeed says CEO Chris Hyams is stepping down, replaced by parent Recruit Holdings CEO Hisayuki "Deko" Idekoba, who is returning to the role after six years (Chester Dawson/Bloomberg)
https://www.bloomberg.com/news/articles/20

A former employee says fewer than 10,000 people use Ola Krutrim's LLM chatbot, which supports 10 Indian languages, and that over 60% of them are random testers (Swathi Moorthy/The Economic Times)
https://

Krutrim finds few takers for its LLMs and cloud products
Ola founder Aggarwal first announced Krutrim in December 2023, launching an LLM that could support 10 Indian languages, starting with Krutrim chatbot in February 2024, and cloud offering shortly after. Two founders told ET recently that repeated sign-in attempts were blocked by a persistent “logged out of session” error, making sign-up via mobile or Gmail difficult.