1,702 reputation
31949
bio website twitter.com/badp
location Italy
age 25
visits member for 5 years
seen Jul 20 at 20:49

I'm also studying Engineering of Computer Science at the Politecnico di Milano, after enjoying an Erasmus period by the Vrije Universiteit. I have also been a Software Engineer Intern at Google. I moderate Gaming, whine on Twitter and lurk on Youtube.

It should go without saying that the opinions stated by me are my own and not necessarily those of my companies past and future, but apparently it doesn't and while no one asked me to put this disclaimer here, I'll just put it over here with the rest of the fire.

Mah reps, let me show you them.


Jul
16
awarded  Nice Answer
Jul
15
awarded  Yearling
Jul
11
accepted How can I remove the clock from the Irssi status bar?
Jul
11
revised Fish shell syntax highlighting looks weird in byobu-screen
Setting it to screen makes Home and End work again
Jul
10
answered Fish shell syntax highlighting looks weird in byobu-screen
Jul
6
awarded  Notable Question
Jul
2
awarded  Curious
Jun
19
awarded  Popular Question
Jun
6
awarded  Notable Question
May
2
awarded  Constituent
May
2
awarded  Caucus
Mar
9
comment How to “swap in” again memory from page file to physical memory in Windows at once (like linux swap-off)
Maybe some sufficiently privileged third-party process could try and access those pages so they do fault?
Mar
6
awarded  Nice Question
Feb
20
awarded  Popular Question
Feb
19
awarded  Notable Question
Jan
29
comment In Linux, how do I truncate command-line output?
yeah, that's why I googled for this question to begin with :)
Jan
28
comment In Linux, how do I truncate command-line output?
That doesn't work if escape sequences or color codes are involved; take for example git log --oneline --graph --color=always | cut -c -$COLUMNS
Jan
18
comment How can I apply 45° skew to a selection in GIMP?
I ended up using ImageMagick: copy your selection as a new image; export as foo.png; convert foo.png -shear 45x0 foo_skewed.png; reimport foo_skewed.png into GIMP.
Jan
18
revised How can I apply 45° skew to a selection in GIMP?
added 2 characters in body
Jan
18
asked How can I apply 45° skew to a selection in GIMP?