<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 8, 2023 at 1:21 PM Larry McVoy <<a href="mailto:lm@mcvoy.com">lm@mcvoy.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I really miss terminal rooms.  I learned so much looking over the<br>
shoulders of more experienced people.  <br></blockquote><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">Amen bro.. Funny Guy Almes </span><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">and I were chatting about this last week WRT to some CMU history.</span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">I've observed that the theory could be learned in lectures and reading books, but the art is taught to an apprentice by a master - carefully looking over her/his shoulder, trying it yourself, being self-critical of your work, as well as taking advice/critical observations from others -- then little by little learning to appreciate what works. That was all so much easier in a terminal room.</span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></span></div><div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">Or as I sometimes have said to students: "Hacking is done in the privacy of your office between you and your computer terminal. Programming may start in private, but needs the public transparency of the other eyes and thoughts if you want it to be useful for a long time."</span></div></div></div><div hspace="streak-pt-mark" style="max-height:1px"><img alt="" style="width:0px;max-height:0px;overflow:hidden" src="https://mailfoogae.appspot.com/t?sender=aY2xlbWNAY2NjLmNvbQ%3D%3D&type=zerocontent&guid=c24a0470-f066-4521-bc16-f18107587d5d"><font color="#ffffff" size="1">ᐧ</font></div>