What are /r/babyrudin's favorite Products & Services?

From 3.5 billion Reddit comments

Just made one - git link is https://git.overleaf.com/6135680gbggcn which you can preview here.

EDIT: I could also post the edit-in-browser link if people prefer that, though I think sticking with git is likely to produce fewer headaches now that everyone's used to it. Also, it's fun to be able to look through the git log and see when things got done.

I am not familiar with Overleaf. I see you can pull files into Overleaf from GitHub, but does Overleaf support commiting/pull requests to GitHub repositories? How would the interactively, collaboratively edited changes make their way back to the gitHub repository?

Edit: I found this: https://www.overleaf.com/blog/195-new-collaborate-online-and-offline-with-overleaf-and-git-beta But embarrassingly don't have time to read through the details. It looks like it might work?

I feel rather active with the subreddit, but have yet to join the Skype calls. What would you talk about? Do you have questions prepared? What do the other people do while another person's question is being answered? How do you communicate written math?

I find the most activity here is from three places: 1) The subreddit itself (although we could use more discussion), 2) The HackChat IRC, and 3) the solutions document (we have over 55 commits, and solutions to almost every exercise in Chapters 1 and 2, sometimes multiple solutions).