The ELF file format
Published:
Some notes on the ELF 🧝 file format with references, explanations and some examples.
SimGridMC: The Big Split (and Cleanup)
Published:
In my previous SimGrid post, I talked about different solutions for a better isolation between the model-checked application and the model-checker. We chose to avoid the (hackery) solution based multiple dynamic-linker namespaces in the same process and use a more conventional process-based isolation.
FTL data file
Published:
Faster Than Light (FTL) is a very nice (and quite difficult) rogue-like-ish game with space battles, teleporters, management of the energy of your ship, asteroid fields, alien species, droids (drones), etc. It is quite cheap, DRM-free and available natively on Intel-based GNU/Linux. These are notes taken while trying to find out the format of the .dat files of the game containing the game assets, ships statistics, events, etc. when I had not access to the internet to find the solution. There is a companion C program, ftldat, for extracting the files within the archives and generating archives. Unsurprisingly, similar tools with the same name already exists. However, the description of the process of reverse-engineering a (very simple) binary format might be interesting for someone out there.
I can has systray?
Published:
In Plasma 5, support for the XEmbed-based “legacy” systray protocol was removed: only the new SNI protocol is handled. However, a lot of applications still do not handle the new protocol: Qt4 and Qt5 applications can be fixed by installing the sni-qt (currently in experimental) and libdbusmenu-qt5 respectively but other applications (such as GTK ones) must be patched/recompiled with SNI support. Without this, windows disappear into oblivion 😿. You can have a seamless systray-enabled Plasma panel with a single (OK, two) line of shell 😼.
Use HTML pipeline in Middleman
Published:
How to use html-pipeline in middleman.
Anatomy of an ELF core file
Published:
The Executable and Linkable Format (ELF) 🧝 is used for compilation outputs (.o files), executables, shared libraries and core dumps. The first cases are documented in the System V ABI specification and the Tools Interface Standard (TIS) ELF specification but there does not seem to be much documentation about the usage of the ELF format for core dumps. Here are some notes on this.
Verifying authenticity of Debian CDs
Published:
The official guide for verifying the authenticity of a Debian 🍥 CD image is not so clear if you don't already have an idea about what you are doing. Here is a translation in terms of shell commands.
Logging message workflow with journald
Published:
A short summary of the logging message workflow with systemd-journald (and the different formats and sockets involved).
Updating Firefox OS
Published:
I updated a Geeksphone Peak from Firefox OS 1.1 to Firefox OS 2.1 and it was not that easy.
Bundler starter kit
Published:
Bundler is a tool to manage Ruby gem dependencies, install them and setup the execution environment. The homepage shows how to use it to install the gems alongside the ruby installation/systemwide which is not so great. For some reason, I initially didn't find the option to install the gems locally (--path) and have been using horrible environment variable modifications to avoid the systemwide installation. In fact, this is quite simple…
Page 9 of 12 | Previous page | Next page | JSON Feed | Atom Feed