Takanori Sugawara / Studio inc.

[Takanori Sugawara / Studio inc. @oligin020]

Z3/TLA+/Alloyの評価フローを早速レビュースキルに組み込んでいる

[Takanori Sugawara / Studio inc. @oligin020]

試したらめっちゃ役に立った

[mizchi @mizchi]

形式手法を雑に使ってClaudeでそれっぽい成果が出たフロー

- ドキュメントから宣言されてる仕様をZ3/TLA+/Alloyで形式化しろ
- コードから読み取れる仕様を同様に形式化しろ
- モデル検査で反例を上げろ
- 見つかった問題をドメイン用語に戻して説明しろ
- ドメインエキスパートに見せる

[Takanori Sugawara / Studio inc. @oligin020]

@janus_wel 確かにそれええな

[Takanori Sugawara / Studio inc. @oligin020]

気仙沼ホルモン初めて食べた。
ウスターソースとキャベツで食べるのマジでジャンクで最高だった

[Takanori Sugawara / Studio inc. @oligin020]

好きなだけドヤれて羨ましい

[Yusuke Wada @yusukebe]

AI相手に「そいつの開発者、俺だもん」やってる。きもちいい

[Takanori Sugawara / Studio inc. @oligin020]

gotoAndPlay

[深津 貴之 / THE GUILD, note @fladdict]

flashやんけ

[Takanori Sugawara / Studio inc. @oligin020]

@mizchi @ryoppippi context溢れるスピード落ちてればいいなくらいの気分なのでそんな気分ではあります

[Takanori Sugawara / Studio inc. @oligin020]

@mizchi @ryoppippi 入れてますがあんまり実感は湧かないです。

[Takanori Sugawara / Studio inc. @oligin020]

ちょうど、opencodeでいろんなmodel検証してたところなので嬉しい

[Charlie Holtz @charlieholtz]

OpenCode is now available in Conductor!

It's about time 🫡

You can now run the latest in frontier and open-source models, on any provider you'd like, all in Conductor.

[Takanori Sugawara / Studio inc. @oligin020]

おいらも似たような実感で落ち着いた。

[西村/learningBOX/競プロｱｶ @ynishi2015]

試してないけど、一部性能では匹敵するところもあるけど、総合的にはGPT-5.4やOpus4.6に追い付いたかどうかぐらいなはず。トークンレートとかは遅めな印象。

GLM-5の頃は使ってたけど弱かった。随分改善してそうだけど、CodexとClaude使い切れない状況でわざわざ使う理由があまりない。

[Takanori Sugawara / Studio inc. @oligin020]

https://t.co/927y9FGPSV
せっかくの長尺頂いたので細かいこと語りたいだけ語ってきます。

[Takanori Sugawara / Studio inc. @oligin020]

opencodeでopen routerの呼び出しmodel絞れてなかったっぽ。
依然としてopus 4.8が呼ばれておる。
これやるなら、claude max で ultracode使っとけばいいのですよね

[Takanori Sugawara / Studio inc. @oligin020]

30分で100ドルとかあっさり超えるので
自腹でやるの無理だ

[Takanori Sugawara / Studio inc. @oligin020]

openrouter の fusion model試したら、普通にめっちゃ金かかったので断念

[Takanori Sugawara / Studio inc. @oligin020]

個人開発のゲームをcomputeuseで操作させたら、めっちゃシナリオテストが捗って画面遷移系のバグループで潰せるようになって、ようやくAIでゲーム作ってる感が出てきた

[Takanori Sugawara / Studio inc. @oligin020]

openrouterでhostをusに絞ってるんだけど夜に動かすと案の定全然動かない

[Takanori Sugawara / Studio inc. @oligin020]

godotっていうゲームエンジンで作ってるんだけど、AIがデバッグできなくて困ってたので、試しにリモートデバッグできる様にしてよっていったら、socket通信でゲームと通信してcliからゲーム操作できる様になって、AIデバッグできる様になった。

[Takanori Sugawara / Studio inc. @oligin020]

https://t.co/tCTjFEp2Jh

うちのCOOが高速化PRも兼ねてblog書いてるんだけどめっちゃ早い。
Studioでこんなに早いページが作れる様になるのは達成感がヤバい

[Takanori Sugawara / Studio inc. @oligin020]

kimi 2.7 code & opencodeで2時間半作業
役5ドル

[Takanori Sugawara / Studio inc. @oligin020]

spaceXは cursor Editorじゃなくて、composer の 開発チーム買ったんだと思うな