| user: | thinkmoore |
| created: | June 14, 2013 |
| karma: | 292 |
| about: | I'm a Principal Scientist at Galois. I study the intersection of Programming Languages and Security: how can we use language design and formal reasoning techniques to build secure software. My CV is online at http://thinkmoore.net. |
| 1. | |
| 2. | |
| 3. | Modern Garbage Collection(medium.com) |
| 4. | Peter Theil donating $1.25M to Trump(money.cnn.com) |