I also immediately think of this book. Also the main character of the jumping spider species in the book is called Portia, likely refer to the same species in the article.
Yep, origin of the name.
It keeps getting recommended on HN - should there be a book club?