技術書典 20 限定で H 言語くんフィギュアを発売します！ kakkun61 が初めて Blender のスカルプトをさわったら偶然できた気持ち悪い異形の立体化！ サポート材未取り外し、未塗装での販売です techbookfest.org
買ったときはめちゃくちゃメッキ調になってすごいと思った「ガンダムマーカー EX ガンダムメッキシルバー」ですが、4 年ぐらい経って使おうとしたら全くメッキ調にならなくなりました。 www.mr-hobby.com 新品を買ってきたので新旧比較、全然違う。 かなり使…
技術書典 20 にオンライン&オンサイトでサークル参加します。 techbookfest.org 日時と場所は オンラインは 2026.04.11-26 オンサイトは 2026.04.12 池袋サンシャインシティ 展示ホール D 下記の書物を持っていく予定です。 モナドドリル 俺々言語にだって型…
Cspell というものがあります。ソースコード中の単語のスペルをチェックしてくれるツールです。うっかりタイポして面倒なエラーになるのは嫌なので自分がソースコードを書くときはチェックをしています。 cspell.org それを nix flake check コマンドの中で…
例年ふりかえり記事を書いていないのですが、なんとなく書いてみるかという気になったので書いてみます。 健康 人生で初めて入院しました。 一時的な症状でよかったですが、またなるのはこりごりです。 抗鬱薬は続けて飲んでいます。 しごと 変わらず Herp …
Envar というコマンドラインツールを作りました。 github.com これは環境変数の値をディレクトリーごとに切り替えるツールです。 例えば FOO という環境変数について、ディレクトリー path/to/A では hoge という値にして、ディレクトリー path/to/B では fu…
いや別に飛行機の中でビルドするのが主題なわけではないのですが、オフラインモードのことを機内モードと言いますからね。最近の飛行機は Wi-Fi の提供があったりするらしいですが。 さて、あなたの Haskell プロジェクトをオフラインモードでビルドすること…
下記の記事を覚えていましょうか？ kakkun61.hatenablog.com Shake を使って静的ウェブサイト生成するようにしたことを書いた記事です。 ただ、どうも生成が遅いんです。しょっちゅうは更新しないので「まあいいか」と放置していたのですが、最近手を付ける…
Kensington Slimblade を12年ぐらい使っているんですが、最近掃除してもシリコーンオイルつけても転がりが悪くなってきました。なのでいっちょベアリング仕様にするかと改造しました。その紹介です。 分解は裏の滑り止めを剥がしてねじを7つぐらいはずします…
初めて入院しました。 経緯としてはこんな感じです。 技術書典から帰ってきた次の日の火曜日の昼間から、めまいがしだしました。 どんなめまいかというと頭を振ると脳が遅れて回る感じのめまいです。 「まあ一晩寝れば治るだろう」と様子を見てたんですが治…
ブログの更新が少ない。 最近は Cosence（Scrapbox）に書いて満足することが多い。 scrapbox.io 各ページも「これで完成」というより気が向いたり新たな知見が得られたりしたときに書き足している感じになっている。
みなさん Nix は使用していますか？ シェル環境を非破壊的にセットアップできて便利ですよね。 Nix はそれだけでなく、自作ソフトウェアのビルドツールとして利用でき、パッケージの作成と配布の手段としても利用できます。 Nix のパッケージリポジトリーと…
結婚しました ご質問があればこちら
Open Telemetry って何？ この記事では Open Telemetry のトレースの機能を使います。トレースを使うと、サーバーを越境してコールグラフとその実行時間などを取得することができます。下の画像は Jaeger のスクリーンショットです。Jaeger は Open Telemetr…
カトーのタキ1000 1000号入りセットを買ったので、アーノルトカプラーをグリーンマックスのナックルカプラーに換えた すると、機関車との高低差が大きく登坂後に解結してしまった この連結部高低差、わが家のレイアウトで解結する…… pic.twitter.com/KWrpvIc…
現状の dot ファイルのたぐいをメモするついでに人に見せる形でまとめておこうと思う。 自分の思想として「フレームワークよりライブラリー」というのがあるので、プロシージャーの形で定型処理をまとめておいて実際の dot ファイルはプロシージャーを呼び出…
RSS 監視して Discord に投げるやつ Raspberry Pi で動かすか— を゙ (@kakkun61) 2022年7月24日 これをしようとコードを書いた。クロスコンパイルの容易さから Go で書いた。Raspberry Pi 2 Model B で動かしている。 feed-trigger ひとつめは feed-trigger…
wd を C で実装しなおした。 kakkun61.hatenablog.com github.com なぜ？GC の要らないしごとだったから。 Mac OS でビルド・実行できるか分からないので試してほしい。
wd コマンドって？ これがしたかった。 hoge path/to/dir foo bar って実行したら、ワーキングディレクトリーが path/to/dir で foo bar コマンドを実行してくれるような hoge コマンドない？— かずき (@kakkun61) 2022年8月11日 $ wd ディレクトリー コマン…
芦屋のモデルバーンに行ったらドイツ国有鉄道（Deutsche Reichsbahn-Gesellschaft）の03形蒸気機関車のサウンド付きが22000円とびっくりお手ごろ価格だったのでウッカリしてしまった。 View this post on Instagram A post shared by @kakkun61_modelrailroa…
Hackage にある SDL2 ライブラリーを Windows で利用する方法のメモ。 hackage.haskell.org Haskell-jp の Slack の質問をきっかけに手元で試したことを思い出しながら書いている。 sdl2.cabal に下記の記述があるので C ライブラリーを事前にインストールす…
この記事を読んでセットアップしたので備忘録として残しておく。 qiita.com 自分の選択はこのチャートの青線で書いたやつにした。 手順 元々「Windows の機能」で OpenSSH をインストールしてある。 Pageant は使ってないので WSL2 も OpenSSH に寄せる。 Li…
うやむやで終わる記事なので事前にご了承ください。 前回のあらすじ （前回などないので探さなくていいです。） 高カインドデータ型（Higher-kinded Datatypes; HKD）というものがあります。 fumieval.hatenablog.com qiita.com 簡単に説明すると下記のよう…
gist.github.com
遊ぶ金ほしさに、先月から HERP の業務委託を受け働きはじめました。 19ヶ月ぶりの労働は体にしみます。 まずは週3日の労働から。
こんにちは。ホビー型システミストの岡本です。 最近 C++ の習得をしていて、なんとなく多相（polymorphism）の視点からいくつかのプログラミング言語をまとめてみようという気になったので書いてみます。 部分型多相（subtype polymorphism） クラスベース…
GHC の演算子の優先順位には -1 がある（たぶん組込でしか使えない #Haskell pic.twitter.com/Xa0OIjvw5i— o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟ (@kakkun61) January 3, 2021
今回は case analysis と呼ばれる関数の話です1。 data D a b c = C0 a b | C1 c 例えば上記のようなデータ型があった場合 case analysis 関数は次のようになります。 d :: (a -> b -> d) -> (c -> d) -> D a b c -> d d f _ (C0 a b) = f a b d _ f (C1 c) …
The English version is at Dev. 前回の記事の追加情報です。 kakkun61.hatenablog.com pure 抜け道はなかった まあ、こういうインターフェースでありがちな pure で外に出す抜け道が存在するのですが。 最後にこういうことを無思慮に書いたわけですが、Dev …
The English version is at Dev. 『純粋関数型データ構造』（以降 PFDS）の5.2章に刹那的純粋関数的キューというものが出てきます。 https://asciidwango.jp/post/160831986220/%E7%B4%94%E7%B2%8B%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%87%E3%83%BC%E3%82%BF%E…
