• Codestral Mamba

Mistral AIは、新しいアーキテクチャの研究と提供を目的として、Codestral Mambaを公開しました。Codestral Mambaは、Transformerモデルとは異なり、線形時間推論と無限長のシーケンスをモデル化する能力を備えています。そのため、入力の長さに関係なく、迅速な応答でモデルと対話できます。特にコード生成において、SOTAのTransformerベースモデルと同等の性能を発揮するように設計されています。

Codestral Mambaは、最大256,000トークンのインコンテキスト検索機能を備えており、ローカルコードアシスタントとして最適です。Mistral-inference SDKやTensorRT-LLMを用いてデプロイすることができます。また、Hugging Faceから生のウェイトをダウンロードすることも可能です。

Codestral Mambaは、Mistral AIのプラットフォームで、Codestral 22Bと並んで利用できます。Codestral MambaはApache 2.0ライセンスで公開されていますが、Codestral 22Bは商用ライセンスで提供されています。

Codestral Mambaは、72億8,540万3,648のパラメータを持つインストラクトモデルです。

引用元: https://mistral.ai/news/codestral-mamba/

• TDDは「開発者テストのTips集」t-wada氏が改めてひも解く“本質” レバテックラボ（レバテックLAB）

和田卓人氏は、TDDが開発者の間で広く知られるようになった一方で、本来の意味を理解していない人が増えていると指摘します。本記事では、TDDが生まれた背景や、TDDが解決する課題について、和田氏の言葉で解説しています。

TDDは、Kent Beck氏が提唱した開発手法で、テストコードを先に記述し、そのテストが通るようにコードを実装していく方法です。和田氏は、TDDが「動かないかもしれない」という不安から解放してくれたと語り、TDDによってコードが期待通りに動作していることを確認できるため、開発者としての自信や自己効力感が高まると説明しています。

TDDの利点として、ユーザーにとって使いやすい設計ができること、自動テストによってコードの保守性を高められることなどを挙げています。特に、自動テストはコードの変更によって既存のコードが壊れてしまうリスクを軽減し、安心してコードを改善できるようになるため重要です。

和田氏は、開発者テストをスムーズに進めるために、TDDという方法論が生まれたと考えており、TDDは若手エンジニアが仕事の進め方を学ぶサポートになること、短期的な効果と中長期的な効果の両方をバランスよく得られることをTDDの強みとして挙げています。

本記事では、TDDの基本的な考え方、利点、そしてTDDが開発者テストとどのように関連しているのかについて、和田氏の経験に基づいた具体的な説明がなされています。TDDに興味があるエンジニアにとって、参考になる内容です。

引用元: https://levtech.jp/media/article/interview/detail_477/

• 昨日、新しい冷蔵庫が届いたんだけど、朝起きたらキンッキンに凍った野菜の前で妻が呆然と立ち尽くしてた

この投稿は、新しい冷蔵庫が届いたものの、野菜室と冷凍庫の位置が旧機種と逆になっていたために、野菜が凍ってしまったという話です。投稿主は、冷蔵庫の設置時に説明書を読まなかったことを反省しており、他のユーザーからも同様の経験をしたというコメントが寄せられています。冷蔵庫の設置時に、野菜室と冷凍庫の位置を確認することが重要であることがわかります。また、説明書をよく読むことの大切さも改めて認識できます。

引用元: https://togetter.com/li/2402855

• お便り投稿フォーム

（株式会社ずんだもんは架空の登場組織です）