Introducing “Costco for your API spend.” We made the best APIs you use every day FREE. Flovia pools demand from individuals + startups to unlock deals you couldn’t get alone, then covers the rest. For builders, traders, researchers & startups. Get early access below ↓

では、言えるようになったので改めて… BAKERUから、対話型ノベルゲーム『ThreadTale：コトノハ』をリリースしました！ 選択肢を選ぶのではなく、自分の言葉を打ち込んで物語を進める、体験型のノベルゲームです。登場人物はAIが演じていて、あなたの言葉を受けて、その人物として返してきます。 新しいのは「台本にない会話」が成り立つこと。 何を言っても物語の中で受け止めてもらえて、同じ話でも遊ぶたびに会話が変わります。キャラクターは、あなたと話したことを覚えてもいます。 ただ、作品ごとに手触りはかなり違います。物語がしっかりある作品は自由度が物足りなく感じるかもしれないし、自由度が高い作品は、最初は遊び方に戸惑うかもしれません。 お話7割・自由3割で楽しみたい人は『新章・アルメディア』、自由な会話が好きな人は『主文：日本語』から遊んでみるのがおすすめです。 作っているのは、数名の少人数チーム。 シナリオ、キャラクター、絵、演出まで、AIと一緒に作り込んでいます。小さなチームでここまで作れるのか、という手触りもぜひ見てほしいです。 AI、AIと言うと、不安に思ったり身構えたりする方もいると思います。 それでも、クリエイターがAIと正面から向き合って、0→1にチャレンジしたのが『ThreadTale：コトノハ』です。 触ってみて、感じたことを聞かせてもらえたら嬉しいです。 この体験を一緒に作ってみたい！という人も、ぜひご連絡ください。 #ThreadTale #コトノハ #介入型ノベルゲーム

People keep misunderstanding this. I CONTRIBUTED to Bostrom’s Superintelligence book and he thanks me by name in the foreword. I was thinking about AI safety long before 2014.

super excited to announce plugin extensions today 🎉 you can now use the exact same platform we use to build ChatGPT features like meetings, health, finance, and many others 🤯 all based on the same MCP & MCP Apps you’re already used to: github.com/openai/mcp-extens…

Introducing typesafe/jev-router: a cache-aware model router powered by Jev and @typesafeai The Jev Router picks the best model and reasoning effort for each request, balancing quality, speed, and cost. Here's how it works 👇🏻

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?