[Unison-hackers] OCaml version mismatch breaks Unison 2.48.4

[Benjamin Pierce]

10-20% more time is probably not a dealbreaker, but even that much will be a problem for some people: we regularly hear from folks whose first sync takes more than a day!


> On Sep 9, 2020, at 11:49 AM, Mike Bohde <mikebohde at gmail.com> wrote:
> 
> From my understanding of the two methods SHA256 will be slower. If speed was the only concern sha1 and crc32 are objectively faster than even md5. If we were all dealing with the compute ability of machines 10 years ago or comparing datasets in the dozens of terabytes with massive changes I would be concerned.
> In casual to soho use I doubt there to be much of a difference that an average end user would notice. Realistically I do not see a problem with a synchronization comparison taking 10 or 20% more time.
> 
> On Wed, Sep 9, 2020 at 11:14 AM Benjamin Pierce <bcpierce at cis.upenn.edu <mailto:bcpierce at cis.upenn.edu>> wrote:
> Fantastic!  
> 
> Changing from Digest to something more stable like SHA256 sounds reasonable, but would we expect any difference in performance?  I believe the point of md5 was that it was cheap to compute even for huge amounts of data…
> 
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at LISTS.SEAS.UPENN.EDU <mailto:Unison-hackers at LISTS.SEAS.UPENN.EDU>
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers <https://lists.seas.upenn.edu/mailman/listinfo/unison-hackers>
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at LISTS.SEAS.UPENN.EDU
> https://LISTS.SEAS.UPENN.EDU/mailman/listinfo/unison-hackers

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/unison-hackers/attachments/20200909/afebf99d/attachment-0001.htm>