Dan Connolly

Issues such as #789 seem to capture the actual work going on. Consider making a wiki page if you want to keep the notion of peer learning as a somewhat...

So what is the objective? What does it mean to address this issue? When is it finished? As I say, if it's just a standing practice, I suggest a wiki...

The estimated budget and timeline part of the issue hasn't been filled out. It's reasonable to postpone that during an initial brainstorming period, but by the time anyone is ready...

@jimscarver I found a little inspiration to add detail to the title and description. Please confirm that you're OK with it or tweak it as you see fit. I'd appreciate...

@JoshOrndorff how many people do you think learned to do rnode testing in these meetings in July? Just a rough guess would be handy.

Good stuff. Please consider escalating rho-bot to its own issue for better visibility.

## developer-education bounty sponsorship In office hours (#403) this morning, @jimscarver asked about sponsorship for this sort of colab stuff; @David405 wanted to know more too. With @JoshOrndorff , we...

Thanks for the pointer to the scala source code. @Jake-Gillberg were you aware of this work? For reference, a nice sturdy, decentralized commit hash: : https://github.com/golovach-ivan/Correct-by-Construction/commit/c2e89d4f7ff8723842703175f6da375d585753a0 July 12. @David405 I...

I think it's more important that it be easy to _do_ the work than to track it. Giving advice is fine, but as I said: let's defer to the person...

@golovach-ivan Do you want to propose a budget and reward for the work you have done in July? Have you discussed it with anyone? Or do you want to wait...