Pavel Shved

5,544 reputation

1644

bio	website	coldattic.info
	location	San Francisco, CA
	age	25
visits	member for	2 years, 8 months
	seen	Apr 25 at 17:26
stats	profile views	360

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.

	5,544 reputation	bio	website	coldattic.info	visits	member for	2 years, 8 months
1644 badges		location	San Francisco, CA		seen	Apr 25 at 17:26

summary answers questions tags badges favorites bounties reputation activity

266 Actions

suggestions reviews revisions comments badges posts accepts all

Jun 16	comment	Logging, do you do it? @Thorb, by using tools that calculate code coverage?
Jun 14	answered	How frequently do you switch mode?
Jun 13	awarded	Citizen Patrol
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	answered	Are writing research papers only for academics?
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.
May 9	revised	What Special characters should one allow for a Phone Number? added 59 characters in body; deleted 3 characters in body
May 9	answered	What Special characters should one allow for a Phone Number?
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.
Apr 21	comment	Why are C++ template error messages so horrific? So you would prefer your programs failing at runtime, shipped, at the hands of a customer, instead of failing at compile-time?
Apr 15	comment	Avoid becomming a “Theoretician” programmer "if you put two Code Cowboys on the same project, it is guaranteed to fail, as they trample on each other’s changes and shoot each other in the foot." — this one is brilliant :)
Apr 14	comment	Tricky logic puzzles - Are they really useful in assessing programming skills? @Matthew, spending 2 minutes to justify spending 1 is an overkill. (And, by they way, I consider the urge to explain things the greatest impediment to using pair programming more extensively in our team... but that's a topic for another discussion.)
Apr 14	comment	Does studying logic puzzles help to pass interviews or limit you? @Job, I don't find Einstein's puzzle challenging. It's just about enumerating a finite set of potential solutions. What I find more interesting are the puzzles where you should create an algorithm: linked list crunching, prisoners riddles, and those where puzzle masters guess hat colors.
Apr 14	revised	Does studying logic puzzles help to pass interviews or limit you? spelling fixes
Apr 14	asked	Does studying logic puzzles help to pass interviews or limit you?
Apr 14	comment	Tricky logic puzzles - Are they really useful in assessing programming skills? @Matthew, and do you know what I have to do? When I'm on an interview, I spend two minutes to explain why I need this and why it doesn't render me helpless in front of the problem; if it's a phone interview I turn on loudspeaker and explain the interviewer that I'm not googling for anything—otherwise he would hear keystrokes; I sometimes have to literally beg the interviewer to JUST DAMN LET ME SPENT A MINUTE IN SILENCE WITH A PIECE OF PAPER. Moving mount Fuji is nothing compared to what a man can do given a piece of paper and whole 60 seconds...