tyをNeovimから使ってみる 参考 GitHub: astral-sh/ty Astral Docs: ty - Astral Docs tyとはuvやRuffの開発で有名なAstralの開発しているRust製の型チェッカー&Language Serverです。 Pythonの型チェッカーとしてはmypy,pyrightが、Language Serverとしては…

Arch Linuxでsecure boot 参考 Arch Wiki: Unified Extensible Firmware Interface/セキュアブート Arch Linuxをセキュアブートに対応させました。 主な理由は別ディスクにinstallしたWindows11のディスク暗号化をまともに運用するのに必要だったからです。 …

SYCLの環境構築 参考 GitHub inte/llvm Fixstars Tech Blog /proc/cpuinfo SYCL 実装の性能を比較してみた(2025 4/16) 去年の年内まではArch Linuxのpacmanで intel-one-api-dpcpp-cpp さえinstallしていればうまく動いていたのですが、年度末くらいに久しく…

東京大学工学部電子情報学科の学生実験の資料の大規模ソフトウェアを手探るというgnuplotのコードをいじることを通してある程度大きなソフトウェアソースコードを探るというのが数年前に話題になっていたのを思い出したので、取り組んでみました。 gnuplot 5…