togo404

アプリケーション開発者。FRUITS ZIPPERが好き。

[togo404 @fzfog]

github落ちてないか

[togo404 @fzfog]

ClaudeやChatGPTのおかげでShift + Enterの癖がついた

[PURESO @pureso_studio]

チャットがENTERキーで送信されてしまう問題。
おそらく英語圏の人たちは文字変換とかしないから、「ENTERを間違えて押すってどういう状況やねん」って思ってる。

[togo404 @fzfog]

ググってもNoulの意味わからんかったから助かる

[uehaj @uehaj]

これは豆知識なんだけど、JevのNoul型の「Noul」は辞書に載ってない新しい単語なのです。AIや機械学習の分野の専門用語でもない。

これはTypeSafe AI社のJev、システム1モデルのAPIの質問の型の一種としてしか使われない単語です(古語にはあるが無関係)。

では、Noulという名前はなぜその名前がつけられたのか？この由来は今のところ公式ドキュメントには書かれていません。今はChromeのAIモードに聞くとそれらしい嘘が返ってきますので注意。

その答えを、TypeSafe AIのCEOであるDiogo Almeida（ディオゴ・アルメイダ）氏のハンドルネームCompleteSkeptic氏がHacker Newsで、Noulはベルヌーイ分布、ベルヌーイ試行で有名なBernoulliから来ていると明かしています。

https://t.co/bu4gx5Lfi0

つまり単語の途中を略語にするInfluenzaをfluと略すパターンですね。(わからんて)

Noulが返す値は、ちょうどベルヌーイ分布のパラメータ p にあたるのです。

ベルヌーイ試行は「成功か失敗か」の2通りしか結果がない試行（コイン投げなど）で、その分布は「1になる確率 p」という数値ひとつだけで完全に決まります。Noulは命題が真（Yes）である確率を0〜1で返すので、出力はまさにこの p です。つまりNoulの回答は「この命題の真偽をベルヌーイ変数とみなしたときの p」になっています。

ちなみにベルヌーイ一族というのは17世紀から18世紀にかけて数学や物理学の歴史を大きく動かした、スイスの天才数学者一族のファミリーネームで、ベルヌーイ試行は数学者のヤコブ・ベルヌーイさん。流体力学のベルヌーイの法則は、そのおいに当たるダニエル・ベルヌーイさんが発見しました。

ちなみにちなみに、Jevはジェヴォンズのパラドックスから来ていると言われていて、効率の良い蒸気機関が石炭消費をかえって増やしたように、判断のコストを1セントよりはるかに下げれば、LLMを呼ぼうとは思わなかった場所にも判断が置かれるようになる、というのがTypeSafeの賭けとされています。

おしまい

[togo404 @fzfog]

遅ればせながらJevのウェイトリストに登録した

[togo404 @fzfog]

AIのおかげでコード一切書かなくなるとプログラミング言語のアップグレードに対する関心がパフォーマンスとかセキュリティだけになってしまった
前はTSのアップデートとかウキウキで見てたのに

[togo404 @fzfog]

めっちゃわかる

[songkeys 🐿️🦋@song.work @songkeys]

gpt 5.6 最让我受不了的就是：
我让它做一盘番茄炒蛋，它往里还加了东坡肉。
我说有必要加东坡肉吗？它说你说得对，然后把东坡肉去掉。
我说好，你提 PR 吧。再一看，它 PR 写着「番茄炒蛋（无东坡肉）」并且注释里会写一大堆为什么本道菜不需要加东坡肉。

[togo404 @fzfog]

Fable 5祭り終わるのはやかったな

[togo404 @fzfog]

sub agentsが再帰的に呼び出しできるようになったんだ
でもなんで今更？
sub agentsに移譲したタスクが大きくなってきて1体で捌けなくなってきたとかかな
https://t.co/sRsqvxGOUx

[togo404 @fzfog]

Fable 5が使えるのは6月22日までなのね
これ経験した後にOpusに戻れるのかなぁ

[togo404 @fzfog]

Claude Codeが3日間も更新がない
妙だな

[togo404 @fzfog]

playwright-cli使って雑にE2Eテスト作らせようとしたけどトークン消費量えぐい気がする

[togo404 @fzfog]

クラメソフォーラム楽しかった🙂‍↕️

[togo404 @fzfog]

Claude CodeのChangelogにworkflowが追加されてて、なんだこの機能って思ってたらrevertされた

taktと役割被りそうな気がする

https://t.co/umnoWGpIcZ

[togo404 @fzfog]

AI時代のレビュー考えさせられる
https://t.co/z2pSYlLLgW

[togo404 @fzfog]

最近Claudeの調子あんま良くないね

[togo404 @fzfog]

Claude Artifactsを初めて触った時にもうUIいらないじゃんって感じたの思い出した

[mizchi @mizchi]

自分もこの路線だとおもってる。よくドキュメントされたデータモデルを入力に、その場でコンテキストに応じたUIを生成して、UI自体を作るわけではなくなる。
ただAIがカスタムコンポーネントやデザインシステムを作るのは多少残ると思う

https://t.co/WCVMcWX22m

[togo404 @fzfog]

Claude Codeのskillsがcontext forkでコンテキスト分離できるようになったことで、skillsでやるか subagentsでやるかの判断に迷う

機能的な差はプロンプトの渡され方と会話を再開できるかどうかの違いかな

[Mitchell Hashimoto @mitchellh]

Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://t.co/DQDemHdytV

[togo404 @fzfog]

ロケットランチャー外さないとPRやMRが出せないのよな

[Nandkishor @devops_nk]

Honestly, this is the most accurate diagram I've seen.

Waterfall: You plan for 18 months and deliver exactly what nobody needs anymore.

Agile: You deliver something usable at every step, but the CEO keeps asking, "Where's the car?"

AI: You get the car on day one. It has six wheels, the doors are on backwards, and it has a rocket launcher. You spend more time making it yours than actually "building"; it's shaping. owning. verifying. That's what the best AI developers do now. They don't build. They shape and own.

[Héctor de León (El loco de los perros) ⛧ @powerhdeleon]

Solo por ver el tuit se me acabaron los tokens.