@nschiefer clarified that the TreeDB or forking histories work existed only as a…

Brief

@nschiefer clarified that the TreeDB or forking histories work existed only as a workshop-paper proposal as of 2022-05-11, with no implementation yet. The tweet is a direct invitation to researchers and builders who might want to formalize the idea theoretically or turn it into software, signaling active interest in collaboration around the concept.

title: @nschiefer: This was just a workshop paper with a cool proposal, not an implementation.

If you're interested in...
author: @nschiefer
contenttype: tweet
publication: Twitter/X
published: 2022-05-11T16:39:35+00:00
sourceurl: https://x.com/nschiefer/status/1524429017914433537

word_count: 50

This was just a workshop paper with a cool proposal, not an implementation.

If you're interested in forking histories/TreeDB, whether to prove theorems about it or try implementing it, I want to talk to you! I will seriously talk your ear off about this stuff if you let me. 😅