そっか~ニュース / Hacker News 日本語ダイジェスト

そっか~ニュース
記事を読んで、気分はそっか~。

aiで翻訳、記事の要約を自動生成したHacker Newsの日本語ダイジェストサイトです。 明らかに正確でない翻訳や要約が含まれる場合がありますのでご了承ください。

日付で読む
09/022026-09-0209/012026-09-0108/312026-08-3108/302026-08-3008/292026-08-2908/282026-08-2808/272026-08-2708/262026-08-2608/252026-08-2508/242026-08-2408/232026-08-2308/222026-08-2208/212026-08-2108/202026-08-2008/182026-08-1808/172026-08-1708/152026-08-1508/142026-08-1408/132026-08-1308/122026-08-1208/112026-08-1108/102026-08-1008/092026-08-0908/082026-08-0808/072026-08-0708/062026-08-0608/052026-08-0508/042026-08-0408/032026-08-0308/022026-08-0208/012026-08-0107/312026-07-3107/302026-07-3007/292026-07-2907/282026-07-2807/272026-07-2707/242026-07-2407/232026-07-2307/222026-07-2207/212026-07-2107/202026-07-2007/192026-07-1907/182026-07-1807/172026-07-1707/162026-07-1607/152026-07-1507/142026-07-1407/132026-07-1307/122026-07-1207/112026-07-1107/102026-07-1007/092026-07-0907/082026-07-0807/072026-07-0707/062026-07-0607/052026-07-0507/042026-07-0407/032026-07-0307/022026-07-0207/012026-07-0106/302026-06-3006/292026-06-2906/282026-06-2806/272026-06-2706/262026-06-2606/252026-06-2506/242026-06-2406/232026-06-2306/222026-06-2206/212026-06-2106/202026-06-2006/192026-06-1906/182026-06-1806/172026-06-1706/162026-06-1606/152026-06-1506/132026-06-1306/122026-06-1206/112026-06-1106/102026-06-1006/092026-06-0906/082026-06-0806/072026-06-0706/062026-06-0606/052026-06-0506/042026-06-0406/032026-06-0306/022026-06-0206/012026-06-0105/312026-05-3105/302026-05-3005/292026-05-2905/282026-05-2805/272026-05-2705/262026-05-2605/252026-05-2505/242026-05-2405/232026-05-2305/222026-05-2205/212026-05-2105/202026-05-2005/192026-05-1905/182026-05-1805/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03

最新の日付: 2026-09-02

今日のニュースカード

日付ページへ移動
Claude Fable 5.1 と Claude Mythos 5.1

Claude Fable 5.1 と Claude Mythos 5.1

## Japanese Translation: Anthropic は、一般利用のための Claude Fable 5.1 と、サイバーセキュリティおよび生命科学分野の信頼できる政府プログラムを通じた制限されたアクセス用の Claude Mythos 5.1 を公式にリリースしました。特に、これらは異なる安全対策レベルを持つ同一の基盤モデルの変種です。主要なアップデートとして、コストが削減されおり、典型的なワークロードでは価格低下率が 25%、複雑な自動化タスクでは 45% まで低下すると推定されています(キャッシュ要件の減少により、100 万トークンあたり 0.25 ドルへ)。エンタープライズ顧客は、秋以降に「Frontier Safeguards」を採用する予定で、顧客管理下のインフラストラクチャ上でのデータ保持ゼロを提供します。Mythos 5.1 は、分子結合体設計のヒットレートが 10〜15% からほぼ 50% に向上し、カスタムキャッシュにより深層学習のトレーニングを最大 2.5 倍加速させるなど、安全性と能力の向上を示しています。また、エクスプロイトコードの生成を防ぎつつ高忠実度の研究を支援するため、米国政府のプロトコルに厳格に準拠しています。8 月 2 日(2026 年)以降にリリースされる次期モデルには、EU AI 法への適合のために出力ウォーターマークの導入が義務付けられ、規制当局や企業向けのプライベートプレビュー検出 API が用意されます。

2026/09/02 2:53
Ed ゼイトロンの AI 懐疑論者の予言はどれほど正確だったのか?

Ed ゼイトロンの AI 懐疑論者の予言はどれほど正確だったのか?

## 日本語翻訳: 本テキストの核心的なメッセージは、技術懐疑主義者である Ed Zitron の産業崩壊が迫っているという予言が事実に反し、データによって裏付けられていない点にあります。彼の予測は、Meta、Alphabet、Microsoft といった大手企業が「死んでいる」と宣言し、生成 AI がピークに達したと主張していますが、これらは 2023 年から 2026 年の計画期間にかけて業界全体で見られた堅調な財務成長により直接反証されています。例えば、OpenAI は収益目標を上回り、CoreWeave は資金調達後に IPO 価格を倍額まで引き上げました。また、Cursor は 600 億ドルの評価額での exit を実現しており、これらは Zitron の敗北または低評価という悲惨な警告を直接的に否定しています。さらに具体的な指標に関するエラーも彼の信用力を損なっています:Meta の利用者数は不正確な Similarweb データを用いて誤算され、Gemini は 5 億ユーザーという目標を超えて 7.5 億ユーザーに達し、Google Search の問題は単にリーダーシップのせいであると単純化されており、エンジニア側はこれに反対しています。Zitron の経済分析は「絶対的なゴミ」と批判され、反駁されない点で批評家を圧倒するために「ギッシュ・ガロップ(gish gallop)」という戦術を用いる傾向があり、不正確なデータ源に依存しています。加えて、彼の文章スタイルは怒りと悪口を多用し、人々の心を改心させるのではなくエンゲージメントを高めることを目的としており、過去の過ちを認めなかった Paul Ehrlich などの破綻した未来学者と同じスタンスです。したがって、投資家や執行役員は、彼の自信に満ちた警告を企業の健全さを示す有効な指標ではなく、市場は彼のリズミカルなノイズにもかかわらず継続的に革新しているため、信頼性の低い distraction( distractions )として扱うべきです。

2026/09/02 3:35
Show HN: Weedout – YouTube のAI 評価動画を表示しないSafari拡張機能

Show HN: Weedout – YouTube のAI 評価動画を表示しないSafari拡張機能

## Japanese Translation: 新しい Mac 用アプリケーションは、フィード、検索結果、関連動画、および Shorts シェルフに表示される「AI で作成された」とラベル付けされた YouTube 動画を自動的にフィルタリングするプライバシーを最優先としたソリューションを提供します。このツールは完全にローカルで動作し、ユーザーアカウントやデータ収集を必要とせず、視聴習慣が秘密に保たれます。検出方法は YouTube の公式に提示されたバッジのみを使用するため、プラットフォーム自身によって明示的にマークされていない動画に対する誤った非難は回避され、そのコンテンツのみを隠します。パフォーマンステストの結果、アプリケーションはリアルタイムのストリームを約半秒で処理し、キャッシュ済みコンテンツは瞬時に処理します。現在、このツールは一般的な低品質な素材ではなく AI 生成物の公開情報のみに焦点を当てており、Shorts の自動スキップ機能や、動画がビューから削除される前に特定の動画を検証できるダークモードなどの有用な機能を備えています。将来のアップデートではロジックの拡張が行われる可能性がありますが、現在のバージョンは厳密に公式ラベルに従います。質問、バグレポート、あるいは検出漏れについては、masteranza@gmail.com 宛てにメールでサポートが可能です(偽陰性レポートには動画のリンクが必要です)。このアプローチにより、視聴者は手動操作や侵襲的な広告なしに直ちに人間が作成したコンテンツにアクセスでき、画面に表示される AI 生成物の雑多なものを単に我慢する対抗としての効果的な代替手段を提供します。

2026/09/02 7:06
ChatGPT/Codex アプリは LibreOffice の完全なコピーを含んでいます。

ChatGPT/Codex アプリは LibreOffice の完全なコピーを含んでいます。

## 日本語翻訳: 2026 年 9 月 1 日、OmniDiskSweeper がユーザーのキャッシュディレクトリ内に、ChatGPT と偽装した隠された OpenAI Codex デスクトップアプリを発見しました。この再ブランド化されたアプリは約 1.7GB のストレージを占有していますが、単なる会話機能とははるかに多くを含んでおり、完全なプログラミング環境とネイティブシステムバイナリを格納しています。重要な点として、インストールには Python、Node.js、git、Poppler、そして 2010 年に OpenOffice.org から派生した履歴のある LibreOffice スイート全体が完全に含まれています。このアプリは、強力なローカルツールを検出・実行するための指示を与えるために、特定の「skills」フォルダを使用しています。この発見は、ChatGPT にアクセス権を付与したユーザーが、意図せずに広範な外部ソフトウェアエコシステムをローカルキャッシュフォルダに直接インストールし得ることを示しています。したがって、このアプリは標準的なテキスト処理をはるかに超えたネイティブシステムユーティリティへの深いアクセスを持ち、個々のユーザーや、以前そのようなアプリが軽量のチャートインターフェースのみであると想定していたシステム管理者にとって、重大なセキュリティとプライバシー上の懸念を提起しています。

2026/09/02 5:07
FireFox を守り続けてください

FireFox を守り続けてください

## Japanese Translation: **記事:**「Firefox を手放さないで!」(2026 年 8 月 31 日) Firefox はブラウザ独占に対する最終的な防衛線であり、その存続は市場の多様性とインターネットの革新を維持するために不可欠です。最近の戦略的動き、具体的には Meta のプラットフォーム(Threads、Facebook、Instagram)や X における Firefox の存在感は、縮小し続けるユーザーベースを逆転させることを目指していましたが、テックコミュニティにおける否定的な反応—特に Hacker News で見られるように複雑に歪められた批判—がこれらの取り組みを脅かしています。著者は、この敵意が Google に支えられたボットキャンペーンに起因しているかもしれないと推測していますが、その動機はまだ不明です。批判の顕著な事例として、X における Firefox の存在を理由に Vivaldi に切り替えたブロガーがいますが、Vivaldi も X でも利用可能であり、YouTube でも利用可能であること、また両社の競合他社とも Meta が支援していることを無視しました。歴史的には、Firefox を失うことは価値あるものを廃棄することに例えられ、1512 年の格言に回帰するものです。Firefox がなくなることで、開発者や企業は競合する標準へのアクセスを失い、業界は真の競争が終わる転換点に立っており、市場は Google Chrome エンジン(そのスピンオフを含む)と Apple Safari に完全に支配されます。Safari は iOS デバイスでデフォルトとして強制されるためだけが残されています。読者には今すぐ Firefox をサポートして、それが姿を消さないようにするよう呼びかけられます。

2026/09/02 5:30
『呪術廻戦』の原作者がERSCに加入しました

『呪術廻戦』の原作者がERSCに加入しました

## Japanese Translation: East River Source Control(ERSC)は、次世代のソースコード管理プラットフォームの開発を率い、AI による変革を受け入れるソフトウェア産業に調和させるために、Jujutsu バージョン制御システムの創造者である Martin von Zweigbergk を Chief Technology Officer に任命しました。同社は 2025 年に設立され、Amplify Partners から資金提供を受けています。ラップトップでのローカルなバージョン制御体験を向上させると同時に Git のリモートスケーラビリティの制限に対処する Jujutsu は、3 万 GitHub スターを超える支持を得ており、Apache 2.0 ライセンスの下でリリースされています。Martin は以前に Fig(Google エンジニア向けの Mercurial クライアント)への貢献や、今なお専門分野で広く使用されている Git の開発にも携わっていました。このイニシアチブの一部として、ERSC Storage は来月以降にプライベートベータ版を開始し、純粋なオープンソースモデルから企業ニーズをよりよく満たすためのインフラストラクチャへと移行することでストレージソリューションを進化させることを目指しています。Martin von Zweigbergk は引き続き、オープンソースプロジェクトとしての Jujutsu のコアメンテナとして活躍します。CEO の Benjamin Brittain は、Martin がエンジニアリングを主導することは ERSC に「技術能力において全く異なるレベルをもたらす」と述べています。この動きは、広範な業界がコラボレーティブでオープンな開発慣行を維持しながら、より高性能かつ安定したパフォーマンスを提供するプロプライエタリツールを採用する可能性を反映しています。詳細については ersc.io で入手可能です。

2026/09/02 2:46
テクトロニクスTDS7104オシロスコープのレストア作業

テクトロニクスTDS7104オシロスコープのレストア作業

## Japanese Translation: 著者は、シリコンバレーの蚤の市で300ドルで購入したTektronix TDS7104オシロスコープを、このレガシーデバイスによく見られる重要なハードウェアおよびソフトウェア問題に対処することによって成功裏に再活性化させた。初期の課題には、電源不安定を引き起こす漏れを起こすコンデンサ、欠落しているCR2032 CMOS電池、そして256色モードから真彩色(24ビット)設定への切り替えを必要とする破損した表示パレットが含まれていた。RadiSys SF810マザーボードの分解には、30個以上のネジに注意して取り扱うことが求められたが、元のユニットはネイティブUSBブートに対応していなかった;これは、フローピーディスクからPlop Boot Managerを使用してWindows 2000 Proをインストールすることによって克服された。復旧プロセスには、故障したハードドライブと反応しないCDドライブの交換、GitHubリポジトリからの必要なドライバおよびTekFontsのインストール、ファームウェアをバージョン2.5.5への更新、ならびに以前ロックアウトされていた高度なジッタライセンス機能を再有効化するために特定のPythonスクリプト(`validate.py` および `gen.py`)を適用するものが含まれた。このケーススタディは、戦略的なハードウェアメンテナンスとコミュニティ由来のソフトウェアソリューションを用いることで、安価なレガシー科学機器が効果的に修復され、エンジニアリングラボでの継続使用のために活用できることを示している。

2026/09/02 4:55
AnkiDroid:Google Play が「Open Collective」の寄付リンクの利用を停止したため

AnkiDroid:Google Play が「Open Collective」の寄付リンクの利用を停止したため

## Japanese Translation: AnkiDroid は人気のあるオープンソースのフラッシュカードアプリですが、税免除状態に関する未解決の紛争により、Google Play ストアからの即時的世界的な削除に直面しています。AnkiDroid は、Open Source Collective における任意の寄付によってのみ資金調達される無料プロジェクトとして運営されており、IRS から発行された有効な確定文書(501(c)(6) 非営利法人としての地位を証明)を持っていますが、Google Play の支払いポリシーは外部の寄付リンクに対して「検証済み」の 501(c)(3) 指定を要求しているようです。税免除の立場を示す正式な書類を提供しても、8 月 27 日に Google サポートからの更新拒否(バージョンコード 12240030)があり、非 Google 支払い方法に関する請求ポリシー違反および「税免除」組織に対する特定の解釈が理由として示されました。 9 月 11 日(2026 年)までの完全な削除を防ぐため、8 月 28 日に更新がブロックされた後に抗議の意図で開発者はバージョン 2.24.X からすべての寄付リンクを任意に除去し、有効な 501(c)(6) 書類が不十分と見なされている理由について明確化を求めています。2026 年 9 月の期限までに解決されない場合、このアプリはインドとロシアを除く全世界で削除されます(これらの国では執行の違いがあるため)。この紛争は、厳格なプラットフォーム請求ポリシーと独自のオープンソース資金調達モデルの間の重大な摩擦を示しており、Google がそのポリシー要件を明確化しない限り、特定の地域外のユーザーにとって不可欠な学習ツールとしての利用可能性が脅かされる可能性があります。ユーザーには Google サポートに直接連絡するのを避けて、そのようなポリシー紛争を支援できる内部チームに関連する書類を提供するように advised されています。

2026/09/01 19:11
iOS向けのFirefox用アドブロック機能の発表

iOS向けのFirefox用アドブロック機能の発表

## Japanese Translation: Firefox for iOS に、Apple の WebKit Content Blocker を採用した組み込みの広告ブロッカーを備えた大きなアップデートが導入されました。iOS プラットフォーム上の制限により標準的なブラウザ拡張機能の使用ができないため、このブロック機能はアプリ内に直接統合されており、別々のコンポーネントとして追加されているわけではありません。この機能は EasyList フィルタリストを活用し、既存のプライバシーツール(例:Enhanced Tracking Protection)と連携することで、サードパーティ製の広告とトラッカーを効果的に停止します。特に重要なのは、この強力な新機能がデフォルトではオフの状態にあり、ユーザーが広告収益を支える発行元に影響を与えず、自分自身で有効化するかを選択できる点です。この変更により、モバイルユーザーはブラウザ設定内で閲覧体験と個人プライバシーについてより大きなコントロールを獲得しました。効果的でないブロックを報告したり、さらなる改善を提案したりしたい方は Mozilla Connect にて対応可能です。また、詳細情報や翻訳版は公式のサポートページにて確認できます。全体として、このアップデートは、保護機能を選択的に有効化することで iOS ユーザー向けに、よりクリーンでプライバシーが守られた閲覧環境を提供します。

2026/09/01 22:46
HN 公開:Nori Robotics(YC S26)— 開発向け低コストヒューマノイドロボット

HN 公開:Nori Robotics(YC S26)— 開発向け低コストヒューマノイドロボット

## Japanese Translation: Nori は、日常的な家庭内タスク向けに設計された手頃な価格のホームオートメーションロボットであり、スキルマーケットプレイス経由で米国内での即座の予約販売を開始しています(預金不要)。価格は 1,688 ドルで、出荷は 2026 年秋を予定しています。ユーザーは専用のラップトップアプリケーションを通じて Nori のトレーニング、操作、管理を行えるほか、バッテリー寿命(6〜8 時間)も監視できます。各腕は自由度が 7 以上あり、負荷容量は 1.5 kg です。環境マッピングには、距離範囲 12 m、角度分解能 0.72°、更新周波数 10 Hz の LiDAR センサーが使用されており、グライパー、頭部、頸部に取り付けられた四つの 720p RGB カメラ(30 fps)で補完されています。音響インタラクションは内蔵スピーカーおよびマイクによるサポートが可能です。サンフランシスコで組み立てられた Nori は、高スペックなロボット支援を一般家庭にもたらすスタンドアロンの消費者プラットフォームとして機能します。

2026/09/02 2:35
Show HN:48GB の Mac で約 12 トークン/秒の速度で、104GB の Qwen3.8-Flash-Next を実行しています。

Show HN:48GB の Mac で約 12 トークン/秒の速度で、104GB の Qwen3.8-Flash-Next を実行しています。

## Japanese Translation: ## 概要: このテキストでは、Apple シリコン上で大規模 AI モデルを実行する画期的な成果について詳述されています。独立した Swift バイナリ(`qwen3.8-flash-next:4bit`)は、約 110 GB のディスク容量のみを用いて、125B パラメータを持つ Qwen3.8-Flash-Next モデルを実行します。`slotstream` を活用することで、モデルの重みを SSD から直接ストリーミングし、Python の依存関係を排除するとともに、ポート 11434 で Ollama と OpenAI チャット API を実装しています。M5 Pro(48 GB RAM)では、テキスト生成で約 12 tokens/秒の実績があり、より小型の Mac ではウォームアップ後のデコード速度が~3–9 tok/s に低下します。このバイナリは `curl` スクリプトによるインストールで `~/.slotstream/bin` に配置するか、Command Line Tools を用いてソースからビルドすることも可能です(Xcode の必要はありません)。 主な技術的な特徴として、v0.2.0 では推測的デコーディング(`--mtp`、精度 86%)が実装されていますが、キャッシュ制約によりターゲットメモリが 26 GB を下回ると無効化されます。システムは自動でメモリサイズを拡張し、最大 33 GB の上限まで拡大することで未使用の RAM を回収しつつ、バイト単位で同一な出力を保証します。ただし、依然として大きな制限が存在します:サポートされていない機能には、ツール、画像入力、JSON スキーマ出力、logprobs、および Ollama CLI(厳密な検証により 400 エラーが返されるため)が含まれます。性能はアルゴリズム効率ではなく、ハードウェアのメモリ可用性に厳しく縛られています。将来のアップデートでは互換性の問題を解決し、JSON スキーマサポートなどの機能を追加する予定で、ドキュメントは `docs/API.md` にあり、検証は `Tools/verify.sh` で処理されます。

2026/09/02 1:42
映画シーンマップ – 作品 13,312 点(映画・シリーズ・ゲーム・アニメ・マンガ)

映画シーンマップ – 作品 13,312 点(映画・シリーズ・ゲーム・アニメ・マンガ)

## Japanese Translation: Movie Scene Map は、映画、ビデオゲーム、アニメ、漫画を通じて 166 カ国にわたる 15,000 以上の検証済みの撮影場所と物語の舞台を明らかにする、無料かつインタラクティブなアトラスです。未検証されたリストに基づく商業ツールとは異なり、本プロジェクトは信頼できるソースから得られる精密な地理データ(主に Wikidata の記述、Wikimedia Commons の写真、Wikipedia の記事)を排他的に使用し、実際の撮影場所とフィクション上の物語の舞台を区別しています。データベースには『ゲーム・オブ・ザ・スローンズ』『タイタニック』『フォレスト・ガンプ』『ゴッドファーザー』などの象徴的な作品も含まれており、映画制作関係者やファンが新しい情報をスクレイピングすることなく、正確な世界の位置情報データに即時アクセスできるようになっています。World Train Map を含むシリーズの一環であり、Castle、Sunshine、Beach Maps などの他の地図とともに、空の国欄は多くの場合、Wikidata のデータが少ないことを反映し、活動がないことを意味するわけではないことを示しています。ユーザーは、検証済みの撮影場所または物語の舞台に関する記述とソースを Wikidata アイテムに追加することで、不足している場所への貢献が可能です。全体のデータセットは CC0 ライセンスの下で GeoJSON または CSV としてダウンロード可能であり、読み取り専用 API エンドポイントによって AI アシスタントがこのオープンソースリソースを自らのアプリケーションに統合できるようになっています。

2026/09/02 1:34
Show HN:HN マッチメーカー -「誰が採用したいのか」と「誰が募集しているのか」をつなぐ

Show HN:HN マッチメーカー -「誰が採用したいのか」と「誰が募集しているのか」をつなぐ

## Japanese Translation: 以下に、実体、所在地、および給与レンジを統合した一方で読みやすさを保った改定版を示します。 「主要なテクノロジー企業は、フルスタックエンジニアリングから AI およびロボティクスにおける専門研究まで多様な役割を持つチームを積極的に拡大しています。**Uncountable** は NY、SF、ロンドン、またはトロントでのウェブプラットフォーム向けのフルスタックエンジニアを募集しており、$130k–$220k の給与に加え株式オプションも提供しています。**Monumental**(アムステルダム)は自律型建築建設向けのロボティクスソフトウェアを開発するためのソフトウェアエンジニアを採用中です。エッジクラウドセキュリティおよびネットワーク関連の役割については、**Fastly**(現地・リモート両対応)がシニアからプリンシパルレベルのエンジニアを求めています。**Sourcegraph** というリモートファースト企業では、セキュリティエンジニアリング、AI/エージェントエンジニアリング、プロダクトマネジメントのポジションも用意されています。システムプログラミングおよびカーネル開発の役割は **Quobyte Berlin**($50k–$100k)で利用可能です。**exe.dev**(サンフランシスコベイエリア)では VMM および SSH サーバーを扱うインフラストラクチャ専門家を探しています。定量化金融およびエネルギー分野においては、**Amplify Renewables**(リモート)がシステムatic な米国エネルギー取引のためのリサーチャーを求めています($200k–$375k)。一方、**PlantingSpace**(リモート)は EU タイムゾーンオプション付きで、金融および科学向けの確率的モデル構築に取り組んでいます。高度な AI 研究のポジションは **Tufalabs Zurich**($100k–$200k)で LLM の事前学習/RL リアソニング向けに、また **EggAI**(リモート、EU ベース)ではエンタープライズ AI プラットフォーム開発向けに開かれています。最後に、**Boom Supersonic**(デンバー)は AI を重視した航空プラットフォームを構築するためのシニアエンジニアを採用中であります($180k–$225k)。また、**Yahoo! Search**(リモート)では AI チャットおよび知識グラフに焦点を当てたエンジニアリングマネジメントおよび ML ロールのリーダーを探しています。"

2026/09/02 5:53
1.5時間でのトレーニングで少数なトランスフォーマーモデルを構築し、多くのLLMを上回る性能を示しました

1.5時間でのトレーニングで少数なトランスフォーマーモデルを構築し、多くのLLMを上回る性能を示しました

## Japanese Translation: このプロジェクトでは、RTX 5090 を用いて从头(ゼロ)から 1.5 時間で訓練された軽量なオープンソーストランスフォーマーを導入します。本モデルは ARC リージニングベンチマークにおいてより大きな閉じたモデルを上回る性能を発揮し、大幅に少ないリソースとコスト(総額約 67 セントの訓練+推論)で動作します。その最も重要な成就是、最小限のデータと計算資源により強い汎用知的能力を達成したことを実証しました:合成データや人間バイアスを含まずに 1,000 のパズルのみを用いた場合、ARC-1(公開評価セット)では約 44% の精度を達成し、ラベルが隠されたテスト・タイムトレーニング条件下では ARC-2 で約 7% の精度を達成します。SwiGLU アクティベーションや 3D RoPE ポジショナルエンベディングなどのアーキテクチャ革新の活用、LayerNorm を RMSNorm に置換する、そして supervised objective(出力トークンのみ)を採用することで、モデルは従来の Muon で見られた問題を解決し、新規の Normuon オプティマイザを用いて安定した収束を達成しました。ARC-AGI シリーズの第 3 作として、本研究成果は大規模データセットとポストトレーニングトリックに過度に依存する現状の趨勢に挑戦します。サンプリング効率を重要なボトルネックとして位置づけ、ベース LLM が合成データや人間の事前知識による広範なポストトレーニングなしでは ARC で著しく低い性能を示すことに言及しており、 leaderboard スコアがこれらの依存関係を無視した場合は誤導的になる可能性を示しています。本モデルは研究者に対し高価な GPU の代替としてコスト効率的な選択肢を提供し、効率性が推論能力の低下をもたらさないことを証明します。今後の展望として、開発者は 65% のスコアへのさらなる向上に向け、コミュニティからの貢献を呼びかけています。これは RoPE を PoPE に置換したりデータ拡張を除去するなどのアップデートを通じて実現可能かもしれません。アブレーション研究では、3D RoPE やタスクごとのエンベディングを除去すると性能が約 25% に低下し、訓練データを ARC-1+ConceptARC に限定するとスコアが約 40% で維持されることを示しています。データスケーリングは、重み付けの重複を除くよう注意深くフィルタリングした上で、ARC-2 の非重複タスクを追加し、レイヤ数を 4 から 8 に増やすことで行われました。このイニシアチブは、小規模モデルが重要な問題解決タスクにおいて巨人と競合できるような持続可能な AI 開発への大きな転換を表しています。

2026/09/01 18:52
Quill(YC W20)フルスタックソフトウェアエンジニア募集

Quill(YC W20)フルスタックソフトウェアエンジニア募集

## Japanese Translation: Quill は、Y Combinator を後援するスタートアップで、シリコンバレーの大手投資家から支持され、現在資金調達中です。同社は、今後の公開ローンチを加速させるために、フルスタックソフトウェアエンジニア(PT/ET 時間帯が望ましい)の常勤リモート採用を目指しています。この役職の報酬は月額 150,000〜210,000 ドル米および株式付与です。通常の執行志向の役割とは異なり、本ポジションには明確な意見と深い専門知識が要求されます。現在五人未満ですが急成長を遂げているチームは、即座に成果をもたらせる人物を必要としており、その証拠として最初の採用者が第一日目から production 用に使用される CLI プロダクト全体を 0 から 1 まで出荷した実績があります。候補者は、多様な業界向けに高度な分析機能およびデータ機能を提供する堅牢なフルスタック SDK を構築することになります:pre-IPO のフィンテック企業向けのカスタムレポート、シリーズ B のヘルステック企業向けエンタープライズダッシュボード、シリーズ A のgovtech エージェント/チャット分析です。この役職での成功は、高い製品オーナーシップ、緊密なフィードバックループ、そして Quill が大きな成長マイルストーンへの準備を完了させるまでの迅速な反復を保証します。

2026/09/02 2:00
HN(ハングアウト)質問:募集している人は誰ですか?(2026年9月)

HN(ハングアウト)質問:募集している人は誰ですか?(2026年9月)

## Japanese Translation: 2026 年 9 月のこの Hacker News スレッドには、シード前段階の AI スタートアップから Snowflake、Fastly、Yahoo! Search といった資金調達が良好な大企業に至るまで、180 以上の活発な採用ポスティングが含まれています。厳格なコミュニティ規則による本物性の担保のもと、 listings は自律型ロボティクス(Monumental、Valstad Shipworks)、セキュリティ強化された AI インフラストラクチャ(River、Pathos AI、Cora AI)、ヘルスケアデータおよび画像処理(Deya、Attendi)、産業製造およびサプライチェーン(Silkline、Relativity Space)、オープンソース研究ラボといった多様なセクターにわたります。役割は、エンジニアリングチームからシニアスタッフまで、すべての技術スタックレベルに対応しており、Fastly や Quobyte における Rust、Go、C++ から、AI に重点を置いたチームでの Python/TensorFlow、顧客面向きプロダクト用の TypeScript/React まで多岐にわたります。求人場所はオンサイト、リモート、ハイブリッドのいずれもグローバル拠点(NYC、SF、Berlin、Amsterdam、San Francisco など)で提供され、多くのケースでは音声エージェント、保険リスク向けのデジタルツイン、エンドツーエンドのプロダクションシステムといった重要な成長分野への即時貢献を強調しています。応募者は詳細な要件、給与範囲、株式情報、直接的な連絡先指示を見つけ、自身のスキルをこれらの高需要な機会と合わせることを可能にします。

2026/09/02 0:01
Google Play ストアが AuroraStore をブロックし、GrapheneOS ユーザーの被害が出る

Google Play ストアが AuroraStore をブロックし、GrapheneOS ユーザーの被害が出る

## Japanese Translation: 本件の核心問題は、匿名アカウント(Google ログインなし)を使用して任意のアプリをインストールしようとすると、Aurora Store バージョン 4.8.4 が「&$Server busy, please try again later."というエラーを返すことであり、これがすべてのインストールを阻害し、Google Play サービスを回避しようとするプライバシーに意識の高いユーザーにとってストアの価値を損なっている。この問題の解決を試みること—including VPN の使用、キャッシュのクリア、アカウントの再読み込みまたはログアウト、アプリの強制終了、デバイスの再起動—は失敗に終わっている。このバグは、CalyxOS 7.2.4.20(Android 16)を動作させる Fairphone 5 で確認されており(Session を通じたインストール)、また 2026-08-31 の Nightly ビルドにも影響している。ユーザーには、アプリを検索し、その詳細を表示してから「Install」をクリックすることでエラーを再現時めるよう advised されている。Aurora Store プロジェクトは GitLab にホストされており、バグ報告を送付する前に https://auroraoss.com/guides/wiki-home/ の公式のトラブルシューティングと FAQ を確認すべきである。現在有効な機能上の回避策は存在せず、解決には v4.8.4 での修正または今後のリリースに依存している。

2026/09/02 0:55
ポータブルワイドスクリーンメカニカルTVを作る

ポータブルワイドスクリーンメカニカルTVを作る

## 日本語訳: 本文は、James Provost が開発したポケットサイズワイドスクリーン電磁式テレビ「Scanwheel」を紹介している。このデバイスは、ラズパイ Pico や 3D プリンティングといった現代コンポーネントを用いながら、1920 年代の技術を再活性させたものである。解像度は横 4,096 ピクセル・縦 20 ピクセル(4K 横向き、20 垂直)であり、従来のニッコーディスクを、階段状のパターンに開けられた穴が配置されたカスタム印刷ドラムで置き換えている。この構成は横方向の文字対齐を保証する。システムでは、RP2040 チップの専用 PIO シリコンによって制御される 5 つの LED が USB 電源および位置パルスを介して動作し、ステッピングモーターがドラムを回転させる。映像はネットワークインターフェースを介してストリーミングするか、オンボードフレームバッファを備えたスタンドアローンモードで利用可能である。縦方向の解像度は Baird の元々の 30 ライン送信より低いが(ライン数が少ない)、高い横方向の解像度により文字と映像を読み取ることは可能である。当初は時計としてのアイデアとして考案されたこのプロジェクトは、集積された発光源を実現するために現代 LED を活用するよう発展した。John Logie Baird の初期研究および Markus Mierse の以前のデスクトップカラー版を踏まえ、Scanwheel はヴィンテージメカニクスと現代マイクロコントローラーを組み合わせたレトロフューチャー体験を提供する。ドラム設計のカスタマイズには OpenSCAD ファイルが公開されており、コミュニティによる実験の促進を目的としている。 ## 原文: Summary: The text introduces the "Scanwheel," a pocket-sized wide-screen electromechanical TV created by James Provost, which revives 1920s-era technology using modern components like a Raspberry Pi Pico and 3D printing. With a resolution of 4,096 by 20 pixels (4K horizontal, 20 vertical), it replaces traditional Nipkow disks with a custom-printed drum featuring holes in a stair-step pattern to ensure horizontally aligned digits. The system uses five LEDs controlled by the RP2040 chip's dedicated PIO silicon via USB power and position pulses, spinning the drum with a stepper motor. Video is streamed over a network interface or used standalone with an onboard frame buffer; while vertical resolution is limited (fewer than Baird's original 30-line broadcasts), high horizontal resolution allows legible digits and video. Originally conceived as a clock idea, the project evolved to leverage modern LEDs for close-packed light sources. Building on John Logie Baird's early work and Markus Mierse's prior desktop color version, the Scanwheel offers a retro-futuristic experience that merges vintage mechanics with contemporary microcontrollers. OpenSCAD files are available for customizing the drum design, fostering community experimentation.

2026/08/29 0:06
マリー・エーイチューブ

マリー・エーイチューブ

## Japanese Translation: 1932年に、後にデュマウント・テレビジョン・ネットワークを設立したオールエン・B・ドゥマント(Allen B. DuMont)によって発明された「マジックアイ」真空管は、受信機の調製に際して電波信号の振幅を視覚的に示すとともに、陰極線管の寿命を延長するために設計されました。初の市販モデルであるRCA 6E5(1935年発売)では、自動利得制御(AGC)電圧の変化を利用して装置内の緑色発光(古いバリエーションであるEM4などでは黄色になることも)が縁から中心へ向かって信号強度が増加するにつれて拡大させる仕組みを採用しました。初期のバージョンはエンドビュー方式のオクタールベースまたはサイドコンタクトベースを用いていましたが、後期のイテレーションではEM84のようなより小型でサイドビューのノバル B9A 全ガラスタイプのものが登場しました。具体的なモデルには感度が低い6G5、プレート電圧が低い6AB5/6N5、ゼニスの「ターゲットチューニング」に使用した6T5、ならびに6U5が含まれます。グローバルな同等品として、EM80などヨーロッパ製のEMシリーズの真空管も存在しました。ラジオ以外にも、マジックアイはテープレコーダーにおける録音レベル指標や容量ブリッジにおける平衡表示にも利用され、バッテリー駆動用としてのサブミニチュア版(例:マルチヤード DM70)も存在しました。これらのデバイスは100ボルト以上の高電圧を必要とし、トランジスタ技術の進展に伴い採用が制限されました。1960年代には、特に日本において安価な針式メーターが主流電子機器で置き換えられ、マジックアイは現在ではニッチな用途や未校正の電圧計としてのみ残存しています。現代的回路への実用性は失われていますが、ノスタルジックな文化的象徴として残り、マイ・モーニング・ジャケットのアルバム『Circuital』などのアルバムアートにも登場しています。 ## Summary マジックアイ真空管は、1932年にオールエン・B・ドゥマントによって発明され、自動利得制御電圧の変化を用いて電波信号強度を視覚的に示した画期的なデバイスでした。現代の半導体電子機器とは異なり、この真空管はその陰極線表示上の特定地点で緑色に光り、ユーザーが受信機を完璧にチューニングしたり、テープレコーダーでの録音レベルを確認したりするのを助けたものです。当初は陰極線管の寿命延長のために設計されたものの、RCAやゼニスなど様々な製造業者における標準コンポーネントとなり、アメリカ製モデルと共にEM80のようなグローバルな同等品も登場しました。実用性があったものの、半導体技術の進展に伴い高電圧要件がこれらの真空管を非現実的なものに変えました。1960年代には、安価な針式メーターが主流機器で大半を置き換えるようになり、マジックアイは現在ではニッチな応用や未校正の指標としての地位に退屈しました。現在、この技術は実用的用途のためではなく、コレクターアイテムとアルバムアートによって息を吹き返したノスタルジックな文化的象徴として存続しており、デジタル支配が産業を掌握する前、視覚フィードバックが不可欠であった時代の証人を記しています。 ## Key Points List - マジックアイ(またはチューニングアイ)とは、電波受信機の調製に際して信号振幅を視覚的に表示する真空管電子線指標です。 - 1932年に陰極線管の寿命を改善するためにオールエン・B・ドゥマントによって発明され、後に彼はデュマウント・テレビジョン・ネットワークを設立しました。 - RCA 6E5は1935年に発売された最初の市販マジックアイ真空管であり、RCAの1936年ラジオラインで使用されました。 - 初期モデルはEM34タイプなどのエンドビュー方式でオクタールベースまたはサイドコンタクトベースを採用し、後期バージョンにはEM84のようなより小型でサイドビューのノバル B9A 全ガラスタイプのものが含まれました。 - デバイスは緑色に光り(古いタイプであるEM4などでは稀に黄色)、信号強度がAGC電圧の変化に伴って増加するにつれて発光端が中央で会合します。 - マジックアイ真空管は約1936年から1980年まで使用され、その後真空管がトランジスタに置換されるまで存続しましたが、針式メーターは1960年代に日本で安価な代替手段として初めて登場しました。 - 具体的なタイプには6E5よりも感度が低い6G5、プレート電圧が低い6AB5/6N5、ゼニスラジオが1938年に「ターゲットチューニング」で使用した6T5、そしてストレートガラスエンベロープの6U5が含まれます。 - アメリカ製タイプの同等品としてヨーロッパ製の真空管には、EM80(6BR5)、EM81(6DA5)、EM84(6FG6)、EM85(6DG7)、およびEM87(6HU6)が含まれます。 - バッテリー動作用としてのサブミニチュア版が存在し、マルチヤード DM70/DM71、マツダ 1M1/1M3、ならびにGEC/Marconi Y25がその例です。 - マジックアイはテープレコーダー(例:エコーレット)における録音レベル指標や容量ブリッジにおける平衡表示にも使用されました。 - この真空管は100ボルト以上の高電圧を必要とし、現代の半導体ベースのデバイスにおいて廃墟となりました。 - マジックアイ真空管は、マイ・モーニング・ジャケットの2011年アルバム『Circuital』の表紙に登場しています。 - それは安価な未校正電圧指標として機能し、大まかな周波数比較ツールとしても機能することができます。 ## Checkpoints Evaluation 提供されたチェックポイントに基づき、元のサマリーは特定の技術的詳細(モデル番号)やニュアンス(例えば容量ブリッジの使用やサブミニチュアタイプなど)に関していくつかの欠落がありました。「Improved Summary」はこの欠落した要素を補いながら、明確さを保ち、裏付けのない飛躍を避けています。

2026/08/30 0:03
蛍光灯(耳)はない

蛍光灯(耳)はない

## Japanese Translation: 一般的な認識とは異なり、蛍光灯は音波による光の明暗変動を通じて会話を実質的に受動的に記録することはできず、これにより長年根付いたセキュリティ的神話を否定しつつ、他の設置環境(例えば、100 m 以上の距離におけるレーザーと反射面など)での光学式オーディオ拾取の有効性は維持されています。音波が輝く管内の光を調整できるという理論は物理的に妥当性を持っていますが、蛍光灯管では不活性ガスによる内部圧力が極めて低い(大気圧の約 200 分の 1)ことが効率的な音響結合を妨げ、かつ蛍光層の強い残光が微小な光変化を隠蔽する、という二つの主要因によりこの手法は効果的ではありません。テストでは直流動作下(交流によるフリッカーを回避するため)で負極側のみを加熱(〜200 mA @ 16 V)、デバイス全体に流れる電流を〜35 V で〜180 mA に制限するにもかかわらず、70〜80 V を印加した条件下において、200 W オーディオシステムと隣接してシャッタースピード 1/8000 s の高速撮影を実施しました。高機能カメラから得られた生の 14 ビット画像では音声再生中に可視的なアーティファクトは確認されず、ランプの直傍に配置されたスピーカーから出力する広帯域スイープの映像も何も示しませんでした。長距離光学式オーディオ拾取が実証可能であること(例:Black Hat 2020 のデモで標準電球から 1 cm の位置にあるスピーカーからの音声を、望遠鏡を用いて〜25 m から回収)にもかかわらず、蛍光灯は典型的な構成においてオーディオプライバシーを侵害するために必要な感度と近接性を欠くため、一般ユーザーの懸念を和らげるとともに技術的監視に対する対策の導きとなります。

2026/09/02 6:19
Apple は元従業員のMacBookから得られた「衝撃的な証拠」を開発AI提訴で発表

Apple は元従業員のMacBookから得られた「衝撃的な証拠」を開発AI提訴で発表

## Japanese Translation: 元の要約は、明確性と流れを保ちながら主要な点を効果的に伝えています。わずかな厳密化により、推論を加えずにより正確にすることができます: Apple は、元 Apple 技師のチャン・リュウ(Chang Liu)氏のラップトップから得られたフォレンジック検査による新しい証拠を根拠に、OpenAI に対する訴訟での発見を加速するための緊急の裁判所命令を求めています。リュー氏は 2025 年 1 月に Apple を退社し、Apple は彼がセキュリティバグを利用して機密の回路図をダウンロードし、それを OpenAI で利用したと主張しています。フォレンジック解析の結果、機密の回路図がダウンロードされ、シミュレーション(LTspice を含む)に使用されたことが確認され、AI エージェントがツールの実行方法を学び、結果を検証できるようになった可能性を示す兆候も見られました。リュー氏は Apple の調査が発覚した後に証拠を破棄しようとしましたし、同僚にこれを遂行するよう指示したとされています。当初 7 月に提起された本件は、この新たな発見を軸にして方向転換しました。Apple は、リュー氏の法務チームが MacBook の検査を以前拒絶した後、リュー氏が使用していた Mac mini にアクセスすることを求めています。同機には iCloud を介して盗まれた回路図が同期されており、もし命令が認められれば、OpenAI は迅速に内部文書を提供せざるを得なくなるでしょうし、経営層は尋問の対象となる可能性があります。重要なのは、Apple が「学習型 AI に商標秘密を投入することで『不可逆的で継続的に広がる利用』が生じ、元競合他社の従業員を採用する企業のデータセキュリティ上の責任を根本的に再定義している」と主張している点です。

2026/09/02 5:19
Atlas:空間知能のための世界モデル

Atlas:空間知能のための世界モデル

## Japanese Translation: World Labs は「Atlas」という画期的な人工知能モデルを発表しました。これは、テキスト、画像、動画、3D データにネイティブに対応するオムニ・ワールドモデルとして設計されており、疎い入力から一貫性のある高解像度の 3D ワールドを作成します。大規模言語モデル(LLM)の生成力を、統合された空間文脈内の拡散技法と組み合わせることで、Atlas は 1〜6 枚の入力画像から最大 1 分間のピクセル単位で完璧な 1440p の動画を生成し、2〜3 枚の画像から現実世界のシーンを検出します。これにより、3D 再構築ベンチマークにおいて既存モデルを上回ります。また、Atlas は 2D フレームと 3D デプスマップを明示的に出力するため、「Real-to-Sim」ワークフローを可能にし、ロボットがカジュアルなビデオ録画を使用して再構築された環境でナビゲートできるようになります。さらに、ロボティクス応用のために RGB とデプスセンサーデータを生成します。加えて、Atlas は時空シミュレーション(例:3 つのカメラからだけによるブレットタイム)、画像・360 パノラマ・レンダリングテキストを生成し、高度なキャッシュ手法を取り入れて 2D および 3D データを同時に処理できます。World Labs では、これらの機能をさらに拡張し、Marble の今後のバージョンを含む広範な製品スイートに Atlas を統合する予定であり、2026 年に選定パートナー向けに早期アクセス版を発行する計画です。これは、動画生成から空間 AI 開発に至るまで、産業を変革すると約束されています。

2026/09/02 2:36
自転車のコASTER ブレーキの仕組み(2018 年)

自転車のコASTER ブレーキの仕組み(2018 年)

## Japanese Translation: コロンビア社のクルイザー型自転車が、アンティークなベンディックス・モデル70型のリバースブレーキを搭載しており、メリーランド州グレートフォールズのC&O国立歴史公園水路自転車貸出プログラムへ寄付されました。約1年間のメンテナンスフリー使用后にブレーキが故障し、調査の結果、ハブ内部の潤滑油が最小限の内部摩耗にもかかわらずタール状の物質に変化して固着していることが判明しました。復元作業では部品を徹底した洗浄を行い、ブレーキシューには高温用グリス、その他部分には通常用グリスを塗布し、固着状態を成功裡に解消しました。ベンディックス・モデル70は、ギアに取り付けられたドライブスクリューと、ペダルを逆回転させることでブレーキシューブをハブシェルへ押し付け、制動を発生させるクラッチ機構にて動作します。1924年から1980年代まで製造されたこのリバースブレーキは、低メンテナンス性(時には数十年間潤滑せずとも耐久性を発揮する)、手 strength が限られたライダーにとっての使いやすさ、そして密閉式リアハブ設計による悪天候下での耐久性という特徴を備えていました。しかしながら、以下の顕著な制限事項も存在します:跨立状態でペダル調整が困難、フェザリング制動(徐々に減速させる技術)における課題、長距離 downhill 走行時におけるホイールのロックアップへの脆弱性、そしてリアデレイラーまたはチェーンテンショナーとの互換性の欠如。今回の復元により、公園内の水路システム内で信頼性の高い利用が可能でありながら、現代的なドライブトレインとの互換性を必要とせず、直ちに耐久性があり歴史的価値の高い自転車へアクセスできるようになりました。

2026/08/29 18:05
アメリカン・アライアンスの整備士アズリエル「アル」ブラックマンが亡くなりました。

アメリカン・アライアンスの整備士アズリエル「アル」ブラックマンが亡くなりました。

## Japanese Translation: 航空業界の伝説であるアズリエル・「アル」・ブラックマンが、100歳で他界し、アメリカン航空を主たる勤務先として80年以上にわたるキャリアを終え、ギネス世界記録にも認定される栄誉を残しました。1942年7月、前駆体である航空会社のアペランティス(徒弟)として、時給50セントで就任した16歳の彼は、シコルスキーの飛行艇から現代のボーイング777へ至る業界の変革を目撃しました。JFK空港におけるクルー・チーフとしての彼の奉仕姿勢は伝説的であり、公式の交代時間が午前5時からであっても、何十年にもわたり早朝に現場に現れることを徹底していました。その献身の集大成として、彼が75周年を迎えた際、アメリカン航空からボーイング777-200型機(通称"7BK")を記念品として献上し、これは機械士としては初めての事例となり、ギネス社の関係者も参加し、彼の功績を追悼して米国議会の旗が掲げられました。2022年に80周年の勤続を迎えてもなお、100歳まで勤務を続け、その生涯を終えました。ブラックマンは、ほぼ90年間にわたる技術の変化を体現しながら単一の雇用主に奉仕したことを通じて、終身忠誠、メンターシップ、専門性という象徴として残されています。

2026/08/30 6:25
スペックが存在しない(2025)

スペックが存在しない(2025)

## Japanese Translation: 本文は、ウェブブラウザなどの複雑なソフトウェアシステムの形式的検証が主に精密で整合的な仕様がないことにより失敗すると論じている。形式検証済みコンポーネント(例:CompCert)が存在する一方で、多くの実用的なアプリケーションは互いに矛盾したりカバレッジに欠けたりする断片的な非公式の定義(説明文書、スライド、ユーザーストーリ、テストなど)に依存している。形式的には数学的にクリーンで安定し、広く合意された仕様が要求されるため、そのような仕様がない限り、システムは必然的に要件が不明瞭な曖昧な「どろっとした」領域へ漂流してしまう。PDF エコシステムの事例はこの問題を浮き彫りにしており、非標準的なドキュメントに対する互換性のないリーダーの挙動のため、共通する仕様が確立されておらず、Galois の SafeDocs プロジェクトが生み出した仕様も実際のシステム動作と断絶していた。たとえ AI が証明の作成コストを低下させても、人間がシステムを検証し続けるには、「それらが何を行うべきか」を定義するという根本的な課題を解決する必要がある。したがって、部分的な手法としての広範なテストは今日でも最も実用的な解決策であり、これらの仕様上の課題を無視した野心的なセキュリティプロジェクトは、実際のシステム動作との規範的つながりがなくユーザーの重要な分野において脆弱性を残した結果を届けるリスクを負っている。

2026/08/26 21:40