8 Jul
2013
8 Jul
'13
10:37 p.m.
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.
http://homotopytypetheory.org/book/
https://github.com/HoTT/book
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(a)gmail.com>wrote;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(a)gmail.com> wrote:
On Fri, Jul 5, 2013 at 4:23 PM, Marina Kukso
<marina.kukso(a)gmail.com>
wrote:
_______________________________________________
sudo-discuss mailing list
sudo-discuss(a)lists.sudoroom.org
http://lists.sudoroom.org/listinfo/sudo-discuss
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(a)lists.sudoroom.org
http://lists.sudoroom.org/listinfo/sudo-discuss