Former distributed systems software developer; current machine learning graduate student. Interests in everything else in between.
7 How to prove the structured program theorem? oct 10 '13
3 Algorithm to check whether a complete, undirected graph is fullfilling the triangle inequality nov 8 '13
3 Double, down facing arrow in operational semantics oct 18 '13
3 Solving a recurrence sep 26 '13