#Tech

「Tech」に関する海外テック記事の日本語まとめ。

Pocketの開発終焉と私:6年半の回想

Pocketの開発終焉と私:6年半の回想
この記事は、著者がPocketという記事保存・閲覧サービスで6年半にわたりフロントエンドエンジニアとして働いた経験を振り返る内容です。Pocketはアルゴリズムによる推薦や通知なしに、ユーザーが収集した情報を整理・閲覧できるシンプルなサービスでした。著者はReader機能やListen機能(音声読み上げ機能)の開発に貢献しましたが、Mozillaへの統合とレイオフによりPocket自体が閉鎖されました。以前の孤独な職場環境とは対照的に、PocketではProductやDesignチームとのコラボレーションを通じて、ユーザーにとって本当に価値のある製品開発を実現できたと述べています。

East River Source Controlの可用性に関するアップデート

East River Source Controlは、Jujutsuをベースとしたコードホスティングプラットフォームを構築しています。このプラットフォームは、大規模なストレージエンジンとgit/"jj"互換性を提供し、秒間数千のコミット処理や巨大ファイルのサポートを可能にします。現在、早期パートナーとのトライアルを実施しており、近いうちにチームのオンボーディングを拡大予定です。コードレビュー機能の追加も予定されており、チームでのコードコラボレーションに特化したサービスを目指しています。

ロッキード・マーティン、SeaLaunchプラットフォームを活用したロケット打ち上げに参画

ロッキード・マーティンが、シーゲート・スペースの洋上発射プラットフォーム「Gateway」を活用し、Firefly Aerospace社のAlphaロケットを海から打ち上げる試みに参画しました。この取り組みは、Lockheed Martinの安全保障分野の経験と、Firefly Aerospace、シーゲート・スペースの革新的な技術を融合させるものです。SeaGateのGatewayプラットフォームとFireflyのAlphaロケットの組み合わせにより、多様な場所からの迅速かつ柔軟な宇宙へのアクセスが可能になり、戦術ペイロードや国家安全保障ミッションに貢献します。今回の提携は、米国防総省のニーズに対応し、従来の陸上発射施設への依存を軽減する目的も含まれています。

プラグとソケットの博物館:珍しいもの

「プラグとソケットの博物館」は、ドイツ、イギリス、ギリシャで使用されていた特殊なプラグとソケットを紹介している。イギリスでは、BS 1363規格の代替として開発されたWylexやDorman & Smith(D&S)のプラグ、特殊用途向けのWalsallやBritmacのプラグなどが存在する。また、FitallプラグはBS 546やBS 1363規格のソケットに対応し、Craterプラグは2A、5A、15Aの丸ピンタイプが用意されている。ギリシャでは、Schuko規格(CEE 7/3-7/4)導入以前に複数のアース付きプラグが存在した。

「翼」を持つ電波銀河が1,000個超を発見、珍しい天体クラスを拡大

「翼」を持つ電波銀河が1,000個超を発見、珍しい天体クラスを拡大
LoTSS DR2のデータを用いて、天文学者チームは「翼」を持つ電波銀河を1,024個新たに発見しました。電波銀河は、中心にある巨大ブラックホールから放射される高エネルギーのジェットによって特徴付けられます。その中の一部は、X形やZ形に見える「翼」を持つ珍しい構造をしています。今回の発見は、これらの翼の起源を解明するための基礎となり、巨大電波銀河(GRG)の候補も特定されました。

カナダ人ヴァイオリニスト、Googleを名誉毀損で提訴

カナダ人ヴァイオリニスト、Googleを名誉毀損で提訴
カナダの著名なヴァイオリニスト、アシュリー・マッキサック氏が、Googleに対しAI生成の概要機能が自身の性犯罪者という虚偽の情報を掲載したとして150万ドルの損害賠償を求める提訴を行った。GoogleのAI概要は、氏が過去に性犯罪で有罪判決を受けたという誤った情報を掲載し、その結果、コンサート出演が取り消されるなど、名誉を傷つけられたと主張している。マッキサック氏は、GoogleがAI概要の欠陥設計による損害賠償責任を負うべきだと訴え、現在、訴訟が進行中である。

2026年ペンシルベニア州健康保険市場の安定化に関する法案概要

2026年ペンシルベニア州健康保険市場の安定化に関する法案概要
2026年5月4日現在、連邦政府の支援策終了に伴い、ペンシルベニア州では85,000人が保険を解約し、中間所得層の平均保険料は102%も上昇しています。この状況を改善するため、州政府によるプレミアム補助、再保険の拡充(PA-RE)、およびナビゲーター(保険選択支援)サービスの再開が推奨されています。特に、ナビゲーターの予算削減は深刻な状況であり、迅速な対応が必要です。これらの施策は、保険加入者の維持率向上や保険料の抑制に効果的です。

エージェント型データ分析のためのプロセス報酬モデル

エージェント型データ分析のためのプロセス報酬モデル
大規模言語モデル(LLM)の推論能力向上に貢献するプロセス報酬モデル(PRM)は、数学などの静的な分野で成果を上げてきた。本研究では、データ分析という動的なタスクにおいてPRMが抱える課題を検証し、環境に配慮した新しいプロセス報酬モデル「DataPRM」を提案する。DataPRMは、中間実行状態を検証し、静かなエラーや誤った推論を検出し、試行錯誤の探索を誤ったGroundingと見なさない。さらに、多様な学習データセットと強化学習により、既存モデルを大幅に上回る性能を実現し、汎化性能も確認された。

スタックの芸術:FORTH、Steve Jobs、LISP そしてコンピュータ科学の深淵

この記事は、シンプルなデータ構造である「スタック」の重要性と、コンピュータ科学におけるその芸術性を探求しています。特に、FORTHというシンプルなプログラミング言語の紹介と、その特徴的なコード例が示されています。さらに、Steve JobsがPostScriptの技術に魅了された背景や、LISP言語との関連性、そしてNoam Chomskyの言語階層理論まで触れ、スタックがパターン認識や言語構造において不可欠な役割を果たしていることを解説しています。

国際報道賞の候補者発表:ニューヨーク・タイムズが多数ノミネート

国際報道賞の候補者が発表され、ニューヨーク・タイムズのスタッフや記者による複数の調査報道がノミネートされた。アメリカ国境警備隊の秘密裏な監視活動や、スーダン紛争、ハマスのイスラエル攻撃、ロシアによるウクライナ侵攻、アメリカ軍による空爆の犠牲者に関する報道などが評価されている。また、写真essayや権威主義体制に関するエッセイも高く評価された。

GPT 5.5モデルカード:よりエージェント化された性能とプロンプトの簡素化

OpenAIのGPT 5.5は、GPT 5.4と比較して、目標達成能力、ツール利用、制約遵守、そして結果の出力において改善されています。よりインタラクティブで、指示しやすく、プロセスの詳細な記述を必要としません。特に、期待する結果と検証方法を指示し、モデル自身に処理方法を選択させることで最高のパフォーマンスを発揮します。内部評価では、GPT 5.5はソフトウェアエンジニアリングのタスクで高い性能を示し、Terminal-Benchでは大幅な改善が見られます。しかし、トークン単価が2倍に上昇しており、コスト効率は必ずしも向上していません。ユーザーは、詳細な手順を記述するのではなく、目的と制約を明確にすることで、より効果的なプロンプトを作成できます。

オペレーティングシステムの技術

ピーター・J・デニング氏による「オペレーティングシステムの技術」は、オペレーティングシステムの設計における抽象化のレベル構造と、そのレベルをモデル化した技術アートを紹介する資料です。オペレーティングシステムは、システムリソースの管理と、ユーザーが作業するための高レベル環境の提供という2つの主要な機能を果たします。本書は、プロセス、仮想マシン、メモリ管理、プロセス間通信など、オペレーティングシステムの様々なモジュール(M1~M12)を網羅し、パフォーマンスやセキュリティといった発展的なトピックについても解説しています。

AIと認知の放棄の危険性

AIと認知の放棄の危険性
AIの影響を議論する際、電卓やGPSのような既存技術の例がしばしば挙げられる。これらの技術は、計算能力の低下や運転技術の衰退を招かなかったように、AIも人々の思考様式を変える可能性がある。AIの普及によって、人々が思考をAIに依存し、自らの認知能力を放棄する危険性があるという。企業は、この問題に対処するために、従業員のAI利用方法を検討する必要があるだろう。

トークンと夢:ソフトウェア複雑性、AI、そしてサイバネティクスの考察

ソフトウェア開発におけるAIの利用は、魔法のような成果をもたらす一方で、制御の喪失という問題を引き起こしている。AIは既存コードの分析には有用だが、仕様に基づいたコード生成では複雑な問題を招き、自律的なループが形成され、人間の理解が追い付かなくなる。これは、サイバネティクスの制御理論における「多様性の必要性」の法則に反し、ソフトウェアの複雑性に対する人間による適応能力が低下する可能性がある。著者は、AIツールを活用しつつも、人間による制御を維持するための、よりシンプルな、ボトムアップな開発アプローチの重要性を訴えている。

Next.js、AI、AWSに精通したシニアフルスタックエンジニア Olzhas Shaikenov

10年以上の経験を持つOlzhas Shaikenov氏は、React/Next.js、Node.js、TypeScript、AWSを用いたスケーラブルなウェブプラットフォームやAI機能を開発してきたシニアフルスタックエンジニアです。レガシーシステムのモダン化、コアサービスの一連の構築、そしてAI機能の統合を得意とし、StoryblocksでのAI機能開発や複雑なビデオワークフローの移行などを担当しました。現在は、技術的な卓越性、協調性、革新性を重視するチームでの新たな挑戦を求めています。技術的な議論や釣り談義など、ぜひお気軽にコンタクトしてください。

Linux環境で動作するLLMエージェント「claw」

Linux環境で動作するLLMエージェント「claw」
「claw」は、POSIX準拠のシェルスクリプトで構築された軽量なLLMエージェントです。curlとjqのみで動作し、OpenAIやAnthropicのLLMを活用したチャット、シェルツール連携、ローリングメモリ、メンターモードなどを提供します。 Alpineコンテナや仮想マシンなど、多様なLinux環境で動作し、ファイルシステムの検査やコンテキストに応じた回答など、様々なタスクを実行可能です。APIキーを設定し、シェルスクリプト一つでLLMの力を利用できます。

マスク氏、Twitter投資家への不当な扱いを巡るSEC提訴問題を150万ドルで和解

マスク氏、Twitter投資家への不当な扱いを巡るSEC提訴問題を150万ドルで和解
イーロン・マスク氏が、Twitter(現X)の買収時に投資家を不当に扱ったとしてSEC(米国証券取引委員会)が提起した提訴問題を、150万ドルの和解金で解決した。この訴訟は、バイデン政権下でSECを率いるゲーリー・ゲンズラー氏と、トランプ政権下のポール・アトキンス氏の異なる執行哲学を反映している。今回の和解は、マスク氏が本来負担すべき1億5000万ドル(約200億円)のほんの一部にとどまる。事件は、企業ガバナンスと投資家保護に関する重要な論点を示唆している。

オンラインで紛争を解決:公共の場で決着をつける

オンラインで紛争を解決:公共の場で決着をつける
「Not A Court Of Law」は、ユーザーが日常の些細な紛争をオンライン上で解決できるプラットフォームです。ユーザーは紛争の内容を記述し、相手を招待して双方の主張を提出後、24時間で公開投票が行われ、6つの結果から勝者が決定されます。投票結果は公開され、変更は一切ありません。グループチャットでの議論に代わる、新しい紛争解決の手段として注目されています。

真理のネオ・クラシック理論

本稿では、20世紀初頭に提唱された「対応説」「整合性説」「プラグマティズム」といった真理に関する古典的な理論を現代的に再解釈した「ネオ・クラシック理論」について解説する。当初、真理は「事実との対応」や「整合性」といった概念で説明されていたが、G.E.ムーアやバートランド・ラッセルは、一時的に同一性説を提唱したものの、後に命題の存在を否定し、信念と事実との対応関係に真理を求める「対応説」へと移行した。彼らは、信念が事実と一致する場合に真実であると考えるようになった。

デルタ計画:オランダの堤防システム

デルタ計画(Deltawerken)は、ライン=マース=シェルトデルタ地域を海から守るための大規模な治水プロジェクトで、1954年から1997年にかけてオランダ南西部で実施されました。ダム、ゲート、堤防など様々な構造物が建設され、海岸線を短縮し、洪水リスクを低減することを目的としています。特に「デルタ規範」というリスク評価手法を導入し、人命の価値を金銭換算するなど、画期的なコンセプトを取り入れました。近年では、環境への配慮から、自然との共生を目指した新たな水管理計画が推進されており、生態系を回復させるための取り組みも行われています。

ChatGPTに悪意のあるテストを試みた結果:不確実性下で何をしているのか

ChatGPTに悪意のあるテストを試みた結果:不確実性下で何をしているのか
技術コンサルタントがChatGPTに対し、意図的に曖昧な指示や矛盾する制約を与え、挙動を詳細に分析した結果、正確性よりも回答の完了を優先する傾向が明らかになった。不確実な状況下では、ChatGPTは情報を埋め合わせたり、検証されていない内容を提示したりすることがあり、修正されても同様の行動を繰り返すという。この挙動は、システムが「わからない」と停止するよりも、何らかの情報を生成しようとするバイアスの表れである。この傾向は、法的な質問や医療、金融など、より重要な判断における利用においてリスクをもたらす可能性がある。

インスタントコーヒーの誕生

インスタントコーヒーの誕生
インスタントコーヒーの製造は意外と困難な問題でした。初期の試みでは、動物脂肪を混ぜたり、コーヒーを煮詰める方法が試みられましたが、風味を損ないました。1889年にニュージーランドのデイビッド・ストロングが、加熱した空気でコーヒーを乾燥させる「ドライホットエアー法」を開発し、最初のインスタントコーヒー粉末が誕生しました。しかし、味は改良の余地があり、1937年にネスレの化学者マックス・モルゲンターラーが抽出法とスプレードライ技術を組み合わせた画期的な製造法を確立し、現在私たちが飲むインスタントコーヒーの基礎となりました。

テレスクリプト (プログラミング言語)

テレスクリプトは、General MagicがMagic Capシステムのために開発したエージェント指向のプログラミング言語です。Javaと同様のモデルを持ちながら、クライアントの処理能力が低いデバイスがサーバの能力を活用できるよう、プログラムをサーバにアップロードするという逆のコンセプトを採用しました。プログラムは、High Telescriptと呼ばれるCに似た構文で記述され、Low Telescriptというスタックベース言語にコンパイルされて実行されました。特徴として、プログラムのコードや状態を保存し、別のTelescriptエンジンへ移行して実行し、結果をクライアントに返す機能がありました。また、後にOnStarの基盤となる電話ベースのパーソナルアシスタントシステムPorticoの開発にも貢献しています。

LuvStatus: あなたの恋愛状況を明確に診断

LuvStatusは、テキストメッセージを匿名でアップロードすることで、カップルの関係性を分析するツールです。現状のステータス、主要な3つの関係パターン、そして具体的なメッセージスクリプトを提供し、関係の改善に役立ちます。サブスクリプションや登録は不要で、テキストのやり取りからパターンを分析し、具体的なアクションプランやメッセージ例文を提示します。まるで診断レポートのように、関係の課題を可視化し、具体的な改善策を提案します。

WebsiteArchiver - ウェブサイトの保存と整理

WebsiteArchiverは、macOS 14.0以降を搭載したデバイスで動作する、ローカルでウェブサイトを保存・整理するためのアプリケーションです。特徴として、ウェブページのレンダリング、動的ウェブサイトのサポート、WARCフォーマットへの対応、Reader Viewの提供、そしてサーバー不要といった点が挙げられます。個人情報保護に配慮した設計で、データはローカルに保存され、オプションでiCloud経由での同期が可能です。ライセンスは1ユーザー3台までの利用を許可しており、不正な利用を禁止しています。

OpenPartner: 内蔵クリエイターネットワークを備えたパートナープログラムソフトウェア

OpenPartner: 内蔵クリエイターネットワークを備えたパートナープログラムソフトウェア
OpenPartnerは、アフィリエイト、紹介、クリエイタープログラムを構築・運用するためのオープンソースソフトウェアです。透明性の高い利用規約、信頼性の高い帰属管理、クリエイターの発見、そしてStripeへの直接ペイアウト機能を備えており、スプレッドシートでの管理を不要にします。クリエイターはプログラムの内容を理解しやすく、ブランドは正確な収益帰属を確保でき、Stripe Connectを通じてシームレスなペイアウトを実現します。また、ホスティング製品からセルフホストまで対応し、データポータビリティも確保されています。

Google TPUでLLM推論を高速化:拡散モデルによる推測デコーディングで最大3倍の高速化を実現

Google TPUでLLM推論を高速化:拡散モデルによる推測デコーディングで最大3倍の高速化を実現
Google Cloudの研究者チームは、LLMの推論速度を向上させる新しい手法「DFlash」(diffusion-style speculative decoding)を開発しました。従来の推測デコーディングは逐次的な処理がボトルネックとなっていましたが、DFlashは拡散モデルを活用し、複数の候補トークンを一度に生成することで、Google TPU v5p上で最大6倍の高速化を達成しました。特に複雑な計算タスクでは、既存手法であるEAGLE-3と比較して2.29倍の高速化を実現し、LLMのパフォーマンス向上に貢献しています。

人工知能のトロイの木馬 (TrojAI) 最終報告

人工知能のトロイの木馬 (TrojAI) 最終報告
米国政府機関IARPAが主導するTrojAIプログラムは、人工知能モデルに意図的に埋め込まれた悪意のあるバックドア「AIトロイの木馬」の脅威に対処しました。このプログラムでは、重み解析やトリガー反転などの検出手法の開発、および展開済みモデルのリスク軽減アプローチの確立を行いました。検出器の性能や感度、自然発生的なトロイの木馬の存在に関する評価結果も提示されています。最終報告書は、AIセキュリティ研究の進展に向けた教訓と提言をまとめています。

化石燃料価格高騰を受け、ヒートポンプの販売が急増

化石燃料価格高騰を受け、ヒートポンプの販売が急増
化石燃料価格の高騰を背景に、消費者によるヒートポンプの購入が増加している。Financial Timesの記事によると、高価格化に対する反動で、より効率的な暖房システムの導入が進んでいる。ヒートポンプは電気を使用するため、電力価格の動向が利用者の負担に影響する。FTはデジタル版購読プランを提供しており、幅広い情報へのアクセスが可能である。

ソフトバンク、AIとロボティクス新会社を米国市場に上場へ

ソフトバンク、AIとロボティクス新会社を米国市場に上場へ
ソフトバンクが、AIとロボティクスに特化した新会社を米国で上場する計画を進めている。この動きは、同社の戦略における新たな展開を示唆しており、詳細な情報はまだ不明である。上場によって資金調達を行い、さらなる技術開発と事業拡大を目指すと推測される。具体的な会社名や上場時期については、今後の発表が待たれる。

13 / 19