5,788 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 3 months
seen Jul 9 at 18:23

I work in web-related development these days. Previously, I worked on ROSA Linux distribution derived from Mandriva. In (post)graduate school I developed static program analysis tools, and carried on some research on the subject.

My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.


If you know any Languages specifically designed to make static verification easier, please, answer the question linked.


Jul
17
comment Killer semi-unique programming language features
@MaciejPiechotka the same holds for function pointers, which do not always fit in void*. (Wow, it's been two years since I posted this!..)
Mar
18
comment Is a company order to switch to a certain IDE a red flag?
So it's a red flag, and then what? Since you've been at this job for less than 3 months, you might have to stick there anyway.
Nov
10
comment Space around operators? a=b/2; or a = b / 2; What are the arguments?
@Bill, apparently, we have different notions of whether a piece of code is complex. To me, syntactical complexity doesn't immediately render the code "complex."
Sep
17
comment What programming skills have provided you the best return on investment?
How did you learn the art? What does this art comprise?
Sep
14
comment Most useful features of VIM that aren't standard in a IDE
+1 to this, and to all other macro-related functionality.
Sep
14
comment The business and architecture challenge behind creating effective user stories
@maple_shaft Before an appliance that reads minds of people is invented (and if it's not banned because it can reveal a scary truth that most people are stupid), that's the best approach I can offer in such an environment.
Aug
21
comment Masters vs. PhD - long
Judging by the length of your post, which I haven't read, you are a natural fit for a PhD.
Jul
31
comment What can I do about multiple coworkers who constantly question my knowledge?
Are you sure they aren't participating in some kind of a jeopardy challenge using you as an expert, i.e. the best guy on the team who can help them with that kind of questions?
Jul
18
comment Are first person comments distracting and unprofessional?
@msw, in Russian, for example, passive voice constructs are more common and are understood more easily due to some cultural differences. (And no, I did not write that sentence in passive voice on purpose!)
Jul
5
comment How to “neutralize” those who write bad code on the team?
@Surfer, it's exactly the opposite. You become a team leader by doing things like this, by proposing better solutions, by caring what the team does. Not vice versa. (But, of course, getting aid from higher hierarchy levels helps).
Jun
19
comment Is aspect-oriented programming a misnomer?
+1. Noam Chomsky says that language is what defines cognition, and it is both constrained and based on the way you formulate your thoughts. In other words, you may approach everything as a language feature, but it will not be useful.
Jun
16
comment Logging, do you do it?
@Thorb by not having any in production. Still, how could logging help to convince others?
Jun
16
comment Logging, do you do it?
@Thorb, by using tools that calculate code coverage?
Jun
12
comment My first job in a dev team - what should my priorities be?
@Falcon, you might not know that your peers treat you as a forgetful senior, who is just too old to be in a good memory.
Jun
12
comment Floyd's algorithm
If you have never heard of Floyd, you will be unable to figure out his algorithm, because even if you do you'll never know that it is called Floyd's. If you heard, however, you most likely have studied the algorithm before.
Jun
11
comment What's the most absurd myth about programming issues?
@Alan, I hope, that doesn't make you think that a programmer can't learn anything in the university. They (we) can. A lot of stuff. A lot of stuff I see people have troubles formulate and comprehend, let alone to resolve. And that's why the programmers with a degree (we) should be paid better.
Jun
11
comment Frankly, do you prefer Cowboy coding?
welcome back.
May
17
comment Is timing exactly how much time each team member spends on a story useful in Scrum?
I log all the time spent regardless of the actual methodology used. I find it very useful for a lot of stuff.
Apr
28
comment How many skills should I list on my resume, CV?
@Aditya, why should one exclude the ones he's a master at, but doesn't want to work on? The more things you're good at the better you are... aren't you?
Apr
25
comment Should I provide some way to disable my software post-delivery?
+1. A year ago an owner of a small Russian software company was sentenced to a couple of years for doing a similar thing.