κeenです。ふとした興味からEssential PhoneにAndroidのカスタムROMの1つ、CarbonROMを焼いたのでそれをメモします。

κeenです。前回に続いて自宅用のデスクトップマシン2号を組んだのでメモします。

κeenです。 大きめ(130P程度)のPDFを印刷する用事があり、両面印刷したくなったのでそのときのメモ。

κeenです。久しぶりに「強めに型をつける」シリーズです。 マーカとして使われる型について。呼び方が分からなかったので「タグ型」と呼ぶことにします。

κeenです。2020年ですね。スレッドを2020個走らせてみましょう。

κeenです。2020年注目していきたい技術とか書いていきます。去年までからタイトル変えました。

κeenです。2019年を振り返る。

このエントリはRustその2 Advent Calendar 2019 - Qiita 25日目の記事です。

κeenです。私は既に冬休みに突入してます。Happy Holiday！ 「Rustで簡単なコードの書き換えを自動化したいよなー」と思っていたら cargo fix でできるよという啓示を貰ったのでやってみました。

このエントリは型 Advent Calendar 2019 - Qiita 22日目の記事です。

κeenです。Session Typeの話をするつもりでしたが気が変わったのでリソースを管理する型の話をします。 リソースといっても所有権の話ではないです。 DBにWriteできるだとかS3からGetできるだとかです。リソースというよりはアクセス権限の方が正確かもしれません。