Tootfinder

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

No exact results. Similar results found.
@NFL@darktundra.xyz
2025-08-14 14:00:53

NFL news roundup: Latest league updates from Thursday, Aug. 14 nfl.com/news/nfl-news-roundup-

@arXiv_csCV_bot@mastoxiv.page
2025-07-14 10:05:42

RoundaboutHD: High-Resolution Real-World Urban Environment Benchmark for Multi-Camera Vehicle Tracking
Yuqiang Lin, Sam Lockyer, Mingxuan Sui, Li Gan, Florian Stanek, Markus Zarbock, Wenbin Li, Adrian Evans, Nic Zhang
arxiv.org/abs/2507.08729

@al3x@hachyderm.io
2025-07-14 12:46:01

According to the TidBITS article “A Roundup of Vertical Tab Support in Mac Web Browsers” <tidbits.com/2023/06/05/a-round>, Safari supports vertical tabs since version 16.
I did not know it!
I don’t seem to be able to get the Safari vertical tabs to work though.
I can see the list of tabs in the Sidebar.
I also have the tabs displays horizontally at the top of the window (in both Separate or Compact mode).
I was expecting no tabs at the top when using vertical tabs. Is that not what you’d expect when thinking about vertical tabs?

@NFL@darktundra.xyz
2025-08-13 15:00:10

NFL news roundup: Browns' Shedeur Sanders to start vs. Eagles if Dillon Gabriel (hamstring) can't play nfl.com/news/nfl-news-roundup-

@johnleonard@mastodon.social
2025-07-11 14:27:12

Computing's weekly roundup of tech news in Asia. This time we look at the attempted extradition by the US of an alleged Chinese hacker of vaccine secrets who was arrested in Italy last week, and fast-fashion ecommerce company Shein’s plans to go public

@anneroth@systemli.social
2025-09-14 22:16:51

„Schadet linke Politik unserem Wohlstand“
Das war das Thema der Sendung.
Was haben die denn getrunken in der Redaktion?
Frau Miosga, wer ist denn 'Wir'?
ARD, für wen sendet der Öffentlich-Rechtliche Rundfunk?
ndr.de/fernsehen/sendun…

@heiseonline@social.heise.de
2025-07-14 09:32:54

Vor genau 30 Jahren wurde ein kleines Stück Technikgeschichte geschrieben, das unseren Musikkonsum für immer verändern sollte! Am 14. Juli 1995 legten die Forscher am Fraunhofer-Institut die Dateiendung ".mp3" fest. 🎧
Zum Artikel: heise.de/-1…

Im Bild steht: "30 Jahre MP3" dadrunter steht: "Die MP3-Entwicklung begann in den 1970er Jahren mit der Vision von Dieter Seitzer, Musik in Hi-Fi über Telefonnetze zu senden.

Karlheinz Brandenburg am Fraunhofer-Institut spielte eine Schlüsselrolle in der Entwicklung dieses Formats, das digitale Audiodaten stark komprimiert. 

Während MPEG 1/Layer II im Rundfunk genutzt wurde, sorgte MP3 im Internet für eine Revolution im Musikkonsum."
@NFL@darktundra.xyz
2025-08-13 14:46:29

Answering crucial fantasy football draft questions at running back nytimes.com/athletic/6549327/2

@NFL@darktundra.xyz
2025-09-12 15:45:21

NFL news roundup: Bills DL Ed Oliver (ankle) ruled out for Week 2 vs. Jets nfl.com/news/nfl-news-roundup-

@NFL@darktundra.xyz
2025-08-12 15:21:04

NFL news roundup: Packers WR Christian Watson (knee) likely to begin season on PUP list nfl.com/news/nfl-news-roundup-