Using IPv6 by default with wget

I was surprised to see that wget chose to use IPv4 over IPv6 when downloading a file. It looks like it is on purpose (I would call it a bad design choice). You can tell wget to prefer IPv6 over IPv4 by putting the following line

prefer-family = IPv6

in either /etc/wgetrc (system wide) or $HOME/.wgetrc (user [...]

Strange keyboard problem

Since about a week, I started to notice that I had been making a lot of typos in some commands I use frequently. For example, I became unable to type correctly

cd /usr/src/linux

which always resulted in

cd /usr/src:linux

(incidentally, when typing the above strings, I had to fix the first one and the second one came naturally buggy)

On [...]

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 [...]

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 [...]

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 [...]

Tor, plausible deniability, watchdog and seizures

It looks like the German police has recently seized some servers running the TOR anonymity program because the TOR network seems to have been used to anonymously access child pornography. While of course nobody can publicly stand up against such an action, these seizures may sever the privacy of server owners.

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.