Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[rfc] #74

Closed
c4lliope opened this issue Jul 22, 2019 · 1 comment
Closed

[rfc] #74

c4lliope opened this issue Jul 22, 2019 · 1 comment

Comments

@c4lliope
Copy link

Text of request for comments, number 6902

This issue subsumes #58 and #59, to suggest that each patch carry a timestamp
of the format 2019.07.22。07:22 pacific, with varying-length segments to the left and right of the center 。divider.

This timestamp format would assist globally with synchronization efforts across devices.

For example, Redux-style interaction recording could be played back at real-time speeds, instead of the fixed-interval recordings that take place now:

https://drive.google.com/open?id=1idSfoVUs1mJmqONShOQ3IOuNFKWCbQ_2

If prefixed by an application-specific base64-encoded identifier, many applications can be simplified into streams of event logs.

@ThomasArdal
Copy link
Collaborator

Is this a request to change the schema for JSON Patch?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants