Timur Yusupov

Thanks @aphyr , got it. BTW, filtering out failed operations won't help for the following test: ``` jepsen.cli=> (def h [{:process 1, :type :invoke, :f :read}, {:process 2, :type :invoke,...

I've added some debug logs into knossos and the most time is spent inside `memo/fixed-point`: ``` 14:27:29.030 [main] INFO jepsen.core - Analyzing... 14:27:29.044 [clojure-agent-send-off-pool-4] INFO knossos.model.memo - memo start 14:27:29.048...

BTW, does it makes sense to build model wrapper in case `canonical-history` returns the same history as original? Also, if size of original and canonical histories is the same -...

For the purpose of our testing, I've just added a one-minute timeout to memo for now in our knossos fork. But as I see memo can be optimized to only...

+1

Looks like prior to this commit https://github.com/apache/avro/commit/7e4037de2a891fa738aaf8a4fc56f424d6c6833a#diff-c7934590c625ba67bf1b2ad5511a4f58R97 (https://issues.apache.org/jira/browse/AVRO-388) Avro GenericDatumReader was able to use default values for skipped fields, but no longer can do it.

Related questions on stackoverflow: https://stackoverflow.com/questions/40499117/validate-user-provide-json-data-against-avro-schema-with-default-values https://stackoverflow.com/questions/35778151/trouble-with-avro-serialization-of-json-documents-missing-fields https://stackoverflow.com/questions/38824456/avro-deserialize-json-schema-with-optional-fields

@james-cook , I've implemented something like this here: https://github.com/sahib/rmlint/pull/640

These were old backups on external drive made by TimeMachine which I needed to save somewhere else. Due to some reasons some files in snapshots were copies with exactly the...

Still happening with version 5.10. Also noticed that even with background app refresh disabled, telegram background activity for the last 24 hours is almost the same as foreground: fg/bg -...