219 reputation
311
bio website github.com/wazari972/…
location Grenoble, France
age 28
visits member for 3 years, 9 months
seen Apr 14 at 13:02

Ph.D candidate working on improving debuggers to support embedded parallel applications.


Feb
7
comment Get Firefox to ignore HTML 5 autocomplete tag setting?
that's a simple and easy solution! (although I had to change 'form' by 'input' for the only website I checked so far)
Jun
12
awarded  Yearling
Nov
24
awarded  Popular Question
Sep
11
awarded  Critic
Jul
21
awarded  Caucus
Jul
18
awarded  Necromancer
Apr
21
awarded  Notable Question
Feb
1
answered Problem with Ctrl-Left/Right bindings in oh-my-zsh
Aug
16
comment How do I log out of gdm from the command line?
that's (certainly) the way to logout GNOME, not GDM (I use i3 as window manager, so it can't work!)
Aug
12
awarded  Popular Question
Mar
12
awarded  Teacher
Mar
12
answered Ctrl+Alt+Del in Linux
Mar
10
revised Difference between Linux and Hurd, from an (advanced) user/programmer point-of-view
added 489 characters in body
Mar
10
comment Difference between Linux and Hurd, from an (advanced) user/programmer point-of-view
"all pretty much the same but different" I can't believe it :) I has to be different in a way, at some level!
Mar
10
comment Difference between Linux and Hurd, from an (advanced) user/programmer point-of-view
@Ignacio but wikipedia lists xBSD among the monolithic kernel ... ?
Mar
10
revised Difference between Linux and Hurd, from an (advanced) user/programmer point-of-view
added 90 characters in body; added 9 characters in body
Mar
10
asked Difference between Linux and Hurd, from an (advanced) user/programmer point-of-view
Feb
22
awarded  Supporter
Jan
27
awarded  Tumbleweed
Nov
27
accepted How to boot GRUB2 into the simplest Linux shell?