Aujourd'hui j'ai déjeuné
au Train bleu
pour fêter l'anniversaire de mon poussinet. Ce n'était pas la
première fois, mais c'est décidément très agréable de prendre son
temps pour (très) bien manger pendant que dans la gare à nos pieds des
gens pressés s'affairent et courent dans tous les sens. Et la
décoration est vraiment magnifique (si on aime le style belle
époque un peu chargé, bien sûr). ⁂ Tiens, mon Firefox
(enfin,
Iceweasel) utilise des polices de taille différente selon
que Παν語
est désactivé
ou non. J'aaaaaime ce genre de bugs absolument incompréhensibles et
inexplicables. ⁂ Aussi dans le genre bug incompréhensible :
aujourd'hui mon ordinateur a décidé, on ne sait pourquoi, de charger
le module noyau rtc au lieu de genrtc
(impossible, évidemment, de trouver d'explication sur ce qu'ils font
au juste, ni en quoi ils diffèrent ! à part que ça a rapport avec
l'horloge ou des timers), et ça avait pour principale conséquence
visible qu'essayer de lire un
fichier MIDI
jouait uniquement la première note de façon indéfinie (avec
l'erreur
,
vachement parlante). Inutile de dire que j'ai mis du temps à
comprendre. ⁂ Il faut que je me
remette à porter un carnet et un stylo avec moi, parce que je
constate de plus en plus souvent que j'ai plein d'idées de choses à
raconter qui me traversent l'esprit dans la journée et que, le soir,
quand je suis devant l'ordinateur, il n'en reste aucune (sauf celles
qui parlent d'ordinateurs, justement). ⁂ Mercredi je donne mon
premier cours à l'ENST (en fait, je remplace un collègue
qui ne peut pas l'assurer), un cours d'algèbre générale (et la séance
portera sur les anneaux, idéaux, quotients, anneaux de polynômes).
⁂ Bon, j'aurais sans doute eu d'autres choses à raconter, mais
mon poussinet me signale qu'il est l'heure de faire dodo.rtc: lost some interrupts at 1024Hz.
(RSS 1.0)
• Recent
comments / Commentaires récents]