https://KeenS.github.io/ Recent content on κeenのHappy Hacκing Blog Hugo -- gohugo.io ja-jp Sat, 01 Aug 2026 15:17:01 +0900 https://KeenS.github.io/blog/2026/08/01/zshkarafishniikoushita/ Sat, 01 Aug 2026 15:17:01 +0900 https://KeenS.github.io/blog/2026/08/01/zshkarafishniikoushita/ <p>κeenです。ログインシェルを長年使ってきたzshからfishに移行したのでその記録。</p> https://KeenS.github.io/blog/2026/07/08/aws_lambdahonkakunyuumonwoyonda/ Wed, 08 Jul 2026 21:00:48 +0900 https://KeenS.github.io/blog/2026/07/08/aws_lambdahonkakunyuumonwoyonda/ <p>κeenです。講談サイエンティフィック社様から <a href="https://www.kodansha.co.jp/book/products/0000427006">ＡＷＳ　Ｌａｍｂｄａ　本格入門　ＲｕｓｔとＴｅｒｒａｆｏｒｍでつくるサーバーレスシステム</a>をご恵贈いただいたので読みました。 #PR</p> https://KeenS.github.io/blog/2026/06/13/rusttokanidekazudokuwotoku/ Sat, 13 Jun 2026 15:14:51 +0900 https://KeenS.github.io/blog/2026/06/13/rusttokanidekazudokuwotoku/ <p>κeenです。Twitterで面白そうなネタをみかけたのでやってみます。</p> https://KeenS.github.io/blog/2026/04/05/zfsnobakkuappunosettei/ Sun, 05 Apr 2026 14:43:30 +0900 https://KeenS.github.io/blog/2026/04/05/zfsnobakkuappunosettei/ <p>κeenです。一昨年ファイルシステムをbtrfsからZFSに移行したあとそういやバックアップの話を書いてなかったので書き残します。</p> https://KeenS.github.io/blog/2026/04/03/rustnosaitekikahahoshouhanaigaatenidekiru/ Fri, 03 Apr 2026 12:04:26 +0900 https://KeenS.github.io/blog/2026/04/03/rustnosaitekikahahoshouhanaigaatenidekiru/ <p>κeenです。Rustコンパイラは最適化が行われることの保証をしませんが、実用的にはアテにしていいんじゃないかという話です。</p> https://KeenS.github.io/blog/2025/12/29/senkeikatanogimuobujiekutopata_n/ Mon, 29 Dec 2025 21:11:30 +0900 https://KeenS.github.io/blog/2025/12/29/senkeikatanogimuobujiekutopata_n/ <p>κeenです。線形型でできる面白そうなパターンを思い付いたので書いときます。</p> https://KeenS.github.io/blog/2025/11/11/kawarujoutaiwokatadearawasu/ Tue, 11 Nov 2025 23:53:00 +0900 https://KeenS.github.io/blog/2025/11/11/kawarujoutaiwokatadearawasu/ <p>κeenです。 プログラムで扱うものに状態、操作によって変わるものってありますよね。それを扱うのは普通なら難儀するのですが、Rustだと上手く扱う方法があるよって話です。</p> https://KeenS.github.io/blog/2025/08/13/ubuntu_25_04henoappude_togakakoichinanshikatta/ Wed, 13 Aug 2025 21:44:28 +0900 https://KeenS.github.io/blog/2025/08/13/ubuntu_25_04henoappude_togakakoichinanshikatta/ <p>κeenです。この時期にアップグレードしてるあたりからも分かるとおり、Ubuntu 25.04へのアップグレードが過去一難しかったので情報を書き留めておきます。</p> https://KeenS.github.io/blog/2024/05/29/jisakumashin3gouwokunda/ Wed, 29 May 2024 23:47:30 +0900 https://KeenS.github.io/blog/2024/05/29/jisakumashin3gouwokunda/ <p>κeenです。ゴールデンウィークに買ったマシンがややトラブルありつつも組み上がって安定稼動しはじめたのでメモを残します。</p> https://KeenS.github.io/blog/2023/09/02/preferred_networksninyuushashimashita/ Sat, 02 Sep 2023 11:45:41 +0900 https://KeenS.github.io/blog/2023/09/02/preferred_networksninyuushashimashita/ <p>κeenです。お久しぶりですね。表題のとおり入社報告です。</p> https://KeenS.github.io/blog/2022/12/03/idris2nokanrihapackniomakase/ Sat, 03 Dec 2022 17:50:37 +0900 https://KeenS.github.io/blog/2022/12/03/idris2nokanrihapackniomakase/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2022/idris">Idris/Idris2 Advent Calendar 2022</a>の1日目の記事として過去に遡って投稿しています。</p> <p>κeenです。ぼちぼちIdris2を触りはじめたので小出しに色々なことを書いていきます。今回はIdris2のインストーラ兼パッケージマネージャ兼ビルドツールのpackについて</p> https://KeenS.github.io/slide/rustnohidoukidebaggutsu_ruwotsukaikonase_/ Sun, 27 Nov 2022 18:53:38 +0900 https://KeenS.github.io/slide/rustnohidoukidebaggutsu_ruwotsukaikonase_/ TechFeed Experts Night#9 〜 Rust/WebAssemblyの「いま」を探るでの発表用。tokioから出ている非同期プログラムのデバッグツール(ライブラリ)群の紹介 https://KeenS.github.io/slide/wasmdedekirukoto_dekisounakoto/ Wed, 02 Nov 2022 21:31:40 +0900 https://KeenS.github.io/slide/wasmdedekirukoto_dekisounakoto/ みんなのPython勉強会での発表用。比較的低レベルなWasmの入門 https://KeenS.github.io/blog/2022/09/21/burogunipdfsuraidowotsuikashitahanashi/ Wed, 21 Sep 2022 02:08:15 +0900 https://KeenS.github.io/blog/2022/09/21/burogunipdfsuraidowotsuikashitahanashi/ <p>κeenです。最近気が向いたときにInkscapeでスライドを作るようにしてるんですが、できあがったPDFの置き場に困ってたのでPDFをインラインで表示できるようにしたお話です。</p> https://KeenS.github.io/slide/kansuugatade_takouzoutoizongatadoujinyuumon/ Tue, 20 Sep 2022 14:27:56 +0900 https://KeenS.github.io/slide/kansuugatade_takouzoutoizongatadoujinyuumon/ 第三回関数型プログラミング（仮）の会 (https://opt.connpass.com/event/255865/)での発表用。Banker's Queueの紹介と依存型の紹介 https://KeenS.github.io/blog/2022/09/17/idrisdeshoumeigashiyasuikakikata/ Sat, 17 Sep 2022 04:17:30 +0900 https://KeenS.github.io/blog/2022/09/17/idrisdeshoumeigashiyasuikakikata/ <p>κeenです。なんか証明しづらいなって思ってたところをコード側を書き直したらすんなりいけたのでメモ。</p> https://KeenS.github.io/blog/2022/09/10/idris2noizongatatsukiki/ Sat, 10 Sep 2022 02:42:15 +0900 https://KeenS.github.io/blog/2022/09/10/idris2noizongatatsukiki/ <p>κeenです。<a href="https://opt.connpass.com/event/255865/">某勉強会</a>の準備で色々Idrisのライブラリを眺めてたら面白いものを見付けたので共有します。 依存型があればどの言語でも定義できるはずですが、標準添付ライブラリとしてIdris2に入ってたのでタイトルにIdris2を入れときました。</p> https://KeenS.github.io/blog/2022/08/01/btrfsdeukkaridisk_fullnishitatokiniyattakoto/ Mon, 01 Aug 2022 01:06:58 +0900 https://KeenS.github.io/blog/2022/08/01/btrfsdeukkaridisk_fullnishitatokiniyattakoto/ <p>κeenです。先日ついうっかりbtrfsのファイルシステムをdisk fullにしてしまったので、そこからリカバリしたときの記録を残しておきます。</p> https://KeenS.github.io/blog/2022/06/20/rustnoko_dochekkuwokyouryokunisuru3tsunotsu_ru/ Mon, 20 Jun 2022 03:53:40 +0900 https://KeenS.github.io/blog/2022/06/20/rustnoko_dochekkuwokyouryokunisuru3tsunotsu_ru/ <p>κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに <code>cargo check</code> や <code>cargo test</code> などのツールを使っているかと思いますが、それらを強力にするツールの <a href="https://github.com/rust-lang/miri"><code>miri</code></a> 、 <a href="https://github.com/facebookexperimental/MIRAI"><code>MIRAI</code></a> 、 <a href="https://github.com/model-checking/kani"><code>kani</code></a> をそれぞれ紹介します。</p> https://KeenS.github.io/slide/droptofuturetodropnofuture/ Sat, 14 May 2022 16:36:25 +0900 https://KeenS.github.io/slide/droptofuturetodropnofuture/ tfconでの発表用