ザッカーバーグ氏、1億ドルでOpenAI社員獲得に失敗

2025-07-20
ザッカーバーグ氏、1億ドルでOpenAI社員獲得に失敗

Meta CEOのマーク・ザッカーバーグ氏は、OpenAI CEOのサム・アルトマン氏によると、最大1億ドルのオファーでChatGPTの従業員を自社のAIチームに引き抜こうとしたが失敗に終わった。巨額のオファーにもかかわらず、採用活動はほとんど成功しなかった。アルトマン氏はポッドキャストで、OpenAIの従業員は、超知能開発における同社のリーダーシップを優先したと述べた。この出来事は、AI人材獲得競争の激しさ、そして超知能分野の魅力の高さを浮き彫りにしている。

続きを読む
AI

エアインディア・アーメダバード墜落事故:ソフトウェアのバグかパイロットエラーか?

2025-07-20
エアインディア・アーメダバード墜落事故:ソフトウェアのバグかパイロットエラーか?

エアインディア171便のアーメダバード墜落事故に関する予備報告書は、不可解にも「作動中」から「遮断」に切り替わった燃料スイッチに焦点を当てています。しかし、事故現場では「作動中」の状態で見つかりました。パイロット間の会話から、いずれのパイロットも故意に燃料供給を遮断したわけではないことが示唆されています。アメリカの航空専門家メアリー・スキアボは、2019年に全日空の787で発生した同様の事例を挙げ、ボーイング787のソフトウェアのバグの可能性を示唆しています。彼女は、スラストコントロールの機能不全対応システム(TCMA)の故障の可能性を調査することを提案しています。これは、航空機が誤って地上にいると判断し、エンジンを自動的に停止させた可能性があります。予備報告書はボーイングに何ら推奨事項を出していないものの、スキアボは、ボーイングのソフトウェアに無罪を主張することは、航空事故調査プロトコルの重大な違反になると警告しています。

続きを読む
テクノロジー

量子光源と制御電子回路のオンチップ統合:画期的なブレークスルー

2025-07-20

ボストン大学、UCバークレー、ノースウェスタン大学の科学者チームは、スケーラブルな量子技術において大きなブレークスルーを達成しました。Nature Electronicsに掲載された彼らの研究は、世界初のオンチップ電子・光子・量子システムの詳細を説明しています。このシステムは、標準的な45ナノメートル半導体製造プロセスを用いて量子光源と安定化電子回路を統合し、量子コンピューティング、通信、センシングに不可欠なリソースである、相関のある光子対の信頼性の高いストリームを生成します。この進歩は、量産可能な「量子光ファクトリー」チップと、そのような多くのチップから構築された大規模な量子システムへの道を切り開きます。

続きを読む
テクノロジー シリコンフォトニクス

コールドプレイのキス・カムがCEOの辞任に繋がる

2025-07-20
コールドプレイのキス・カムがCEOの辞任に繋がる

コールドプレイのコンサートの巨大スクリーンに映し出されたカップルの親密な瞬間がウイルスのように拡散し、Astronomer社のCEO、アンディ・バイロンの辞任につながった。バイロンと人事責任者クリスティン・カボット氏が抱き合っている映像は、数々のミームを生み出し、オンライン調査を招いた。既婚者のバイロン氏は、会社による調査の後、辞任した。この事件は、レトロスタイルのビデオゲーム「Coldplay Canoodlers」も生み出し、これはミュージシャンのジョナサン・マン氏がChatGPTと「vibe coding」と呼ばれる新しいコーディング技術を用いて短時間で制作した。出来事の展開とゲーム制作のスピードは、インターネットの瞬時の見世物を作る能力を際立たせている。

続きを読む

3人のDNAを用いて生まれた8人の健康な赤ちゃん

2025-07-20
3人のDNAを用いて生まれた8人の健康な赤ちゃん

イギリスの研究者らは、3人のDNAを用いた画期的な技術によって、8人の健康な赤ちゃんが誕生したと発表しました。この技術は、イギリスとオーストラリアでは承認されていますが、アメリカ合衆国では承認されていません。この方法は、母親から子供への破壊的なミトコンドリア病の遺伝を防ぎます。科学者たちは、母親の核DNAを、健康なミトコンドリアを持つドナーの卵子に移植することで、有害な突然変異を回避します。1人の赤ちゃんが予想以上に高いレベルの異常なミトコンドリアを示しましたが、病気の原因とはみなされていません。これは、ミトコンドリア病に苦しむ家族にとって大きな進歩です。

続きを読む

TSMC、台湾に1.4nmファブ4工場を建設へ

2025-07-20
TSMC、台湾に1.4nmファブ4工場を建設へ

TSMCは、今年後半に台湾中部科学工業園区に4つの新しい1.4ナノメートルウェハー製造工場(Fab 25)の建設を開始する計画で、2028年末までに2ナノメートルチップの量産開始を目指しています。この大規模な投資は、TSMCが進歩したプロセス技術へのコミットメントと、高性能チップへの需要増加に対応する姿勢を示しています。この計画は、台湾の世界半導体産業におけるリーダーシップをさらに強化することになります。台湾での投資に加え、TSMCはアリゾナ州に1650億ドルを投資し、最先端のウェハー製造工場とパッケージング施設を建設し、グローバルな製造能力の多様化を図っています。

続きを読む
テクノロジー 先端プロセス

A9/A11デバイスにおける決定論的カーネルエクスプロイトのための、コプロセッサの活用

2025-07-20

Trigonカーネルエクスプロイトのアップデート版がリリースされ、A9(X)およびA11デバイスのサポートが拡張されました。このブログ投稿では、KTRRの制限を克服し、さまざまなデバイスでカーネルベースアドレスを見つけるために使用された困難な技術について詳しく説明します。新しいアプローチは、IORVBARレジスタとコプロセッサ(特にAlways-Onプロセッサ)を活用し、コプロセッサファームウェアを操作して、カーネルへの任意の読み書きを実現し、最終的にA9およびA11デバイスでの成功したエクスプロイトのためにカーネル保護を回避します。

続きを読む

Go 1.24メモリリーク調査:予想外の発見とスイステーブルのサプライズ

2025-07-20
Go 1.24メモリリーク調査:予想外の発見とスイステーブルのサプライズ

Go 1.24リリース後、データ処理サービスで予期せぬメモリ使用量の増加が観察されました。調査の結果、Goランタイムのメモリ割り当て関数のリファクタリングによって、最適化が意図せず削除され、大きなオブジェクトの割り当て時に不要なメモリゼロクリアが発生し、常駐セットサイズ(RSS)が増加したことが判明しました。Goランタイムの内部メトリクスは変化しませんでしたが、システムレベルのメトリクスはメモリ使用量の顕著な増加を示しました。Goコミュニティとの協力により、最終的に問題を特定し、修正しました。驚くべきことに、Go 1.24の新しい「スイステーブル」機能は、高トラフィック環境でメモリ使用量を大幅に削減し、以前の回帰を相殺するだけでなく、さらなるメモリ節約をもたらしました。

続きを読む
開発

エリスリトール:脳卒中リスクを高める可能性のある甘味料?

2025-07-20
エリスリトール:脳卒中リスクを高める可能性のある甘味料?

多くの低炭水化物食品やシュガーフリー製品に含まれる糖アルコールであるエリスリトールは、最近の研究で心臓発作や脳卒中のリスク増加と関連付けられています。コロラド大学ボルダー校の新しい研究は、細胞メカニズムを深く掘り下げ、エリスリトールが脳の血管にどのように影響するかを明らかにしています。実験室での実験で、エリスリトールは一酸化窒素(血管拡張剤)を減少させ、エンドセリン-1(血管収縮剤)を増加させ、t-PA(血栓溶解剤)の産生を阻害し、血管の収縮と血栓形成の増加につながることがわかりました。また、活性酸素種(ROS)の産生も増加させ、細胞を損傷し、炎症を引き起こしました。この研究はin vitroで行われたものでしたが、研究者たちは消費者にエリスリトールの摂取量を監視し、この広く使用されている甘味料に関連する潜在的なリスクを考慮するよう促しています。

続きを読む
テクノロジー 甘味料代替品

超音速旅客輸送:大きな可能性を秘めたハイリスクな賭け?

2025-07-20
超音速旅客輸送:大きな可能性を秘めたハイリスクな賭け?

超音速旅客輸送の夢が復活しました。しかし、コンコルドとは異なり、今日のスタートアップ企業や大手企業は、新しい素材、高度な推進システム、持続可能な燃料を用いて、コンコルドの失敗(高い運用コストと低い燃費)の原因となった課題を克服しようとしています。しかし、超音速飛行と極超音速飛行は、本質的により多くの燃料を必要とし、環境への影響も大きくなります。初期市場は、高価値のビジネス旅行者とラグジュアリーなレジャー旅行者に焦点を当て、莫大な可能性を秘めていますが、商業化には少なくとも10年はかかり、投資リスクも依然として高くなっています。

続きを読む

Rustの借用チェッカー:祝福か呪いか?

2025-07-20

借用チェッカーのおかげで速度と安全性を両立させたと高く評価されているRustだが、この記事では批判的な見解が示されている。著者は、借用チェッカーが過度に保守的なルールのために完全に有効なコードを拒否し、深刻なエルゴノミクス上の問題を引き起こしていると主張する。複数の例が示すように、不要なリファクタリングが必要となる。この記事では、Rustの安全性における借用チェッカーの役割が過大評価されているという疑問が投げかけられ、PythonやJuliaなどのガベージコレクションを行う言語と比較が行われている。並列処理における借用チェッカーの利点は認めつつも、シングルスレッドのコンテキストではそのオーバーヘッドが利点を上回ると著者は主張する。Rustの強み、つまり強力な型システムや豊富な標準ライブラリこそが真の成功要因だと強調されている。

続きを読む
開発

ニューヨーク地下鉄法案、交通を過去に逆戻りさせる危険性

2025-07-20
ニューヨーク地下鉄法案、交通を過去に逆戻りさせる危険性

ニューヨーク州議会が可決した新しい法案は、ニューヨーク市地下鉄で2名乗務員による列車運行(TPTO)を義務付けるもので、批評家たちはこれが数十年にわたる進歩を後退させるものだと主張しています。自動化機能の有無にかかわらずすべての列車に車掌を配置することを義務付けるこの法案は、時代遅れの慣習と見なされ、近代化を阻害し、コストを増加させるものとなっています。支持者たちは安全性が向上すると主張していますが、この記事では、これは雇用を守るための見え透いた試みであり、現代の列車における技術革新や安全機能を無視したものだと反論しています。著者は、州知事に対し、この法案への拒否権行使を促し、市の交通システムにとって費用がかかり非効率的な後退を防ぐよう訴えています。

続きを読む
テクノロジー ニューヨーク地下鉄

収束するUNIXワークステーションの奇妙なケース

2025-07-20

著者は、SGI、HP、DEC製の1990年代のRISC/UNIXワークステーションのコレクションを収集し、PCケースの歴史に関するビデオを視聴した後、それらの内部レイアウトに独特の傾向があることに気づきました。初期のモデルは従来のVMEバス設計に従っていました。しかし、後のモデルは驚くべきことに、LPX標準を彷彿とさせるレイアウトを採用しました。つまり、フラットなマザーボードで、背面にI/O、左側に拡張スロットがあるレイアウトです。これは当時のPCデザインと非常によく似ています。著者は、これが独立した収束か、共同の努力だったのかを推測しており、偶然かデザイントレンドかの疑問は残されたままですが、ハードウェアデザインの進化に関する興味深い疑問を提起しています。

続きを読む
ハードウェア UNIXワークステーション

ピアノの鍵盤幅の謎:線形計画法の問題

2025-07-20

ピアノの白い鍵の幅がすべて同じではないことに気づいたことがありますか?これは偶然ではなく、興味深い線形計画法の問題です。この記事では、黒い鍵の幅が均一で、白い鍵の前面の幅がすべて同じであることを前提として、白い鍵の裏側の幅のばらつきを最小限に抑える方法を探っています。いくつかの一般的なピアノ鍵盤のデザインが分析され、最終的にオクターブを878472単位に分割する最適化されたソリューションが導き出され、白鍵と黒鍵の幅のずれが驚くほど小さくなっています。

続きを読む

山火事後、Airbnbが価格釣り上げと未確認物件でロサンゼルスから訴えられる

2025-07-20
山火事後、Airbnbが価格釣り上げと未確認物件でロサンゼルスから訴えられる

ロサンゼルス市検事事務所は、1月の山火事後、2000件以上の賃貸物件で価格釣り上げと未確認のホストおよび住所があったとして、Airbnbを訴訟で訴えました。この訴訟は、緊急事態中の価格引き上げを防ぎ、影響を受けた消費者を補償することを目的としています。Airbnbはこれらの主張に異議を唱え、山火事の被害者への3000万ドル近くの支援を強調しています。しかし、訴訟では、不十分な検証プロセスにより、ユーザーが犯罪にさらされていると主張されています。この事件には、偽のホストと住所、そして広告されている住所から数マイル離れた場所が含まれています。価格釣り上げが証明された場合、Airbnbは最大750万ドルの罰金を科せられる可能性があります。

続きを読む
テクノロジー 価格釣り上げ

Rustにおける特殊化の回避:関数ポインタの巧妙な利用

2025-07-20
Rustにおける特殊化の回避:関数ポインタの巧妙な利用

RustでFATドライバを開発中に、作者は特殊化という問題に遭遇しました。この機能は、現在の安定版Rustでは利用できません。マクロやジェネリック列挙型を使った試みは失敗に終わり、最終的に関数ポインタを巧みに利用することで、特殊化と同様の効果を実現しました。この方法は、パフォーマンスとメモリのオーバーヘッドがあるものの、特定の状況では安定版Rustで代替手段を提供します。作者は、より効率的でクリーンなソリューションを提供する特殊化機能の安定化を訴えています。

続きを読む

古代法典の驚くべき真実:ハンムラビ法典は最初ではなかった

2025-07-20
古代法典の驚くべき真実:ハンムラビ法典は最初ではなかった

私たちはしばしばハンムラビ法典を世界最初の法典だと考えますが、実際はもっと複雑です。この記事は、ウル・ナムム法典やウルカギナ王時代の民衆を重視した法制度といった、それ以前の法体系を明らかにしています。「目には目を」という報復的な正義で有名なハンムラビ法典とは対照的に、ウル・ナムム法典は罰金に重点を置いています。さらに古いウルカギナは、債務の解消や弱者の保護など、民衆の負担軽減を優先しており、自己拡大ではなく奉仕に焦点を当てた異なるリーダーシップモデルを示しています。この記事は、古代の指導者と現代政治について考えさせ、民衆への奉仕に焦点を当てたリーダーシップが古代から存在したことを思い出させてくれます。

続きを読む
その他 古代史

LLMエージェントのためのCLIツールとAPIの拡張

2025-07-20
LLMエージェントのためのCLIツールとAPIの拡張

著者は、リバースエンジニアリングタスクの自動化に大規模言語モデル(LLM)エージェントを使用する際に、既存のコマンドラインツールとAPIの設計に限界があることに気づきました。特に、ローカルモデルの小さなコンテキストウィンドウを使用する場合です。APIは、ツール呼び出しを減らすために十分な情報を提供することと、コンテキストウィンドウのオーバーフローを回避することのバランスをとる必要があります。検討された解決策には、改善されたdocstring、ヘルパー関数、プリコミットフックなどがあります。さらに、出力をキャッシュし、構造化し、残りの行数を報告するラッパーや、ディレクトリ情報を提供するシェルフックなど、さらなる改善が提案されています。著者は、既存のCLIはLLMの拡張を必要とし、LLM拡張CLIの完全なセットやカスタムLLMシェルが必要になる可能性があると結論付けています。これは、LLMエージェントのユーザーエクスペリエンスを向上させるためです。

続きを読む
開発

Beyond Meat:植物肉巨人の転落?

2025-07-20
Beyond Meat:植物肉巨人の転落?

かつて植物肉業界の有望株だったBeyond Meatが、深刻な財政危機に直面している。売上高の伸びは低迷し、収益性は乏しく、巨額の債務が期限切れ間近となり、株価は98%も暴落した。コスト削減、ブランドイメージの向上、債務再編といった立て直し策を講じているものの、時間は限られており、破産の危険性も依然として高い。これはBeyond Meatだけの危機ではなく、植物肉業界全体の課題を反映していると言えるだろう。

続きを読む
スタートアップ

BorgBackup:効率的で安全な重複排除アーカイブツール

2025-07-20

BorgBackup(Borg)は、圧縮と認証済み暗号化を組み合わせたオープンソースの重複排除アーカイブツールです。省スペースなストレージと堅牢なセキュリティを実現します。lz4、zstd、zlib、lzmaなど様々な圧縮アルゴリズムに対応し、Linux、macOS、BSDなど複数のプラットフォームに簡単にインストールできます。大規模で活発なコミュニティに支えられ、Borgはマウント可能なバックアップを提供します。そして、非常に重要なことですが、常にバックアップを確認してください!

続きを読む
開発

菌類制御ロボット:農業の未来?

2025-07-20
菌類制御ロボット:農業の未来?

コーネル大学とフィレンツェ大学の研究者らは、食用キノコであるエリンギを制御ユニットとして用いた、新しいタイプのバイオハイブリッドロボットを開発しました。このロボットは、エリンギからの電気信号を用いて移動し、周囲の環境を感知します。生きた生物を利用することで、光や熱など様々な刺激に反応し、予期せぬ環境でも動作可能です。研究者らは、将来、このロボットを農業に応用し、例えば土壌の化学成分を感知して肥料の施用時期を決定することで、農業による悪影響を軽減できると考えています。Science Robotics誌に掲載されたこの研究は、バイオハイブリッドロボット分野における大きな進歩を示しています。

続きを読む

Google AIが私を殺して生き返らせた

2025-07-20
Google AIが私を殺して生き返らせた

著者デーブ・バリーは、Google AIが彼を死亡者としてマークし、誤ってドーチェスターの政治活動家として特定したことを発見しました。繰り返し修正したにもかかわらず、AIシステムは揺らぎ、何度も彼を死亡と生存と宣言しました。このユーモラスな記述は、事実情報の取り扱いにおけるAIの限界と不正確さを強調し、AI技術の信頼性について考えさせられます。

続きを読む
その他 AIのエラー

超低消費電力Arduinoシステム:バッテリー寿命2年?

2025-07-20

この記事では、ATmega328ベースの超低消費電力Arduinoシステムについて詳しく説明します。ハードウェアを最小限に抑え、JeeLibライブラリの休止機能を利用することで、著者はシステムの消費電力を6.7mAから43μAに削減し、バッテリー寿命を大幅に延ばしました。この記事では、ハードウェア接続、ソフトウェアプログラミング、消費電力テストの結果を詳細に説明し、温度センサーを例に、実際のアプリケーションにおけるシステムのバッテリー寿命を計算し、最大2年と推定しています。

続きを読む
ハードウェア

バックアップ:単純なコピーを超えて

2025-07-20
バックアップ:単純なコピーを超えて

データバックアップの重要性は、しばしば過小評価されています。この記事は、著者の経験に基づいて、様々なデータ損失シナリオを説明し、バックアップが単なる単純なコピーではなく、包括的な計画と戦略が必要であることを強調しています。フルディスクバックアップと個々のファイルバックアップのメリットとデメリット、データ整合性を確保する上でスナップショットが果たす重要な役割を探ります。また、著者は、集中型のバックアップサーバーアーキテクチャと、効率的なバックアップシステムのための指針となる原則を共有し、FreeBSD をベースとしたバックアップサーバーの構築について詳述する今後の記事を予告しています。

続きを読む
開発

古代の書物への襲来:千年図書館が甲虫の被害と戦う

2025-07-20
古代の書物への襲来:千年図書館が甲虫の被害と戦う

ハンガリーの1000年歴史を持つパンノンハルマ大修道院図書館、ユネスコの世界遺産は、40万冊の蔵書を脅かす壊滅的な甲虫の被害と闘っています。何世紀も前の古い書物約10万冊が、慎重に撤去され、酸素のない環境に置かれ、ページに食い込んだ薬局甲虫を駆除しようとしています。この途方もない努力は、文化遺産保存の重要性を強調し、気温上昇による昆虫のライフサイクルの加速など、気候変動による増大する脅威を浮き彫りにしています。

続きを読む
その他 害虫駆除

北米最古の翼竜化石が発見される

2025-07-19

スミソニアンが主導する研究チームが、アリゾナの化石化した森国立公園で、北米最古の翼竜化石を発見しました。2億900万年前の後期三畳紀に遡るこの化石は、世界最古の亀の化石の一つを含む数百もの他の化石と共に、三畳紀後期の大量絶滅直前に存在した活気のある生態系を明らかにしています。この発見は、化石記録における重要なギャップを埋めるものであり、古代と現代の脊椎動物群のユニークな組み合わせが共存していたことを示しています。翼竜の摩耗した歯は、この地域で見つかった装甲魚を食べていたことを示唆しています。

続きを読む
テクノロジー 翼竜 三畳紀

警告:深刻なプライバシーの問題を抱える複数のメールクライアント

2025-07-19

ブログ記事では、Evolution Mail、Balsa、Gearyなど、深刻なプライバシーの問題を抱える複数のメールクライアントが取り上げられています。これらのクライアントは、linkPreConnectとdnsLinkの脆弱性に悩まされており、開発者は対応しておらず、ユーザーへの警告も拒否しています。著者は、開発者に対しユーザーのプライバシーを優先し、問題を迅速に解決するよう促しており、問題が解決するまでこれらのクライアントを使用しないようアドバイスしています。

続きを読む
テクノロジー プライバシーの脆弱性

Zigにおける動的ディスパッチによるポリモーフィズムの実現

2025-07-19

Zigは多くの言語と異なり、組み込みのインターフェースを持ちません。しかし、これはポリモーフィズムを排除するものではありません。この記事では、vtableインターフェースを使用してZigで動的ディスパッチによるポリモーフィズムを実現する方法を詳述します。このアプローチは、インターフェースと実装を明確に分離し、実装タイプを変更する必要なく動的ディスパッチを可能にします。関数ポインタを使用してvtableを構築し、`implBy`関数を使用して実装とインターフェースを接続することで、オブジェクト指向言語におけるインターフェースの機能を効果的に模倣します。これにより、異なる実装を配列やマップに格納できます。多少のボイラープレートコードが必要ですが、その利点は、実装タイプへの影響を最小限に抑えた、クリーンで柔軟で再利用可能なアプローチです。

続きを読む

AIによるソフトウェア開発:4つのドキュメントと永遠の初心者

2025-07-19
AIによるソフトウェア開発:4つのドキュメントと永遠の初心者

著者はAIペアプログラマーであるClaudeを使って、4日間でProtocollieというソフトウェアを開発しました。それは熟練したプログラミングスキルによるものではなく、4つのドキュメント(アーキテクチャの概要、技術的な考慮事項、ワークフロープロセス、ストーリーの分解)を通じてAIを導くことで、曖昧なアイデアを動作するコードに変換したものです。「壁にスパゲティを投げる」になぞらえられるこのプロセスは、計画よりも実験性を重視し、AI支援プログラミングの風景の変化を示しています。それはプログラマーの役割の変化と、技術の進化が専門知識の蓄積を上回るこの新しい時代の不確実性を受け入れることを明らかにしています。

続きを読む
開発

自由落下で音速突破の記録を持つフェリックス・バウムガートナー氏、56歳で死去

2025-07-19
自由落下で音速突破の記録を持つフェリックス・バウムガートナー氏、56歳で死去

2012年のレッドブル・ストラトス計画で、宇宙空間の端から飛び降り、音速を超える自由落下を達成したことで知られる、有名なエクストリームアスリート、フェリックス・バウムガートナー氏が、イタリアでパラグライダー事故により56歳で亡くなりました。 "恐れ知らずのフェリックス"として知られるバウムガートナー氏は、超音速で地球に落下し、惑星に「足跡」を残したと表現しました。 死亡の数時間前には、インスタグラムに「風が強すぎる」と投稿していました。レッドブル社は声明を発表し、ショックと悲しみを表明し、バウムガートナー氏の綿密な準備と寛大な精神を強調しました。彼の死は、大胆な偉業と揺るぎない決意で多くの人々を鼓舞した、エクストリームスポーツ界の伝説的巨匠の逝去を意味します。

続きを読む
1 2 104 105 106 108 110 111 112 595 596