I met the Creator

Well, I actually didn’t meet him — I narrowly missed him. I went to Santa Cruz on Saturday with Joanna to hang with Mommypuff and Gogo. We were walking down one of the main streets there, amid signs that promoted the idea to “Keep Santa Cruz Weird”, and I noticed a flier on the door of a Borders that said Robert Jordan was going to be holding a signing there later that day at 4.

We were having such a good time checking out the wharf and UCSC that I didn’t get back to the Borders until around 5:30, at which point RJ was packing up his stuff and leaving. So all I call really say is that I saw the Creator and, yes, he really does where those wide-brimmed black hats that you see in the dustjacket bios.

Beauty fills his head with wonder, boy

…And it comes to be that the soothing light at the end of your tunnel is just a freight train coming your way…


8. FORMAL PROOF II
------------------
let phi = p(x)
1. phi => Ax.phi UG
2. (phi => Ax.phi) => Ax.(phi => Ax. phi) UG 1
3. Ax.(phi => Ax. phi) MP 1,2
4. Ax.phi => Ax.Ax.phi UD 3
5. Ax.phi => Ax.phi [x6. Ax.phi => phi[x7. Ax.p(x) => p(y) write phi as p(x)
8. Ax.p(x) => Ay.p(y) UG 7


Voodoo.

Making the Impossible Very Difficult

My week:

1. Finished 145 (XPath/XQuery)
2. Finished 147 (the usual)
3. Got pwned at Lucky Dhaba (Wampler is back!)

While the irony is not entirely lost on me, I was dismayed by what Adit believes is “good Indian food”. At least we got to blindfold Wampler and take her to an Indian restaurant.

Lews T: i would totally want to go get indian food with you
Lews T: but if you wanted to go to lucky dhaba i would jump out of the car as it was going 70 on the highway and hope that you were buckled in so that you couldn’t get out in time before the car plummeted off an overpass into oncoming traffic.
T: shut up. lol
T: i was thinking like somewhere in palo alto

4. ABSOLUTELY PWNED 270 midterm

Ok. Doug has a theory on this one that he shared with me, in the spirit of CS157. From our mutual experience in the biocore, we know that pre-meds are kindof slow. Pre-meds become meds. Ergo meds are slow. That’s the only way to explain all the unhappy faces at the 270 exam because it was an open-book, walkin’ on sunshine affair.

5. PWNED 140 midterm

Last minute cramming for CS140, operating systems, pays off big time. I perused all the old midterms and a lot of the questions were re-used. When in doubt, the answer always involves a translation-look-aside buffer which accelerates the hierarchical page table lookup using the CR3 register to instantaneously swap the lowest priority thread and the least recently used page with the optimal donation inversion strategy in privileged mode using run-in-place wired-on kernel hacks with late-binding to dynamic link library object files wherein we use lottery scheduling to determine the best-fit location within the TLB-reach. However, I was up until 5am and that will make step 6 suck.

6. Doing 157 in next 7 hours

Step 6. Finish my masochistically formal logic problem set in such a way that I beat the curve (the average grade will be 90% because the psets in this class each count for as much as the final) and do it all before midnight tonight on almost no sleeps.

7. Santa cruz tomorrow with Jo, Mommypuff and Gogo
8. Dim Sum with Tammy, Claudia and Wampler (OMG SO COOLS) on Sunday

While David and Wampler get re-acquainted behind the curtains, Claudia, Tammy and I will enjoy delicious shrimp families and egg custard buns.

This is the Kaliyuga

Ruminations on the the Kaliyuga, which seem appropriate given the next week or so.


Due Dates

Oct 24
CS145 Project(s)

October 25
CS147 - Meet in Meyer at 8:30?

Oct 27
CS157 PS #2

Oct 31
CS145 - Gradiance/Challenge
CS147 - A3 User Observation

Nov 2
CS140 - Assignment #2


Midterms

Oct 27
CS270, in class

Oct 28
CS140 in class

Nov 2
CS145 in class

The Kaliyuga, though is shortest, is the culmination point of the other three Yugas. In this era, man is bestowed with the privilege of working out all karmas -actions- and earn mukti -spiritual liberation. Hence, even the deities and Great Souls, aspire to get birth in this period, despite the fact that sorrow and suffering are a common thing in this age. We must keep in mind that grief, pain and distress man has to deal with, are necessary to make man realize about the main reason for taking birth on Earth and that is to evolve and find spiritual liberation.

We who live now are very fortunate. Dubbing this Yuga as the most forlorn and detestable period of time, was the unforgivable calumny caused by the vested interests to further their own ends. This Kali Age is the period of samkara, or the cohesive consolidation of all castes, creeds, religions, etc.

If one looks at the religious practices among the people living in different social settings, one may wonder to see the myriad of paths in worship of God. The confusion which thus arises in a seeker, in seeing the complexity in religious practices, can be resolved only by a fully realized Guru -spiritual master- who should show by experience, the truth and untruth ingrained in methods of worship.

Jerry Cain I Love You!

I love Jerry Cain. He saved me $15,000.

The past month has been something of a crisis vis a vis scraping together 45 units of classes to count towards my MS degree without double-counting any of the classes I took to fulfill my CS BS requirements. Since all the upper level CS classes are only worth 3 units each, 45 units is 15 *hard* classes. Also, units here cost about $700 each. Yeah, I know.

Anyway, I made an appointment to meet with JC about two weeks ago to discuss the undergrad CS requirements. We talked for about 45 minutes, during which he gave me the idea to attempt to count several classes towards my masters that I had not originally thought to be likely candidates.

The guy that says what classes I can and can’t count towards my masters (my advisor, Ken) has been very illusive since I arrive at Stanford in September. I spent so much time (3 weeks…) stalking him to get him to sign off on my program sheet to no avail that his grad students took pity on me and put it on their stack of things for him to look at. Suddenly, towards the end of last week, Ken showed up to talk to a surgeon and my sheet was miraculously signed! Then just today, I got Claire to sign off on both my masters and undergrad program sheets — making it a done deal.

The end result? 19 units of classes I’ve already taken and got A’s in (good for that MS GPA) counted towards my MS. In fact, I only need to take two classes to complete my MS degree! Isn’t that exciting?

Acronis True Image

Is truly excellent backup and recovery software that actually works the way you would want it to. Two weeks ago the hard drive in my 3 year old Inspiron 8200 started to die (threw up some scary looking “umountable boot volume” errors. Through pure luck I was able to boot it once more and make a complete disk image using Norton Ghost.

Turns out Ghost blows. It can’t handle imaging and restoring a partitioned disk. I thought this was really bizarre since it is the industry standard backup software (at least we used it at IBM).

So after wasting a weekend futzing with my computer, I downloaded the demo version of Acronis and it worked the first time. It’s so great I might actually buy it. Yeah. That good.

I'm afraid of ontological commitment

CS270. It goes on like this:

If, as we have argued, all representations are imperfect approximations to reality, each approximation attending to some things and ignoring others, then in selecting any representation we are in the very same act unavoidably making a set of decisions about how and what to see in the world. That is, selecting a representation means making a set of ontological commitments. (2) The commitments are in effect a strong pair of glasses that determine what we can see, bringing some part of the world into sharp focus, at the expense of blurring other parts.

These commitments and their focusing/blurring effect are not an incidental side effect of a representation choice; they are of the essence: a KR is a set of ontological commitments. It is unavoidably so because of the inevitable imperfections of representations. It is usefully so because judicious selection of commitments provides the opportunity to focus attention on aspects of the world we believe to be relevant.

The focusing effect is an essential part of what a representation offers, because the complexity of the natural world is overwhelming. We (and our reasoning machines) need guidance in deciding what in the world to attend to and what to ignore. The glasses supplied by a representation can provide that guidance: In telling us what and how to see, they allow us to cope with what would otherwise be untenable complexity and detail. Hence the ontological commitment made by a representation can be one of the most important contributions it offers.