κeenです。一昨年ファイルシステムをbtrfsからZFSに移行したあとそういやバックアップの話を書いてなかったので書き残します。

κeenです。Rustコンパイラは最適化が行われることの保証をしませんが、実用的にはアテにしていいんじゃないかという話です。

κeenです。線形型でできる面白そうなパターンを思い付いたので書いときます。

κeenです。 プログラムで扱うものに状態、操作によって変わるものってありますよね。それを扱うのは普通なら難儀するのですが、Rustだと上手く扱う方法があるよって話です。

κeenです。この時期にアップグレードしてるあたりからも分かるとおり、Ubuntu 25.04へのアップグレードが過去一難しかったので情報を書き留めておきます。

κeenです。ゴールデンウィークに買ったマシンがややトラブルありつつも組み上がって安定稼動しはじめたのでメモを残します。

κeenです。お久しぶりですね。表題のとおり入社報告です。

このエントリはIdris/Idris2 Advent Calendar 2022の1日目の記事として過去に遡って投稿しています。

κeenです。ぼちぼちIdris2を触りはじめたので小出しに色々なことを書いていきます。今回はIdris2のインストーラ兼パッケージマネージャ兼ビルドツールのpackについて