lazyfolder
- Karma
- 0
- Created
- ()
- Submissions
- 0
- I am happier writing code by hand (abhinavomprakash.com)
- Yes you built that but at what cost? (abhinavomprakash.com)
- Riff: A “mycelium-clj” for the Clojure ecosystem? (evalapply.org)
-
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?
- Learning to walk with Clojure: a guide to using postwalk and prewalk (abhinavomprakash.com)
- Understanding Bitemporal Data (abhinavomprakash.com)
- The problem with Python's map and filter (and how we might fix it) (abhinavomprakash.com)