熱海 理

愛と勇気だけが友達。

[原口沙輔 @sasuke_maschine]

KADOKAWAさんからお話しいただきまして、『破壊論』という本を書きました。
とってもありがたいお話しです。

ジャンル自体はエッセイとなるのですが、
創作における「破壊」について、ツラツラと自問自答し続けるような内容となっています。
エールのような、自省のような

きくおさん、Snail’s Houseさん、名取さなさん、鷲崎健さんとの対談という名の雑談ページもございます。

12/21（月）に発売。

特典や諸々に関しましては、こちらに詳しく書いてあるみたいです .! ↓

[Kamimoto(かみもと) @sep_is_heim]

ComfyUI CoreにMOSS Imageの色・深度制御が追加！

・色分けした領域マップで配置を制御
・深度マップで奥行きを指定
・専用LoRAを標準Loaderで読み込み
・制御強度と適用区間を調整可能

PR 17206がmasterにマージ済み（正式リリース前）。面白そうですねー。

https://t.co/qPzVC590q3

[青龍聖者 @bdsqlsz]

Release complete DLSSNR unpack, fine-tuning, and pack code.
All you need is 16GB of VRAM to fine-tune your own DLSSNR model.(Lora just 8GB in 1024X1024)

[toyxyz @toyxyz3]

https://t.co/I4kdhIKvi8

[Cii @Cii0000]

メモやアニメーション制作やサウンド制作ができるソフトウェア「シキセン（Shikisen）」の Ver 1.0 を公開しました。今のところMac専用で、また、公証はついていません。ソフトウェアの説明は開発寄りで、後でウェブサイトを別途作成予定です　https://t.co/gdwhfVLhZJ

[尾籠憲一 @taikaisyu]

お早うございます。
胎界主　第三部　師匠国篇　
年とったフランツの最後の夢
を更新致しました。
https://t.co/qd9cQZz7kZ

[Peter Lin @peter9863]

Few-Step Generation via Data-Space Iteration
Paper: https://t.co/jbEfue5t8j

We rethink the iterative process behind few-step generation. Instead of iterating in flow space, we propose data-space iteration as a new paradigm for better few-step generation.

Details in the thread!

[kaito @cu30rry_]

pstack v0.15.27 で新Skill /create-formal-verification-skill が追加されました！

これは今後のソフトウェア開発を変え得る革新的なSkillです！

この Skill は「コードが守るべき仕様（特性）を、形式検証で確かめる仕組み」を、エージェントに作らせるSkillです

私は、この Skill から次のトレンドは「形式検証」だと予言します

pstack エージェントとの開発において、トレンドになるものを真っ先にいれてきています

それに、次に検証の質を高めるには、アプリの検証ツールだけでなく、@bendlang のような形式検証のための基盤が必要だと、私個人も考えているからです

- 複数エージェントによる設計・レビューなどのアプローチ
- /create-verification-skill・/maintain-verification-skill によるE2Eの検証

これまで形式検証はモデル化と記述の難しさから主流にはなりませんでしたが、エージェントとの開発では不可欠な存在になりつつあります

要件をモデル化し、形式検証できれば、コードが意図通りに動作することを、コードを読むことなく担保できますし、人が思いつかないような不具合の見つけることができます

しかもコードが変わったり、適切でなければ検証は失敗するので、エージェントは確実にコードを正しい状態に保つことができます

つまり、エージェントに適切なプロダクトを作るための、まさに超能力を形式検証は与えてくれるということです

だから、次なるトレンドは「形式検証」であると言えます
言うまでもなく、その後は、エージェント指向の言語でしょう

Skillの詳細を見れば、きっと形式検証がなぜ重要なのか、どれほど私たちを助けてくれるかを理解できるでしょう

この Skill では、エージェントは、検証すべき特性を1つ選んで形式検証し、その確かめ方を、専用の形式検証Skill としてリポジトリに残します

つまり、/create-formal-verification-skill も /create-verification-skill と同じく、Skillを作るための メタSkill です

■ 形式検証とは
コードが仕様（特性）を守るかを、決めた範囲の「すべてのケース」でツールで調べ尽くす方法です

テストは、人が思いついたケースだけを試しますが、形式検証はあらゆるケースを証明します

たとえば「65歳以上なら割引」の処理を70歳と80歳で試すと、テストは通ります

しかし、age > 65 と書き間違えていて65歳で壊れることは、65歳を試さない限り見つかりません

形式検証は、0〜150歳のすべての年齢を調べるので、65歳で壊れることも見つけます

■ Skillの手順
1. コードベースから、壊れるとユーザーが困るのに、テストがほとんど届かない特性を1つ選ぶ（例：2人が同時にメモを保存しても、編集は消えない）

2. 「問い」に合うツール（TLA+ のモデル検査器、Kani など）を選び、その約束を形式検証する

3. コードを意図的に壊して、検証が失敗することを確かめる

4. 次のエージェントが、コードを変えるたびに1コマンドで確かめ、コードを修正するための形式検証Skill（形式検証スキル）を作る

5. 何を確かめたか、使ったツールと理由、範囲、見つかった問題、実行方法を、平易な言葉で報告する

■ /create-verification-skill との違い
主な違いは、実際にアプリを動かすか、動かさないかの違いです

・/create-verification-skill：アプリを実際に起動し、ユーザーと同じ経路で操作して、動いた証拠を残す

・/create-formal-verification-skill：アプリを動かさずに、1つの約束を、範囲内のすべてのケースで確かめる

[電電猫猫/ Naoki @nya3_neko2]

azooKey on macOSっていうOSSのフォークした手元遊びなので公開はしていないです\。azooKey on macOSをベースにAIに投げれば誰でも作れるのでご興味があればぜひ
https://t.co/NvzdbLIJtj

[そう｜Claude CodeのX運用で月800万インプ @so_ainsight]

今週GitHubで急上昇したAIリポジトリ10選：

1. rea
AIエージェントがアプリの挙動からソフトの中身まで解析を肩代わりする。仕組みの分からないプログラムを、対話しながら読み解ける。
https://t.co/Odpng9uG99

2. skills
作者が自分の作業環境で日々使っているスキルを、そのまま公開したもの。コーディングエージェントに実務者の段取りを足せる。
https://t.co/2cpO5gsV5S

3. diagram-design
AIコーディングツールに、読みやすい図解を作らせるための設計集。44種類の作図パターンに対応し、HTMLだけで完結する。
https://t.co/dwcLNRwEX2

4. iFixAi
AIエージェントが指示どおりに動いているかを、第三者の立場で点検できる。結果は2分かからず返る。
https://t.co/nb5wdppYoz

5. hyperframes
HTMLを書くだけで動画に書き出せる。エージェント向けに作られていて、コードから映像づくりを回せる。
https://t.co/vSJhdJX4df

6. context-mode
AIコーディングエージェントが抱える情報量を軽くする仕組み。ツールの出力を切り分けて最大98%減らし、過去のやり取りも記憶として残せる。
https://t.co/EL5PXYD3zO

7. free-claude-code
Claude CodeやCodexなど複数のコーディングツールを、無料の利用枠で試せる。ターミナルやアプリ、スマホからでも呼び出せる。
https://t.co/Vxui0TBc6K

8. airllm
4GBのGPU1枚で、巨大なAIモデルを動かせる。高価な機材をそろえなくても手元で使えるのが強み。
https://t.co/82lGCaQ9KY

9. ai-job-search
Claude Code の上で動く、転職活動の一式をまとめたフレームワーク。求人の見極め、履歴書の調整、カバーレター、面接対策までをこれ一つで進められる。
https://t.co/epyVAn9YFm

10. text-to-cad
AIエージェントにCAD（設計データ作成）を扱う力を持たせられる。名前のとおり、文章での指示から立体モデルを起こせる。
https://t.co/tA6LLzcJ1p

[R@aiaicreate @aiaicreate]

https://t.co/dofKXLQXzP

[電子計算機の沼 @Hishinuma_t]

完全に気が狂ってAPIを無料で出すっていう荒行に出ている国産LLM Sashinaちゃんを皆さんよろしくお願いします

[宋宋 @songsong]

想要做独立游戏的赶紧看过来
open-source-games 这个开源项目
整理了各类开源游戏，解谜、塔防、RPG、模拟经营都有，还附源码入口
不用从0开始
站在已验证过的游戏玩法上
加上自己的创新点
能自己做出好游戏 指日可待https://t.co/tsWA2dBIEf

[いなりく👻 Riku Inada @inada_riku]

オントロジーで AI に業務知識を渡す — AWS の OSS「Context Ontology Accelerator」が v0.3.6 で日本語対応し、より日本のお客様が試しやすい形になりました！

今回のアップデートは実際にみなさまからのフィードバックをもとに自分が設計から実装まで行いました💪

実際にどんな挙動になるかを記事にまとめましたのでぜひお読みください！

https://t.co/CoVi68UtOn

[ムービーナーズ編集部 @m_nerds_PR]

【10/18 更新】
セツコ・マイラブ 11話

セツコ一体何なんだ…

続き：https://t.co/yDV5c3cLOE
ニコニコ漫画：https://t.co/g66l8otyIK

描いた人：ジョハン

[Dmitrii Eeeekimov @Ekimko]

Лучшее, что я видел за последнее время — чел пилит ASCII MMORPG, в которой вся графика состоит из букв и символов.

Да, буквально весь мир, персонажи, окружение и спецэффекты нарисованы разноцветным текстом.

Автор сейчас экспериментирует с магией, визуалом и боссами. Я прям залип на то, как из нескольких десятков символов получается такая красота.

Буквально сны при температуре 37,2.

Via: https://t.co/vtYXAaEioi

[ジャヴァノ🍀ボカロP@初音ミク「w/39」10/12アルバムリリース @javawock7618]

Qwen-Image 2.1のマルチアングルLoRAのv2が出てました。わちのワークフローではトリガーワードを指定できるので、<mva>と入れれば使えます。

https://t.co/h7xajpA8Qt

[オープンソース研究所 @opensourcelab9]

Claude Code・Codexで絶対入れるべき OSS 9選。
計画の立て方、コードの探し方、画面の見た目、返事の長さ。AIを使っていて困りがちな所ごとに、足して効くものを集めました。

1. superpowers
→ 書き始める前に作りたいものを聞き返し、設計→計画→実装→点検の順で進めさせる

https://t.co/obAEinXST3

2. ECC
→ スキル・記憶・セキュリティ・調べてから書く進め方を、Claude CodeやCodexへまとめて足す

https://t.co/6VLFS9ma5H

3. rea
→ 自分が調べてよいアプリの動きから中身のプログラムまで、エージェントと一緒に分解して調べる

https://t.co/nbx5wWFE63

4. ponytail
→ 「いちばん面倒くさがりなベテラン」の考え方をAIに入れ、書かなくていいコードを書かせない

https://t.co/LYAxkiqBuO

5. ui-ux-pro-max-skill
→ 画面設計の知恵をAIに足し、いろいろな環境向けの見やすいUIを作らせる

https://t.co/eWYGHCpucL

6. graphify
→ コードと資料・データベースの設計・設定・PDFを、質問できる関係図に変える /graphify コマンド

https://t.co/G23fE5mJHh

7. caveman
→ 原始人のような短い話し方にさせて、使うトークンを減らす。作者の説明では65%減

https://t.co/2Ni5by2Ap4

8. agent-skills
→ 現場で通用する品質の開発スキル集を、そのままコーディングAIに入れられる

https://t.co/TcWfFq6waS

9. taste-skill
→ 参考画像・アートの方向性・ブラウザでの見た目チェックで、どこかで見たAIっぽいページを防ぐ

https://t.co/KaTUb4JEwF

気になったものから1つずつ足して、自分の使い方に合うかを試すのがおすすめです。
あとで入れるときのために、ブックマーク推奨です。

[AM09:21 @AM09_21]

Fable, Opus, Astra超えてておもろい
DeepSeekさんは一体なにやってるんです？？？

[エマノン @Emanon_14]

MOSSはGemma 4でキャプション付けてて、やり方も公開されてるのな。
https://t.co/2a86ur29Qg