« first day (1362 days earlier)      last day (36 days later) » 

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

« first day (1362 days earlier)      last day (36 days later) »