#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues?Dec 11, 2024 - 36:07GitHub の Issue を読んでバグを直すエーアイについて森田が読みました。
#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and CompromiseDec 4, 2024 - 54:05Rust を Linux カーネルへで使う取り組みの進捗を向井がウォッチしました。
#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language ModelsOct 24, 2024 - 39:54
#136: Distinct Elements in Streams: An Algorithm for the (Text) BookAug 7, 2024 - 25:58学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。