585 reputation
2610
bio website
location
age
visits member for 5 years, 3 months
seen Sep 29 at 14:16

Sep
4
awarded  Notable Question
Jul
2
awarded  Curious
May
21
awarded  Yearling
Sep
29
awarded  Popular Question
Sep
14
awarded  Good Question
Jun
14
awarded  Famous Question
May
31
awarded  Nice Question
Feb
19
awarded  Famous Question
Dec
18
comment Linux: Getting date & time of system startup
Unfortunately this doesn't work: the mtime on those folders can change for other reasons (I have a system here that has a 5 day uptime and the mtime of /proc/1 is 25 minutes ago)
Dec
11
awarded  Yearling
Dec
3
awarded  Nice Question
Jul
4
awarded  Notable Question
Apr
20
awarded  Notable Question
Mar
3
awarded  Popular Question
Aug
13
comment HDMI with resolution 2560 x 1440 possible?
The link there is an NVidia specific hack to make the graphics card drive the HDMI output at a higher resolution than the monitor is advertising. Really useful to know it's possible. Looking at my xorg logs in Linux when connecting to a U2711, I see that the EDID information is indicating the max res as 1920x1080, so no well behaved graphics card is ever going to let you set 2560x1440 -- a per-driver hack is needed to make it work.
Jul
28
asked Make a dock icon always open a new window in OS X?
Jun
28
asked Can I enable scrolling with middle-button-drag in OS X?
Apr
20
awarded  Popular Question
Apr
19
accepted Getting curl to output HTTP status code?
Apr
18
asked Getting curl to output HTTP status code?