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

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

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

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

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

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

κeenです。最近気が向いたときにInkscapeでスライドを作るようにしてるんですが、できあがったPDFの置き場に困ってたのでPDFをインラインで表示できるようにしたお話です。

κeenです。なんか証明しづらいなって思ってたところをコード側を書き直したらすんなりいけたのでメモ。