At the Paris Open Source Summit, I had a long discussion with engineers from AdaCore, that reminded me of the early roots of XL in Ada. I have never really retraced the steps along the way, and this was an interesting walk for me. I thought I'd share… My interest in programming languages is quite old. … Continue reading From Ada to XL in 25+ years…
Today, I released build, a simple makefile-based build system derived from the makefiles for XL or ELFE. Features Build is a simple build system destined to make it easy to build C or C++ programs without having to write lengthy makefiles or going through the complexity of tools such as automake or cmake. It is … Continue reading Releasing ‘build’
I upgraded to kernel 4.9. It apparently fixed the Wi-Fi issues. I still have occasional display glitches, but they also go away while on battery power. Kernel upgrade I upgraded to kernel 4.9+ (i.e. Linus Torvald's master branch as of today). While I ranted two days ago about some changes in how you install software, … Continue reading Upgrading to kernel 4.9+
After one year and a half at DxO working on the DxO ONE, a diminutive, yet highly capable camera that fits in your pocket and connects to an iPhone, I've decided to move on and join Red Hat to work on Spice, focusing on 3D acceleration for virtual machines. Free software, virtualization and 3D together, and working … Continue reading Goodbye DxO, hello Red Hat
Debugging complex, real-time, multi-CPU programs like HPVM, Tao3D or the software in the DxO ONE can be a real challenge. You need detailed information about what's going on, but at the same time, adding instrumentation, e.g. a big bunch of ad-hoc printf statements, can change the behavior of the program sufficiently to make the problem you are chasing … Continue reading A real-time, lock-free, multi-CPU flight recorder
Taodyne just released Tao3D "Libre Edition", a GPLv3 version of Tao3D.
Mozilla Firefox, Chromium (the open-source variant of Chrome) and WebKit (the basis for Safari) are all great examples of open-source software. The Qt project has a simple webkit-based web browser in their examples. So that's at least four different open-source web browsers to choose from. But what does it take to actually build them? The TL;DR … Continue reading Building all the major open-source web browsers