I tried now the browser Brave on iOS. I can’t use sites with basic auth and there is no way to get bookmarks from other browsers into it apparently. I am not really sure why I should use it. Do the other content blockers on iOS block so much less than Brave?

What I don’t understand: “Why can’t people can quit Facebook”? There was a time when they joined it for some reason. Why aren’t they able to join another service now. Isn’t it mainly a chicken-and-egg-situation and the unwillingness trying to carry people over to another service?

While learning math I always ask myself: how did someone come up with this stuff? Especially when I look for example at algebraic structures like rings and bodies.

Samstagabendunterhaltung

Just this once I’ve a good idea for an April fools joke for the office (making the unicorn-theme in icinga2 the default and disabling all the other themes) and this year it is on a Sunday. Now I have to wait a goddamn year :( github.com/Mikesch-m…

Since beorg can sync with WebDAV I even can use nextcloud to sync my files and do not have to use Dropbox.

After two days getting into org-mode with spacemacs and beorg (iOS) I am getting more comfortable and it really seems that I finally found a worthy replacement for OmniFocus (and OmniOutliner actually as I was using it) which I really miss since my switch to Linux.

Current state: I have 8 todo-apps installed (without Due and Reminders) installed on my phone…when getting your todos right seems to matter more than doing your todos…

First session of Uncharted Worlds and the players randomly created 5 factions by rolling dice. We now have:

The Empire The Federation The Cartel The Reich The Colonists

I kid you not, it is a very dark and bleak future they rolled.

I kind of want a Rubber Ducky and a Bash Bunny to play around with it. But it is kind of expensive to have ‘em just as toys :/