16:37 | <Michael Ficarra> | Do we have an in-person sign-up form or location information for the May (Igalia/A Coruña) meeting yet? I would like to book travel soon to avoid higher fares. /cc @ryzokuken |
16:40 | <ryzokuken> | We do but it was a bit WIP around some details, let me publish something on the reflector soon. |
16:43 | <Michael Ficarra> | The things I need most urgently are just the address of the meeting and some hotel recommendations. |
17:53 | <Richard Gibson> | We don't have "toward 0/+∞/-∞", but we do have truncate, which I would prefer:
|
21:04 | <jschoi> | Richard Gibson: Thanks for pointing out that there is a truncate; I don’t know how I missed that. Two other people marked that they wanted “Let root be the integer part of the square/cube root of ℝ(n). Return ℤ(root),” but your suggestion seems cleaner to me. |