仕様駆動開発とは?仕様を真実の源(Source of Truth)として

仕様駆動開発とは?仕様を真実の源(Source of Truth)として

仕様を唯一の信頼できる情報源とし、付属文書としない。

仕様駆動開発(Spec-Driven Development)は、ソフトウェアエンジニアが以前から模索してきたものの、その労力に見合う成果が得られなくなった際に棚上げされてきたアイデアの一つです。

AI駆動型ソフトウェア開発における意思決定記録

AI駆動型ソフトウェア開発における意思決定記録

意図をコードの近くに保つ。

意思決定記録は、AI支援ソフトウェア開発における欠けていたメモリ層です。これらは何が開発されたかだけでなく、なぜそうされたかを捉えます。AIツールがコードを書き始める際、この区別は極めて重要になります。

synctestを用いたGoの並行コードのテスト

synctestを用いたGoの並行コードのテスト

並行Goテストでスリープ処理に頼るのをやめましょう

Goの並行コードのテストには、これまで少しの規律が必要でした。 ゴルーチンは軽量で、チャネルはシンプル、コンテキストのキャンセルは慣用的です——バックグラウンドワーカーとタイマーは、実世界のGoサービスにどこにでもあります。

開発者向け「Mermaidダイアグラム」クイックスタート&チートシート

開発者向け「Mermaidダイアグラム」クイックスタート&チートシート

コードによる図解、トラブルなし。

Mermaidは、キャンバス上でボックスをドラッグするよりも、図をテキストとして記述することを好む人々のためのテキストベースの図作成ツールです。Markdownのような構文を使用して、フローチャート、シーケンス図、クラス図、状態機械図、タイムライン、ガントチャート、エンティティ関係図などを記述します。

エンジニアのためのPARAメソッド:行動によって知識を整理する

エンジニアのためのPARAメソッド:行動によって知識を整理する

トピックではなく、アクションでノートを整理する。

トピック別にノート整理するのは理にかなっているように思えます。しかし、PostgreSQLに関するノートが5つの異なるフォルダに散らばり、今日の課題に必要な特定のノートが見つからない状況に陥ると、その方法は通用しなくなります。

実践におけるLLMのガードレール:実際に有効な手法

実践におけるLLMのガードレール:実際に有効な手法

管理すべきはモデルではなく、リスクです。

LLM(大規模言語モデル)は予測不可能です。幻覚(ハルシネーション)を起こし、データを漏洩させ、有害なコンテンツを生成したり、正当なリクエストを拒否したりします。ガードレール(防護策)は、機能を損なわずにモデルの動作を制限します。

購読する

システム、インフラ、AIエンジニアリングの新記事をお届けします。