AI が書いたコードを AI が形式検証するみたいな世界観なのかな
形式検証って OS とかのセキュリティチェックにどれくらい使えるんだろう
Win 10 サポート終了で親戚の家は大丈夫だろうかみたいな話を家族がしていたんだけど、実際どれくらいのセキュリティリスクがあってどれくらい緊急で対処すべきなのかよくわかっていない
ベースメイクだけでも色々あって大変だなあとなるのにそのあとが本番みたいな感じなのすごい
フルメイクの工数が多すぎて驚く
数学との倦怠期が来ている
心から発表準備のやる気が起きないので業務でもしよう
choco uninstall -x したら chocolatey 本体がアンインストールされたんだけどなぜかそのあとも動いている（chocolatey-core.extension とかはまだ残っている）。大丈夫なの？
crossdressing
めう
