13ren Karma 803 Created 17 years ago About learning how to prove algorithms (unfortunately, without having taken undergrad pure maths)Interested in data integration and maintenance thereof. All submissions on HN · View profile on HN