Dan Connolly

I'm standing by to hear from @golovach-ivan on a budget / reward proposal. Perhaps I could / should have done more to be sure you understand how the process works......

Are you working with anyone on this stuff? Is anyone else reviewing it or following along? On Fri, Sep 7, 2018, 9:17 AM golovach-ivan wrote: > Implement strong/weak bisimulations for...

Collaboration is pretty important... Nearly essential. I'm not up to speed enough to read the code as it is without more documentation. I mentioned this work to Mike Stay and...

On Sat, Sep 8, 2018, 4:51 PM allancto wrote: > @dckc as I understand this issue has spanned > two months and in August what Ivan did was weak/strong bisimilarity...

Taking another look, I do see stories in the docs... about a coffee machine and such. But the notation is too dense for me. How would one read these, in...

Reviewing the plan in #835, I see a big part of why I couldn't read the notation: it's not intended to be rho-calculus. Part 1 is just CCS. @golovach-ivan in...

The theme looks like it's coming along well, but I wonder how much of the budget should be allocated to the April pay period. I'm putting in something, but probably...

Is there an important reason we can't all collaborate on the same WP instance? http://rchain.maartenvandomburg.nl/ seems pretty slow and unreliable. I'm struggling to see any of the work you did...

Ah.. cool... I had an account. I guess we'll get to scribbling in the same place soon; meanwhile... I guess it's pretty, but I hope people are not coming here...

I suppose you have an iterative approach in mind and that there aren't really "before approval" and "after approval" epochs. My approval of the design is heavily influenced by page...