| user: | atilimcetin |
| created: | June 2, 2011 |
| karma: | 247 |
| about: | [ my public key: https://keybase.io/atilim; my proof: https://keybase.io/atilim/sigs/4wNVV2hUpTmupw2KF3ACI8F_cHAVMzjRdbHWsklyHUk ] |
| 1. | 20 hours ago | discuss |
| 2. | Solving Regex Crosswords with Z3(blog.nelhage.com) |
| 3. |