昨晩就寝が早かったので朝はアラームが鳴る前に自然と目が覚めた。

hario switch 用のフィルタが切れたので、移住直後に買った安いフィルターとホルダーで入れてみたのだが、むしろコーヒーを少なくしたのにも関わらず苦味が強く甘みが消えた。 何が違うのか具体的にはわからないのだが、Hario 最強。

提案しようとしている評価関数をライブラリとして利用できる実装をしていた。 提案だけ論文でしてその実装は動きません、は最悪なのでちゃんと動くものを公開したい。 実装したいものは単純なので、チャレンジとして、簡単なところは rust で書いてみて、pyo3 経由で python から呼べるようにしてみた。 が、粒度が細かすぎてデータの変換のオーバヘッドの方が大きいのかむしろ遅くなった。

イースターで休止していた、学生間のツールに関してのミーティングも今日から再開した。 neovim のチュートリアルをした。

夕方からドイツ語に参加してくる。 月曜日の教師は水曜日に比較して少し時間が長く感じるので頑張りましょう。