| 01:59 | <jschoi> | std::minmax seems common enough in C++, though I haven’t had time to dig into specific reasons why people have been using it:https://github.com/search?q=std%3A%3Aminmax+language%3AC%2B%2B+&type=code https://sourcegraph.com/search?q=context:global+std::minmax&patternType=keyword&sm=0 |
| 03:33 | <bakkot> | two orders of magnitude less results than std::max though |