linuxが使いたくてubuntu 22.04を古いPCに入れてみた。
PCは5年ぐらい前に中古￥7,500.-で買ったdel optiplex 7010 intel i3入ってます。
昨年の春まで現役で使用(mem&グラボ増設あり)していたが。。さすがに買い換えました。
ubuntuインストールでめでたくlinux専用マシンとなった。
買い替えたPCでWSL2にした方がはるかに速く動作するのは分かっているが
WSL2がSSD容量を圧迫するのを嫌ってlinux専用マシン導入となった。
やりたい事。。
RISC-V開発 CPUcore＆software
COQ ここ２年ばかりサボっていました。
Haskell 同上
２年前までCOQ,Haskellをdel optiplex 7010上のWSLで動かしていたので
速度に不満は無い？？ハズ。。生PCで動くので早くなっている？？ハズ。
ただいまam5:56 外は雨。。朝練取りやめ。。
これで富田林クロスの着順が。。２番ぐらい落ちるのか？？
