形式手法でAIのハルシネーションを抑制する:AWSのAutomated Reasoning checks を試してみた
形式手法入門:生成 AI 時代の『設計』のあり方について
【Go × DDD】Goで値オブジェクトを実装しようとしたら意外と考えることが多かった
分散システムのAPIレートリミッターの実装が実は難しかった話 😰 – TiDBのRequest Unitの裏側 ①
WINTICKET が考えたモダンな Flutter アプリ設計を完全解説
Unityタイトルにおけるシーン設計での技術的負債の返済例