ntaoo

[ntaoo @ntaoo]

なるほどねえ…

[ntaoo @ntaoo]

Linux さあ...

[ntaoo @ntaoo]

Cursor は巨額資金を手に入れたんだから VSCode ベースを捨てて独自 IDE に挑戦してほしい。

[ntaoo @ntaoo]

この課題の答えは、安定した意味論と最小限の文法の動的型付け言語と、その上に構築された内部DSL, 外部DSL, さらにそれを AI と共に読み書きするための、対話型を含むビジュアルプログラミング環境のはず
TS/Rust はエンジニアでもごく一部しか読み書きできない・する価値がないので、答えではない

[ntaoo @ntaoo]

@StewEucen class を否定した React Hooks 系アーキテクチャが class よりも深刻な欠陥を作り込んだ、という顛末

[ntaoo @ntaoo]

Dart の fat arrow (=>) method 文法、AI が雑につかって返すべきでない値が return されまくるし、出力がブレるから、もう禁止したほうがいいかもな…

[ntaoo @ntaoo]

この課題の答えは、安定した意味論と最小限の文法の動的型付け言語と、その上に構築された内部DSL, 外部DSL, さらにそれを AI と共に読み書きするための、対話型を含むビジュアルプログラミング環境のはず
TS/Rust はエンジニアでもごく一部しか読み書きできない・する価値がないので、答えではない

[チャエン | デジライズ CEO《重要AIニュースを毎日最速で発信⚡️》 @masahirochaen]

【注目】CursorのCEOが語る「コードの次」が面白い。

ソフト開発の未来は、語られがちな2つのどちらでもない。

・今のまま手書き（TS/Rust等）→ 変わらなすぎ
・ボットに丸投げ→ 精度が足りない

答えは「ロジックが英語に近い擬似コードで書かれ、直接編集できる世界」。両極より奇妙になる、と。

[ntaoo @ntaoo]

こういうのは「みんな」でなく１人か２人が逆恨みしてメンヘラ化している段階なので、具体的にするのが大事。
改善したいので、という枕詞は不要かな。

[ごーど｜「心の余裕」の作り方を学ぶ @SureGoahead]

メンタル強めの友人は、「みんな迷惑してるよ」と言われたら、慌てて謝るのではなく、「改善したいので、どんな場面で何にご迷惑をおかけしたか、教えていただけますか？」と 相手の目を見て静かに聞くらしい。すると結構な割合で相手が

[ntaoo @ntaoo]

無調整の Gemini の性格と口調がはっきりいって気持ち悪い。仮面を被った友好的で優等生的パーソナリティ。ChatGPT 4o の時以上に最適化してきたな、という印象。
でもマスを取りに行くというのはこういうことなんだな。

[ntaoo @ntaoo]

Analyzer で AST を解析して制約を強めていくの最高だな。AI の出力が安定する。IDE の動作が重くなるし Staled な解析結果が残り続けるバグはまだとれないが、AI コーディングでは許容範囲内。

[0x71 @0x71ff]

「基本なしに応用できるわけがない」は科学的には誤りです。
学校教育において、脱文脈化した抽象的な知識を「基本」と呼ぶことが多いのだけど、こういった知識は実は個々の「特殊なケース」を経た後にしか習得できない。
「基本が大事」と思ってるのは、実は後知恵なんですよね。

[ntaoo @ntaoo]

低レベル最適化は C, Zig, アセンブリ か、JIT コンパイラが頑張ってくれという気持ちしかない。

[ntaoo @ntaoo]

Windows が頻繁に HDD を起動してそのたびに GUI がすべて数秒間フリーズする原因がさっぱりわからんが、AI に原因究明して解決しろと指示するのはさすがに怖すぎる。Windows がクソ OS すぎる。

[ntaoo @ntaoo]

AI コーディングに適応して、解法は思い浮かぶがソースコード編集の手が動かなくなってきた。ほぼすべて AI に指示を投げている。

[情報の灯台 @joho_no_todai]

AppleTalkがLinuxカーネルから削除された。3694行。
Appleが2009年にサポートを終了してから17年、Linuxに残り続けたネットワークプロトコルだ。

直接の引き金はAI生成パッチ。
誰も使っていないコードに修正案が大量に届き、誰もレビューしない。
前サイクルのLinux 7.1では同じ理由でAX.25やISDNなど13万行超が消えている。

メンテナー不在のコードは、AIが最も効率よくパッチを量産できる場所になる。
https://t.co/xtrxXSVGlU

[No context Hazz ⛩ @HazzimIO]

No comments.

[ntaoo @ntaoo]

flutter/widget.dart が package:meta の protected を export しているんだが、壊れた protected annotation を framework が export すんな邪魔だボケ

[ntaoo @ntaoo]

いいかげんに言語レベルで protected modifier をいれてくれ。package:meta の protected annotation の実装はdocument通りの実装でなく、壊れているだろ。SDK公式の annotation なのにこの体たらくは信じられん。
https://t.co/BLCyujYZRR

[ntaoo @ntaoo]

こういう輩、友達（実態はどうでもよいオモチャ扱い）をバイクでイジって遊んでいたらあいつ落ちて死んだぜギャハハ、という武勇伝にするつもりが、これから課される刑罰や賠償金の重さは知らなそう

[KynAd.Moss @kynad130197]

東京・葛飾区で、バイクの後部座席に乗っていた19歳の男性が転落し、ミキサー車にひかれて死亡しました。

事故は17日午前7時ごろ、環状7号線で発生したということです。

警視庁は、ミキサー車を運転していた男をひき逃げの疑いで逮捕しました。

また、バイクを運転していた10代の男も過失運転致傷の疑いで逮捕されています。

出典：FNNプライムオンライン

[ntaoo @ntaoo]

型システムと静的型付け言語のなにが問題って、言語のセマンティクス表現力がその採用している型システムの理論の中に閉じ込められ、それで表現しづらい領域で強い認知的摩擦がおきちゃうことだとおもうな
言語と型システムの主従関係が逆転してしまっているというか

[ntaoo @ntaoo]

Rust の所有権という概念、あれを型システムで表現するのは上策ではないと思うな。

[ntaoo @ntaoo]

それをいったら GC を捨てて型システムで表現するのも上策ではないので、結局あれはシステムプログラミングの一部のユースケースでの局所解なんだろう

[ntaoo @ntaoo]

最近の AI はたぶんほぼすべての学校の教師よりも説明がうまいのではないか… ビビるわこれ

[Torishima / INTP @izutorishima]

Fableくんがいなくなってしまったが、いずれにせよ特殊なドメインの開発だと Codex は大局観が薄く「指示されたことだけやりました」感を出してくるので、まず設計を Opus と固めたあとガチガチの作業指示書を書かせて Codex App にコピペ、作業指示書自体に「作業が完了したり思わぬ問題が発生したら agmsg で待機してる claude1 に詳細に報告しろ」と書いておくことで両方が自律的にコミュニケーション取って、作業自体をやらずアドバイスとディレクションに Opus を徹させることでブレを防止、とかをやってる
これは Fable 復活後にも有効かも