![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Vou Te Excluir do Meu Orkut
Jan. 5th, 2007 02:29 pmVou Te Excluir do Meu Orkut (lyrics) is a testimony to Orkut's importance in Brazil.
Jan. 5th, 2007
I'm now looking at computers at http://www.penguincomputing.com/ and http://www.linuxcertified.com/ . I'm also considering pen-based computers (e.g. Tablet PC).
Also buying a PDA (preferably non-Palm). Any recommendations?
Also buying a PDA (preferably non-Palm). Any recommendations?
more urgently, I need a PDA
Jan. 5th, 2007 06:32 pmI'm interested in a plain PDA, not wireless connectivity. Is it possible to buy a Blackberry without a phone plan? For how much?
I can get a Treo for $399 (specs). This is the keyboard model, and includes a camera. Two concerns: (1) the price is kinda high, and (2) the Palm syncing software has a history of breaking in my machines.
For (2), maybe I can buy better syncing software. I need to borrow a computer that I can test these things in. Does CMU have something like that, a place where you can borrow equipment?
I can get a Treo for $399 (specs). This is the keyboard model, and includes a camera. Two concerns: (1) the price is kinda high, and (2) the Palm syncing software has a history of breaking in my machines.
For (2), maybe I can buy better syncing software. I need to borrow a computer that I can test these things in. Does CMU have something like that, a place where you can borrow equipment?
I just found out that there is a journal about Hybrid Intelligent Systems, i.e. systems that use multiple representations, multiple methodologies, etc. It reminds me of Minsky's speech about multiple representations being important, which I very much agree with.
While I consider the work of integrating these different reprentations and methodologies crucial for tackling complex problems, it seems like it could be a particularly frustrating activity ...similar to formalizing mathematical proofs into computer-checkable form. I'm just imagining a ton of ontology mismatches, a few of which are interesting and possibly hide paradoxes, and a great majority of which are just boring.
While I consider the work of integrating these different reprentations and methodologies crucial for tackling complex problems, it seems like it could be a particularly frustrating activity ...similar to formalizing mathematical proofs into computer-checkable form. I'm just imagining a ton of ontology mismatches, a few of which are interesting and possibly hide paradoxes, and a great majority of which are just boring.