Another interesting a propos thing, I've just learned of the recent publication (under a creative commons license) of Homotopy Type Theory, an apparently seminal book that was developed collaboratively on github, builds up the foundations of mathematics using the stuff in the title, and uses a lot of terms that remind me of my favorite parts of theoretical computer science.

From the first page, this link is claimed to let you learn git in 15 minutes, much better than the 4 hours we spent to almost learn the basics if true:

http://try.github.io/levels/1/challenges/1

On Sat, Jul 6, 2013 at 10:52 PM, Raymond Lai <raymond.wm.lai@gmail.com> wrote:

Thanks for the class on Git, everyone. And for all the help. I learned something new and in good company.

Here's some resources I found on learning Git which all y'all might find useful or we can use them for future classes.

Scott Chacon’s book on Git
http://git-scm.com/book

A guide to version control with illustrations!
http://betterexplained.com/articles/a-visual-guide-to-version-control/

A Git guide that has a nice breakdown of Git concepts and techniques into beginning, intermediate and advanced
http://gitready.com/

Git videos
http://ava.co.uk/git

A Git Guide
http://wiki.sourcemage.org/Git_Guide

Another Git guide. One that discusses protocol in working with others and Git
http://wiki.spheredev.org/Git_for_the_lazy

Github for designers (whatever that means)
http://hoth.entp.com/output/git_for_designers.html

Some technical books that use Github to hold their examples. Also some books that use Github.
http://www.linux-mag.com/id/7461/

cheers,
Ray

On Fri, Jul 5, 2013 at 9:26 PM, Yardena Cohen <yardenack@gmail.com> wrote:

On Fri, Jul 5, 2013 at 4:23 PM, Marina Kukso <marina.kukso@gmail.com> wrote:
> What is git anyway? "Git allows a team of people to work together, all using
> the same files. And it helps the team cope with the confusion that tends to
> happen when multiple people are editing the same files." [source]
>
> It is one of the primary ways that coders work together and one of the key
> tools in the development of open source software. Although it's mostly used
> by coders, it has lots of potential uses for people who don't code and is
> very useful for anyone who is learning to code.

Although slightly inaccurate at times, this video is a good
introduction to the concept and spirit of this event:
http://www.youtube.com/watch?v=CEN4XNth61o
_______________________________________________
sudo-discuss mailing list
sudo-discuss@lists.sudoroom.org
http://lists.sudoroom.org/listinfo/sudo-discuss

_______________________________________________
sudo-discuss mailing list
sudo-discuss@lists.sudoroom.org
http://lists.sudoroom.org/listinfo/sudo-discuss