Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@sncf_ligne_l@lepoulsdumonde.com
2025-07-13 22:15:05

Le trafic est très perturbé de Saint-Cloud vers Garches Marnes-la-C.
Motif : panne d'alimentation électrique entre St-Cloud et Garches (dysfonctionnement des équipements sur le réseau ferroviaire).
🤖 14/07 00:15

@cowboys@darktundra.xyz
2025-07-14 23:11:24

Cowboys' Dak Prescott plummets out of NFL executive's golden graces in latest ranking cowboyswire.usatoday.com/story…

Cowboys' Dak Prescott plummets out of NFL executive's golden graces in latest ranking
The Cowboys had a rough year in 2024, and Dak Prescott didn't avoid the slump.

@macandi@social.heise.de
2025-06-12 17:13:00

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.

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.

@jake4480@c.im
2025-07-14 15:06:24

#NowPlaying an incredible EP I haven't mentioned here surprisingly, I bought this a while back, this was from 2021. I've talked about Gorgeous Jefe here before, one of my favorite rappers from Phoenix here- on this one as Malick McFly before he changed his name to Jefe. I talk to Jefe here and there, he told me this EP is FULLY freestyle, NOTHING written down, just a bunch of talented Arizona ra…

@lapizistik@social.tchncs.de
2025-06-14 22:12:33

ɑ-Männchen, β-, γ-, δ-, σ-, ω-Typ, das bildet natürlich alles nur die kleine griechische Line der Persönlichkeits­typen. Laß dich nicht einschränken, sei ein ﺵ oder ein א.
Dieses ganze Persönlichkeits­typen-Seminar­system ist schon nochmal eine ganz eigene Form von #Esoterik. Vom dranhängenden rechts­angehängten Incel-Kram mit allen gesellschaftlichen Schäden ganz zu schweigen.
Ach…

@marcel@waldvogel.family
2025-06-12 14:32:51

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 @…

@servelan@newsie.social
2025-06-12 16:28:24

‘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
lawandcrime.com/high-profile/d

@PaulWermer@sfba.social
2025-06-14 13:59:27

Even happy mousehunters want #safestreets everyday, not just #caturday

A photo of a rural road in Gotland, Sweden, with a segment of grey road to the left, green trees, grasses, and ferns under a blue sky. In the middle is a sign post with 2 signs. The top is a yellow triangle with a red border, and in the middle are the black silhouettes of a girl and a smaller boy walking hand in hand. Beneath that is a square yellow sign with a red outline, and in the middle, surrounded by a red triangle , are the silhouettes of 3 kittens playing with butterflies. Below are t…
@paulwermer@sfba.social
2025-06-14 13:59:27

Even happy mousehunters want #safestreets everyday, not just #caturday

A photo of a rural road in Gotland, Sweden, with a segment of grey road to the left, green trees, grasses, and ferns under a blue sky. In the middle is a sign post with 2 signs. The top is a yellow triangle with a red border, and in the middle are the black silhouettes of a girl and a smaller boy walking hand in hand. Beneath that is a square yellow sign with a red outline, and in the middle, surrounded by a red triangle , are the silhouettes of 3 kittens playing with butterflies. Below are t…
@arXiv_csLO_bot@mastoxiv.page
2025-06-13 07:43:10

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
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…