HNに流れてきてiPad Linuxに空目して開いてしまった: http://www.ipodlinux.org/ https://news.ycombinator.com/item?id=44505816

甲府は盆地で暑いし京都も盆地で暑い

エクスプレス予約で今晩乗る新幹線の切符が購入できないというやば事件が起こったが、viewカードに問い合わせたら30分くらいで無事に制限が解除されて買えた

なるほど: https://chatgpt.com/s/t_685eab4eb3808191b51baba743089591

RT> 日本の名門である京都大学で高等教育を受けました。彼は2021年に工学士号（B.Eng.）を、続いて2023年に計算機科学修士号（M.C.S.）を取得しています

名門だ！

電車の中でスマホでsshに接続して仕事するというのをとても久しぶりにやった

そして梅田へ(は京大から遠いのでなかなか着かない

HomebrewでもNuSMVをインストールできるようにした
https://github.com/MasWag/homebrew-scientific/blob/master/nusmv.rb

AURにあるNuSMVのPKGBUILDが腐っていたので直した: https://gist.github.com/MasWag/4aa6f3ebb9c2733239890fd5de0ec838

某取材を受けた都合で自分の写真を提供しないといけないが、Google Photoを見ると飲み会の集合写真以外で自分が写っている写真がほとんどないのであった 。発表したときにでも写真を撮っておいてもらえば良かった (最悪2019の写真を使うことになる

opencode(多義語)

sponge, POSIXにあるかどうかはさておきUnix哲学に即していると思うのでいろいろな環境にデフォルトで入っていて欲しい

A script to detect possibly non-DBLP entries in a BibTeX file
https://gist.github.com/MasWag/35c0683e35834057b95c60ee0888cbed