tjingrant

3 ms·

1. 1.▲
   by tjingrant 8y ago

   You are off by a factor of 1k.
2. 2.▲
   Ask HN: Slow ML Library Compilation Time

   2 points by tjingrant 9y ago|1 comments
3. 3.▲
   by tjingrant 9y ago

   Hi, have you ever tried assigning a total order to your syntax tree? Very much like problems occurring in Buchberger's algorithm and its generalized form Knuth-Bendix completion; they have a very sophisticated way of recursively assign