@Techmeme@techhub.socialSources: Oracle is cutting thousands of jobs in its latest layoffs as the company continues to ramp AI spending; as of May 2025, Oracle employed 162,000 people (Jordan Novet/CNBC)
https://www.cnbc.com/2026/03/31/oracle-layoffs-ai-spending.html
@Mediagazer@mstdn.socialRoku launches a standalone app for Howdy, its $2.99/month ad-free streaming service with ~10K hours of content, in the US; Howdy debuted in August 2025 (Aisha Malik/TechCrunch)
https://techcrunch.com/2026/03/31/roku-launches-a-standalone…
@Kingu@sakurajima.moe
@tinoeberl@mastodon.online2025 waren 60 Prozent der neu zugelassenen #Stadtbusse in der EU #Zero-Emission, davon 56 Prozent batterieelektrisch und 4 Prozent mit #Brennstoffzelle.
2019 lag der Anteil bei 12 Prozent.…
@ebinger@bildung.socialWir haben #Karwoche und da gibt es von mir immer eine #Passionsandacht. Einige davon habe ich in meinem Blog dokumentiert, vielleicht kann sie jemand gebrauchen ...
-
@cjust@infosec.exchangeI find this . . . entertaining
Ref:
Forbes article on AI coding at Microsoft
https://www.forbes.com/sites/bernardmarr/2025/07/08/microsoft-makes-ai-mandatory-for-employees-what-it-means-for-your-career/…
@Techmeme@techhub.social
@NFL@darktundra.xyzRobert Saleh, Liam Coen move on from 2025 sign-stealing spat: 'That's water under the bridge'
https://www.cbssports.com/nfl/news/robert-saleh-liam-coen-sign-stealing-spat/
@tinoeberl@mastodon.online📊 Meine Top-4-Beiträge der letzten Woche mit den meisten Boosts sind:
1. Mythos „#Holzheizungen sind klimaneutral“.
https://mastodon.online/@tinoeberl/116282409767393879
2. 2025 erreichte der weltweite Ausbau von
@arXiv_mathLO_bot@mastoxiv.pageThe Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
https://arxiv.org/abs/2603.27203 https://arxiv.org/pdf/2603.27203 https://arxiv.org/html/2603.27203
arXiv:2603.27203v1 Announce Type: new
Abstract: We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the cardinalities of subvariety lattices, and by Bezhanishvili et al. [J. Math. Log. (2025), in press] regarding the degrees of the finite model property (fmp). By coding equations and formulas by natural numbers, and theories and logics by real numbers, we examine their position in the Borel hierarchy. We prove that every interval of equational theories in a countable language corresponds to a $\boldsymbol{\Pi}^0_1$ set, and every fmp span of a normal modal logic to a $\boldsymbol{\Pi}^0_2$ set. It follows that they have cardinality either $\leq \aleph_0$ or $2^{\aleph_0}$, provably in ZFC. In the same manner, we observe that the set of pretabular extensions of a tense logic is a $\boldsymbol{\Pi}^0_2$ set, so its cardinality is either $\leq \aleph_0$ or $2^{\aleph_0}$. We also point out a negative solution to another open problem raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the existence of independent systems, which relies on Je\v{z}ek et al. [Bull. Aust. Math. Soc. 42 (1990), pp. 57-70].
toXiv_bot_toot
@primonatura@mstdn.social"Analysis: India’s CO2 emissions in 2025 grew at slowest rate in two decades|
#India #Emissions #Climate #ClimateChange
@degrowthuk@mstdn.socialSeems like a good moment to re-share this, particularly as there is nonsense being spoken about renewables not having a problem of the Hormuz type.
Renewables, carbon and the energy crisis – degrowthUK
https://degrowthuk.org/2025/08/01/renewables-carbon-and-th…
@presseportal_pol_NDS@frawas.dePOL-GÖ: (77/2026) Polizeiliche Kriminalstatistik 2025 der PI Göttingen: 10 % weniger Straftaten, Fahrraddiebstähle stark zurückgegangen, Fallzahlen Messerangriffe gestiegen Göttingen (ots) - GÖTTINGEN (vb/jk) - Der Leiter des Zentralen Kriminaldienstes Kriminaldirektor Oliver Tschirner und seine Vertreterin Polizeioberrätin Vicky Berkhan (Foto) haben am Freitag (20.03.2026) die Polizeiliche Kriminalstatistik (PKS) ...
@Mediagazer@mstdn.socialIFPI: global recorded music revenues hit $31.7B in 2025, up 6.4% YoY, total streaming revenue surpassed $22B, and users of paid music subscriptions reached 837M (Murray Stassen/Music Business Worldwide)
https://www.musicbusin…
@Techmeme@techhub.socialPony AI reports 2025 revenue up 20% YoY to ~$90M, total annual losses down 72% YoY to ~$76.8M, and a $75.5M net income in Q4, its first profitable quarter ever (Bloomberg)
https://www.bloomberg.com/news/articles/2026-03-26/pon…
@NFL@darktundra.xyzVanderbilt's Diego Pavia first Heisman finalist to go undrafted since 2014 https://www.nytimes.com/athletic/7199088/2026/04/25/diego-pavia-undrafted-vanderbilt-nfl-draft-2026/
@cowboys@darktundra.xyzCowboys Urged to Add Former Super Bowl Champ CB https://heavy.com/sports/nfl/dallas-cowboys/rasul-douglas-nfl-free-agency-dallas/
@Techmeme@techhub.socialFiling: Anthropic spent $1.6M and OpenAI $1M on lobbying in Q1, vs. $360K and $560K in Q1 2025, respectively; Meta topped Big Tech lobbying spending with $7.1M (Ashley Gold/Axios)
https://www.axios.com/2026/04/21/anthropic-outspends-openai-biggest-lobbyin…
@tinoeberl@mastodon.onlineDie monatliche #Energieerzeugung meiner #Kernfusionskollektoranlage im Vergleich zu Prognosedaten aus einer Simulation.
Gesamtleistung: 480 Wp
Ausrichtung: West
Anstellwinkel: 58 Grad
👉 So berechnest Du die Jahresertragsprognose:
@Mediagazer@mstdn.socialThe Times and Sunday Times had 659,000 digital subscribers at the end of 2025, up 7% YoY; editor says digital subscribers now cover cost of 700-strong newsroom (Charlotte Tobitt/Press Gazette)
https://pressgazette.co.uk/publishers/nationals/tony-gall…
@cowboys@darktundra.xyzMick Shots: Undressing what went wrong in 2025 https://www.dallascowboys.com/news/mick-shots-undressing-what-went-wrong-in-2025
@raiders@darktundra.xyz @Techmeme@techhub.socialA US DOJ operation disrupted four botnets that infected 3M devices and includes the Aisuru and Kimwolf botnets used in a 31.4 Tbps DDoS attack in December 2025 (Andy Greenberg/Wired)
https://www.wired.com/story/us-takes-down-botnets-used-in-record-bre…
@Techmeme@techhub.socialAustin-based Saronic, which builds military autonomous ships, raised a $1.75B Series D led by Kleiner Perkins at a $9.25B valuation, up from $4B in Feb. 2025 (Samantha Subin/CNBC)
https://www.cnbc.com/2026/03/31/autonomous-boat-startup-saronic-ra…
@Mediagazer@mstdn.socialPodcasting company Red Seat Ventures, bought by Fox Corp. in 2025, is building a membership program for the ultra-wealthy, focused on hospitality and events (Sara Fischer/Axios)
https://www.axios.com/2026/03/31/red-seat-ventures-membership
@tinoeberl@mastodon.onlineJährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 10.03.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
@raiders@darktundra.xyzKeyron Crawford Shares Blunt Advice From Raiders’ Maxx Crosby https://heavy.com/sports/nfl/las-vegas-raiders/keyron-crawford-maxx-crosby-advice/
@Mediagazer@mstdn.socialFuture says Google traffic fell 20% in the six months to March 31, a sharp acceleration on the year to September 2025; FUTR falls 25% to its lowest since 2017 (Dominic Ponsford/Press Gazette)
https://pressgazette.co.uk/publishers/magazines/why-future-share-…
@NFL@darktundra.xyzSteelers seven-round 2025 NFL mock draft: Pittsburgh makes surprising move with 21st pick; grabs QB on Day 3
https://www.cbssports.com/nfl/news/steelers-nfl-mock-draft/
@chris@mstdn.chrisalemany.caJust looking at their brochure for their lineup of new buses.
#Transportation #ClimateAction #Electrification #PublicTransport #PublicTransit #Winnipeg
@Mediagazer@mstdn.socialNetflix feels comfortable raising prices knowing customers can downgrade to its ad tier; in 2026, Netflix is on track to double 2025's $1.5B in ad sales (Lucas Shaw/Bloomberg)
https://www.bloomberg.com/news/newsletters/2026…
