LLVMへのパッチmergeに味をしめて今度はGCCのパッチを作った. こちらはGitHubでPRするのではなくMLにパッチを投げる運用. えらく古典的だな. 新参者は登録してもすぐには反映されない. 4, 5日経ってようやく入れてもらえた. 見てもらえるとうれしいな.
LLVMへのパッチmergeに味をしめて今度はGCCのパッチを作った. こちらはGitHubでPRするのではなくMLにパッチを投げる運用. えらく古典的だな. 新参者は登録してもすぐには反映されない. 4, 5日経ってようやく入れてもらえた. 見てもらえるとうれしいな.
第80回ゲーデルの不完全性定理をめぐって -ヒルベルトのプログラムから竹内の基本予想まで-
事前登録が無くて大丈夫かなと思ったけど大講義室で人が多くてそういうものだった. 難しいけどすごい面白かった. 本当は二日目も行きたかったがしんどくて無理. 残念.
みなさんいろいろ頑張ってすごいな. 内容は「サイボウズ・ラボユース成果発表会2026」開催.
『量子力学の哲学――非実在性・非局所性・粒子と波の二重性』(森田邦久)
難しくて全然わからんところもあったけど面白かった. 大学のときに勉強したときは「観測」にはなんか問題があるらしいぐらいでスルーしたけど, こんなにいろいろ考えてる人たちがいるのだと.
体調不良
突然のおなか痛で1週間近くへたってた. しんどかった.
アイデアを考えれば生成AIにやってもらえる時代.
四条
久しぶりに京都で友達に会って三条、四条あたりをうろうろした. ここが小説で出てくる先斗町か! といろんな路地を通った(通るだけ). 大学生の頃はこのあたり全然来なかったからなあ.
無事マージされた. 思ったよりずっと早かった. これから細かいbuild botsが走るようだがまずはめでたい.
以前スライドは作ってたけど細かい説明はしてなかったので書いた.
何年ぶりかの渋谷. 何人かにお会いできたのでよし.
C++20からwchar_tのoperator<<などがdeleteされていたのに気づいてなかった. ライブラリの修正. <=>も後方互換性を壊すのか.
prefetchrst2
Intelの人とのやりとりの中でバグを見つけたので報告したらすぐ直してくれた.