憂鬱な午後のひととき

3月30日_

GCCへの定数整数除算最適化のパッチ

LLVMへのパッチmergeに味をしめて今度はGCCのパッチを作った. こちらはGitHubでPRするのではなくMLにパッチを投げる運用. えらく古典的だな. 新参者は登録してもすぐには反映されない. 4, 5日経ってようやく入れてもらえた. 見てもらえるとうれしいな.

3月28日_

第80回ゲーデルの不完全性定理をめぐって -ヒルベルトのプログラムから竹内の基本予想まで-

事前登録が無くて大丈夫かなと思ったけど大講義室で人が多くてそういうものだった. 難しいけどすごい面白かった. 本当は二日目も行きたかったがしんどくて無理. 残念.

3月25日_

サイボウズ・ラボユース成果発表会2026

みなさんいろいろ頑張ってすごいな. 内容は「サイボウズ・ラボユース成果発表会2026」開催.

3月22日_

『量子力学の哲学――非実在性・非局所性・粒子と波の二重性』(森田邦久)

難しくて全然わからんところもあったけど面白かった. 大学のときに勉強したときは「観測」にはなんか問題があるらしいぐらいでスルーしたけど, こんなにいろいろ考えてる人たちがいるのだと.

3月11日_

体調不良

突然のおなか痛で1週間近くへたってた. しんどかった.

3月10日_

LLVMに対する32ビット定数除算の改善

アイデアを考えれば生成AIにやってもらえる時代.

3月7日_

四条

久しぶりに京都で友達に会って三条、四条あたりをうろうろした. ここが小説で出てくる先斗町か! といろんな路地を通った(通るだけ). 大学生の頃はこのあたり全然来なかったからなあ.

3月5日_

LLVMへのPR

無事マージされた. 思ったよりずっと早かった. これから細かいbuild botsが走るようだがまずはめでたい.

3月3日_

あなたの知らないNOPたち

以前スライドは作ってたけど細かい説明はしてなかったので書いた.

3月2日_

BGIN Block 14

何年ぶりかの渋谷. 何人かにお会いできたのでよし.

C++20からwchar_tのoperator<<などがdeleteされていたのに気づいてなかった. ライブラリの修正. <=>も後方互換性を壊すのか.

3月1日_

prefetchrst2

Intelの人とのやりとりの中でバグを見つけたので報告したらすぐ直してくれた.


御意見は光成滋生<herumi@nifty.com>までお願いします