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

lirtosiast
lirtosiast
2:08 AM
Does Jelly's string compression run in linear time?
 
Unrelated String
Unrelated String
This one? I'm guessing no
unless you mean the decompression
decompression looks like it could very well be linear
 
lirtosiast
lirtosiast
2:58 AM
@UnrelatedString ouch, decompression uses bignums so it's quadratic
 
 
2 hours later…
Unrelated String
Unrelated String
4:33 AM
ahhhh rip
 
lirtosiast
lirtosiast
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 (1560 days later) »