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

@Zgarb how do I get Ẋ to map over triples?

nvm got it

@Razetime Wait, I'll shorten some of the other links on the post, give me a few minutes

@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.

This is advanced golfing

now that's a real metagolf

Yeah, mostly just replacing the long answer links with shortlinks

Also collapsing the rest of the usernames into references

Ok I removed my extra answer

I hope we don't overflow it by tomorrow

@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?

@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.

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

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...)

@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.