Tootfinder

Großes Update: CarPlay mit iOS 26 verspricht nützliche Neuerungen
Apple verbessert die iPhone-Autointegration in diesem Jahr merklich und nicht nur für CarPlay Ultra. Android Auto ist allerdings schon einen Schritt weiter.

Wer mit einem #LLM experimentieren will, ohne Daten an #KI-Firmen abzudrücken, kann unterdessen viele "Open-Source"-Modelle herunterladen.
Auf etlichen Rechnern läuft das sogar erstaunlich schnell. So hat @…

‘Defiance has not been subtle’: Trump admin’s ‘flagrant’ refusal to follow court orders ‘must be exposed for all to see,’ Abrego Garcia’s lawyers say
https://lawandcrime.com/high-profile/defiance-has-not-been-subtle-trump-admins-flagrant-refusal-to-follow-court-orders-must-be-exposed-for-all-to-see-abrego-garcias-lawyers-say/

🇺🇦 #NowPlaying on BBCRadio3's #RoundMidnight
Georgie Sweet:
🎵 The Ones We Loved
#GeorgieSweet
https://open.spotify.com/track/4gTWaM2SzQjZ75Q7u1vGvz

Gear Fever - Musicians, Take Your Temperature
#MusicianTips #GearAquisitionSyndrome
https://

Gear Fever - Musicians, Take Your Temperature
Stan Stewart - @muz4now

Bauarbeiter:innen in #Griechenland sind häufig hohen Temperaturen ohne ausreichenden Schutz ausgesetzt.
In diesem Jahr gab es bereits mehrere #Todesfälle durch #Hitzeschlag.

Bauarbeiter in Griechenland sterben oft wegen der Hitze
Griechische Bauarbeite­r:innen werden nicht ausreichend vor Hitze geschützt. Immer wieder kommt es zu Todesfällen während der Arbeit.

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558

StepProof: Step-by-step verification of natural language mathematical proofs
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in large language models (LLMs) have enhanced the understanding of natural language inputs, paving the way for autoformalization - the process of translating natural language proofs into formal proofs that can be verified. Despite these advancements, existing aut…

Przyszła faktura za przejazdy w Norwegii z ePass za maj/czerwiec - 925 NOK za całość od samego Oslo po wyjazd w Karasjok.

Myślałem, że będzie zdecydowanie gorzej tak wszyscy straszyli.

#norwegia

Gene Wilder's bizarre comedic genius no longer graces Earth, but he was born today (June 11) in 1933.

Universal Observables, SUSY RG-Flows and Holography
Dimitrios Chatzis, Madison Hammond, Georgios Itsios, Carlos Nunez, Dimitrios Zoakos
https://arxiv.org/abs/2506.10062

Universal Observables, SUSY RG-Flows and Holography
We construct and analyse infinite classes of regular supergravity backgrounds dual to four-dimensional superconformal field theories (SCFTs) compactified on a circle with a supersymmetry-preserving twist. These flows lead to three-dimensional gapped QFTs preserving four supercharges. The solutions arise in Type IIB, Type IIA, and eleven-dimensional supergravity, and generalise known constructions by incorporating deformations that avoid typical singularities associated with the holographic desc…