形式手法でAIのハルシネーションを抑制する:AWSのAutomated Reasoning checks を試してみた
形式手法入門:生成 AI 時代の『設計』のあり方について
テナント志向で考える、マルチクラスタ・マルチクラウド運用 〜入社1年目ABEMA所属〜
GCounterで学ぶ、CRDTによるスケーラブルな書き込み処理と結果整合性
Datadog Continuous Profiler活用事例: Goのiteratorの導入でCPU時間半減、メモリ確保量1/100を達成 🎉