Tootfinder

The Complexity of Generalized HyperLTL with Stuttering and Contexts
Ga\"etan Regaud (ENS Rennes), Martin Zimmermann (Aalborg University)
https://arxiv.org/abs/2509.14095 ht…

The Complexity of Generalized HyperLTL with Stuttering and Contexts
We settle the complexity of satisfiability and model-checking for generalized HyperLTL with stuttering and contexts, an expressive logic for the specification of asynchronous hyperproperties. Such properties cannot be specified in HyperLTL, as it is restricted to synchronous hyperproperties. Nevertheless, we prove that satisfiability is $Σ_1^1$-complete and thus not harder than for HyperLTL. On the other hand, we prove that model-checking is equivalent to truth in second-order arithmetic, and …

Hands-on with Tiramisu, Meta's "hyperrealistic" VR research prototype with beyond-retinal resolution, high brightness and contrast, and a narrow field of view (David Heaney/UploadVR)
https://www.uploadvr.com/meta-tiramisu-hyperrealistic-vr-hands-on/

Meta Tiramisu "Hyperrealistic VR" Hands-On: A Stunning Window Into Another World
At SIGGRAPH 2025, we also went hands-on with Tiramisu, Meta's prototype that combines beyond-retinal resolution, high brightness, and high contrast.

google: Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.
This network has 15763 nodes and 171206 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google

Yup, there we have it! My write up on how to setup Hyprland on FreeBSD. All files available on Codeberg, have a go at it. Happy geeking!
https://codeberg.org/thesaigoneer/freebsd-hyprland/src/branch/main/README.md

Niederländisches Hyperloop-System erreicht 85 km/h und wechselt Spur
Auf der europäischen Hyperloop-Strecke in den Niederlanden konnte eine Hyperloop-Kapsel einen Spurwechsel durchführen und erreichte 85 km/h.

google: Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.
This network has 15763 nodes and 171206 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google

Because we all know the ultimate geek garden is Slackware, alive and kicking after 32 years. Running Hyprland 0.50, with nwg-shell on top. Another fine Slacker0ni production!
#slackware #slackeroni #hyprland

google: Google internal webpages (2007)
A directed network of webpages from Google's own sites, and the hyperlinks among them. Edge direction indicates that i hyperlinks to j.
This network has 15763 nodes and 171206 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…

wiki_link_dyn: Wikipedia link dynamics (2011)
Six networks of the evolving hyperlink structure among wikipedia articles, for simple English (en), German (de), Dutch (nl), Polish (pl), Italian (it), French (fr), taken in August 2011. Each edge is timestamped, and an edge (i,j) indicates that article i hyperlinks to j. The edge sign indicates the addition ( 1) or deletion (-1) of that link at the specified time.
This network has 100312 nodes and 1627472 edges.
Tags: Informati…