Hacker News では
How to earn a billion dollars
Paul Graham の
Paul Graham が、
コメントでは、創造的破壊において創造の功績だけを取り上げ破壊の責任を無視する会計上のごまかしだという批判が上位にある。AirBnB を「不正をしない」成功例に挙げた点への皮肉や、政治家も一般読者も指数を理解していないと仮定するのは見下しているという反応も並んだ。
10 億ドルを稼ぐには何か悪いことをせざるをえないという人々は、従業員に価値の公正な分配をしないこと自体を悪と呼ぶだろうという指摘や、ある規模を超えると成長を続けるには非倫理的になる必要があり Facebook や Apple がその例だという反論もあった。
Not everyone is using AI for everything
DuckDuckGo の
DuckDuckGo 創業者の
コメントでは、サポートの流れで決定的なシステムを LLM に置き換えて遅く悪くなった企業をいくつも見たという報告や、Google 検索の最上位に AI の答えが出る以上、事実上「全員が全てに」使っているという反論がある。記事の数字はむしろ「誰もが」という表現と整合的で、普及の速さを考えれば大きな割合だという見方も出た。
2025 年 7 月のクリックベイトの見出しを軸に記事を組み立てるのは藁人形だという批判の一方、米国の労働年齢人口の 30% に関する Microsoft の論文など有用な数字をまとめているという評価や、ソフトウェアエンジニアはバブルの中にいるのかという問いもあった。
Amazon CEO's talks with U.S. officials triggered crackdown on Anthropic models
WSJ の
Amazon の
コメントでは、Amazon は Anthropic の株式を 5% 超持つ大株主なのに動機が分からないという疑問が最上位にあり、その事実抜きには行動を解釈できないという意見が続く。どのモデルもその程度の情報は出せるので Fable が特に優れていたのかという問いや、「事情に詳しい関係者によると」という WSJ の記事は最も信用しにくいという声も出た。
AI 企業が互いを切り始めたのは資金枯渇の始まりに見えるという見方や、Jassy に技術的な判断をする能力があるのかという問い、Fable はジェイルブレイクしても悪用に関心を示さず Opus 4.8 の方がはるかに協力的だという体験談もあった。
GLM 5.2 Is Out
Z.ai の
Z.ai の
コメントでは、米政府が公開モデルの能力に上限を課そうとしているまさにその時に MiniMax と Z.ai がフロンティア級のオープンウェイトモデルを出したのは偶然かという問いが最上位にある。Anthropic が Fable の停止を命じる書簡を受け取ったのと同じ中国時間 17 時 21 分に公開され、他のモデルが使えなくなることに明示的に触れているという指摘も出た。
ベンチマークを載せた公式ブログがまだなく、Mythos の騒動に便乗して来週の予定を前倒ししたのだろうという推測や、許容的なライセンスで公開する中国のラボへの感謝、これが Claude の代替になって欧州の 90% が乗り換えれば米国にとって今年最大の愚策になるという投稿もあった。
AI coding at home without going broke
Stephen Bochinski の
自宅で
コメントでは、DeepSeek の V4 flash を API で直接使い OpenCode のようなハーネスに繋げば数週間で 10 ドル程度だったという報告が最上位にある。自前ホストは電気代がかかりプライバシーへの上乗せ料金だと割り切っているという声や、仕様とコードをきちんとレビューするなら定額プランで足りるという意見も出た。
24 年前にコードを学んで以来サブスクリプションに頼らずに済んできたのでハードウェアへの投資が筋だという投稿や、1 万ドルで Opus 4.6 相当をローカルで動かせるなら購読をやめるという問い、小さなローカルモデルでコードを書かせる仕組みを誰かが作れるはずだという声もあった。
A 'cold blob' in the Atlantic could be a sign of AMOC shutdown
CNN の
北大西洋に
コメントでは、同じ主題を扱った HowTown の動画の紹介や、人々は AMOC を軽視しており、気候変動で欧州のワインやチーズが作れなくなる最初の季節に農家は政府に反旗を翻すだろうという投稿がある。1 世紀の警告にもかかわらず世界は工業化の負債を払う準備ができていないという嘆きも出た。
海中データセンターを置いて海水を温め直せばよいという冗談や、三体で 400 年後の侵略に世界が総動員される一方で気候ではその半分の期間で居住不能になりうるのに動かないという比較もあった。
Police officer investigated for using AI to 'create evidence' in multiple cases
Sky News の
英ダービーシャー警察の
コメントでは、画像や動画の生成が容易になった時代に証拠の種類ごと信頼できなくなるのかという懸念や、捏造や違法な並行構築で不当に投獄された人はどれだけいるのかという問いがある。「作成」ではなく「偽造」と呼ぶのが妥当だという指摘も出た。
見出しは犯行の動画を作ったように聞こえるが、実際はぼやけた写真を AI で「強調」した程度で本人は無害だと思っていた可能性が高いという推測や、動機とどう発覚したのかを知りたいという投稿もあった。
Formal methods and the future of programming
Jane Street の
Jane Street が、
コメントでは、形式手法が生成 AI でどう速度を上げるのか、雑なコードが問題なら検証コードも雑になるのではという問いが最上位にある。形式検証された seL4 にも厄介なバグがあったので銀の弾丸ではなく、ASAN や SAST、ファジングと並ぶ強化手段の一つだという指摘も出た。
型システムや linter に入れられるものは入れる価値があるという Martin Kleppmann の過去記事への言及や、仕様駆動開発の台頭は Rational Unified Process の復讐だという皮肉、公理と定義が対象領域にどれだけ合うかという根本的な限界が抜けているという批判もあった。
Honda Civics and the Evil Valet
10 世代 Honda Civic の
10 世代 Honda Civic の
コメントでは、更新の仕組みと Honda 独自のバージョン確認を偽装できることの技術的な説明が最上位にある。Hyundai のヘッドユニットはかつて「RSA key」で検索して出てくる鍵を使っていたという、より驚くべき失敗例も挙がった。
ファームウェアが社内の署名サービスで署名されていると誇るプロダクトマネージャーに、更新処理が署名を検証しているかは別問題だったという体験談や、ヘッドユニットから CAN ゲートウェイやテレマティクスに手が届くのかという問い、所有者を締め出す発想がなかった良い兆候だという見方もあった。
Free SQL→ER diagram tool, runs in the browser, nothing uploaded
CREATE TABLE 文を
CREATE TABLE 文を
コメントでは、探していたものだという感謝や、直線と 90 度の角の配線を選べるようにしてほしいという要望、モバイルでのパンやズーム、選択と移動が滑らかだという評価が並ぶ。GitHub のリンクがプロジェクトではなくトップページに飛ぶという指摘も出た。
sqlglot で方言を変換して基準の方言から図を作れば対応 SQL を増やせるという、似たツールの作者からの提案もあった。小さなツールで大したものではないという作者の謙遜に対し、称賛のコメントが多い。