5,544 reputation
1645
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 361

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.


2d
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."
Oct
28
awarded  Nice Answer
Sep
18
comment Should I read Thinking in Java, 4th edition to learn how to make games?
I didn't read that book, but Java is not the best language for thinking in.
Sep
18
answered Should every git commit leave the project in a working state?
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?