キューバ国内リーグ "セリエ・ナシオナル・デ・ベイスボル" のココデリロス・マタンサスに所属していた。野球選手としてはかなり華奢で、実際パワー不足が成績面での壁になっている。そのような中でも2006-2007シーズンは全試合出場で打率3割を達成し、オールスターゲームにも選出されるなど飛躍した。2007年にはイタリア親善試合のメンバーにも選出された。2007-2008シーズンも成績を向上させたが、北京オリンピック出場は叶わなかった。2009年にドミニカ共和国に亡命。2011年2月にニューヨーク・ヤンキースとマイナー契約を交わすが、メジャーに昇格することなく2012年シーズン限りで契約を解除となり、フリーエージェントとなった。
ポートセントルーシー市は市政委員会方式を採用しており、委員会は市長1人と4つの選挙区からそれぞれ選ばれる4人の委員、合計5人で構成されている。日常の運営は助役 (City Manager) に委ねられている。
公共教育はセントルーシー郡公共教育学区が管轄しており、セントルーシー郡の他の部分も見ている。市内には小学校6校、中学校7校、高校3校、高等教育機関 4校がある。高等教育機関のインディアン川州立カレッジはフロリダ大西洋大学、バーリー大学およびカイザー大学とキャンパスを共有している。
市内では大リーグのニューヨーク・メッツが春季キャンプを行っている。メッツ傘下でフロリダ州リーグに属するセントルイス・メッツや、同じくメッツ傘下でガルフ・コーストリーグに属するルーキーレベルのチームもポートセントルーシーを本拠地としており、3チーム全てがデジタル・ドメイン・フィールドを利用している。セミプロのサッカークラブ、トレジャーコースト・ガレオンズもポートセントルーシーを本拠地にしている。フロリダ大西洋大学が市内にトレジャーコースト・キャンパスを構えている。PGAビレッジゴルフ施設は54ホールのゴルフコースであり、教習所と歴史史料保管所を兼ねている。2007年には市では初のPGAツアー、ギンクラシック at テソロが開催された。また、市内には世界的に有名な総合格闘技の学校、アメリカン・トップチームのポートセントルーシー・キャンパスがある。さらに、10歳から13歳のジュニア・ミジェット級2部リーグのアメフトチームであるポートセントルーシー・ゴールドパイレーツは、ポップ・ワーナー・リトルスカラーズ・リーグで2009年の国内チャンピオンとなった 。市には他にスケートの地元チームもある。
公共交通機関としてはNPO法人セントルーシー高齢化評議会の1部門である「コミュニティ・トランジット」がある。1990年代にセントルーシー郡内のみに対するサービスを提供するデマンドバスとして運行を開始したが、その後定期路線を運行するようになった。2002年6月3日、フロリダ州交通局が運営会社に対する助成金の支給を承認し、対象地域をマーチン郡まで拡大した「トレジャーコースト・コネクター」の名称でサービスが開始された。
フロリダ・ターンパイクは、セントルーシー郡で唯一の有料道路であり、州間高速道路95号線とこのターンパイクが接近する最北端にある。市内には出口が2つ有り、ポートセントルーシー・ブールバード（州道716号線）とベッカー道路に接続している。セントルーシー郡を抜ける経路の大半では州間高速道路95号線の東側にある。このターンパイクで北のオーランドや南のマイアミに通じている。 州間高速道路95号線は市の西部を南北に走っている。6車線あり、マイアミや北のジャクソンビルに通じている。出口としてはミッドウェイ道路に通じる126番、セントルーシー・ウェスト・ブールバードに通じる121番、クロスタウン・パークウェイに通じる120番、ガトリン・ブールバードとトラディション・パークウェイに通じる118番、およびベッカー道路に接続する114番の5か所がある。
ポートセントルーシーは北緯27度16分33秒西経80度21分18秒に位置する。南にはセントルーシー川支流、北にはフォートピアースがある。東は大西洋である。アメリカ合衆国国勢調査局による報告では、市域全面積は76.7平方マイル (198.6 km²) で、このうち陸地が75.5平方マイル (195.6 km²) であり、水域は1.1平方マイル (3.0 km²)、水域率は1.50%である
プログラム意味論、形式手法、抽象解釈などを論じるとき、抽象化とは観測されたプログラムの動作の定義をより大雑把にかつ安全に検討する作業を意味する。例えば、実行途中の全段階を追うことなく結果だけを検討する場合などである。抽象化とは具体的実行モデルと反対の概念として定義される。抽象化は、属性が具体的モデルと同じとなるよう属性に関して「正確」または「忠実」でなければならない。例えば、加減算と乗算だけを使った式が n で割り切れるかを知りたければ、n で割り切れる値を全て計算すればよい（この抽象化は九去法と類似の形式である）。抽象化は必ずしも「正確」である必要はないが、「健全」であることを要求されることもある。つまり、決定不能な結果を生むとしても、抽象化から正当な結果が得られるべきだという意味である。例えば、クラスの生徒たちを年齢の最大と最小で抽象化した場合、ある人物がそのクラスに属するかどうかを判定するためにその年齢を最大値・最小値と比較することが考えられ、年齢がその範囲外だった場合は、その人物がクラスに属さないと確信を持って言うことができる。範囲内だった場合、「わからない」としか答えようがない。コンピュータプログラムの特性は本質的に決定不能であるため、抽象化はコンピュータプログラムを扱う場合に有効である（ライスの定理参照）。同様にプログラムの動作によって情報を引き出す自動化手法は、停止性（場合によっては失敗したり、いつまでたっても結果が出ないことがある）、健全性（誤った情報を提供することがある）、正確性（問題に対して答えられない場合がある）のいずれかを諦めざるをえない場合がある。抽象化は抽象解釈の中核的概念である。モデル検査は一般に対象システムを抽象化したものに対して行われる。