Advogato: Personal info for ruud

ruud is currently certified at Journeyer level.

Name: Ruud de Rooij
Member since: 2000-04-04 13:17:34
Last Login: N/A

Notes: Currently a PhD student / research assistant at Delft University of Technology, the Netherlands. I hope to complete my thesis on formal verification technology for real-time embedded systems in the fall.

As a Debian developer, I am a package maintainer for the packages nmh, groundhog, gradio, sted, knl, bsh, jde, and tya. I am also active in the ongoing development of nmh.

Projects

Developer on nmh
Developer on Debian

Recent blog entries by ruud

Syndication: RSS 2.0

21 Jun 2000 »

[ Jun 20 ]

For the past few days, I have been playing with tsort from GNU textutils and getting it to work properly even with cycles in the input. Turns out that with an incremental shortest path algorithm this can be done both efficiently and elegantly (*cough*).

10 Jun 2000 »

Worked on the merging of the "smtp" and "sendmail" delivery methods of nmh. The actual merge wasn't that much of a problem, getting the autoconf stuff, man pages, config files, etc. synchronized was a bit more work.

9 Jun 2000 »

It seems I haven't posted a diary entry in almost two months, although not much happened in that time; I've mainly been working on my thesis.

I spent some time recently merging the Debian patches into the nmh tree. The only remaining Debian patch is for reading the hostname of outgoing mail from /etc/mailname, which I suppose makes little sense on non-Debian systems. Now I need to work on making some compile-time ./configure stuff run-time configurable (e.g., whether to deliver mail through /usr/sbin/sendmail or by sending it to 127.0.0.1:25).

I also discovered that programming in Haskell isn't as difficult as it looks.

20 Apr 2000 »

Had a discussion with wichert about doc-central features, which resulted in a big fla^H^H^H discussion about Python vs. Perl vs. PHP vs. the world with the whole irc channel.

Someone beat me to packaging cscope for Debian.

19 Apr 2000 »

Did a bit of work on wichert's doc-central project. In doing so, learned a bit about Python. It's an interesting language. Straightforward, yet powerful. And it doesn't look like line noise like some other scripting languages.

1 older entry...

ruud certified others as follows:

ruud certified wichert as Master
ruud certified joey as Master
ruud certified gorgo as Journeyer
ruud certified ruud as Journeyer
ruud certified netgod as Journeyer
ruud certified cech as Journeyer
ruud certified srivasta as Journeyer
ruud certified ajt as Journeyer
ruud certified omnic as Journeyer
ruud certified jgg as Master
ruud certified doogie as Journeyer
ruud certified dres as Journeyer
ruud certified espy as Journeyer
ruud certified lilo as Journeyer
ruud certified branden as Journeyer
ruud certified davidw as Journeyer
ruud certified marcel as Journeyer
ruud certified hands as Journeyer
ruud certified dhd as Journeyer
ruud certified alan as Master
ruud certified cas as Journeyer
ruud certified chip as Master
ruud certified riel as Journeyer
ruud certified seeS as Journeyer
ruud certified nick as Journeyer
ruud certified bma as Journeyer
ruud certified bombadil as Journeyer
ruud certified Joy as Journeyer
ruud certified ajk as Journeyer
ruud certified liw as Journeyer
ruud certified rcw as Journeyer
ruud certified woot as Journeyer
ruud certified bdale as Journeyer
ruud certified davem as Master
ruud certified BrucePerens as Master
ruud certified bcollins as Journeyer
ruud certified ljb as Apprentice
ruud certified drow as Journeyer
ruud certified edward as Apprentice
ruud certified JHM as Journeyer
ruud certified ianmacd as Journeyer
ruud certified mstone as Journeyer
ruud certified jpick as Journeyer
ruud certified gibreel as Journeyer
ruud certified cmr as Journeyer
ruud certified wurtel as Journeyer
ruud certified rms as Master

Others have certified ruud as follows:

ruud certified ruud as Journeyer
omnic certified ruud as Journeyer
davidw certified ruud as Journeyer
dhd certified ruud as Journeyer
gorgo certified ruud as Journeyer
jgg certified ruud as Journeyer
joey certified ruud as Journeyer
bma certified ruud as Journeyer
marcel certified ruud as Journeyer
plundis certified ruud as Journeyer
cech certified ruud as Journeyer
hands certified ruud as Journeyer
wichert certified ruud as Journeyer
ajk certified ruud as Journeyer
Joy certified ruud as Journeyer
no certified ruud as Journeyer
bdale certified ruud as Journeyer
seeS certified ruud as Journeyer
bcollins certified ruud as Journeyer
ljb certified ruud as Journeyer
edward certified ruud as Journeyer
JHM certified ruud as Journeyer
ianmacd certified ruud as Journeyer
jpick certified ruud as Journeyer
lazarus certified ruud as Journeyer
gibreel certified ruud as Journeyer
kfg certified ruud as Journeyer
malon certified ruud as Journeyer
stevetaylor certified ruud as Journeyer

[ Certification disabled because you're not logged in. ]