mtm

メーカーでコード書いてます。 好きなもの：コーディング、植物栽培、カメラ、回路設計、UKロック、ラーメン、麻雀、犬猫

[yosshin @yosshin4004]

PC 4K Intro Editor MinimalGL を更新しました。
https://t.co/CbMG9fMkFI
uniform パラメータを ImGui と MIDI 入力にバインド可能になりました。
動画は、雑に実装した YM2151 っぽい FM 音源を MIDI コントローラーでいじってる様子です（examples/13_user_uniform.snd.glsl 参照）。

[mtm @__mtm]

流山住みだと、C2が通って房総まで近くなる！と思ったら京葉道路が相変わらず混み過ぎで、首都高→アクアラインの方が結局早いということがあったりして辛い

なぜ県内を移動するのに埼玉と東京と神奈川を経由しなければならないのか

[dragoner @dragoner_JP]

千葉県北西部の激ヤバ道路事情だけど、外環道千葉区間と国道298号が開通した時、ハンカチで瞼を抑えた婦人が「嫁いできたころに、しばらくしたら高速道路が通って便利になるって言われてたんです。それがやっと叶ったのでうれしくて」と話していた記事あったと思い出す

https://t.co/pF9AI4PfHv

[mtm @__mtm]

今更だけど映画のblue giantを見て痺れた。マンガをたまたま1巻だけふらっと入った喫茶店で読んで気になったのがきっかけ

[くにちこ＠いろいろ開発中（Kunihiko Ohnaka） @kunichiko]

同意です

最近公開した #MimicX も一行もコード書いてないし、コードレビューも最低限しかしてないです。やりたかったことが爆速で実現していく世界🌍

1日1万行とか生成されるのを「全部読まないと安心できない」という人は、生産性が「自分がコードを読んでレビューして納得する速度」に律速されてしまうので、AIの「暴力的な生産性」を教授できなくなってしまう

なので今は「大量に生成されるコードをいかに速度を落とさず品質を担保するか」が焦点で、そこに「人が書く読む」はもう解決策になり得ないというのがAIコーディングやってる人たちの共通認識かなと思います

個人的には、
・採用するアーキテクチャ、フレームワークなどの最初の筆の置き所を、人間がAIと壁打ちしながら慎重に決める
・テストコードで押さえるべきところを押さえる。もちろんテストもAIに書かせる。(これを積み上げることで製品の挙動を安定させる)
・パフォーマンスとかセキュリティとかの非機能要件も、AI自身に調べさせ、修正させる

みたいにやってます。
(ここにはやはりエンジニアとしての勘とかスキルは(今のところ)必要で、AI使えば誰でもできるとは思ってません)

ちなみに、これを適用できるのはあくまで自分が責任を持てる範囲までで、SI事業でお客さんに納品するコードについては、お客さんが「AI任せでいいよ」と言わない限りやれないという事情もわかってます。
ただ、「工期も工数も半分になりますよ」と言われたらお客さんも徐々にその流れには逆らえなくなるはず。

あと、引き合いに出すのはあれですが、先日のCopyFailの問題も、超優秀なプログラマーがレビューして「問題なし」としてマージされた3つの最適化が組み合わさるとセキュリティホールになる、というものでしたね。なので、人間が読めば万事解決するというのはやっぱりないと思っていて、

・AI爆速生成
・AI爆速広範囲チェック

という2つの暴力的な力で回していく世界に入ったのだと思ってます

[mtm @__mtm]

むしろ、なぜ人間にはそれができてAIにはできないと思うのかが気になります

[いしたー @sonicair]

@kenn 具体的にどうやって

・コードの複雑さの管理
・動作の保証、仕様との一致の確認
・バグや脆弱性の検査
・動作時の計算量の見積もり

を行うのでしょうか

[mtm @__mtm]

@nikq その5歳児賢すぎ！

[mtm @__mtm]

クイズ。息子(5)が風呂で「パパは早く死んでほしい」と言いました。

とてもショックを受けたパパは「何でそんなことを言うの！？」と聞きましたが、息子の返事でさらにパパはショックを受けました。息子は何と答えたでしょう？

[mtm @__mtm]

保育園より。皆でフルーツバスケットをやることになったけど息子は断固拒否、氷が作りたいと言って聞かず氷の絵を描いてたらしい。謎すぎる

[mtm @__mtm]

@kackytw めちゃ得やんか、、

[mtm @__mtm]

以前、Opus4.6にバグ調査丸投げして一晩かけて$1000使った挙句解決せず、自分で半日かけてデバッグした事があるけど、今やDoomが動くOSが$1000で作れちゃうのか…

[ナル夫 @GOROman]

3.5 Flashを使ってOS作るのにかかったAPIコストは1000ドル以下

[mtm @__mtm]

@kackytw なんと！乗り換えよかな、プレミアムリクエストが得すぎて使ってたけど課金体系変わっちゃうし

[mtm @__mtm]

@kackytw 自分も家ではケチなので月$10のGithub copilotだねー。一晩$1000掛かってたら破産する！

[mtm @__mtm]

凄すぎる。google規模だからやる意味があるし、googleだからやれる話だよなあ

[柴田 淳-【新刊】みんなのPython第五版/Pythonで学ぶはじめてのプログラミング入門教室 @ats]

Google社内で使われているIDEの歴史をまとめた記事を読むと、ソフトウエア開発もクラウドやAIという流れに則っていることが窺える。

かつてGoogleでは、Emacs、Vim、IntelliJなどIDEは完全に個人の自由で、「統一は不可能」という考え方が強かった。
しかし巨大モノレポの成長によって、各IDE向けにBazelやコード検索、補完機能を個別対応する負担が増加していく。
そこで登場したのがWeb IDE「Cider」で、コード解析や巨大インデックスをクラウド側で処理する構成を採用した。
さらに2020年頃にはVSCodeをフロントエンドとして統合し、「Cider V」へ進化。
VSCodeの拡張機構を利用できるようになったことで、社内チームによる独自拡張やワークフロー改善も急速に進んだ。
2023年にはgoogle3開発の80%がCider V上で行われるまで普及し、AI補完やレビュー支援も共通基盤上で展開されていったという。

面白いのは、この変化が単なる「ブラウザIDE化」ではなく、「開発環境そのもののクラウドサービス化」に見えることだ。巨大コードベースでは、型情報、依存関係、コードレビュー履歴、検索インデックスなどを常時統合して扱う必要があり、IDEは単なるエディタではなく巨大分散システムのフロントエンドになっていく。

さらにAI時代になると、この流れはより加速する。AIコード補完やレビュー支援は、組織全体のコード知識にアクセスできるほど強力になるため、統一されたIDE基盤の価値が急上昇するからだ。記事の最後にある「standard tooling creates leverage（標準ツールはレバレッジを生む）」という言葉は、AI時代のソフトウエア開発の方向性そのものを示しているように感じた。

https://t.co/AgfNq6qF0L

[mtm @__mtm]

先週は5歳児とガレッガをして、今日は月華の剣士をやった。若い頃ハマってたゲームを子どもとやるのが意外に楽しい！
こどもは何故か玄武の翁が好きだった。飛び回りながら弱攻撃してるだけで楽しいらしい

[mtm @__mtm]

趣味でエンジニアリングしてた社会不適合者がなるもの

って完全にワイや…仕事は楽しいからしてる。気が向いたら会社に午後から行く。院生というか浪人生みたいな生活をしている

[きしだൠ(K1S) @kis]

「エンジニアは趣味で勉強するもの」が前提ではなくて、趣味でエンジニアリングしてた社会不適合者がなるものであって因果が逆。そこにGREE/DeNAの人材獲得合戦で待遇があがって「未経験からエンジニア」みたいなのも増え普通の職として就く人が増えただけである
(要出典

[mtm @__mtm]

薄暗い店で昼メシ食べてたら、隣の席に浪人している苦学生という設定？の若い女性とそれを援助している初老の男性が座ってて気になって仕方がない。

女性はとにかく必死。早口。学費諸々、年間数百万は援助しているようだ。そりゃ切られたら死活問題。必死にもなるわな…

[mtm @__mtm]

6502、変態すぎて面白い

[MUCOM™ @mucom88]

@SNDR_SNDL この記事が書かれた時もTwitterで大盛り上がりして各々の最適コードがブラッシュアップされていったのが懐かしいですねぇ
https://t.co/qDw4eErmIM

[mtm @__mtm]

なんとなく買ったソン・ウォンピョンの三十の反撃。読了。
格差社会に生きる30女の生きづらさみたいな話。意外に面白かった。胃もたれしない話を読んだのは久しぶり気がする。

[math26 @math26]

コンピュータ将棋選手権決勝リーグ全28局の評価値グラフです。非表示のチームもありますし各自の評価値が形勢判断として正しいかという検証も必要ではあるのですが、会場で一度も例年の「逆転した！」とか「説得に成功した」「反省し始めた・・・」という声を一度も耳にしませんでした