147 reputation
16
bio website stackoverflow.com/users/…
location Russia
age 23
visits member for 3 years, 2 months
seen Sep 10 at 15:33

Research-level student, Scala fanboy, trying to wrap my head around Python, Clojure and Dart

I had a broad range of interests: from bioinformatics and computer vision to data mining, functional programming and rock-climbing.

Working at Yandex on a variety of tasks

Twitter
LinkedIn profile


Oct
23
comment How can I get distribution name and version number in a simple shell script?
cat /etc/*version does not work (there is no such file) on CentOS (at least on 6.4)
Jun
10
accepted tail -f but suck in content of the file first (aka `cat -f`)
Jun
3
comment tail -f but suck in content of the file first (aka `cat -f`)
yep, I know about less, but it doesn't fit my purpose well - I'm using such operation in script and not doing it in interactive hand-mode
Jun
3
asked tail -f but suck in content of the file first (aka `cat -f`)
Mar
28
awarded  Notable Question
Oct
25
awarded  Popular Question
Mar
11
revised How does a script/program executes in unix?
typo editing
Mar
11
suggested suggested edit on How does a script/program executes in unix?
Mar
6
awarded  Scholar
Mar
6
accepted Unable to delete file, even as root
Mar
6
revised Unable to delete file, even as root
deleted 2421 characters in body
Mar
6
comment Unable to delete file, even as root
Oh, nice. But if this file was recreated, shouldn't inode been changed?
Mar
6
comment Unable to delete file, even as root
@ChrisDown I've updated post
Mar
6
revised Unable to delete file, even as root
added 10128 characters in body
Mar
6
comment Unable to delete file, even as root
@Gilles /dev/md0 on / type ext4 (rw,errors=remount-ro), ssh access.
Mar
6
comment Unable to delete file, even as root
@9000 nothing, there is no output after invoking lsof
Mar
6
awarded  Student
Mar
6
awarded  Editor
Mar
6
revised Unable to delete file, even as root
added 57 characters in body
Mar
6
asked Unable to delete file, even as root