Tootfinder

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

"Data is code!!!" I chant as I give wedgies to people who don’t think this is a work of art compared to JSON. :P
https://github.com/jevinskie/clang-unformat-ng/blob/main/python/src/clang_unformat_ng/styleopts_data.py

clang-unformat-ng/python/src/clang_unformat_ng/styleopts_data.py at main · jevinskie/clang-unformat-ng
Generate clang format rules w/o forking and with hyperparameter tuning and custom objectives - jevinskie/clang-unformat-ng

marvel_universe: Marvel Universe social network
The Marvel Universe collaboration network, where two Marvel characters are considered linked if they jointly appear in the same Marvel comic book.
This network has 19428 nodes and 95497 edges.
Tags: Social, Fictional, Unweighted
https://networks.skewed.de/ne…

"6 universities reject White House funding deal with attached demands. Multiple other schools have yet to respond "
https://edition.cnn.com/2025/10/16/us/trump-universities-compact-funding
So the Trump admin is trying their "quiproquo" technique with US…

4 universities decline White House offer for expanded access to federal funding in exchange for demands. Here’s what we know
The battle for academic freedom and institutional sovereignty in higher education continues to play out as another university has rejected a White House offer for expanded access to federal funding in return for agreeing to a series of demands.

Pro Tempolimit - Macht den Petrolheads Angst 😅
https://www.mobil.org/umfrage-zum-tempolimit-2025/

Umfrage zum Tempolimit auf Autobahnen 2025 | Jetzt abstimmen
Wir vom Automobilclub Mobil in Deutschland e.V. haben eine Umfrage zum Tempolimit in Deutschland gestartet. Bitte stimmt ab und sagt uns Eure Meinung!

A novel approach to cosmological non-linearities as an effective fluid: #universe: https://news.uq.edu.au/2025-08-revealing-how-matter-affects-evolution-universe

Trump Wants Universities to Show Him the Money, or No Deal (New York Times)
https://www.nytimes.com/2025/08/19/us/politics/trump-universities-financial-penalties.html
http://www.memeorandum.com/250819/p112#a250819p112

Politische Bildung stärken - oder ist eh alles langfristige Bindung und Weltanschauung, und deswegen Symbolpolitik wahlentscheidend?
https://blog.till-westermayer.de/2025/10/politische-blasen-umfragen-und-dergleichen-mehr/#comment-2320…

Politische Blasen, Umfragen und dergleichen mehr
Am 8. März 2026 findet in Baden-Württemberg die Landtagswahl statt, die Spitzenkandidaten im Kampf um das Amt des Ministerpräsidenten heißen Cem Özdemir (Grüne) und Manuel Hagel (CDU). Der Bundeskanzler Merz (CDU) hat in einem öffentlichen Gespräch sinngemäß - und klar rassistisch - geäußert, dass i

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
Massimo Benerecetti (Universit\`a degli Studi di Napoli "Federico II"), Dario Della Monica (Universit\`a degli Studi di Udine), Angelo Matteo (Universit\`a degli Studi di Udine), Fabio Mogavero (Universit\`a degli Studi di Napoli "Federico II"), Gabriele Puppis (Universit\`a degli Studi di Udine)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
In this paper, we study First Order Logic (FO) over (unordered) infinite trees and its connection with branching-time temporal logics. More specifically, we provide an automata-theoretic characterisation of FO interpreted over infinite trees. To this end, two different classes of hesitant tree automata are introduced and proved to capture precisely the expressive power of two branching time temporal logics, denoted polcCTLp and cCTL*[f], which are, respectively, a restricted version of counti…

marvel_universe: Marvel Universe social network
The Marvel Universe collaboration network, where two Marvel characters are considered linked if they jointly appear in the same Marvel comic book.
This network has 19428 nodes and 95497 edges.
Tags: Social, Fictional, Unweighted
https://networks.skewed.de/ne…