おらんな

AIエージェントが高性能化して、手が出せなかった領域のものでも取り組めるようになった。 一方で、一定の水準以上のクオリティに仕上げようと思ったら、今まで通りのこだわりと執念が必要にゃんね。

美少女フィギュア・オタクなので欲しいと思う一方、もう飾るところがないのであった

＼✨️本日予約開始✨️／ 『#クラスで2番目に可愛い女の子と友だちになった』より、朝凪 海の1/7スケールフィギュアが全国のホビーショップで予約開始！ フィギュア用の描き下ろしイラストをもとに、こちらを見つめながら微笑む姿を丁寧に再現！ kdcolle.kadokawa.co.jp/4550687068429.… #KDcolle #クラにか

AIコード支援の話で、まずLinuxカーネルのcoding-assistants.rstを読むといいんじゃないかと思う人が多いな。AI支援を禁止しないが、AIを責任主体とは扱わずにあくまで投稿者である人間がコードを理解し、ライセンスを確認し、DCOに基づいて責任を負う。そこそこのプロジェクトはこれがベースかなと。

なんか挑発的な言われるとすぐ頭に血が上るので、冷静な対応ができるようになりたい。 BTTFで挑発に乗らなくなったマーティを見習いたい。

@kagee04 なるほど

AIコーディングのいいところはエージェントが走ってる間に別の作業ができる。

今後、ヤバい人に絡まれたときに備えて筋トレ頑張ろうかなと思ったけど、筋トレしたところで熊にも蜂にも勝てない。人間は無力。

変な人に絡まれるの怖いというか、アドレナリンがすごいでるのがしんどい

@beepcap インターネットは乱世だから…

@olanleed インターネットでしか絡まれないから安全

散歩してたら気が狂った人に絡まれる-1000点

いぬ、座ったり伏せたりするときに何度かしっぽをふるんだけど、それが可愛いんよ

【キャラクター紹介】 鏡水の解明——サンドローネ 十一人のファトゥス 第七位 万理を見通す奇械の躯 #原神 #Genshin #サンドローネ

そういう知識と実践のギャップを扱ってる研究があった。おもろ！ On the Gap Between Declarative Vulnerability Knowledge and Secure Code Generation in Large Language Models papers.ssrn.com/sol3/papers.cf…

AIくん、脆弱性を見つけるの得意なのに、脆弱性を含むコードを書くのめっちゃおもろいな（モデルによるだろいうけど）

AIくんのコードは普通に脆弱性を含むので、ソフトウェアの知識とプロンプトの工夫だけでなんとかなるわけではなさそう。 arxiv.org/html/2412.1500… が、人間がレビューするのも現実的ではない。人間のレビューが必要/不要かをどうかを機械的に判断できる仕組みがほしい

AIくん、すごい勢いでコード書くので、レビュー負荷がものすごいし、（TDD・SDD前提で）コードを読まないというのもわかる。 けれども、まだ今の段階では前衛的すぎるなぁという気持ちがある。

Dafnyという検証可能な中間表現を生成させ、合意された仕様に対して自動検証し、正しいDafnyプログラムをターゲット言語へコンパイルするという案。最近読んだ中では面白かった Dafny as Verification-Aware Intermediate Language for Code Generation arxiv.org/abs/2501.06283