ると
コンピュータ関連、その他言葉遊びなどを書いてます。アイコンは「腕時計」。ヘッダー画像は2-3フィンガーツリー。
Nostr: npub19zyfvxjkfcyqml344k8uv5tmjgxjlnft0qcvw0mu870j4whfp65sq5sfxh
github.com/taku0
p.tatapa.org/users/ruto
twitter.com/cocoa_ruto
- プログラミング言語の意味論で、small-step semanticsとbig step semanticsの中間的なbig-stop semanticsというものがあるらしい。 dl.acm.org/doi/10.1145/... 直感的には次のような感じっぽい。 small-step semantics: 式e1は1ステップ計算すると式e2になる。 big-step semantics: 式eは最終的に値vになる。 big-stop semantics: 式e1は何ステップか計算するとe2になる。 big-stopはbig-stepっぽく簡単に書けて、停止しない計算も素直に扱える。
- WIREDにのみ登録しているメールアドレスからスパムが来た。検索すると同じようなスパムが来たという人はいるが、いまのところ1人のみ。以前WIREDに問い合わせを送ったことがあるので、それが関係しているかもしれない。
- まだスパムが来るので、メールアドレスを変えようと思ったらアカウント管理画面からは変更できない。問い合わせチャットボットに案内されたので聞いたら郵便番号やら本名やらを聞かれた上にMonday–Friday, 9 AM – 6 PM ESTに再度チャットしろと言われた。
- なんとかなった。
- おにはそと ふくはうち かしわもち くつわむし あかわいん つなわたり うちわえび うらわえき かがわけん ときわだい いなわしろ
- Rootless Dockerからの外向き通信が上手くいかなくて、MTUの設定が悪いのかとかいろいろいじってたら通信できるようになったけど、念のため設定を元に戻しても通信できて、daemonを再起動したから動いただけっぽい。
- アメリカのCBPやICEが使っている顔識別技術はNEC製とのこと。 www.wired.com/story/mobile... 「NECグループ AIと人権に関するポリシー」と関連ページ jpn.nec.com/sustainabili... wisdom.nec.com/ja/feature/b... jpn.nec.com/corporateblo... jpn.nec.com/techrep/jour...
