sci

組込ソフトウェアエンジニアかけだし3年目。オートモーティブ。シリコン半導体検出器をやっていた。物理関係もときどきウォッチ

[sci @Uh_phy]

ＥＭＡＮの力学・学生時代 https://t.co/J99kt8kdPl

[tak💀Yassan @schectman_hell]

北朝鮮IT労働者とみられる人物とわかって採用した調査についてまとめてみた - piyolog https://t.co/O7ADw7K4ZN

[トデス子'\ @todesking]

おもしろい https://t.co/b0eNhNKEr3

[sci @Uh_phy]

https://t.co/QbR1z66NxS：「不良品ゼロ」と「水冷NG」の狭間で。ルネサスが��かした車載チップレットSoCのリアル (1/4) https://t.co/Qm0fBlLtAj

[Physics Magazine @PhysicsMagazine]

Henry Cavendish first measured the gravitational constant G in 1798. Over the past 40 years, high-precision experiments have reported values of G that don’t line up well with each other. The latest NIST measurement has not resolved the discrepancies. https://t.co/ReXlFIpMWQ

[やねうら王 @yaneuraou]

AIに巨大なプログラムを書かせているとき、本質的なのは「AIが1秒あたり何行書けるか」ではない。実際に効いてくるのは、コード量が増えるにつれて、開発オーバーヘッドがどうスケールするかである。

AIが素で単位時間あたり一定量aのコードを書けるとしても、実開発ではコンパイル、テスト、デバッグ、調査、影響範囲の確��といったオーバーヘッドが必ず乗る。問題は、そのオーバーヘッドがその時点tでのコード全体量C(t)に対してどう増えるかだ。

単純化すると、以下の二つのケースがある。

1. オーバーヘッドが C にほぼ比例するケース
2. オーバーヘッドが log C 程度に抑えられるケース

コンパイル時間は、フルビルドだと1.に近い。
原因の切り分けが二分探索的に進められる種類のデバッグでは、2.に近い。

1.と2.のケースにおいてC(t)が時間tに対してどのように増加するか計算してみたのが添付図だ。

結論としては、
1.は、C(t)は√tに比例するので、コードを10倍にしようと思うと100倍の時間が必要。
2.は、C(t)はtに対してかなり直線に近い増え方をする。
である。

言うまでもなく1.と2.とは雲泥の差である。ソフトウェア工学のかなりの部分は、1.の世界をいかに2.に近づけるかという試みだったとも言える。

コードを書くときの認知的・構造的オーバーヘッドも、放っておけば前者に寄りやすい。しかし、モジュール分割、関数分割、クラス分割、依存の局所化、テスト単位の分離をきちんと行えば、そのコストを後者に近づけられる。そうなるようにプログラミング言語やモジュール機構、テスト手法、設計原則は発展してきたわけであり、マイクロサービスやクリーンアーキテクチャも、その文脈で理解できる。

AI時代になると、この問題はむしろ先���化する。AIはコードそのものを書く速度が高いぶん、設計や検証のオーバーヘッドの悪さが、以前よりはっきり露呈するからだ。

設計が悪く、影響範囲が広く、テスト単位が粗く、どこが壊れたのかを絞れない構造になっていると、1.に近づく。すると、せっかくの生成速度がオーバーヘッドに食われる。

だから、今後AIで巨大なプログラムを開発するエンジニアに強く求められるのは、単にプロンプトがうまいことではない。

システムを分割し、影響範囲を閉じ込め、検証単位を細かく設計して、開発全体のスケーリング則そのものを改善する能力だと思う。

[Junya ISHINO/石野純也 @june_ya]

サムスンに聞いたところ、やはり来年の海外モデルからFeliCa載せるらしい。

[ゆきまさかずよし @Kyukimasa]

「素粒子物理学の危機」
https://t.co/Maik4kZekt
ヒッグス粒子発見で標準模型の枠組みが完成したがその先をどうするのか。LHC超える加速器作れば何か出る仮説はあるけど保証がないので作れない。
次の大きな目標がないから研究者の意欲も下がって実験物理学から人材流出してるという現状なのだそうだ

[シエル＠PC-98用すきま同人ハード製作屋 @star_alpha2]

最初期のUSBなんてバスパワーでキーボードとマウス以外動かすことなんて考えてなくて、給電能力100mA(0.5W)で速度も1.5Mbps止まりだったんだよな

USBのダメなところは、その規格の自由さ故に3.0以降無節操に拡張されまくってSCSI並みに破綻��たところ

[kuk_ai @kuk_a_i_ai]

これは大企業JTCの社員なら一読しておくべき。
自分は評価のフィードバックを先日受けて評価1位だったんです��、思い起こすと自分の業務成果で課長、部長、所長を（相対的に）勝たせることが全てだったと思います

おい、辞めないなら頑張れ - じゃあ、おうちで学べる https://t.co/ckcs2TtWhu

[sci @Uh_phy]

なぜ、組み込み業界ではRustが流行らず、未だC言語が主流なのか？ https://t.co/CpgaER55MA

[吉野@連邦(renpou.com) @yoshinokentarou]

PS5のBootROMキー(起動時にSoC内部で使われる暗号鍵)が流出したというニュースが海外メディアに掲載され話題に
BootROMはCPUに焼き付けられた最下層の信頼基点で、FW更新では修正不可と言われている
即Jailbreakではないが、ブートチェーン解析が大きく前進する可能性は高い
https://t.co/aqyHSt9hiH

[miniPCfunnel @miniPCfunnel]

DRAM最大手のSK Hynixが一般向けメモリは2028年まで需要に供給が追い付かないよと警告　地獄モードが長期継続か

[窓の杜 @madonomori]

【今日の人気記事】「エクスプローラー」の「Git」統合などが実現へ ～Microsoftが開発者向け新機能／「Windows 高度な設定」（Windows Advanced Set… https://t.co/1rgAbtcKdp

[村山斉 @sleptogenesis]

@XlGjfmYpCchopJ6 この結果はすごいと思います！確立すればもちろんノーベル賞級です。でもちょっと納���いかない点もあるので、私の解釈を今論文執筆中です！日本時間火曜日朝に公開予定

[sci @Uh_phy]

おい、一つずつやれ - じゃあ、おうちで学べる https://t.co/pHZs5CIJNI

[情報収集専用垢なので基本呟かないでも呟くときは発作が起きたと思ってくださいポヨ @Johoshushupopo]

デンソーの半導体関連の提携関係をまとめてみました
漏れや間違いあれば、お教えいただけると助かります

[Yoshiki Sato @phys_yoshiki]

「量子論の枠組みとその展開: 幾何的解釈から量子情報理論・場の量子論の入門まで」← タイトル的にｸｯｿ面白そうだけどあんまり話題になってない
https://t.co/Shr95kRCir

[JFrog Security @JFrogSecurity]

🚨We're continuing to track the unfolding compromise of npm packages with a new data exfiltrating malware, in the new campaign dubbed Shai Hulud.

Our monitoring infrastructure has detected 31 additional malicious packages with the same payload with hundreds of versions.

New malicious packages are still being uploaded continuously, follow this thread to get the latest news on this ongoing campaign as it unfolds.

[ウォール・ストリート・ジャーナル日本版 @WSJJapan]

【社説】ポピュリズムの波、日本に到来
https://t.co/dTJpJrMoE3

[Kaoru Inoue @kaoru324]

SoundCloud、初期費用なし、1枚からでもレコードを製造・販売できるサービスを開始 https://t.co/o1llcjPRtI