Non-classical paradigms and languages

I may be the happiest computer-science teacher in the world: in less than three months, I will start teaching a whole new class called “non-classical paradigms and languages”. The goal is to let students pursuing their masters degree discover and manipulate concepts that they haven’t had a chance to play with when using mainstream languages [...]

Will Gentoo be the last OS without IPv6 automatic tunnels?

Tomorrow, Windows Vista will be available in stores. According to press reviews, this operating system will have IPv6 enabled by default with support for automatic Teredo when native IPv6 is not available.

Teredo tunnels allows a computer plugged to a IPv4-only network to efficiently talk with computers using IPv6 addresses. IPv6 proponents such as myself [...]

Factor: a stack-based programming language

As you may already know, I’m a big fan of stack-based languages such as Forth, functional languages such as Haskell and reflexive languages such as Smalltalk. You can imagine how happy I was when I discovered Factor a few days ago: it combines all those aspects.

Today, a friend sent me someone email signature and asked [...]

Reading a DVD with VLC or mplayer is now illegal in France

Starting tomorrow December 31st 2006, reading a DVD protected with CSS (as most DVD are) is illegal in France when it is done with a software allowing to circumvent the protection, such as VLC or mplayer which can both use the libdvdcss library. Today’s Journal Officiel (where laws and executive orders are published) says that [...]

To peer review or to not peer review?

As an experienced programmer, I participate in many Free Software projects when time permits. I am committed to a few projects, and I frequently submit patches to random projects that I happen to bump into. I also understand the dynamics of free software: when a bug stands in my way, I often fix it myself [...]

Geeky show

I was watching an Alias episode when I saw Jennifer Garner set a bomb clock to 4 minutes. At that time, I thought about my rforth1 compiler and realized that the code that writes a constant value into a timer register was probably doing things in the wrong order regarding the PIC timers internal latches.

It [...]

Linux kernel driver for the Winbond 83697HF/HG watchdog

My device driver for the watchdog embedded in the Winbond 83697HF/HG SuperIO controller has been integrated into the forthcoming Linux 2.6.19 kernel. If you want to use it on a Dedibox dedicated server, you have to:

activate the option CONFIG_W83697HF_WDT in your kernel configuration file
load the module at boot time with parameter wdt_io=0×4e; creating /etc/modules.d/wdt with [...]

rforth1 optimizations

I worked a lot on rforth1 lately, a Forth compiler targetting the PIC 18f family of microcontrollers. I have added many new optimizations in order to generate smaller and more efficient code.

Let’s take an example. The Forth code below cycles through the 8 possible states of 3 leds connected to ports B5, B6 and B7 [...]

Collaborative work on deliverables

In my job, I often participate to multi-partners projects which get public (European or national) funding. In those projects, we are required to produce deliverables that show the progress of our work.

The final deliverable is edited by an editor (how surprising) who is in charge of coordinating inputs from various partners and make them consistent. [...]

Running GNU/Linux on a Fujitsu-Siemens Lifebook S7110

I just setup a page explaining what works under Gentoo GNU/Linux on the Fujitsu-Siemens Lifebook S7110 laptop. Please let comments here for questions, remarks or enhancements.