• micro

    Nicht vergessen: Wählen gehen! Wegen meines Krankenhausaufenthalts war das umständlich. Meine Frau musste mir die Vollmacht bringen zum Unterschreiben, Briefwahlunterlagen holen und bringen, wieder zum Rathaus. Und heute selber wählen gehen. Ihr müsst nur zu eurem Wahlbüro.

    Sunday May 26, 2019
  • micro

    Normalerweise schau ich ja weg, wenn Nadeln in mich gesteckt werden. Heute aber hab ich das erste Mal die Nadel von einem Zugang gesehen. Boah ist die lang und dick…brrrr

    Saturday May 25, 2019
  • General

    Contra „Please don’t theme our apps”

    There is an open letter from Gnome-developers that distributions shouldn’t theme apps (icons, window themes etc). They acknowledge though that if you want to do it on your system but that is ok and that you are in unsupported areas then. The reasoning is that all theming in Gnome is only a hack since there is no theming -API and things can and will break.

    I am a Linux-user and I am a Gnome-user. I like to theme my desktop and think that it is one of the great things on the Linux-desktop: I can make it look like I want it. Some desktops work better for that, some are not so good. Gnome is inherently bad for this. Regularly themes break with Gnome-upgrades. And I just couldn’t understand why the Gnome-devs just not stabilize how elements are called and hand out documentation. After all, gnome themes are stylesheets and graphics.

    And theming GDM is really hard. I never really figured out how I do it non-destructibly.

    Apparently it is not the intention of Gnome to be themable. I have to say that as a user I’d rather like to see an open letter from developers of GTK-apps that Gnome gets a theming-API than asking distribution develops to stop theming their apps. One way or another, you have to do the design work and if there would be a stable API, theme developers could use that. Then the app-dev would style her app, the theme-dev develops her theme and when there is a bug with a theme, you file it with the theme-dev, not the app-dev.

    And Adwaita got a lot better with Gnome 3.32 but I prefer themes like Arc, Yaru, North and others more.

    Saturday May 25, 2019
  • micro

    I wonder if there is a subreddit like r/ihavesex but called r/iusearch

    Wednesday May 22, 2019
  • micro

    Apple introduces a new laptop. They talk about speed, I search the site if it has a better keyboard…

    Tuesday May 21, 2019
  • micro

    Ich sitze in Berlin in einem Bus der BVG mit WLAN oO

    Tuesday May 21, 2019
  • micro

    Grafitti für Deutschlernende

    Sunday May 19, 2019
  • micro

    I was in a magic lecture today which was pretty great but the magic that was performed in the pub after that while the magicians were jamming was just awesome…so much crazy stuff…

    Sunday May 19, 2019
  • micro

    I think this is a first: I just watched a movie and directly want to see it a second time. It is just sooooooo good Spider-Man: Into the Spider-Verse I love the style, the music is great, the characters are superb and the story is awesome.

    Thursday May 16, 2019
  • micro

    Plastic bags aren’t that bad after all… Oo www.npr.org/2019/05/0…

    Thursday May 9, 2019
  • micro

    Friday May 3, 2019
  • micro

    Never Host your mail server at Digital Ocean. There are so many spam mails coming from their IP-ranges that I’d like to block them like dynamic IPs…

    Thursday April 25, 2019
  • micro

    I just found out that the minimum order size for custom neodymium magnets isn’t that huge (200€). Now let’s see if it would be cheaper than what I could currently get in the magic supply stores.

    Monday April 15, 2019
  • micro

    Dear developers: please not only add a target for “install” but also for “uninstall” in your Makefiles.

    Saturday April 13, 2019
  • micro

    It is weird how anachronistic Sci-Fi appears when it didn’t envision on-demand TV like Netflix. I am reading currently The Running Man. Quite a different setup than the movie with Arnie.

    Saturday April 13, 2019
  • micro

    Ich wünschte es gäbe das Singular They im Deutschen. Werde wohl morgen ein geschlechtsloses Wesen in einer Rollenspielrunden spielen und frage mich welche Pronomen es bevorzugen könnte.

    Thursday March 21, 2019
  • micro

    On Friday and Saturday I am playing the first time shadowrun in years. I’ve built a character but I am not really satisfied (troll mage with a bear totem; combat medic; we play in the AGS). I am open for interesting character concept suggestions.

    Monday March 18, 2019
  • micro

    The dishwasher of a colleague runs apparently #OpenBSD out of the box.

    Monday March 18, 2019
  • micro

    I got a deck of Butterflies. Let’s see what I can do with them.

    Monday March 11, 2019
  • micro

    Mein Sohn hat mich gestern gefragt, ob ein von ihm gemachter Lego-Film noch hochgeladen werden kann oder ob das bereits nicht mehr geht. #no13

    Monday March 11, 2019
  • micro

    There is no decent translation for sleight of hand in German. I see no good way to translate “sleight of hand artist” because of this.

    Sunday March 10, 2019
  • micro

    If you are into magic follow Asia’s Got Talent this season. Takumi Takahashi AND Eric Chien are both competing.

    Thursday March 7, 2019
  • micro

    I am really trying to use Instagram because there are some cool magicians to follow there. But like every third post in my timeline is an ad and the rest doesn’t seem to be chronological. How the hell are you able to use that‽

    Tuesday March 5, 2019
  • micro

    It is weird to read a non-fiction book and know most of the persons from social media and how they talk, this having always the correct voices in my head. Btw. read “Magic is Dead” by Ian Frisch It gives a good look into the lifes of the “new” generation of magicians.

    Tuesday March 5, 2019
  • micro

    Just found this gem on reddit: https://vim.dev redirects to the emacs-website

    Saturday March 2, 2019