Demo: Binary Search
Here is an interesting video showing how to derive binary search in a fancy programming environment: Bret Victor - Inventing on Principle
