slipup.beer🌐

EXCELLENCE IS NOT A SKILL IT'S AN ATTITUDE
優れた成果を達成することは単なる技術や能力に限らず、むしろ物事に取り組む姿勢や考え方が重要である

[Claude Code Studio @ClaudeCode_love]

【事件】
Claude Codeの作成者Borisが、Opus 5.5に短いプロンプトを数回渡しただけで「バグ修正16本」を出させたと明かした😳
https://t.co/D9jgIuylAe
しかも相手は、Anthropic自身が出しているエージェント開発キット。
本人いわく「LeanもTLA+もよく知らない」。

何がヤバいかというと👇
・証明用の言語Leanで、コードの動きを数学的に確かめさせた
・見つかったバグや、同時に動く処理の取り合いを16本のPRで修正
・TLA+も組み合わせて、データの流れや状態の管理の穴まで探せる

しかも中身は「テストを増やそう」じゃない。
コードを"式"に置き換えて、人間が見落とすバグを洗い出すやり方。

正直、Opus 5.5の賢さが一番わかる使い方は
これかもしれない。

Borisがやったのも、短いプロンプトを数回渡しただけ。
これは小技じゃない。
バグ探しの未来の話です🤐

Borisがどこまで確認作業をClaudeに任せているかは、本人の30個のTipsと並べて読むと見えてくる。
Claude Code生みの親Borisの30個のTipsをまとめた記事はこちら👇

[PCパーツまとめ @BluejayPC]

【水冷PC】ラジエーターのホース下の方がポンプ音が静かになるだけでなく、寿命的に延命しやすくなります？
https://t.co/lioME1XbNj

[ロキ @RORIKORN]

元電気屋としておそらくこう盗んだろうと想像はつきますが、どんなにカメラや警備装置をつけてもかけつける前に犯行は終わってるだろうから厳罰化か【犯罪を起こした民族を一括りで国に強制送還するしかないのでは？】と思います。
連帯責任で民族単位で国外退去させる事は大いにあると思います。

[栗林健太郎 @kentaro]

GPUのVRAMに収まらないモデルを動かしたいとき、量子化によりサイズを小さくする方法の他にも、重みをSSDなどの別ストレージにオフロードする方法もあります。この記事では、vLLMプラグインとしてその機構を実装することで、汎用的・透過的に利用できるようにしています。
https://t.co/ul0L3ewAQ0

[安田登 @eutonie]

【備忘録】
1987年にチベットに行った時、鳥葬の山に行ったら、おば捨ての一行と偶然遭った。

輿に乗るおばあちゃん。周囲に家族らしい人たちと楽器を演奏する人たち。彼らは泣いているが、輿の上のおばあちゃんはニコニコしている。

近くにいた人に聞いたらチベットのおば捨ては日本のそれとは違っていた。

おばあちゃんは鳥葬の山の中腹にある小屋に入る。食事は運ばれる。が、おばあちゃんが自分の意思で食べる量を減らして行く。

そして、やがて食べる気力も、生きる気力もなくなり、衰弱死する。

その体は裏の山に運ばれ、僧侶によって鳥葬が行われ、おばあちゃんは観音様の浄土に行く、という。

これを知った時、文明国の悲劇というのは死ぬ直前まで気力がある事だなと思った。

「もういいか」と思えるくらい気力が弱まれば死の恐怖はなくなる。

もう40年前、31歳の時の話です。今は違っていそうですね。

[율무커피 YulmuCoffee @yulmu_coffee]

엔비디아에서 고작 100M(0.1B)짜리 실시간 오디오 화자 분리(Speaker Diarization) 모델을 내놨습니다.

0.1B짜리인데... 화자 분리 벤치마크에서 압도적 1위입니다.

기존에는 음성 구간 검출(VAD), 화자 특징 추출(Embedding), 클러스터링 등 여러 단계를 거쳐야 해서 느리고 복잡했습니다. 하지만 이번 모델은 복잡한 과정 없이 오디오 입력에서 화자 라벨을 바로 출력합니다.

로컬 사용 시 사실상 실시간 속도를 지원하며, 최소 320밀리초(0.32초) 간격의 초저지연 스트리밍 분석도 지원합니다.

최대 8명의 화자가 참여하는 동시발화 대화까지 처리가 가능하다고 하니, 다양한 서비스에 접목해볼만 한 것 같습니다.

[Baby Lemon @bblemon_f]

ずっと風呂入らずに手も洗えてない俺らが素手で飯食っても汚い水で食器洗っても誰一人食中毒になってないからこめおのカニラーメンって本当にやばいんだと思う。

[🍺 イケハヤ@放置ゲー「月蝕綺譚」開発 @IHayato]

Opus 5.5に

「原神クラスのゲームを作って」

と無茶振りした結果。

うん……すっげーーーーここから頑張れば、まぁ……いや、まだ原神はキツイな……w

ちなみにGodotで作ってます。Unityはライセンスがなぁ……。

[Koder @koder_dev]

AI界隈で話題沸騰中のJev、この記事めっちゃ分かりやすかった

「結局Jevって何が違うの？」から仕組み、使いどころ、実例までかなり網羅的にまとまってる

話題にはなってるけどまだちゃんと理解できてない人、まずこれ読むの良さそう
https://t.co/gaUGmzlHme

[テツメモ｜AI図解×検証｜Newsletter @tetumemo]

📝Jevを使った活用方法、特にコストの落としどころがわかりやすい

メモ
- Jevは次の行動を決めるためのAIエージェント用「脳」
- 文章生成ではなく、選択・数値・はい/いいえの判断に特化
- うまく設計すれば、品質を落とさずコスト削減が狙える

[mizchi @mizchi]

Jev で向いてること、向いてないことのリサーチ結果です。30+のユースケース付き。

https://t.co/miGvsYuyIB

[Koichi @fujibee]

(1/2) Jev をいろいろ試していたら、jev ext-tool の問題がいくつか見つかったので、その修正を agmsg 1.4.2 に入れて出しました。

1.4.0 の記事で書いた、安全フックのログ 889 件を jev に判定させるやつ、あれをそのあとも試行錯誤していたんですよね。で、いじっていると出てくるもので、まとめて投げると答えが1行にべたっとつながって返ってくる、100 問のうち1問が崩れると全部エラーで落ちる、送りすぎると HTTP 400 としか言ってくれない、の3つに当たりました。全部直しています。

今回いちばん大きいのは、1通に何十問も入るようになったことだと思っています。1.4.0 の記事では「0.2秒で答えるツールに、返事を受け取るために1ターン払うのは高い」と書いたのですが、1通に 100 問、たとえばファイルから 100 行取ってそれぞれを判別する、みたいなことができるなら話が変わります。エージェント同士のやりとりの途中で、思いついたときに「この 50 件、jev に聞いといて」と投げても、もとが取れるようになりました。

1通にどこまで入るかも、実際の API で測ってあります(2択なら 100 問で 0.5 秒、77 択は 45 問が上限、計測全体で1セント)。何が問題で、どう直して、自分で試すにはどうすればいいかは、記事にまとめました。

https://t.co/vFetAz8TnQ

#agmsg

[Koichi @fujibee]

https://t.co/vie0JL7Y9K

[にしけん🔥＠テクニケーションシード @IT21592349]

グループ会社20数社、全体の社員数1000名超えのSES企業が組織ぐるみの経歴詐称をしているとのタレコミが入りました。
エビデンスを突合すると完全に黒、僕が確認したほんの一部の内容です。

・経歴詐称するためスキルシート改ざんすることを社内で「魔改造」と表現
・エンジニアの退職勧奨を「ポア」と表現
・虚偽の条件（リモート・案件選択可能）で内定承諾を取らせ、強引に常駐案件へアサインするよう代表が率先して指示

代表や子会社の社長、広報もX上で堂々と顔出ししているし、定期的にオフラインイベントも開催しているので、これらは問題ないと思ってるってことなのかな？
僕の予想だと投資家から何億円も調達していることから、業績が厳しくなったら負債を隠して子会社から順に売り払うつもりなのだろう。

あ、それと弊社についても色々言ってるらしいじゃん。
言いたいことがあるなら直接連絡くれよな。
ないならこちらから順次おかしいと思うポイント発信していくね、普通に被害者減らしたいので。

[アプライド【公式】 @applied_group]

＼アプライド５店舗リニューアルオープン／
RTX5060Ti搭載ゲーミンPCをプレゼント！
［応募方法］ フォロー ＆ リポスト ！！

[ban-zoku @zoku_ban56962]

ジャパン人あんまり知らない、著作物ライセンスのこと

[CC0]著作権放棄だよ
[CC BY]使ってもいいけど、使用クレジットは書け
[CC BY-SA]クレジットは書け
　あとお前の再配布もCC BY-SAライセンスだ
[CC BY-NC]クレジットは書け。あと商用利用禁止な
[CC BY-ND]クレジットは書け。あと改変は禁止だ

[Gangsta @SUGAR_D0PE]

ベビーレモンまたウクライナ行ったんか。
もう俺は止めないけど若い人や社会ストレス経験少ない人ほどPTSDなりやすいから頑張れ

[Honda 本田技研工業 @HondaJP]

イヤホン推奨🎧 #VTEC

[オパーリン @opaarin]

無職転生は何が面白いのだろうかと考える。
異世界転生、剣と魔法、中世、ハーレム。
奇抜なことをやってる訳ではなく、王道、コテコテな気もするんだげど。
サーガであり、一族の物語というのも、そこまで珍しくはない。
けど、設定も描写も人物も、掘り込みがめちゃくちゃ深い、とは思う。
でもそれだけではない気もする。
上手く言語化出来ないな。

原作としてはそんな感じで、アニメとしての品質が高いというのもあるのだろう。

が、うーんムズい。

[Koichi @fujibee]

(1/2) agmsg 1.4.1 を出しました。1.4.0 の ext-tool を、Codex の席から使えるように修正しました。

1.4.0 では、Codex の席から ext-tool のメンバー設定を書こうとすると、sandbox に阻まれて保存できませんでした。Claude Code からは通るのに Codex からは通らない、という状態だったので、Codex で agmsg を使っている方は 1.4.1 に上げてください。これで Jev などの ext-tool のメンバー設定が、Codex の席からも保存できます(API キーそのものの保存だけは、sandbox の中からクリップボードが読めないので、端末から1回やる感じになります)。

もう1つ、poke まわりの修正がまとまって入っています。入力欄に自動で出る補完の文字を「人が入力中」と勘違いして止まる、逆に人が途中まで打った本物の書きかけを上書きしてしまう、の2つを両方直しました。書きかけを上書きしないのは herdr と tmux の両方で、herdr ではさらに、書きかけを退避してから poke して、あとで戻します。入力中なら待ってやり直します。

こちらは 1.4.x のための修正というより、次のための足場として入れました。いま agmsg は、前に告知した agmsgd(配達を1本のデーモンにまとめる案)を含めて作りを大きく見直していて(v2 と呼んでいます)、そこでは「人の入力を邪魔せずにエージェントを起こす」が土台になります。

ほかに入ったもの:
・Codex の席を codex resume で起動し直したとき、受信を自分で始めるようになった(これまでは手で紐づけ直すまで届かなかった。手元では再開から約1秒で受信が立ち上がった)
・Codex の席の種類が間違って記録されて、poke が「入力中」と誤って断っていた件の修正
・受信の設定をフックのファイルに書けなかったとき、黙らずに失敗して、どうすればいいかを出す
・ps の問い合わせが失敗しただけで「プロセスが死んだ」と判断して、動いている席のロックを奪うことがなくなった(Windows の Git Bash でも正しく判定)
・アップデートのとき、前の版の不要なスクリプトを片付ける(消さずに .trash/ に退避)
・Windows で agmsg history が空で返ることがあった問題の修正
・席の自己修復(fix)が、エージェントの中からでも使える
・connect --e2ee が、説明どおり平文アドレスの確認を通れる
・Windows など遅い環境で、同期エンジンの起動待ちが決まった時間で打ち切られる(2分近く待たされることがあった)
・脆弱性の報告窓口(GitHub の private reporting)と SECURITY.md を置いた。Dependabot も有効にした

今回は外部の方の PR が3本入っています。pennywise1026-eng さん(同期の起動待ち)、knaoe さん(--e2ee、報告の issue も)、joelmitz さん(Windows の history)。ありがとうございます！(いずれも GitHub のお名前です)

https://t.co/1rZV5IihiX

#agmsg