On 1/3/19 3:41 PM, Christoph Maier wrote:
Which leads to the question what we need to do to prior-art our stuff immediately.
Publishing a Donald Duck Story about the topic:
https://www.iusmentis.com/patents/priorart/donaldduck :-)
Or, more seriously, publishing the stuff we have at github (or other repositories) 'cause of the timestamp on every check-in.
Using not so common repositories doesn't help, because you would have to show that the repository was already online before the patented stuff.
So I recommend, that both of you, Ludwig and Christoph getting your own (fresh new) identity on github.com and connecting this repositories with ours. Better way to keep this divided from former/personal identities on github.
Regards, Hagen.