« first day (809 days earlier)      last day (60 days later) » 

2:08 AM
Does Jelly's string compression run in linear time?
 
This one? I'm guessing no
unless you mean the decompression
decompression looks like it could very well be linear
 
2:58 AM
@UnrelatedString ouch, decompression uses bignums so it's quadratic
 
 
2 hours later…
4:33 AM
ahhhh rip
 
I'm having a frustrating time writing an arithmetic coder for Sledgehammer and hoped Dennis had done it already
 

« first day (809 days earlier)      last day (60 days later) »