| 01:19 | <rkirsling> | I can't be the only one jarred by the use of \mathbb{F} for floating point |
| 01:20 | <rkirsling> | Bakkot and shu must feel it too |
| 01:23 | <shu> | is there a math definition of the domain of ieee floating point numbers |
| 01:29 | <shu> | are you saying the F should be in comic sans or something |
| 01:30 | <Bakkot> | obviously yes |
| 01:30 | <rkirsling> | hell yes |
| 01:31 | <rkirsling> | I literally cannot think of a more appropriate use of comic sans |
| 13:02 | <littledan> | I'd be fine with editorial revisions for this, I just don't want it to be \mathbb{R} |
| 15:46 | <shu> | F stands for Funny |
| 18:48 | <rkirsling> | littledan: oh I was mostly joking 😅 it's true that \mathbb{F} is typically used for finite fields (https://mathworld.wolfram.com/FiniteField.html) but it's not like I have a better idea, and finite fields always have a constant subscript so it's technically not confusable either |
| 18:49 | <littledan> | well, that's like F_5 or something, not 1_F, right? |
| 18:49 | <littledan> | or you could also write it like <1_5> or something like that, right? |
| 18:50 | <rkirsling> | yeah exactly |
| 18:50 | <littledan> | yeah I should include finite fields when talking about applications of operator overloading |
| 18:50 | <littledan> | it'd be a huge boon to something! |
| 18:50 | <rkirsling> | :D |
| 18:50 | <littledan> | or like rings in general really |
| 18:51 | <rkirsling> | indeed |
| 18:54 | <rkirsling> | littledan: unrelated, but did you have any thoughts about ICU version sensitivity in test262's 402 tests (commenting on your closed issue might not have been the optimal approach: https://github.com/tc39/test262/issues/1515#issuecomment-615998922) |
| 18:57 | <rkirsling> | been working on Intl implementation stuff for the first time these past couple of weeks and it's often been time-consuming to determine where a specific locale data oddity is coming from |
| 18:58 | <littledan> | responded to the comment |
| 18:58 | <littledan> | can I suggest that you just try to target all the non-locale: tests at first? |
| 18:59 | <littledan> | ultimately, it's going to be an issue for JSC if you can't use a relatively new ICU version eventually; some APIs will just be missing |
| 19:00 | <rkirsling> | ah yeah, ignoring `locale:` would be one way to go |
| 19:01 | <rkirsling> | missing APIs are one thing, we can #ifdef those cases |
| 19:03 | <rkirsling> | unfortunately the ICU limitation can't go away due to not only Mac/iOS but also GTK and such |
| 19:04 | <rkirsling> | I tried to move our minimum from (effectively) 55 to 62 (Mojave's system ICU version), but Ubuntu 18.04 LTS system ICU is 60.2, so that was a hard limit for Igalia |