SAT/SMTソルバ
はじめて知った．形式意味論の分野なにもわからない．
UUIDの衝突
10秒で衝突するUUIDの作り方 – Speaker Deck
kubectl-cost
kubecost/kubectl-cost: CLI for determining the cost of Kubernetes workloads
ssh-operator
kaitoさんが見つけていた．
mazrean/ssh-separator: sshをユーザーごとのコンテナへ振り分けるツール
Bashのタスクランナー
Makefileの置き換えを探して見つけた．かなり良さそう．
stylemistake/runner: Simple, lightweight task runner for Bash.
Bash CLIフレームワーク
Makefileの置き換えを探して見つけた．YAMLかきたくないのでボツかも．
DannyBen/bashly: Bash command line framework and CLI generator
詳解 Linuxネットワーク NAPI
おもしろそう．あとでよむ．
詳解 Linux ネットワーク – NAPI 編 (前編) – VA Linux エンジニアブログ
GitLabの働き方
実践すると良さそうなヒントが多かった．
GitLabで学んだ最高の働き方 Developers Summit 2022-02-18
Slackで障害
22:00頃からSlackのメッセージが読み込めない問題が起きていた．
https://status.slack.com/2022-02-22
人事のぶっちゃけ
見ていて面白かった．現実ではSPIやらなくても良いのかもなと…
「絶対に聞かないでほしい」人事が嫌う逆質問？！全てぶっちゃけます｜後編 – YouTube
※NGなし※「顔採用ありますか？」大手メーカー人事にぶっちゃけ質問｜前編 – YouTube
余談
- 大戸屋でランチを食べてタリーズでノマドワーカーごっこをした．
- Amazon Echo Budsをポチった．
- 池袋で牛肉麵を食べた．これが美味しくて癖になった．
コメントを残す