On 4/4/20 11:07 PM, Kerim Aydin via agora-discussion wrote: > On 4/4/2020 7:56 PM, Jason Cobb via agora-discussion wrote: >> In light of the recently discovered bugs in auction resolution, here's a >> proto to fix them: > Honestly, I think this is harmless to add, but it feels like an > unnecessary clarification of common sense. Who has "highest" priority for > boarding a plane? 1st Class. Who stands "highest" on the podium? 1st > Place. It's just plain and simple usage and obvious context that > "highest" = "top of the list" = "first" and it's a far far less common > usage to suggests that those who are "further down" the list are "higher" > because of the list's numbering scheme. > > Also, the proto doesn't fix the actual bug that we were bidding around (at > least not that I can see?)... >
Err... yes I should have introduced it differently. This was more a clarification. But it also fixes what Aris pointed out at [0]. [0]: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-discussion/2020-April/057215.html -- Jason Cobb