Linux and free software: front page

Direct routes go faster than indirect routes. Indirect routes can also be evidence of problems getting UPnP / NAT working correctly with your ship (when you run your ship behind a NAT firewall).

It will be killed in the name of "safety", but it will be a casualty of the lust for power. A grim prediction for the next 15 years.

Due to the fact that interest rates often compound, and the fact that compounding is non-linear in nature, comparing different rates (e.g. a daily interest rate versus a monthly interest rate) can be tricky.

An uncommon — but not unheard of — use case calls for fast data ingestion, combined with relatively slow yet very big and economical data retrieval. Here is a plan to achieve that.

Apps and Web sites can use your phone's IMU to sneak out far more data than you'd think.

How to bootstrap a modern Fedora system in a chroot.

Note to self: hard trick to solve.

In fact, pretty much everything about Fuchsia is amazing.

A very clear-headed description of what information security actually is, and how systems like Genode or Qubes OS contributes to making it better.

Quick one-liner to add up the (apparent) disk space taken up by files.

Use your Jenkins server to build CopperheadOS for your Google Pixel and Nexus devices.

A secure, compartemented, open source solution for password management that leverages the power of Qubes OS.

Add kernel module loading capability to your Ansible roles and playbooks.

A Reinteract workbench to analyze your progress at the gym and with your nutrition.

My program ssconverter — an old program whose maintenance I took over — is now live on Github.

Quick, straightforward, super easy, and compliant with the most modern XMPP clients.

A simple Ansible recipe to get your system to the next Fedora release.

Take care of all the details without any worries.

The geekiest way to prepare your e-liquid.

KDE 5 has a nasty bug in its libraries that causes applications like KWin and Plasma to crash. Here is the fix.

Sometimes you need to diagnose a particular problem with your stereo's setup, or your headphones, or the speakers of your laptop. Maybe one of the sides sounds louder than the other, maybe you think you have a blown tweeter, maybe it's the audio signal currently playing? Here's a trick to test that without reconnecting any cables or adding any hardware to your setup.

That long, long wait for the feature that everyone demanded — the ability to remove a device from a running pool — is now here.

How to remove the private master key from your keyring in the latest version of GnuPG.

I wrote a small computer program that helps you with that.

Separation kernels, hardware-isolated virtualization and enforced capability models have finally converged into an OS that could change the way that operating system security, and software security itself, works. Oh, it can also run Linux and Windows applications. Here are a few talks about that convergence in the form of Genode OS.

...and my first born child.

A Subverted Organization, Role-by-Role, Attack-by-Attack

You should research them.