It happened!

So, Monday morning was spent reading extremely carefully about the enigma called Lambda Calculus. Prior to this week I was completely at loss as to how to approach it. But a few hours and various permutations and combinations later, it finally made sense. The answers at the back of the textbook were slightly helpful as well. ;)

I spent the first half of the week reinforcing all the information I have learned over the past 10 days. Not very stimulating since the initially excitement of learning them wasn't there, but I knew it had to be done.

I met with Stephanie on Thursday. We spent an hour and a half talking about, well, everything. She will be out of town next week, so she was anxious about making sure I knew what I was doing and that I had something to do. We decided that I will actually to implement algorithms (searching, sorting, etc) in Coq. Figuring what properties I could prove out them was the next step that was to be performed simultaneously. After that, I would actually attempt to prove them. So, I have a game plan! Oh, and, at the same time, I continue to read the textbook, and another algorithms book, the Coq tutorial, Coq lecture notes from a graduate class at UPenn, and a preview of a textbook (on Coq) by Benjamin Pierce, a professor at UPenn. So, I think I should have various "fun" (refer to my previous entry for my definition of fun) tasks to perform.

There was also another PL club meeting this week. I had mentioned earlier that we continued to discuss last week's paper. My previous comments still hold. :)

So, that was research. What about fun? Well, nothing much. I just spent the weekend in New York with one of my best friends. And it wasn't' "fun", it was supercalifragilisticexpialidocious! We walked and walked and walked everywhere! Times Square, Fifth Avenue, Brooklyn Bridge, Bronx Zoo, Queens Botanic Garden, United Nations, Grand Central, Chinatown, Little Italy, Madam Tussauds, M&M store, Hershey's store, Flushing Meadows, NY Hall of Science, and a Broadway show (Mary Poppins)! I think that is the complete list. :) I will have a few pictures up, about 1/80 of the actual number of pictures taken using 4 completely-charged camera batteries. I think you get the idea. It was one of the most amazing weekends ever! So, next week = more research (aka reading, hacking, thinking), a lunch with the 20 other CS undergraduate Research Assistants working at UPenn (Geek Time!), and a weekend off (hopefully). Till then, docious-ali-expi-listic-fragi-cali-repus!

June 9 - June 15