Posts

read_lineでEOFを判定する

Rustで標準入力がパイプか端末かを判定する

Emacs でバイナリファイルを編集する

はてなブログの記事を Next.js 製ブログにインポート

Next.js で URL に#を含むページを作成する

Arch Linux で日本語 man ページと英語 man ページを使い分ける

JSON parser を書いた

Playwright で OGP 画像を生成する

json で nom のお勉強

ブログを移転しました

RSPレジスタに対する勘違い

container 内で wasm-pack test を実行すると bind() failed: Cannot assign requested address (99) になる

Chrome などで Emacs キーバインディングを使う

emacs で fcitx-mozc を使う

X1 Carbon Gen 7th に Arch Linux をインストール

ActiveModel::Attributesでカスタムタイプを使う

http-conduit で取得したデータを日本語表示する

プログラミング Coq 証明駆動開発(1)

プログラミング Coq (証明駆動開発 2)

技術書典2に行ってきた