5,744 reputation
2146
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 1 month
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.


Mar
23
revised When does a “scripter” become a “programmer”?
added 81 characters in body
Sep
14
revised Is programming a profession not for a person with speech impairment?
edited body
Jun
22
revised What exactly do I need to do if I use a LGPL licenced library?
added 249 characters in body
May
9
revised What Special characters should one allow for a Phone Number?
added 59 characters in body; deleted 3 characters in body
Apr
14
revised Does studying logic puzzles help to pass interviews or limit you?
spelling fixes
Apr
3
revised is it Ok to have a time for familialization of technology and tools once a project starts
added 311 characters in body
Mar
21
revised How to maintain different, customized versions of the same software for multiple clients
added 178 characters in body
Mar
12
revised What do you do when one thinks the code isn't complicated enough?
added 31 characters in body
Feb
27
revised Interview question ranking FizzBuzz (1), implementing malloc (10)
edited body
Oct
11
revised What did Linus Torvalds mean by his quotation about portability?
fixed title and tags
Oct
4
revised Are design patterns generally a force for good or bad?
edited body; added 16 characters in body; deleted 10 characters in body
Sep
20
revised Why does it seem so hard for non programmers to understand versioning?
added 34 characters in body
Sep
20
revised Why does it seem so hard for non programmers to understand versioning?
added 30 characters in body
Sep
15
revised Space around operators? a=b/2; or a = b / 2; What are the arguments?
deleted 8 characters in body
Sep
14
revised I've stopped coding for fun, is this a bad sign?
added 216 characters in body
Sep
12
revised Daily standups- yea or nay?
added 87 characters in body
Sep
10
revised What's your favourite quote about programming?
rolled back. Who I am to decide?..
Sep
6
revised What do you think of “Planning Poker”?
deleted 1 characters in body