Forcing dark mode in PDFs for Firefox

Posted on April 28, 2026 in misc

I’m disabled, and bright PDFs aren’t just annoying, they are painful.

My regular PDF viewer has inverted colors, so it’s fine (even if images pictures are completly off with that). But inside Firefox, even with dark mode enabled, embedded PDFs still render as bright white pages, even …


Continue reading

Fonts for visually impaired people

Posted on April 27, 2026 in misc

As a visually impaired person, reading is more challenging for me than for most people. Colors as well as fonts have an huge impact and readability and comfort.

Here are some fonts designed to help increase legibility for visually impaired people.

Luciole

Luciole (french for “firefly”) is an open-source font …


Continue reading

Leave a SSH session that hangs

Posted on November 15, 2025 in misc

I work regularly over SSH with embedded devices I need to reboot, and sometimes the connection just hangs when I hit reboot. Nothing can get out it and for long time my solution was to close the terminal tab and open another one.

But there is a keyboard shortcut to …


Continue reading

More dark tools

Posted on November 15, 2025 in misc

As you know, dark-mode is more than just asthetics., and I recently found two more tools to help with that.

Invert image color.

The dark reader browser extension works relatively well for the text and background, but it really struggles with images. I recently stumbled upon Invert image color..

It …


Continue reading

How to display GDM on secondary screen with Cinnamon

Posted on August 09, 2025 in misc

I recently started using for the first time a laptop running Linux with an external screen. Unfortunately, out of the box, GDM uses only the laptop built-in monitor and not the external screen.

If you look this issue online, you'll find plenty of resources like which boil down to configure …


Continue reading

How to make PDF smaller

Posted on January 18, 2025 in misc

I recently had to shrink some PDF files to send to be able send them by email.

Shrinking a PDF

TL:DR

gs -q -sDEVICE=pdfwrite -dCompatibilityLevel=1.7 -dPDFSETTINGS=/ebook -dNOPAUSE -dBATCH -sOutputFile=out.pdf in.pdf

Let's break is down !

gs stands for Ghostscript, a suite of tools …


Continue reading

Adding support for open-color in rainbow-mode

Posted on July 21, 2024 in misc

Like many fellow software engineers, I'm bad at picking colors, so I was quite excited when I discovered open-color, less thinking to do ! Moreover, I use rainbow-mode once in a while, which allows to set the background of a string representing a color in a buffer to the corresponding color …


Continue reading

Integers footgun

Posted on May 19, 2024 in misc

Recently, a colleague of mine proposed the following change in our code base

Change:

    memcpy(network_buffer,
           original_message,
           MIN(original_message_size, OUT_BUFFER_MAX_SIZE));

To

    memcpy(network_buffer,
           &original_message[2],
           MIN(original_message_size - 2, OUT_BUFFER_MAX_SIZE));

The original intend was to skip the first two bytes (if any) because we didn't need them.

To have the full …


Continue reading

Dark Mode is not just about aesthetic

Posted on January 07, 2024 in misc

I discovered in 2011 that I had won the genetic lottery: I am suffering from Retinis Pigmentosa. Since, my vision overall has been declining (worsening eyesight, narrowing field of view, loss of night vision), and my photophobia increased by a lot. The condition has reached a level where a moderate …


Continue reading