GitHub の Issue を読んでバグを直すエーアイについて森田が読みました。
Rust を Linux カーネルへで使う取り組みの進捗を向井がウォッチしました。
Google SQL の新しい文法を森田が紹介しました。
LLM にひっかけ算数問題を出してみる話を向井が読みました。
写真を集めてシーンをレンダリングするニューラルネットを森田が読みました。
学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。
行列の掛け算が得意なハードウェアについて森田が読みました。
巨大 ML モデルの軽量 fine-tuning 手法を向井が読みました。
CUDA を書かずに済む GPU カーネルの DSL について森田が読みました。
Stable Diffusion の元論文を向井が読みました。
CUDA で書かれた PyTorch 用カーネルに森田が玉砕しました。
向井が画像生成の拡散モデルに入門しました。
Meta の vector search 実装の関連論文を向井が読みました。
Intel の CPU にやってきたニューラルなんとかの出自を森田がたどりました。
たふみ
Goのconcurrencyに関して、こんな論文もあります。 http://mrg.doc.ic.ac.uk/publications/a-static-verification-framework-for-message-passing-in-go-using-behavioural-types/