You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I made two approaches, and one was successful whereas other one wasn't: #753 and #761. There still is room for more space optimization, but it's likely to require more structural changes. As we had made small but immediate achievements, I close this for a time.
See also: #700 (which deals with compressing transmitting data on the network).
The text was updated successfully, but these errors were encountered: