6:46 AM
Just made a separate answer on the LoTM thread since hte list was still too long to accomodate any more characters.

6 hours later…
12:16 PM
@Zgarb how do I get `Ẋ` to map over triples?

12:29 PM
nvm got it

2 hours later…
2:58 PM
@Razetime Wait, I'll shorten some of the other links on the post, give me a few minutes

3:13 PM
@Razetime I've reduced the meta post to 20,223 bytes. I'd be able to knock off another 403 bytes if I removed the remaining user IDs on the shortlinks.
Also, I've removed this commented-out answer, you can put it back if you want.

now that's a real metagolf

Also collapsing the rest of the usernames into references

Ok I removed my extra answer
I hope we don't overflow it by tomorrow

1 hour later…
4:33 PM
@Zgarb or anyone else: question about `i`. The wiki indicates "Convert from Double to Int by rounding (round half to even)". But it converts `-1000001/1000000` to `-2`. Try it. What's going on, and how can I round an almost-integer negative rational number to an integer?

4:47 PM
@DominicvanEssen It's defined as `func_n2i x = func_floor \$ x+1/2` (with the comment `round halves towards positive infinity`), i.e., `⌊+.`, which can be confirmed to give the same result.

5:28 PM
But yeah, looking at the Haskell definitions, I see no reason why `-500001/1000000` would floor to -2

2 hours later…
7:39 PM
Floor of -3/5 seems to output -2, which I don't understand. After that, all the other issues come automatically...
...also floor of -11/1000000 is -2, which is the most-extreme case that I can find (-10/1000000 is -1, which is what I'd naively expect...)

1 hour later…
9:00 PM
@DominicvanEssen I found the error! On line 177 of `defs.hs`, it uses `div p q`, whereas the definition of `floor` expects it to be `quot p q`. I'll add the change to my PR.

9:11 PM
There, added it. Now we just have to wait for it to get accepted. (Of course, the error will persist on TIO.)