meta user
network profile
| 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.
| 5 | May 12 | ||||
| 10 | May 11 | ||||
| |||||
| -2 | Apr 24 | ||||
| |||||
| 10 | Apr 12 | ||||
| 10 | Apr 6 | ||||
| 10 | Apr 2 | ||||
| 10 | Mar 24 | ||||
| 10 | Mar 5 | ||||
| 10 | Feb 26 | ||||
| 10 | Feb 15 | ||||
| 5 | Feb 7 | ||||
| -2 | Jan 10 | ||||
| 10 | Dec 30 '12 | ||||
| 10 | Dec 29 '12 | ||||
| 10 | Dec 20 '12 | ||||
| 10 | Dec 19 '12 | ||||
| 10 | Dec 15 '12 | ||||
| 10 | Dec 10 '12 | ||||
| 10 | Nov 30 '12 | ||||
| 10 | Nov 20 '12 | ||||
| 10 | Nov 12 '12 | ||||
| 10 | Nov 9 '12 | ||||
| 10 | Nov 6 '12 | ||||
| 10 | Oct 11 '12 | ||||
| 10 | Oct 1 '12 | ||||
| 5 | Sep 25 '12 | ||||
| 10 | Sep 23 '12 | ||||
| 10 | Aug 27 '12 | ||||
| 10 | Aug 23 '12 | ||||
| 10 | Aug 20 '12 | ||||
