学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。
行列の掛け算が得意なハードウェアについて森田が読みました。
巨大 ML モデルの軽量 fine-tuning 手法を向井が読みました。
CUDA を書かずに済む GPU カーネルの DSL について森田が読みました。
Stable Diffusion の元論文を向井が読みました。
CUDA で書かれた PyTorch 用カーネルに森田が玉砕しました。
向井が画像生成の拡散モデルに入門しました。
Meta の vector search 実装の関連論文を向井が読みました。
Intel の CPU にやってきたニューラルなんとかの出自を森田がたどりました。
(壊れた音声ファイルを配信してしまったので、修正したファイルで同じエピソードを再配信しています。ごめんね。)GPGPU ワナビーの森田が C++ 拡張の GPGPU 標準を眺めました。
Meta 社のインターンが分散トレーシングで集めたログを睨んだ論文を向井が読みました。
たふみ
Goのconcurrencyに関して、こんな論文もあります。 http://mrg.doc.ic.ac.uk/publications/a-static-verification-framework-for-message-passing-in-go-using-behavioural-types/