<div dir="ltr"><div class="gmail_default" style="font-family:'arial narrow',sans-serif">Another interesting a propos thing, I've just learned of the recent publication (under a creative commons license) of <i>Homotopy Type Theory,</i> 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.</div>
<div class="gmail_default" style="font-family:'arial narrow',sans-serif"><br></div><div class="gmail_default" style="font-family:'arial narrow',sans-serif"><a href="http://homotopytypetheory.org/book/">http://homotopytypetheory.org/book/</a><br>
</div><div class="gmail_default" style="font-family:'arial narrow',sans-serif"><a href="https://github.com/HoTT/book">https://github.com/HoTT/book</a><br></div><div class="gmail_default" style="font-family:'arial narrow',sans-serif">
<br></div><div class="gmail_default" style="font-family:'arial narrow',sans-serif">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:</div>
<div class="gmail_default" style="font-family:'arial narrow',sans-serif"><a href="http://try.github.io/levels/1/challenges/1">http://try.github.io/levels/1/challenges/1</a><br></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sat, Jul 6, 2013 at 10:52 PM, Raymond Lai <span dir="ltr"><<a href="mailto:raymond.wm.lai@gmail.com" target="_blank">raymond.wm.lai@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div><div><div>Thanks for the class on Git, everyone. And for all the help. I learned something new and in good company.<br><br></div>Here's some resources I found on learning Git which all y'all might find useful or we can use them for future classes. <br>
<br>Scott Chacon’s book on Git<br><a href="http://git-scm.com/book" target="_blank">http://git-scm.com/book</a><br><br>A guide to version control with illustrations!<br><a href="http://betterexplained.com/articles/a-visual-guide-to-version-control/" target="_blank">http://betterexplained.com/articles/a-visual-guide-to-version-control/</a><br>
<br>A Git guide that has a nice breakdown of Git concepts and techniques into beginning, intermediate and advanced<br><a href="http://gitready.com/" target="_blank">http://gitready.com/</a><br><br>Git videos<br><a href="http://ava.co.uk/git" target="_blank">http://ava.co.uk/git</a><br>
<br>A Git Guide<br><a href="http://wiki.sourcemage.org/Git_Guide" target="_blank">http://wiki.sourcemage.org/Git_Guide</a><br><br>Another Git guide. One that discusses protocol in working with others and Git<br><a href="http://wiki.spheredev.org/Git_for_the_lazy" target="_blank">http://wiki.spheredev.org/Git_for_the_lazy</a><br>
<br>Github for designers (whatever that means)<br><a href="http://hoth.entp.com/output/git_for_designers.html" target="_blank">http://hoth.entp.com/output/git_for_designers.html</a><br><br>Some technical books that use Github to hold their examples. Also some books that use Github.<br>
<a href="http://www.linux-mag.com/id/7461/" target="_blank">http://www.linux-mag.com/id/7461/</a> <br><br></div>cheers,<br></div>Ray<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">
On Fri, Jul 5, 2013 at 9:26 PM, Yardena Cohen <span dir="ltr"><<a href="mailto:yardenack@gmail.com" target="_blank">yardenack@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>On Fri, Jul 5, 2013 at 4:23 PM, Marina Kukso <<a href="mailto:marina.kukso@gmail.com" target="_blank">marina.kukso@gmail.com</a>> wrote:<br>
> What is git anyway? "Git allows a team of people to work together, all using<br>
> the same files. And it helps the team cope with the confusion that tends to<br>
> happen when multiple people are editing the same files." [source]<br>
><br>
> It is one of the primary ways that coders work together and one of the key<br>
> tools in the development of open source software. Although it's mostly used<br>
> by coders, it has lots of potential uses for people who don't code and is<br>
> very useful for anyone who is learning to code.<br>
<br>
</div>Although slightly inaccurate at times, this video is a good<br>
introduction to the concept and spirit of this event:<br>
<a href="http://www.youtube.com/watch?v=CEN4XNth61o" target="_blank">http://www.youtube.com/watch?v=CEN4XNth61o</a><br>
_______________________________________________<br>
sudo-discuss mailing list<br>
<a href="mailto:sudo-discuss@lists.sudoroom.org" target="_blank">sudo-discuss@lists.sudoroom.org</a><br>
<a href="http://lists.sudoroom.org/listinfo/sudo-discuss" target="_blank">http://lists.sudoroom.org/listinfo/sudo-discuss</a><br>
</blockquote></div><br></div>
</div></div><br>_______________________________________________<br>
sudo-discuss mailing list<br>
<a href="mailto:sudo-discuss@lists.sudoroom.org">sudo-discuss@lists.sudoroom.org</a><br>
<a href="http://lists.sudoroom.org/listinfo/sudo-discuss" target="_blank">http://lists.sudoroom.org/listinfo/sudo-discuss</a><br>
<br></blockquote></div><br></div>