lazyfolder

↗ HN profile [ 37.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. I am happier writing code by hand (abhinavomprakash.com)
  2. The most intuitive way I know to disprove an algorithm is by finding a counter example. But for complex algorithms it can be hard to find a counter example. Do you have any practical advice? Should I learn formal proofs?

  3. Understanding Bitemporal Data (abhinavomprakash.com)