TSのワークフロー実装をLeanモデルとランダム入力で突き合わせるDifferential Random Testingの話、面白い。
・実装はTS、仕様はLean側で書く
・Leanで「同じノードから出る辺は一意」を証明
・fast-checkでランダム入力を生成
・TSとLeanの出力をCIで毎回比較
・AWS Cedar(Rust × Lean)と同じ思想
zenn.dev/aishift/articl…
日本語
Yuto Yoshino / ラス恋
5.5K posts
Yuto Yoshino / ラス恋
@yossydev
ラス恋（@laskoi_official）のプロダクトを見ている人 / ex-CyberAgent / JavaScript Runtime/Engineの話をするのが好き
Tokyo Japan Katılım Temmuz 2021
269 Takip Edilen971 Takipçiler
自作MCPでトークン燃える問題、「重いデータはMCPの外に退避してKeyだけ流す」が解。社内運用で70-90%削減らしい。
・request: ファイルはGitにpush
・response: 大量クエリは Spreadsheet 出力
・閾値超で自動フォールバック設計が安心
・Workspace OAuthとの相性も良し
・MCPは"通信路に何を乗せるか"が肝
zenn.dev/aircloset/arti…
日本語
AI時代のPMの素養と育成、今ど真ん中の論点だな〜。
・"作業"の効率化じゃなくて"成果定義"が問われる
・育成は"型化"より"判断の質"を磨く方向へ
・評価軸もアウトプットからアウトカム寄りに
田所義朗 ABEMA PdM@yoshi_tado
Product Management Summit 2026（#pdm_summit_findy）で登壇した資料をアップしました 「AI時代でも成果を出し続けるためのPMの素養や育成」 として、アウトプットしてみました。 登壇中に口頭で多く補足したので、 (お声がけもしあれば)別の機会で話せればと思います。 speakerdeck.com/tadokoro_yoshi…
日本語
Cloudflare、Dynamic Workflows出た。Workflowをテナント別に動的dispatchできるのアツい。
・@cloudflare/dynamic-workflows、TS300行
・create()もrun()もテナント別に振る
・Dynamic Workers基盤、isolateはms級
・AIが書いたWorkflowを直接動かせる
blog.cloudflare.com/dynamic-workfl…
日本語
Mac売上が事前予想を超えた。AIエージェント常時稼働の母艦としてMac mini/Studioが品薄、構図が完全に新フェーズ。
・Mac売上は6%増でAI需要が想定外
・Mac mini/Studioは供給制約が継続
・Perplexityも社内AIをMac上で構築
・ローカルAIの主戦場がMacに移った
techcrunch.com/2026/04/30/app…
日本語
Grok 4.3がVercel AI Gateway経由で使えるようになった。1M×tool callingの実装側への効きが地味に強い。
・コンテキスト 1M / cutoff Dec 2025
・tool calling / instruction following が精度向上
・xai/grok-4.3 を指定するだけ
・retries / failover / observability は AI Gateway任せ
vercel.com/changelog/grok…
日本語
Vercel Sandbox、ついにカスタムタグが付けられるようになった。エージェントごとに環境分けてる時に効きそう。
・1 sandboxにつきタグ最大5つ
・create/update/listでAPIから操作
・envやteamで多テナント運用がスッキリ
・cleanup scriptもタグで一発
vercel.com/changelog/cust…
日本語
「1/100の効率化」じゃなくて「100倍の価値創出」をAIに振るっていう整理、組織のKPI論として強いな。
・効率化の延長線で考えると小さくまとまる
・AIで何を新しく生み出せるかに焦点を移す
・評価軸もそこに揃えないと現場は迷う
x.com/notahotel_inc/…
NOT A HOTEL inc.@notahotel_inc
SmartNewsの連載「AI実装の現在地」に、NOT A HOTEL 上級執行役員 CTO 大久保のインタビュー記事が掲載されました。 目指すのは「1/100の効率化」よりも「100倍の価値創出」。NOT A HOTELがAIと向き合うなかで得た手応えと気づきについて語ったインタビューです。 smartnews.com/news/article/4…
日本語
"AIを使ってる"と"AIで動いてる"の差、これから一気に組織の地力差として表に出てきそう。
・3万人にClaude Codeは"AIネイティブ組織"の本気
・ツール導入じゃなく組織OSの書き換え
・小さいチームこそ動いてる側に回りやすい
・属人ノウハウを外部化できる設計が分岐点
ryo｜8割AI@559hkdt
【日本最大規模のAI開発体制が始まった】 AnthropicがNECと組んで社員3万人へのClaude Code導入を発表。AIネイティブなエンジニア組織化が目標。 大企業がこのスケールで動き始めると、中小企業側は「AIを使ってる」と「AIで動いてる」の差が問われる1〜2年になる。
日本語
VercelのNative Deployment Checks、lintとtypecheckをデプロイと並列で回せるのが普通に欲しかったやつ。
・package.jsonのスクリプトを自動で拾う
・チェック必須化で本番をブロック可能
・環境ごとに走らせるチェックを選べる
・PR失敗時はVercel Agentが修正案を出す
vercel.com/changelog/nati…
日本語
コーディングエージェントが、自分でCloudflareアカウント作って、ドメイン買って、本番デプロイまでやり切るっていう世界線が来たらしい。
・Stripe共同設計の新プロトコル
・OAuth+支払いトークンで人手介在ゼロ
・デフォルト月$100で暴走防止
・カード情報はエージェントに渡さない
blog.cloudflare.com/agents-stripe-…
日本語
RN animation のフレーム単価ベンチが出た。Ease が Core Animation 直叩きで圧勝、Reanimated との差が可視化された。
・iOS Ease 0.01ms 対 Reanimated SV 数ms
・Android Ease 約3ms 対 Reanimated SV 12ms
・SYNCHRONOUSLY_UPDATE_UI_PROPS で 11〜19% 削減
・gesture系やlayoutは Reanimated 担当
・RN 0.85 で Shared Animation Backend 標準化
expo.dev/blog/the-real-…
日本語
プロダクト価値を生み出せるかどうかだよなー
610@610_mto
ここまでのセッションを総括すると ・生成AIの登場によって、PdMは戦略や方針の意思決定としてより重要になっている。 ・開発はもはやボトルネックではなく、プロダクトマネジメントがボトルネックになる。 ・生成AIの活用自体は価値にはならない。 ・価値とは何か、顧客が解決したい課題は何か、を今一度問い直す必要がある。 ・↑を一言で言えば、プロダクトディスカバリー、またはステークホルダーマネジメント。 ・シンプルプロダクト/機能では優位性(Moat)にならない。 ・より深く、より複雑な、構造的な課題解決をマルチプロダクト/機能を提供する必要がある。 ・これをもたらすデータやコンテキスト、理解が優位性(Moat)になる。 ・これまでディスカバリーとデリバリーをPdMが見ているとしたら、デリバリーの課題はかなり減った。 ・ディスカバリーによってプロダクト価値をつくる、これがこれからのPdMのしごと。 #pdm_summit_findy
日本語
@hono/inertia きた。SPAのルーティングとデータ取得がサーバ側に戻る感覚、これが modern monolith か。
・/api を書かなくていい
・React Router 不要
・useEffect+fetch が消える
・zod schema 1つで型・検証・エラーが派生
・触るのは server.tsx と pages/ だけ
zenn.dev/ashunar0/artic…
日本語
優先順位をつけず入れたいのAI使って入れまくるみたいなことやってると半年後とかには何がネックで伸びないのか分かんなくなってるだろうなぁ
> でも、顧客が本当に欲しいのか。
> 使い続ける理由があるのか。
> お金を払うほどの価値があるのか。
> 自社が勝つべき問題を選べているのか。
かねこつよし@tsuyoshi_osiire
日本語
「作業の民主化」と「成果責任の集約」は両立する、っていう整理がしっくりくる。
・PdMという職種ではなく、成果責任を持つ役割を再設計
・横断機能と組織設計をセットで考える
・AIで分散するのは作業、意思決定は分散させない
Joe Hirose | ログラス | Product People提携プロダクトコーチ@JoE_HiRose
Product Management Summit 2026（#pdm_summit_findy）で登壇した資料を公開しました。 テーマは、 「AI時代、誰がプロダクトの成果責任を持つのか」 AIによって、プロダクト開発の“作業”は民主化されていく。一方で、意思決定と成果責任は分散できない。 だからこそ、再設計すべきなのは「PdMという職種」ではなく、成果責任を持つ役割とそれを成立させる組織構造だと思っています。 ログラスで進めている、プロダクト責任者・横断機能・組織設計の考え方をまとめました。 speakerdeck.com/loglassjoe/202…
日本語
今日からVercel Hobby、デプロイ保持が最大30日に。古いPRやプレビュー溜め込みがちな人は注意。
・Hobbyのみ対象（Pro/Entは影響なし）
・直近10件のproduction deployは保持
・aliased deployも保持
・期限切れは自動削除
vercel.com/changelog/hobb…
日本語