Sunday, February 28, 2010
Saturday, February 27, 2010
Thursday, February 18, 2010
I am typing this on my Macbook while it is suspended above the coffee table on a dual monitor mount.
The one thing is my LG W1952TQ monitor will not mount on the vesa mount. So I may have to find another monitor for this mount arm. I may try to trade this monitor with someone for a compatible monitor.
Sunday, February 14, 2010
I have to use the Otter/Mace9 automated theorem prover for some school work in knowledge representation. I have it running on my Ubuntu Dell Mini 9 netbook already. Since I am typing up my school work in LaTeX on my Macbook, I want to run Otter/Mace9 on my Macbook. I usually install GNU software like Otter/Mace9 with Fink. So I am having to update Fink and Fink Commander.
Now after writing this, I searched Fink and could not find Otter in Fink. I will try to install it in a Macintosh package from the Otter/Mace9 web site. For now I have Prover on the Macbook which is a newer version of Otter/Mace9. I would like to use the old version still.
May be the newer version Prover will help me get started with Otter because so far I have not had success with the resolution function in Otter on the netbook. And the resolution function and then refutation is the point of this Otter software
Tuesday, February 09, 2010
Sunday, February 07, 2010
- The first step I figured was to find all the disks that came with this Dell Inspiron 1545 15 inch wide screen laptop.
- I did find those. I need to have the restore disk so I can reinstall the OS so the new onwer can have a clean OS and start fresh. I may also look into some way of securely erasing the drive without crapping up the format so the restore disk will still work. So step one is good to go.
- The step two is to back up all my user files on both the Windows side and the Debian side.
- This may be difficult to make sure I have all the data in all the folders such as software user data folders. If I am going to get a new Windows 7 computer there may be some data and application transfer techniques these days to simply transfer the data from the Vista 64 bit on the Inspiron to the Windows 7 Home Premium on the new Alienware M11X. For now I am backing up files to a small external USB drive with 91 GB free space. This is one of the few USB drives I have that can be seen by Windows and Linux and Macs. I will also back up to my Linksys network drivebay. So step two is in progress.
Saturday, February 06, 2010
Last winter my Internet provider offered me a discount on a netbook from Dell. Therein I discovered Dell computers and the Dell finance easy credit. I also discovered that the netbooks were available with Linux. I bought a netbook with Ubuntu 8 and that has since been upgraded by myself to Ubuntu 9 netbook remix and I have also installed now the Transmission OS from the Trinity Audio Group also known as Indamixx OS. This is a specialized Linux based music OS.
I then ordered an Inspiron 15 inch wide screen laptop from Dell. Then later in the summer I ordered a Dell Mini projector. I am now considering selling the mini projector and a screen I had bought on ebay. I am also now considering selling the Inspiron laptop and getting an 11 inch Alienware M11X gaming laptop.