http://vv.cs.byu.edu/~egm/blog/ If you find any of this useful to you, then please let me know.]]> 2005-09-09T14:51:23-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/09/jarerror_no_kno.html I had this weird error suddenly appear after using Eclipse and changing various compiler settings and moving the default JRE used by Eclipse. The error was: % java jarError: no known VMs. (check for corrupt jvm.cfg file) Every java command... Mac OS X egm 2005-09-09T14:51:23-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/08/selinux_apache.html For those of you using SELinux and Apache, this might be useful. Our web-server recently suffered and untimely and tragic death forcing us to set up a new machine. Being the ambitious people that we are, we quickly loaded Fedora... Personal egm 2005-08-16T16:02:51-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/06/movable_type_an.html So it turns out that the default order in Movable Type for categories is alphabetical, which if fine for some things, but not so hot for others. I spent the last few hours changing this so I could better organize... MovableType egm 2005-06-27T13:44:41-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/notes_and_throu.html We had 26 people attend from 3 different universities. We covered a wide range of research, and I thoroughly enjoyed the conference. There is a lot of interesting work being done in Utah. These notes are just a few... URVW egm 2005-05-25T09:32:23-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/x_protocol_erro.html I am a continuing Emacs addict despite continued attempts to break the cycle. I have been using with much joy Apples X11 package to run Emacs on my powerbook for almost 2 years now with nary a problem. The new... Mac OS X egm 2005-05-23T08:47:08-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/pgpmail_and_mac.html The new security update from Apple (10.4.1) disables PGPMail for some strange reason. Fortunately, the folks at Sen:ti already sorted out how to reenable PGPMail. It all works fine.... Mac OS X egm 2005-05-17T09:33:20-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/the_2nd_annual.html The Computer Science Department at Brigham Young University is pleased to host the second annual Utah Regional Verification Workshop (URVW). The workshop is a forum for Utah researches to share their current work in verification and validation; and it is... URVW egm 2005-05-16T13:59:47-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/he_4th_ieee_dav.html This annual computer engineering education conference hosted by BYU each year is really enjoyable. They do an excellent job organizing the conference, and this year is no exception. One of the invited speakers, David Harris or Harvey Mudd, gave a... Teaching egm 2005-05-11T13:33:12-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/bogor_on_mac_os_1.html Bogor is an extensible model checking framework integrated into Eclipse. This details the various steps I performed to get Eclipse installed and running with the appropriate plugins necessary for Bogor using J2SE 5.0 from Apple for Mac OS X Tiger.... Bogor egm 2005-05-11T08:46:02-07:00 http://vv.cs.byu.edu/~egm/blog/archives/2005/05/mac_os_x_tiger.html I recently upgraded to Mac OS X Tiger, and I pleased to report that I am quite pleased. Spotlight and the new Mail application bring serious value to the upgrade. That said, I chose the Archive and install option and directly Tiger to import all of the existing user accounts and Data. I am most sure how long the process took because I went to eat dinner after I started it. Once it was complete, however, I still had a lot of work to do to get everything up and running. For what it is worth, here is a rough list of what I did.

]]> Mac OS X egm 2005-05-09T10:42:48-07:00