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. 😅