Meta の30Bオープンウェイト公開が海外を占め、国内は判断そのものをエージェントへ渡す実践記録が並んだ

記事は、複数の NGO が「子どもの安全」という言葉を統一的な戦略として使い、成人の匿名利用を妨げるデジタル ID 法を推進している、と指摘している。

コメントでは、子どもを持ち出す議論への警戒が強く、監視の口実に使われる一方で実際の被害は放置されているという批判が並ぶ。米国ではすでに複数の州が同種の制度を導入済みだという指摘もある。

一方、政府より企業の方がはるかに多くの情報を持っているのになぜ政府にだけ神経質になるのか、という疑問や、SNS やポルノへの懸念を持つ層を悪魔化して向き合ってこなかったことが今の状況を招いた、という自省的な意見も出ている。

BBC の記事は、ため込み癖のある家の片付け中に見つかった35年前のマーズバーが、現在の製品より20g重かったという内容。

コメントでは、ジャンクフードの内容量が減るのは珍しく全員にとって望ましいシュリンクフレーションではないか、という反応が多い。砂糖の塊が小さくなることを悪いことと考えるべきなのか、という問いも出ている。

一方で、菓子1本の発見がトップニュース扱いされる状況への戸惑いや、火星が原始の海と大気を失った原因がマーズバーの20g にも関係しているのか、といった脱線した書き込みも並んでいる。

Cactus の Henry による Show HN で、以前公開した Cactus Needle に続く14MB のエージェント型 LLM。ツール呼び出し、デバイス操作、構造化抽出を対象としており、ブラウザ上のデモも用意されている。

コメントでは、小さいモデルにどれだけ知識を持たせられるのか、エッジ AI が良くならないとスマートフォン側の応用が進まない、という関心が示される一方、デモに「HN」と入力したら玄関のドアをロックする関数呼び出しが返ってきた、という報告も上がっている。

技術面では、Engrams を使って計算量を削っている点への言及があり、O(1) のルックアップでディスク容量が主な制約になることから engram の層やサイズを削る実験をしたか、attention residual ではなく mHC を選んだ理由は何か、といった質問が投げられている。

記事は、AI がウェブを飲み込むにつれてインターネットの集合的記憶が消えていくと論じるもので、Google 検索の衰退を軸にしている。

コメントでは冒頭の逸話への批判が強く、日の入り時刻を AI に聞いて間違えたという例について、空を見れば分かるはずだと指摘されている。ユーザー体験としては、AI モードへの移行の副産物としてここ数年で最も使いやすくなったという報告も複数ある。

一方、検索語を2つ入れただけで AI が根拠なく長文を返してくるのが煩わしいという不満や、Kagi は Google の全盛期より良く、広告モデルが優先順位の逆転を生んだのだ、という指摘も出ている。

Squeak は Smalltalk の処理系で、今回 6.1 のリリースノートが公開された。

コメントでは、Lisp がプログラミング言語観を、Erlang が並行性の本質を教えてくれるのと同じように、Smalltalk を学ぶとオブジェクト指向が本当は何を指していたのかが分かる、という評価が並ぶ。実行中のコードを GUI からそのまま辿れる点を挙げる声も多い。

一方、高 DPI ディスプレイへの対応が10年以上入っておらず UI が粗いままだという不満や、Glamorous Toolkit との比較を尋ねる質問、Windows 11 のウイルス対策ソフトが実行ファイルを削除したという報告も出ている。

作者による告知で、Sonic Pi v5 はより親しみやすく、扱いやすく、強力になったとされる。分かりやすいエラーメッセージ、pro-audio 設定、パフォーマンス用の動的ビジュアルなどが挙げられている。

コメントでは、そもそも何なのか分からなかった人向けに「コードで音楽を作る無料のツール」という公式サイトの説明が共有されている。名前が Raspberry Pi 関連やハードウェアを連想させて分かりにくい、という指摘も複数ある。

トラッカーでシーケンスを組んできた人が同じワークフローを試したいという反応や、Strudel との比較を尋ねる質問、実際に使っている知名度のあるアーティストはいるのかという問いも出ている。

記事の主張は、LLM に簡潔で短い、コードのような形式で答えさせた方が情報のやり取りが速くなるというもの。人間らしさを求める指示が、モデルが作業を終えた後に適用されるわけではない点が問題として挙げられている。

コメントでは、装飾的な文章を読んだ直後に内容が頭に残らない経験を挙げて同意する声がある一方、まず答えさせてから平易に要約させる二段構えで解決できるのではないか、という反論も出ている。

そもそも指示やスキルは出力を意図的に機械寄りにするためのもので人間らしくするためではない、という指摘や、求められているのは簡潔で事実に即した出力であって「blast radius」のような語を並べた冗長な文章ではない、という意見も並ぶ。

antirez が公開した h3.c は、Apple Silicon 上で MiniMax-H3 の推論をネイティブに行うための実装。

コメントでは、それでも128GB のメモリが必要なのではないかという確認や、96GB では足りず参加できないという嘆きが並ぶ。M5 Pro の64GB MacBook Pro で ComfyUI 経由の MiniMax H3 を GGUF 量子化に差し替えて使っている、という具体的な報告もある。

antirez の作業量への驚きのほか、拡散モデルと CUDA の相性の良さから DGX Spark が LLM 用途で失う分をここで取り返している、という指摘や、代替手段との比較を求める声も出ている。

Mozilla のブログで、拡張機能として提供されてきたコンテナ機能を Firefox 本体に統合するプレビューが発表された。

コメントでは Mozilla への評価が全体に高く、過去に批判的だった人からも、こういう動きこそ取るべきだという声が上がっている。拡張と併用しているドメインルール（*.ibm.com は ibm コンテナへ、など）が本体側にも欲しいという要望も多い。

一方、拡張機能のバックグラウンドプロセスをコンテナごとに分離できるのかという9年来の未解決 issue への言及や、拡張からクッキーを引き継げるのか、それとも全部ログインし直しになるのかという質問も出ている。

記事はトグル UI の状態が見分けにくい問題を扱っている。macOS には「色を使わずに区別」という設定があり、有効にするとトグルに小さなオン/オフの表示が加わるため、これを既定にすべきだという意見がコメント冒頭に置かれている。

iOS では同じ機能が「オン/オフラベル」という別名で存在し、「色を使わずに区別」を有効にしてもトグル自体は変わらないという報告や、macOS には片方しかないという比較が続く。

GNOME にも同種の設定があり、「オン/オフシェイプ」としてオン側に⏽、オフ側に⭘が表示されると具体名が挙げられている。見た目の差はごく控えめなのに格段に分かりやすくなる、という感想も共有されている。

jackyzha0 の sunlit は、窓から差し込む陽光の表現を純粋な CSS だけで実装したもので、リポジトリ名がそのまま挙動の説明になっている。

コメントは3件と少ない。タイトルがあまりに詩的だったので何か読み応えのある文章作品かと思ったが、実際にはコードをそのまま説明した文字どおりの記述だったのも面白い、という反応が中心で、ほかは「美しい」「とても芸術的だ」といった短い賛辞が並んでいる。

Django 公式ブログの告知で、これまで年に複数回行っていた機能リリースを年1回にまとめる方針が示された。リリース間隔とサポート期間の対応が変わるため、アップグレード計画に影響する変更となる。

Lobsters 側に付いたコメントは1件のみで、良い変更だという短い賛意にとどまっており、議論らしい議論はまだ起きていない。

Ars Technica の記事は、研究者が noreply.net を購入したところ、そのドメインを送信元アドレスに使っていた企業から秘密情報を含むメールが届くようになった、という内容。

コメントは似た経験の共有が中心で、firstname.lastname@gmail.com を持つ人のもとに同姓同名の別人宛のメールが大量に届く、英国の中規模 ISP で firstname@ を持っていたときは誤送信の量が凄まじかった、といった報告が並ぶ。

同姓同名の他人の請求書や医療記録が届いたという例もあり、送信側が宛先を確認しないまま重要な情報を送る構図は珍しくないことが示されている。

記事は、GitHub Actions が発行する OIDC トークンについて、audience による制約を課せるようにすべきだと論じている。

コメントでは、GitHub Actions のセキュリティ全般が脆いという指摘があり、特定のランナーを信頼できない外部ユーザーに使わせない手段が、攻撃者が編集し得るリポジトリ内の Actions ファイルしかないのは困る、という声が上がっている。

議論の途中で OpenID と OpenID Connect の関係の解説が入り、OAuth 2.0 の上に JWT で載せた出来のよくない ID 層だという評価や、workload identity に対応した Forgejo への言及もある。sub が不十分なら aud を持ち出すより sub の拡張やカスタムクレームを推すべきではないか、という反論も出ている。

Chicken Scheme の 6.0 が公開され、リリースノートが共有された。同じ URL は Hacker News 側にも別途投稿されている。

Lobsters 側のコメントは1件で、バグを潰すのに時間がかかったがようやくリリースできた、という開発側からの報告にとどまっている。

Lobsters で毎週立つ定例スレッドで、各自がその週に取り組んでいることを書き込む。

今回は休暇明けの報告が多く、6か月ぶりに博士課程へ戻って normalisation by evaluation や universe hierarchy の論文を読むという人、8週間の夏休み明けで身体が慣れないという人が並ぶ。若い頃はプログラミングが好きで夜も眠れなかったが今は火が消えた、という書き込みもある。

Gleam 関連のプロジェクトを抱えつつ新キャラでの Valheim に時間を取られているという報告や、SDL3 ベースのテキストエディタを Rust で書いた週末、日食を見に行く予定、ステージング環境の API トークンを消したうえ環境ごと壊してしまったという告白も混じっている。

記事は C89 の規格に残る曖昧な記述のうち、今後も修正されないものを取り上げている。

コメントでは、WG14 のサイトに初期の番号付き委員会文書が追加されたという情報が共有されているほか、void f() と void f(void) が C では同じではないと知ったときの驚きが語られている。これに対しては、C23 で K&R 形式の関数定義が削除されたため現在は同じ意味になった、という補足が続く。

array[42] と 42[array] が等価であることに驚いたという書き込みや、次期規格の 6.5.3.2「配列の添字」の記述を引いて演算子の定義を確認する投稿も並んでいる。

筆者は2020年頃から、バグの修正方法や実装したい機能を調べるときの資料として Stack Overflow と並んで dev.to を見ていたが、参加はしていなかったという。

この分野ではネットワーキングが重要だと聞き、自分にとって最も取り組みやすいのがブログを書くことだったため、今年1月に登録した。それまでは LinkedIn で人をフォローする以外の交流はなく、誰にも知られないままプロジェクトを作っていたと書いている。

内向的で新しい人に会うのが苦手だったことに加え、OCD のためテクノロジー関連のことが何もできず、コードを書くことも PC を使うことも難しかった時期があった、という背景も語られている。

連載は三十六計の「仮道伐虢」を引き、二大勢力の間で隣国から追随を迫られたときは相手の勢いを借りる、という前置きから始まる。

これまでの回では、コンサルタントとして入ったレナが作った報告テンプレートが5週間後に本番投入され、6か月分のベースラインデータを固定してしまった話や、FinOptima が盗まれた学習データをキャッシュ経由で書き戻していた話などが扱われてきた。

今回はレオが作った「通路」を AI が「道路」と解釈した、という題で、前回までの伏線を引き継ぐ形で続いている。

筆者は AI が自分を怠惰にしていると思っていたが、実際には AI を「考えないための口実」に使っていたと気づいたという。同じパターンを自分のコード、レビューした PR、「AI がこう言っている」で会話が終わる Slack のやり取りに見るようになった。

きっかけは Node.js のバックエンド API で、あるフィールドが常にではないが頻繁に null で返る不具合。以前なら30〜60分かけてコードを読み直し、値がどこで入るはずかを確認し、リクエストを上から下まで追っていたはずだった。

代わりに AI に症状を説明したところ、チェーン内の await 抜けという修正案が返ってきた、という流れで話が続く。難しい問題に当たったとき最初に考えるか、それとも AI を開くか、という問いが読者に投げられている。

Frontend Challenge の Comfort Food Edition への応募作で、1日2000万人が食べる15ルピーのストリートフード、ワダパヴを題材にしたスクロール駆動の映画的なランディングページ。

実装にフレームワークもビルドステップもなく、HTML と CSS、それに JavaScript だけで構成されている。ライブデモとソースコードの双方が公開されている。

記事の後半は、工科大学の帰りに毎晩通ったワダパヴ店の思い出に充てられており、当時は本当に金がなくバス代が足りなければ歩いたが15ルピーで腹は満たせた、いまは収入が増えたが同じようには感じられない、という一節でページの動機が説明されている。

Comfort Food Edition の CSS Art 部門への応募作で、1品に絞らず、おにぎり、タピオカティー、餃子、火鍋という4つのキャラクターを作り、ネオンの効いた暗い店内とデジタルメニュー表示という舞台を用意している。

各キャラクターは価格付きのメニュー項目を兼ね、CRT 風の画面の上で点滅しながら跳ねる。下にはファストフード店にあるようなタッチパネルの自動注文機が置かれ、注文を促す文字を打ち出したうえで注文番号入りのレシートを印刷する。

すべて div を clip-path、border-radius、グラデーションで組んだもので、キャラクターは個別に跳ね、数秒ごとにまばたきする。クリックすると目が変わって輝きが弾ける仕掛けも入っている。

記事は、47ファイルが変わり GitHub が差分の表示を諦めるような PR を出した経験を入口に、GitHub が近年で最大級の PR 更新を静かに投入したと紹介している。

前提として、大きな PR ではレビューが機能しない。2000行の差分を注意深く読む人はおらず、レビュアーが人間でもモデルでも、対象が絞られた差分の方が良い仕事ができる、という主張が置かれる。

スタックド PR の規則は単純で、同じリポジトリに2つ以上の PR があり、一番下の PR が trunk ブランチを、それ以降の PR が1つ下の PR を対象にしていればよい。各 PR は下位の変更をすべて含めず、自分が加えた差分だけをレビュー対象にできる。

筆者は AI エージェントの作業を検証するプロトコル OpenWorkProof について LinkedIn に投稿したところ、72時間にわたって世界中のエンジニアや protocol designer、セキュリティ研究者から前提を突き崩す指摘を受けたという。

中でも大手フィンテックのシニアエンジニアが共有した本番バグが取り上げられている。ゲートウェイは全 API レスポンスに検証チェックをかけ、署名も監査も通り、毎回 verified: true を返していたが、数か月間誰も疑わなかった。意図的に壊した入力で negative control を書いて初めて発覚した。

原因は ln.strip() という1行で、余分な改行によって assert 文が return の後ろに押し出され、関数本体の中で決して実行されない位置に置かれていた。終了コードは0、判定は verified。8種類の呼び出しテスト形状のうち5つが偽陽性を出していたという。

発端は2026年7月22日、ホワイトハウス OSTP の Michael Kratsios が Moonshot AI による Anthropic Fable 5 の蒸留を非難し、財務省が制裁を検討したという件。技術的な証拠は公表されず、K3 の公開日時点で Fable 5 が公開されていた期間は合計18日ほどしかない、という時系列の矛盾が研究者から指摘された。

筆者は「起きたかどうか」ではなく「起きたとして Moonshot は実際に何を受け取ったのか」を問い、手がかりとして2025年に Sky-T1 のバークレーのチームが行った実験を引く。

最終回答が誤っている長い推論トレースで微調整すると精度は3.2ポイント低下し、推論ステップ中の数値を半分ランダム化しても3.3ポイントの低下にとどまった。ところがステップの順序を入れ替えると性能は崩壊した。蒸留で渡る中身はほとんど入れ替え可能である、という結論に向かう。

まとめの発端は、差別的な本を置かない書店を朝日新聞が紹介した記事。差別の本かどうかは手に取って読まないと分からず、置かない判断を突き詰めれば出版前のチェック、つまり検閲に近づくのではないか、という疑問が投げかけられている。

ブックマークでは、まとめ自体が煽り性の高い作りだという指摘や、カタカナで地名を書くことも差別に含めるのかという突っ込みが並ぶ。差別をなくしたいというより率先して差別したいのではないか、という批判も多い。

一方で「地獄への道は善意で舗装されている」と、動機の善さと結果を切り離して見るコメントもあり、書店の姿勢を評価する声と冷ややかな見方が混在している。

記事の主張は、WBS を人間が読む完成品ではなく集計の入力データとして扱うこと。階層はインデントやセル結合ではなく機能・工程という列で表現し、集計行は表に混ぜず、集計は毎回スクリプトで作り直す。

ブックマークでは、1行1タスクのフラットな表という結論自体は正しい表データの扱い方であって Markdown はあまり関係ない、という指摘が目立つ。結局 Excel に集約されるという反応もある。

一方、テキストなので diff が取れる点を評価し、AI 前提で Excel からテキストへ回帰するのではないかという見方や、そもそもメンテナンスが続くのかを疑問視する声も出ている。

記事は、荷物を最小にする競技ではなく、移動先でも普段の生活を短い手順で再開するための設計として持ち物を選ぶ、という考え方でまとめられている。日帰り、二泊三日、一週間と、足すものが段階的に増える構成。

ブックマークでは、サブのペンは載っているのに主役のペンがないのはなぜかという具体的な突っ込みや、Matador の FlatPak が便利そうだという反応がある。

一方で、見たいのは100円ショップや無名の製品の方だという声や、ブランド品を選ぶこと自体は分相応の範囲なら当然だという意見も出ており、選ぶ基準への評価が分かれている。

記事はスクワットを全身運動に近い種目として位置づけ、4つのバリエーションと、膝がつま先と同じ向きになっているかといったフォームの注意点を挙げている。

ブックマークでは、なぜこの記事がホットエントリに入っているのかという反応や、続かないという告白が並ぶ。ブルガリアンスクワットを推す声もある。

膝を痛めるのが怖いのでワイドスクワットだけにしているという報告や、記事が言う膝の向きの説明はラジオ体操第一の動きに近いのではないかという解釈も出ている。

開発ブログの報告によると、障害は8月11日の未明から午前にかけて約7時間続き、原因はシステムに一時的な過負荷が発生したことによる動作不具合。現在は復旧が確認されている。

ブックマークでは、502 が出ていたので早く寝られた、祝日を無駄にせず朝起きられたといった報告や、久しぶりに障害時の画像を見たという反応が並ぶ。

原因説明の「一時的な過負荷」に対しては、お盆の時期なのにという疑問や、無料で使っているので何も言えないという声も出ている。

取材によると、1万発以上を打ち上げるとして有料観覧券を販売していた大会が9日に中止を発表した一方、開催地とされた彦根・長浜・高島の3市は関与を否定している。地元の花火業者には3000万円規模の打診もあったという。

ブックマークでは、大きな嘘に小さな事実や実績を紛れ込ませるのは詐欺の常套手段だという指摘や、返金されなければ詐欺、返ってくるなら運営ミスだという線引きが示されている。

故意の立証が難しく損害賠償も難しいのではないかという見方や、最初から怪しいと思っていたという出店者側のコメントへの反応も並ぶ。

投稿は、原作既読の上でライムスター宇多丸の映画時評を聴いてから鑑賞に臨んだところ、鑑賞後の語りが相手の反応と噛み合わなかったという経緯を書いたもの。

ブックマークでは、映画だけでなく相手も観ておくべきだという指摘や、「◯◯のせい」と書かれるものは大体本人のせいだという定型の反応が集まっている。

付き合って2か月の相手に受け売りの早口語りを披露すればそうなる、という同意が多い一方で、投稿者の書きぶり自体を面白がる声もある。

記事によれば、殺人容疑で逮捕された54歳の長女は母親の口座を管理しており、その資金をもとに1千万円以上を投げ銭に使っていた。金銭トラブルが背景にある可能性が指摘されている。

ブックマークでは、子どもが親のカードを使い込む話かと思ったら想像よりはるかに重い、という反応が目立つ。1千万円を受け取った配信者側への言及もある。

一方、2年前の事件で証拠がないなら罰するべきではないという慎重な意見や、報道写真の加工処理への注文といった別の論点も出ている。

投稿は、ある作品を広めるのを認めないと主張して炎上させる行為自体が表現の自由に含まれるのか、という問いを立て、そこを解決しないと表現の自由擁護の主張は認められない、と述べている。

ブックマークでは、国家権力の検閲は絶対的な禁忌だがそれ以外の弾圧なら許されるわけではない、寛容は不寛容に対してだけ不寛容である、といった整理が並ぶ。

一方、全肯定以外を弾圧と呼ぶのは言葉選びが強すぎて余計な軋轢を生む、という指摘や、どこまでを「認めない」に含めるかという線引きの問題だとする意見も出ている。

投稿は、餃子が中国語では「チャオズ」なのに「ぎょうざ」と読む点や、鳥取が「とっとり」になる点など、字面から読みが導けない例を列挙している。

ブックマークでは、まず言葉があって後から漢字を当てはめたという順序を踏まえるべきだという指摘が多い。昨日・今日・明日や、真面目・土産・田舎を違和感なく読んでいることへの言及もある。

焼売が読めずに「やきうり」と注文した思い出や、英吉利・独逸・仏蘭西といった当て字の列挙など、脱線した反応も集まっている。