自分一人で複数のAIを使うためのAgent Memory Serverを作った

Claude Codeで実際に使われているSkillsのトップ5が公開されている。どのSkillsが組織内で最も活用されているかを知ることで、自身の開発環境に導入するSkills選びの判断材料にできる。Findy AI+

Lean 4を用いてコンパイラ基盤の正しさを証明する手法が得られる。具体的には、macro_pegの意味論まで証明対象に含めることで、検証済みコンパイラの信頼性を高めるアプローチを採用している。AIエージェントを開発補助

Microsoft Agent Frameworkのハーネスコア機能が正式リリースされ、その機能をLM Studioで試す前編。ハーネスの役割や、LM Studioとの連携手順、実際に動作させるための設定方法が解説される

スクリーンタイムが1日9時間のOLが、自分をスマホから守るアプリをAIと共に開発する計画編。問題の分析から、アプリの機能要件、AIの活用方法までを具体的に記述する。スマホ依存を減らしたい個人が、AIを活用してアプリ開発に

永続メモリ層の実装方法について、索引スキーマと判定基準を全て公開する。具体的なデータ構造や、どのような条件でメモリを保存・検索するかの基準が詳細に説明されている。AIエージェントに長期記憶を持たせたい開発者向けの実装ガイ

自作のターミナルを導入した結果、1日のコミット数が500を超え生産性が向上した事例を紹介する。具体的な実装方法や、コミット数増加に伴うワークフローの変化、注意点が書かれている。開発環境のカスタマイズに興味があるエンジニア