Parametricity何も分からない

発熱やば

【櫻坂46・勝又春 現役京大生と公表】 news.yahoo.co.jp/pickup/6564940

結局インフルA型で年末年始何もできなかった

Oh, you're writing CUDA kernels? Everyone's on Triton now. Just kidding, we're all on Mojo. We're using cuTile. We're using ROCm. We have an in-house DSL compiler targeting the NVGPU MLIR dialect but wait, Tile IR just dropped so we're going to target that instead. Our PM is on

npopov.com/2026/01/11/LLV…

Nice to see the OCaml 5 features proving useful in ways they weren’t originally designed for.

注)東大の学部2年生が90分で解く問題です。

朝日新聞にて #勝又春 の記事が公開中です📰 ぜひご覧ください🌸 asahi.com/articles/ASV1F… #櫻坂46

国内出張に行くためにこれほど闘わないといけませんか？

私もブロックされましたが、ことSakanaについてコメントするならば、昨年3月のCUDA Engineer論文に関して言えば、隅から隅まで読んだ結論として、かなりお粗末な内容だったと今でも思っていて、そこに関しては彼も警鐘を鳴らしていたので、非常にちゃんとした研究者だと感じました

AIでプログラミングが全部できるようになるかもな、とか言いつつ最近は朝から晩までプログラミングしてる。 ソフトウェアエンジニアが良い職業と思われるずっと前の、何かよくわからない連中の暗い趣味と考えられてた頃からずっとプログラミングをしてるわけで、生まれ持ってのやる気が違う。

コンパイラ楽しい

After a year, still confused about how people arrived at the conclusion that DeepSeek “bypassed” CUDA by using inline PTX.

tricotやっぱいい

dl.acm.org/doi/10.1145/37…

勝又春がブログを更新しました！🌸｜ 13th Singleありがとうございました！🌸 sakurazaka46.com/s/s46/diary/de… ぜひご覧ください！ #櫻坂46 #勝又春

This is a terrific book. It describes Differential Geometry using a new notation that is both clearer than regular notation, and can be executed on computer. In grad school, I took their analytical mechanics course, using the new notation. It was much better than the usual.

New blog post: Why I joined OpenAI brendangregg.com/blog/2026-02-0…

This is a pretty incredible result, and says much about state of AI/agent capabilities and also quite a bit about compiler design. 🐉 My next 2 weeks are busy, but would it be useful for me to write something about this? If so, what would be most interesting / not redundant?