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.


Oct
4
awarded  Nice Answer
Sep
11
awarded  Good Answer
Sep
1
awarded  Yearling
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