Category Archives: misc

Additional Workspaces in Gnome

I use Gnome on Ubuntu 18.04 with static workspaces and switch between them using keyboard shortcuts – for example, ALT+1 takes me to workspace one. Unfortunately, using the graphical settings editor, I was only able to assign keyboard shortcuts to … Continue reading

Posted in misc | Tagged | Leave a comment

DNS Over HTTPS

With much of the web switching to HTTPS and at least some people becoming more concerned about privacy, DNS has recently come into the spotlight because it provides an ISP with the ability to monitor which websites a user visits. … Continue reading

Posted in misc | Tagged , , | 2 Comments

Migrating to HTTPS

There’s more to migrating a complex site to HTTPS than just enabling TLS in your web server or reverse proxy. All links to embedded resources like style sheets, images, or scripts need to be served via HTTPS and potentially have … Continue reading

Posted in misc | Tagged , , | Leave a comment

Frontend Engineering

Despite all its shortcomings as a programming language, JavaScript isn’t a dirty word anymore. A decade ago, most self-respecting developers would refuse to even touch it, so it was left to web designers and junior developers who spiced up a few HTML pages … Continue reading

Posted in misc | Tagged , , | 1 Comment

Web Service Security

As a developer, I’ve used lots of web services and also implemented plenty myself. I’ve seen services with IP-based security provided by network firewalls, services protected by standard HTTP Authentication, TLS with client and server certificates and custom mechanisms using … Continue reading

Posted in misc | Tagged , | Leave a comment

Two-Factor Authentication

With more and more of my personal data being hosted in the cloud, I felt that I needed to take security more seriously. Since passwords are the weakest link in most systems, I was looking for a better solution. While … Continue reading

Posted in misc | Tagged , | Leave a comment

Google Music

My Nexus 4 and 7 devices don’t ship with an old school MP3 player anymore. After trying lots and lots of players (all of which I didn’t like), I ended up with Google Music, which is pre-installed on all Nexus … Continue reading

Posted in misc | Tagged , , | Leave a comment