https://KeenS.github.io/ Recent content on κeenのHappy Hacκing Blog Hugo -- gohugo.io ja-jp Wed, 29 May 2024 23:47:30 +0900 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での発表用 https://KeenS.github.io/blog/2022/04/30/tarwotsukattabakkuappuwomaishuutoru/ Sat, 30 Apr 2022 17:54:15 +0900 https://KeenS.github.io/blog/2022/04/30/tarwotsukattabakkuappuwomaishuutoru/ <p>κeenです。最近バックアップを見直したのですが、その一環でtarでフルバックアップを毎週取るようにしたのでその報告です。</p> https://KeenS.github.io/blog/2022/04/24/rustdesetteichiwomotsunihadoushitaraiidesuka/ Sun, 24 Apr 2022 15:54:37 +0900 https://KeenS.github.io/blog/2022/04/24/rustdesetteichiwomotsunihadoushitaraiidesuka/ <p>κeenです。Rustではじめてアプリケーションを書くときに困りがちなことの1つにグローバルな値を持つにはどうしたらいいか分からないというのがあるようです。 その書き方を何パターンか紹介しできたらなと。</p> <p>一応この記事には元ネタというかインスパイア元があり、以下のリポジトリも見ながら書かれています。</p> <p><a href="https://github.com/paulkernfeld/global-data-in-rust">https://github.com/paulkernfeld/global-data-in-rust</a></p> https://KeenS.github.io/blog/2022/04/24/fcitx_skkdehenkan_muhenkanki_denihongo_ratenwokirikaeru/ Sun, 24 Apr 2022 00:21:58 +0900 https://KeenS.github.io/blog/2022/04/24/fcitx_skkdehenkan_muhenkanki_denihongo_ratenwokirikaeru/ <p>κeenです。fcitxユーザになってfcitx-skkの設定頑張ってるので記録に残します。</p> https://KeenS.github.io/blog/2022/04/23/ubuntu_22_04niagetatokiniokitamondaitokaiketsu/ Sat, 23 Apr 2022 19:38:42 +0900 https://KeenS.github.io/blog/2022/04/23/ubuntu_22_04niagetatokiniokitamondaitokaiketsu/ <p>κeenです。昨日Ubuntu 22.04に上げたら色々問題が起きたので私がやった解決策を残しておきます。</p> https://KeenS.github.io/blog/2022/04/01/gpuwomochiitafizzbuzznokousokukanotorikuminokaisetsutoka/ Fri, 01 Apr 2022 00:00:01 +0900 https://KeenS.github.io/blog/2022/04/01/gpuwomochiitafizzbuzznokousokukanotorikuminokaisetsutoka/ <p>κeenです。今年のエイプリルフールのジョークの<a href="https://keens.github.io/blog/2022/04/01/gpuwomochiitafizzbuzznokousokukanotorikumi/">GPUを用いたFizzBuzzの高速化の取り組み</a>について解説します。</p> https://KeenS.github.io/blog/2022/04/01/gpuwomochiitafizzbuzznokousokukanotorikumi/ Fri, 01 Apr 2022 00:00:00 +0900 https://KeenS.github.io/blog/2022/04/01/gpuwomochiitafizzbuzznokousokukanotorikumi/ <p>ハ〜イ、κeenさんだよー。FizzBuzzを高速化したから紹介するねー。</p> https://KeenS.github.io/blog/2022/02/21/rustdepointakara_box_t__wotsukuru/ Mon, 21 Feb 2022 02:17:08 +0900 https://KeenS.github.io/blog/2022/02/21/rustdepointakara_box_t__wotsukuru/ <p>κeenです。表題のとおりのことをやりたかったのですが、ピンポイントのAPIが見当らなかったのでやり方を書き留めます。</p> <p>2022-02-22: 末尾に追記しました</p> https://KeenS.github.io/blog/2022/01/04/ebpfdedockerno__passworddenyuuryokushitapasuwa_dowonusumu/ Tue, 04 Jan 2022 01:47:31 +0900 https://KeenS.github.io/blog/2022/01/04/ebpfdedockerno__passworddenyuuryokushitapasuwa_dowonusumu/ <p>κeenです。<a href="https://keens.github.io/blog/2021/12/20/rustdedockerno__passworddenyuuryokushitapasuwa_dowonusumu/">以前の記事</a>の続きで、 <code>/proc</code> を監視するのではなくeBPFで取得してみます。ついでにRustのコードをeBPFで動かせるライブラリのayaも使ってみます。</p>