Pinned toot

Finally got to sorting through the pictures from my cross-country skiing/splitboarding trip two weeks ago 😊

Anybody know of a way to get better syntax highlighting for than what lstlisting provides by default? 🙏

I really think colours help understand code more quickly and the listings package does a horrible job.

@__h2__ offered a 50€ bounty for proper Android TV support.

If that's of any interest to you, maybe you want to add to that bounty. Or maybe you want to implement the missing bits.

I finished playing by

Compared to when I was younger, video-games play a minor role in my life today, but this game is truly a work of art!

I can recommend it to anyone looking for something not off-the-shelf.

And it runs on w/o DRM.

Y'all are always so supportive so I thought I'd do a giveaway ✨
Win an enamel pin AND this original watercolor!
Boost & follow to enter
Ends on april 10th

You can also buy the pins here:

Today was update-day. My phone finally runs (@lineageandroid) and I have revived my decades old MP3 player with the firmware and a gigantic microSD. Now I have all my 200+ GBs of music with me 😎

Thanks for all the nice , everyone!

Deutsche Gründlichkeit ist, wenn man eine 80cm lange, schwere Mehrfachsteckdose aus Metall in den mitnehmen darf, aber die Club Mate-Flasche abgegeben werden muss, weil sie ein Sicherheitsrisiko darstellt 🤔

Aber die Aussicht war gut.

Finally got to sorting through the pictures from my cross-country skiing/splitboarding trip two weeks ago 😊

ICE-"Business"-Sprinter der von Berlin nach München.

Speisewagen? Kaputt.
Bistro? Kaputt.
WLAN? Kaputt.
Heizung? Kaputt.

My students wrote their second exam today. I think this was the trickiest question 🤓

Roses are red
Violets are blue
I noticed you said Linux
But without the GNU

Die Entscheidung des @Kartellamt zu Facebook ist richtig und wegweisend. Jetzt müssen auch die europäischen Datenschutzbehörden gegenüber Facebook die europäischen Datenschutzregeln durchsetzen

I want to copy my music folder to an SDXC card. Unfortunately the music folder is 200GB and the card-reader driver in doesn't seem to be very fast.

My math says it will take a day 🙈

WiFi at on is really flaky... is this the still missing 5Ghz support or some other issue?


Show more

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!