13ren
- Karma
- 803
- Created
- July 22, 2008 (17y ago)
- Submissions
- 0
learning how to prove algorithms (unfortunately, without having taken undergrad pure maths)
Interested in data integration and maintenance thereof.
- A major court victory for open source (itmanagement.earthweb.com)
- ICFP Programming Contest 2008, unofficial ranking (shinh.skr.jp)
- Regular expression engine in 14 lines of Python (paste.lisp.org)
- MapReduce in Erlang (weblambdazero.blogspot.com)
- XML Backlash? (ajaxonomy.com)