Skip to main content

Home/ ALT Lab/ Group items matching "git" in title, tags, annotations or url

Group items matching
in title, tags, annotations or url

Sort By: Relevance | Date Filter: All | Bookmarks | Topics Simple Middle
Tom Woodward

Github for Writers - Made By Loren - 0 views

  •  
    "A group of almost 40 mathematicians wrote a 600 page textbook on Homotopy Type Theory in less than six months. They taught themselves git, and they used gitHub for hosting, pull requests, and discussions. The book simply wouldn't exist without gitHub. That. Is. Amazing. I subscribed to the project on gitHub and I receive email updates every single day. The book has been released, but they're still iterating constantly. I can't even begin to comprehend the complex mathematics racing through my inbox, but the fact that these brilliant mathematicians are collaborating like this, creating something that has never existed before, out in the open, and I have a front row seat... it just blows my mind."
1 - 2 of 2
Showing 20 items per page