Just a personal blog for technology, web, science and life

「無限」を数学的に理解する: 濃度・対角線論法・べき集合


関数型言語と圏論


数学の全体像を俯瞰する


微分可能とは何か


分散システム概論


ソフトウェア設計とグラフ理論


Kubernetes 概論


Visual Studio Code のターミナルでの入力がなぜか遅い


生成AI でコードや記事をレビューする aictl を作り、ブログ記事をレビューしてもらうようにした


Docker イメージの GitHub Actions を作り、outputs に値を出力させる


自宅Kubernetesのバージョンを自動更新する


よく使う apt コマンド


2024年、現状の垂直タブを使えるブラウザを比較する


なぜなぜ、あるある、よくよくなどの繰り返しの言葉を textlint で許可する


Hugo の Shortcode で必要な JS などを読み込む方法


FontAwesome と SaSS で Hugo の SNS 共有ボタンを作る


Docker と Docker Compose 備忘録


ベッドを SwitchBot のテープライトで間接照明化する


powershell で通常 User でも winget を使えるようにする


wsl2 で yt-dlp を利用して YouTube から動画をダウンロードする


運用でよく使う kubectl コマンド


WSL2 で Docker Desktop で WSL2 設定しているのにエラーになる件


Synology NAS DS216j から DS223 へマイグレーションした


お名前.comから Googleドメインへの移行を実施した


ドメイン駆動設計とオニオンアーキテクチャ、Go言語での実現について


『人に頼む技術』を読んで


lima nerdctl run でコンテナが起動しなくなった