Puma HTTP サーバー調査メモ

Puma を使ったアプリケーションが動く基盤を見ているのですが、Puma についてわかっていないので少しドキュメントを読んだり動かしたりしたメモです

Debian 12 でパッケージマネージャーを使って Ruby (v3.1.2)をインストールする

Debian 12 でパッケージマネージャーを使って Ruby (v3.1.2)をインストールする

Debian 12 に Ruby をインストールしたかったので瑣末なメモです。 特にバージョン管理したいわけでもなかったので、ディストリビューションで使える最新のものをサクッとインストールしたく、パッケージマネージャーを使ってインストールします。

AWS CDK in TypeScript で VPC を作る

はじめに

https://dshimizu.hatenablog.com/entry/2024/01/21/000000 で AWS CDK を触ってみました。 しばらく時間が空いてしまったので、復習もかねつつ、今回は AWS CDK in TypeScript で VPC の作成をやってみました。

S3 の論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" に目を通した際の要約・メモ

はじめに

S3 の論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" に目を通したので内容を箇条書きでメモしていきます。 まだ 「Introduction」までしか見てないので随時記載していきます。

MySQL 8.0 での Charset と Collation について調べたことのメモ

はじめに

MySQL 5.7 から 8.0 への変更点の1つとして、文字セット(charset)が latin1 から utf8mb4 になり、utf8mb4 の場合の照合順序(collation)が utf8mb4_0900_ai_ci になる、というのがあります。

この文字セットと照合順序について調べたことをメモしておきます。