コーディングエージェント Pi の 1.0 と Pi Durable が Hacker News の 1 位と 8 位に入り、はてなブックマークでは佐川急便や日本原子力研究開発機構への不正アクセス、タイムズカー流出の余波が上位を占める

StreetComplete は、道路の舗装や施設のバリアフリー対応といった簡単な質問に答えるだけで OpenStreetMap のデータを編集できる Android アプリで、OpenStreetMap 固有の知識がない利用者を対象にしている。リンク先の GitHub issue で、iOS 版のパブリックベータ開始が告知された。

コメントでは、Hacker News で OpenStreetMap が話題になるたびに挙がるアプリで OSM 入門に適しているという評価や、Android で何年も使っているという声が出た。公衆トイレや小道を自分で追加したところ、Google マップにも短期間で反映されたという体験談もあった。

Kotlin Multiplatform を使った経験談を求める声や、リンク先から見つけにくい TestFlight の招待リンクを貼るコメント、OpenStreetMap で飲食店を探そうとすると UI が想定していない様子だったという報告も並んだ。

検索エンジン turbopuffer の開発元による記事。これまでベクトルの ANN インデックス上の位置をキーにデータを配置していたため、SPFresh による再配置のたびにその文書を指す全インデックスが書き換わり、書き込み増幅が調整の限界に達したとして、v3 では ANN のアドレスをキーにしない構造へ変えると説明している。1 文書に複数ベクトルを持たせると属性がベクトルごとに複製される問題にも触れている。

コメントでは、物理位置を指していた Postgres と、セカンダリインデックスに主キーを持たせて読み取り時の追加参照を受け入れた InnoDB の議論と同じ構図だという指摘が複数あった。ベクトル類似度は全文検索などと並ぶ検索手段の一つにすぎず、ベクトル対応の SQL データベース上に企業向け検索を構築したという報告や、ベクトル DB はもともと検索の話だったという意見も出た。

新しい主インデックスが何かを尋ねる声や、公開直後はページが読み込めなかったという指摘もあった。

Cloudflare が発表したサーバーレスのイベントストリーム製品 K2 の紹介記事。同日に判定モデル Clef も発表しており、Hacker News では Clef が 3 位、K2 が 6 位に入った。記事の著者で K2 の技術リードだという投稿者が質問に答えている。

コメントでは、GKE の Pub/Sub や Kafka、Cloudflare 自身の Queues と何が違うのかという質問が相次いだ。S3 上に構築されたサーバーレスの AutoMQ や WarpStream、データの一部を S3 に退避できる Kafka との違いを問う声や、オブジェクトストレージが新しいデータ基盤になりつつあるとして歓迎する意見があった。

一方、少ない人員で LLM を使いながら新製品を矢継ぎ早に出すペースに、本格的な顧客ならインフラのセキュリティが心配になるという指摘や、業界標準でポータブルでないものの上には作りたくないという慎重な声も出た。

求職者が所在地、リモート可否、転居の可否、技術スタック、履歴書、連絡先を決まった書式で書き込む、Hacker News の毎月恒例のスレッド。同時に立った求人側のスレッド「Who is hiring?」も 9 位に入った。

上位の書き込みでは、LLM の学習やエージェント、RAG、ベクトル検索、オープンウェイトモデルのオンプレミス運用を技術スタックに挙げる求職者が目立った。TypeScript、React、Next.js、Python、PostgreSQL を並べるフルスタックの書き込みも多く、所在地はポーランド、タイ、フランス、インド、米国など多岐にわたる。

大半がリモート勤務を希望しており、転居は不可、または条件次第とする書き込みが多い。

コーディングエージェント Pi の開発元 Earendil による、エージェントの状態を永続化して動かし続けるための durable なハーネス Pi Durable の紹介で、1.0 の告知と同日に公開された。コメントの引用によれば、テストを除くソースコードは約 1 万 5,000 行で、トークン数に換算すると GPT で約 15 万、Claude で約 25 万になるという。

コメントでは、LangChain の Deep Agents など主要各社が同じ領域の製品を作っているという指摘や、自作していた同等の仕組みを置き換えられるか試したいという声が出た。永続化されるアプリ状態が JSON 文書に限られる点について、外部ストアと同期するアウトボックスパターンの組み込みを求める意見、サンドボックスが利用者持ちなので NVIDIA の OpenShell と連携するポリシーエンジンが欲しいという要望もあった。

Pi の SDK で Slack 向けのオンコール対応ハーネスを作っており、ベンダー非依存で手を入れやすいとする報告がある一方、無期限に動くエージェントを何に使っているのかを尋ねる声もあった。

企業が勤務地と REMOTE / ONSITE の別を明記して求人を書き込む、Hacker News の毎月恒例のスレッド。求職者側のスレッド「Who wants to be hired?」も 7 位に入った。

上位の書き込みには、大学向けのオープンソース評価基盤 PrairieLearn のフルスタックエンジニア、商業保険の引受の自動化を掲げる AI ネイティブ企業 Shepherd、企業向け AI セキュリティの Sidekick Labs（基本給 17〜23 万ドル）、建設プロジェクトの工程管理向け AI を作るロンドンの Planlab.ai などが並んだ。

業務の多くを AI エージェントで回す小規模スタジオの求人もあり、AI を製品や業務の中核に据えた企業の書き込みが目立った。オランダ語やドイツ語を必須とする欧州の求人も含まれる。

OpenAI と Synopsys による共同発表。GPT-Synopsys は OpenAI のフロンティアモデルと Synopsys の EDA 技術・知見を組み合わせた専用モデルで、エンジニアが設計目標を委ねると、エージェントが Synopsys のツールを実行し、結果を解釈して変更を加える作業を繰り返す。計算資源、モデル、ライセンスをまとめて提供し、顧客の設計データは保護されるとしている。

コメントでは、Nvidia のような企業が自社のチップ設計を OpenAI に送るとは思えないという疑問や、新たな EDA ベンダーよりオープンソースの EDA ツールが欲しいという声が出た。ほぼ完成していた ASIC が、AI チップ需要でマスク変更の費用が跳ね上がったため中止になったという経験から、設計を安くする AI ツールが製造コストの高騰を招いているという指摘もあった。

ハードウェアでのプロンプトインジェクションを懸念する声や、閉じた EDA がデータ不足でモデルの性能を下げ、その強化学習の費用を利用者に払わせる構図だという批判も並んだ。

ドキュメントの例示用に予約されたドメイン example.com のページ内容が最近変わったことについて、著者が IANA に理由を問い合わせ、受け取った返信を公開した記事。9 月 28 日時点のページは、許可なくドキュメントの例として使えるドメインで、運用での使用は避けるようにという短い説明だった。

コメントでは、Wayback Machine に残る数日前の内容を引用して新旧を比べる投稿が最初に付いた。その後の議論の多くは、新しい英文がコンマで独立節をつなぐコンマスプライスになっている点に集中し、セミコロンにすべきだという指摘と、問題なく読めるという反論に分かれた。

フランス語版やロシア語版ではセミコロンが使われているという指摘や、フランス語ではどちらも許容されるという補足も出た。

Ploum 氏によるエッセイで、オープンソースプロジェクトにおける LLM 利用の方針を扱う。LLM を使えないことを理由に離れていく貢献者は、Debian のように「AI の節度ある利用」を認める立場であっても、プロジェクトが望まない貢献者だろうと述べている。

コメントでは、3 年前に click-default-group に報告したまま直せなかったバグを Claude で 1 行の修正として見つけたが、プロジェクトの方針では人間が見つけた解決策が求められる、という具体的な悩みが共有された。AI で発見したバグを AI 禁止のプロジェクトに伝えるべきか分からないという声や、個人フォークを公開すると上流への取り込みを難しくしないかという疑問も出た。

「AI の雑な PR はいらない」という方針と「AI が関わったものは一切いらない」という方針は別物だという整理や、出力を読んで理解し自分で直すなら十分だとして、他プロジェクトの方針を過度に厳格に解釈しているという意見もあった。

Lobsters で四半期ごとに立つ求人スレッドで、企業名、職種、勤務地、説明、技術スタックを決まった書式で書き込む。Hacker News でも同時期に月例の求人・求職スレッドが立っている。

書き込みには、ドイツ在住が条件でレガシーシステムの刷新を担う Avision IT（Spring Boot、Angular / React）、サーバーサイド JavaScript エンジンを扱う ServiceNow のプラットフォームエンジニア、ピッツバーグで自律飛行のソフトウェアを作る Near Earth Autonomy（C++ / Python）、営業職の一部を除きリモートの Censys、Procter & Gamble などが並んだ。

/r/rust や /r/ruby などの subreddit にも同様の求人スレッドが固定されているという補足もあった。

Rust チームによる安定版 Rust 1.99.0 のリリース告知。Lobsters では release と rust のタグで投稿された。

コメントは 1 件で、以前 Rust で LD_PRELOAD を使った処理を書いた際、C の関数（mremap とみられる）を差し替えたかったが書けなかったとして、可変長引数（variadics）の対応がようやく入ったことを喜ぶ内容だった。

Valve が 15 年前に出した Portal 2 関連の電子書籍を復活させた個人ブログの記事。Lobsters では games、reversing、vibecoding のタグが付いている。

コメントは 1 件で、Valve がこれを公式にリリースすべきだという内容だった。

rust-analyzer の作者として知られる matklad（Alex Kladov）氏による、バグを効率よく見つける方法を論じた記事。正解かどうかを判定するオラクルの用意が鍵になるとして、正規表現エンジンのように内部に複数の特化実装を持つものなら、実装同士を突き合わせてオラクルにできると述べている。

コメントでは、それは差分ファジング（differential fuzzing）と呼ばれる手法で、不完全なオラクルとして「差分擬似オラクル」と呼んでいたという補足が出た。異なる実装に同じバグが入るのは同じ欠陥のある仕様に由来しない限りまれだという主張に対し、JS パーサーのファジングで何度も遭遇したという反例や、N バージョンプログラミングに関する Knight と Leveson の研究を挙げる反論があった。

それに対しては、その研究の評価対象は学生による比較的単純な実装で、設計が異なる部分では同じバグは出にくいという返信があった。

Haskell の型クラスと ML 系言語のモジュールを比較し、演算と代数的な法則をまとめて扱う抽象化の手段として、それぞれの性質を論じた記事。

コメントでは、型クラスは名前に対して一つのグローバルな意味と実装を固定してしまい、理解が変わったときに変更が全体に波及するという問題が指摘された。Rust の Hash トレイトが Hasher を引数に取ることで戦略を差し替えられる例が挙がったが、大文字小文字を区別しないハッシュと等価性を両立させるには結局 newtype が要るという反論と、Hasher 側で対応できるという再反論が続いた。

Scala の implicits や givens なら関数ごとにインスタンスを選べるが、型クラスの一貫性（coherence）を欠く点を嫌う Haskell 利用者も多いという指摘や、Lean の Mathlib のように依存型で法則をフィールドとして書ける言語を例に挙げる提案もあった。

Edison Design Group（EDG）の C/C++ コンパイラのソースコードを収めた GitHub リポジトリ。EDG のフロントエンドは多くの商用コンパイラに採用されてきた。

コメントでは、1990 年代末から 2000 年代初頭に各社コンパイラの C++ 対応が不十分だった時期、EDG のフロントエンドは互換性の高さで知られており、Green Hills のツールチェーンで使ったという思い出が語られた。話は Sean Baxter 氏の Circle に及び、現在は Nvidia の社内で開発が続いているという情報や、オープンソース化を望む声が出た。

Clang や GCC が C++ で書かれる中、数少ない C で書かれた現代的な C++ コンパイラだという指摘に対し、拡張子は .c でも参照やテンプレートなど C++ の機能が使われていると訂正が入った。

Linux でプロセスのページテーブルそのものが消費するメモリ量を扱った個人ブログの記事で、r/programming で 1 位になった。

コメントでは、研究で mshare を多く扱っているという読者が、ページテーブルの節約以外にも利点があり考え方は妥当だが、実装はまだ実用には遠く、いくつかの機能を自前で実装する必要があったと報告した。

NUMA 環境でページテーブルのノードがどう選ばれ、メモリの移動に追従するかという質問に対し、著者はページテーブルは最初の mm_struct が作られたノードに作られると答えている。

1985 年に発売された 3D ゲーム Mercenary の Commodore 64 版について、これまで知られていなかった、ゲームを有利に進められるバグを解説した gamesexplained.com の記事。

コメントでは、Atari 版で遊んでいたので同じバグがあるか気になるという声が出て、シリーズは Atari 8 ビット機が初出で、Amiga や Atari ST の方が遊びやすいという補足が続いた。Amstrad CPC 版の思い出も書き込まれた。

著者は、オンライン版にネイティブ解像度と FPS の設定を追加したと報告している。

位置情報や携帯電話番号を追跡する OSINT（情報収集）用の Python 製ツールで、最新版は 2.2。Debian 系 Linux と Android の Termux へのインストール手順を載せている。

メニューは 3 つで、IP Tracker は IP アドレスの情報を調べ、対象の IP を得るためにツール Seeker と組み合わせる使い方が案内されている。Phone Tracker は電話番号から、Username Tracker は SNS のユーザー名から対象の情報を検索する。

URL を貼るだけで、YouTube、X/Twitter、Instagram、Threads、TikTok など 1,800 以上のサイトから動画を保存できるターミナルアプリ。解像度か mp3 の音声のみを選んで保存する。npm install -g yoinks か npx yoinks で動き、Node 18 以上が必要。

中身は yt-dlp で、初回起動時にスタンドアロンの yt-dlp バイナリを ~/.yoinks/bin に取得するため Python は不要。高解像度ストリームの結合と mp3 抽出に使う ffmpeg は PATH から探し、なければ同梱の ffmpeg-static を使う。UI は React でターミナル UI を作る Ink 製。

全画面で起動し、矢印キーや j/k、数字キー、マウスで形式を選ぶ。保存先は ~/Downloads で、端末の前景色・背景色に合わせる auto テーマと light / dark を切り替えられる。

研究論文を紹介する ITmedia の連載「Innovative Tech」の記事。MIT の研究チームが人間を対象に、睡眠中にピンクノイズを聞かせると脳内の老廃物を洗い流す働きが強まるかを調べ、Science 系列誌で発表した。ブックマークコメントの引用によれば、効果は刺激が徐波のピーク付近に当たったときに限られ、それ以外のタイミングでは有意ではなかった。

コメントでは、ピークに合わせる必要があるため家庭での再現は難しそうだという声と、雨音の BGM やピンクノイズを流しっぱなしで寝てみるという声が出た。TV や FM の砂嵐がホワイトノイズで、AM ラジオのこもった砂嵐がピンクノイズにあたるという説明や、刺激が 50 ミリ秒のピンクノイズならほぼ衝撃音だという指摘もあった。

『現地確認記録』は、AI 生成のタグが付いた一人称視点のアナログホラー映像作品。通常の調査員では対応できない事案にだけ投入される現地対処員・佐藤周一の記録で、恐怖反応も危険認識も身体能力も一般的な基準から大きく外れた佐藤が、怪異を物理的に倒していく。

コメントでは、短く手軽に見られて面白いという声や、ホラーゲームを笑いながら実況する配信者のようなノリだという感想が出た。AI で業務を効率化する話より、こうした作品が増えてほしいという意見もあった。

一方、笑い声が不快、他のキャラクターが棒読み、第 2 話の展開で幻滅したという声もある。主観映像なので主人公の作画崩壊を気にしなくて済むという指摘や、押切蓮介の『でろでろ』を連想する声も並んだ。

佐川急便は 10 月 1 日、前日に公表した「お荷物問い合わせサービス」への不正アクセスについて、調査の結果、顧客の個人情報が外部に流出した可能性があると発表した。対象は約 100 日分の荷物データで、送り主と届け先の氏名や住所などを含む。被害拡大を防ぐため、荷物の問い合わせや集荷受付など Web サービスの一部を停止している。

コメントでは、情報流出が相次ぐ中でセキュリティ対策をコストではなく戦略的投資とみなすべきだという意見が出た。インシデントが増えたというより、公表の義務化やサプライチェーンのセキュリティ評価制度への対応で、検知体制やコンプライアンスが厳格化した結果ではないかという見方もあった。

複数のサイトから流出した情報を名寄せし、AI でなりすましに使う攻撃を懸念する声や、すでに事故が起きているのでインシデントではなくアクシデントではないかという用語の指摘もあった。

AI を使った開発で速度が上がる一方、自分が理解しきれていない部分が増えたという著者が、音声入力で自分の理解を AI に確かめるやり方に加え、全体像をつかむための図解スキル eli5 を紹介する記事。他人が書いたコードの機能やロジックの概要をつかむ用途も挙げている。

ブックマークコメントは 1 件で、後で読むという趣旨でタイトルを記したものだった。

日本原子力研究開発機構は 10 月 1 日、茨城県東海村にある研究用原子炉「JRR3」の利用手続きサイトに不正アクセスがあり、外部の研究者の運転免許証やパスポートの画像などを含む計 2,419 件の登録情報が漏えいしたと公表した。施設の安全や警備に影響する情報は含まれないという。

コメントでは、利用者 ID を作ってログインした後に不正な方法で情報を取得したという説明から、未知のインジェクションなどを突かれたのではないかという推測や、攻撃者が LLM を使い、ログイン後の HTML 解析から脆弱性の探索まで自動化しているのではないかという懸念が出た。

流出の報道が続くことに疲れたという声や、発覚から公表までの速さに価値が出てくるのではないかという意見もあった。

TOPPAN が運用を受託する「保険料控除証明書発行サービス」で、損害保険ジャパンの契約者 17 万 7,426 人分のデータが別の損害保険会社 1 社に誤って送付されたインシデントを取り上げた ITmedia PC USER の記事。コメントの引用によれば、担当者が複数社分の ZIP ファイルが同じフォルダーに混在する環境で、手作業のドラッグ＆ドロップを行ったことが発端だった。

コメントでは、ドラッグ＆ドロップは危険な操作だとして、切り取りと貼り付けで移動する、移動時に確認画面が出るファイラーを使う、右ドラッグでコピーか移動かを選ぶメニューを出すといった自衛策が挙がった。ミスの出やすいタッチパッドで仕事をすることへの疑問や、エクスプローラーから Box に直接アクセスしている環境でいつか事故が起きそうだという声もあった。

Google の次世代モデル Gemini 4 Argon を伝える PC Watch の記事で、コーディングや法務などのベンチマークで OpenAI の GPT-6 Astra を上回るとしている。前日には Hacker News と Techmeme で発表が首位になっていた。

ブックマークコメントは懐疑的なものが中心で、実際に使えるようになるまで信じない、これまでの Gemini の挙動から信用できないという声が並んだ。一般公開の前に Fable 5.5 や Astra 6.1 に抜かれそうだという懸念や、OpenAI や Anthropic の上位プランではなく Google AI Ultra を契約するのはどんな人かという疑問も出た。

カーシェア「タイムズカー」の会員情報が不正アクセスで漏えいした問題で、運営会社などに損害賠償を求める集団訴訟への参加希望が、10 月 1 日午後 6 時時点で 2,000 人を超えた。呼びかけた牧野裕貴弁護士は 9 月 30 日未明に専用サイトを開設しており、約 40 時間での到達だった。

コメントでは、祭りのような勢いもあるのではという見方のほか、今後はタイムズカーの担当者を装った特殊詐欺でクレジットカード情報などを聞き出される被害が懸念されるという指摘があった。

X で見かけた「アウトプットしないことは知的な便秘だ」という言葉をきっかけに、筆者がアウトプットを続ける理由を書いた記事。アウトプットしない人を責める意図はなく、人によって適切な形と周期があるという前提を置いている。仕事で成果が出ずに悩んでいたとき、知人に「考えていることを排泄しよう」と言われたのが始まりだという。

アウトプットを、学習や経験で得た知識や考えを話す・書く・行動するといった形で外に出すことと定義し、筆者の場合は Qiita への投稿、JAWS-UG などでの LT 登壇、社内発表がそれに当たる。

続ける理由として、社内外に実績を示してエンジニアとしての価値を高めること、準備や反応を通じてインプットが増えるという循環、記事や登壇資料を作る過程で暗黙知が形式知に整理されることの 3 つを挙げる。Codex や Claude Code で並列にタスクをこなして頭が疲れる最近は、特に 3 つ目の必要を感じているという。

AI が大量のコードを生成しても、人がすべて 1 行ずつ確認しないと正しさを判断できないなら、レビューが追いつかずボトルネックになる。記事は、人が先に守るべき仕様を設計し、それを外側から検証できる状態を作ることで、レビューを重要な判断に集中させる考え方を、外部の勉強会で学んだ内容としてまとめている。

柱は契約による設計、副作用の隔離、抽象化、契約を基準にしたテストの 4 つ。契約では事前条件、事後条件、不変条件で「正しい」の条件を先に決め、数量変更の例では、追加量は正の整数、変更後は 20 以下、数量は常に 1〜20 の整数といった形に具体化する。「契約による設計で実装して」と伝えるだけでは契約自体を AI が推測することになるため、人が具体化する必要があるとしている。

副作用の例として、合計を返すだけに見えて内部の sort() で引数の配列を並べ替えてしまう TypeScript の関数を挙げ、戻り値以外に何が変わるかを問うことで、内部実装まで読まなければならない範囲を減らせると述べている。

資料や本を読んで用語やメモは増えたのに全体像が見えず、説明しようとすると言葉が出てこないという状態への対処として、学び始めにマインドマップで情報を「散らかしながら整理する」方法を紹介する記事。重要度も関係も分からない段階できれいに並べようとすると、目的がノートの整理にすり替わるとしている。

中心から「知っていること」「分からないこと」「用語・仕組み」「具体例」「次に試すこと」の 5 つの枝を伸ばし、正確な分類は目指さず、重複や仮説、勘違いもいったん書く。新しいシステムの設計なら目的、入力、処理、出力、例外、運用と枝を分け、線でつなぐことで、出力先がない、例外時の担当者が分からないといった穴が見つかるという。

疑問は「分からないこと」の下に追加して、今すぐ必要、あとで必要、今回は不要の 3 種類に分け、調べ物が際限なく広がるのを防ぐ。最後に必ず「次に試すこと」を小さな行動として加えるとしている。

AWS 認定の試験を公開直後に受ける「宇宙最速（未遂）受験」を続ける筆者による、AWS Certified AI Business Strategist の合格体験記。AWS 認定に 5 つ目のカテゴリ Business が加わった。試験ガイドには生成 AI を軸に KPI や ROI などビジネスの用語が登場し、推奨される AWS 知識として Amazon Bedrock、Amazon SageMaker AI、Amazon Quick が挙がる。

ベータ試験のため問題数は 85 問、合格点は 700 点で、試験時間は試験ガイドの 130 分に対し、申し込み時は 170 分と案内された。対策時間は空き時間を使って合計 5 時間程度。

対策はほぼ AWS Skill Builder の Official Practice Question Set で、初見の正答率は 70% だった。さらに Claude Code に試験ガイドを読み込ませて模擬試験を自作したが、正解の選択肢が誤答より長くなる傾向があったため調整したという。