Ananya Iyer

The generated implementation is usually right for the main path and quietly wrong at the boundary — empty array, single element, duplicate key. I have started asking for the edge cases to be listed before the code, which helps. Is there something better than that, short of writing the tests myself first?