Tootfinder

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

No exact results. Similar results found.
@ErikJonker@mastodon.social
2025-09-19 04:56:57

Meerderheid Tweede Kamer wil meer grenscontroles, hebben allemaal rapport Rekenkamer niet gelezen kennelijk, zo oerdom , pure symboolpolitiek...
rekenkamer.nl/actueel/nieuws/2

Binnengrenscontroles dragen niet bij aan snellere realisatie beleidsdoelen
Aantal aanhoudingen gedaald In oktober 2024 besloot het kabinet-Schoof tot tijdelijke herinvoering van binnengrenscontroles. Het kabinet wil daarmee irreguliere migratie en grensoverschrijdende criminaliteit tegengaan. Daarmee wil het kabinet de druk op de migratieketen – waaronder de druk op de opvangcapaciteit en lokale huisvesting – verlagen. De eerste resultaten wijzen er op dat hiermee kabinetsdoelen niet sneller worden bereikt dan met de eerdere Mobiel Toezicht Veiligheid-controles (…

@heiseonline@social.heise.de
2025-09-19 13:27:00

Universum to go: KI-Software emuliert kosmische Physik auf Notebooks
Bisher waren Supercomputer nötig, um die größten Strukturen des Universums zu simulieren. KI-Software macht dies nun auf dem heimischen Schreibtisch möglich.
…

Universum to go: KI-Software emuliert kosmische Physik auf Notebooks
Bisher waren Supercomputer nötig, um die größten Strukturen des Universums zu simulieren. KI-Software macht dies nun auf dem heimischen Schreibtisch möglich.

@arXiv_mathLO_bot@mastoxiv.page
2025-08-19 08:51:20

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
Marta Esteves
arxiv.org/abs/2508.12502 arxiv.org/pdf/2508.12502

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
Counterfactual reasoning is a foundational topic in both philosophical and logical studies \cite{Stalnaker1968-STAATO-5, Lewis1973-LEWC-2}. A pivotal component of counterfactual analysis is the concept of similarity between possible worlds \cite{CORR_A_2022, ESTEVA1997235, Lewis1979-LEWCDA, Makinson94, Pollock1976-POLTPW}. In this paper, we propose the introdutcion of a metric to quantify the degree of similarity between possible worlds, where two worlds are the more similar the longer they sha…

@andycarolan@social.lol
2025-08-19 11:36:36

Can anyone recommend any games similar to Mario & Luigi: Superstar Saga?
It doesn't have to be a Nintendo game, just something with a similar play style.
#Games #Nintendo

@jorgecandeias@mastodon.social
2025-09-18 13:40:20

RE: mastodon.social/@smolrobots/11
I think I need one of those.

@macandi@social.heise.de
2025-10-15 06:03:00

heise | Produktivitätsbooster macOS: So erledigen Sie Aufgaben schneller
Aktivieren Sie nützliche Optionen und Automatismen Ihres Macs, um Ihre täglichen Aufgaben schneller und effektiver zu erledigen.

Produktivitätsbooster macOS: So erledigen Sie Aufgaben schneller
Aktivieren Sie nützliche Optionen und Automatismen Ihres Macs, um Ihre täglichen Aufgaben schneller und effektiver zu erledigen.

@cjust@infosec.exchange
2025-09-19 14:46:13

#ShamelesslyStolenFromSomewhereElseOnTheInternetHonestlyICantKeepTrackOfThisStuffAnymore

The image is a close-up photograph of a gold-colored car battery terminal connector. The connector is the central focus, positioned slightly off-center. It appears to be made of brass or a similar metal, with a shiny, polished finish. The connector has a cylindrical body with a hexagonal nut at the top and a circular eyelet on the bottom. A smaller bolt is visible on the side of the connector, used to secure it to the battery terminal. The connector rests on a dark gray, textured surface that …
@heiseonline@social.heise.de
2025-11-18 12:12:00

Grok 4.1 soll emotionaler, kreativer und faktentreuer sein
Das Large Language Model Grok soll in Version 4.1 mehr emotionales Einfühlungsvermögen mitbringen, kreativer, faktentreuer und schneller sein.

Grok 4.1 soll emotionaler, kreativer und faktentreuer sein
Das Large Language Model Grok soll in Version 4.1 mehr emotionales Einfühlungsvermögen mitbringen, kreativer, faktentreuer und schneller sein.

@heiseonline@social.heise.de
2025-09-19 11:00:00

NASA: Mehr als 6000 Exoplaneten bestätigt, über 8000 Kandidaten
Erst Anfang der 90er-Jahre wurde bestätigt, dass es Planeten um andere Sterne gibt, jetzt sind schon 6000 bekannt. Die Zahl dürfte bald noch schneller wachsen.

NASA: Mehr als 6000 Exoplaneten bestätigt, über 8000 Kandidaten
Erst Anfang der 90er-Jahre wurde bestätigt, dass es Planeten um andere Sterne gibt, jetzt sind schon 6000 bekannt. Die Zahl dürfte bald noch schneller wachsen.

@heiseonline@social.heise.de
2025-11-17 10:36:00

Dank KI: Erstmals komplette Milchstraße inklusive aller Sterne simuliert
Unsere Milchstraße besteht aus 100 Milliarden Sternen. Bisher konnten Simulationen sie nicht einzeln einbeziehen – dank KI ist das jetzt erstmals gelungen.

Dank KI: Erstmals komplette Milchstraße inklusive aller Sterne simuliert
Unsere Milchstraße besteht aus 100 Milliarden Sternen. Bisher konnten Simulationen sie nicht einzeln einbeziehen – dank KI ist das jetzt erstmals gelungen.