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

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

κeenです。某勉強会の準備で色々Idrisのライブラリを眺めてたら面白いものを見付けたので共有します。 依存型があればどの言語でも定義できるはずですが、標準添付ライブラリとしてIdris2に入ってたのでタイトルにIdris2を入れときました。

κeenです。先日ついうっかりbtrfsのファイルシステムをdisk fullにしてしまったので、そこからリカバリしたときの記録を残しておきます。

κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。

κeenです。最近バックアップを見直したのですが、その一環でtarでフルバックアップを毎週取るようにしたのでその報告です。

κeenです。Rustではじめてアプリケーションを書くときに困りがちなことの1つにグローバルな値を持つにはどうしたらいいか分からないというのがあるようです。 その書き方を何パターンか紹介しできたらなと。

一応この記事には元ネタというかインスパイア元があり、以下のリポジトリも見ながら書かれています。

https://github.com/paulkernfeld/global-data-in-rust

κeenです。fcitxユーザになってfcitx-skkの設定頑張ってるので記録に残します。