5,671 reputation
1946
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 3 years, 7 months
seen Jun 18 '13 at 1:45

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
24
awarded  Notable Question
Mar
13
awarded  Good Answer
Sep
6
awarded  Nice Answer
Sep
1
awarded  Yearling
May
21
awarded  Popular Question
May
11
awarded  Nice Answer
Apr
24
awarded  Popular Question
Apr
12
awarded  Guru
Jan
10
awarded  Disciplined
Dec
29
awarded  Nice Answer
Nov
12
awarded  Good Answer
Sep
1
awarded  Yearling
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!..)
Jun
19
awarded  Nice Answer
Jun
8
awarded  Constituent
Jun
8
awarded  Caucus
Mar
23
revised When does a “scripter” become a “programmer”?
added 81 characters in body
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
11
awarded  Good Answer
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."