長年タッチスクリーン式インフォテインメントシステムを避けてきたマツダが、新型CX-5でついにタッチスクリーンを採用。これは単なる表面的な変更ではなく、Googleの組み込み技術を基盤とした抜本的な見直しで、Googleマップ、Playストア、Googleアシスタントが統合されています。しかし、「ハンドルに手、目は道路に」というマツダの安全哲学は変わらず、新しく設計されたステアリングホイールには重要な機能を操作できる物理ボタンが搭載され、大型タッチスクリーンの利便性と運転手の安全性の両立を目指しています。
続きを読む
iOS 26 ベータ3におけるAppleの新しいLiquid Glassデザイン言語は、大きな変更を受けました。ナビゲーションバー、ボタン、タブの透明度が低くなり、以前のベータ版での読みやすさに関するユーザーからの苦情に対応しています。使いやすさの向上を目指したものですが、一部ユーザーは、WWDCで披露された特徴的なガラスのような美観が損なわれたと感じており、後退とみなしています。この開発者向けベータ版は、Appleが9月の一般公開前にデザインを調整していることを示唆しています。
続きを読む
10年以上の建設期間を経て、中国は世界で最も感度の高いニュートリノ検出器である江門地下ニュートリノ実験施設（JUNO）を稼働開始しました。地下700メートルに位置するJUNOは、2万トンの液体シンチレーター検出器と4万5千本以上の光電子増倍管を備えています。近隣の原子力発電所から放出されるニュートリノを、ニュートリノがシンチレーター中の水素原子と相互作用して発生する光を検出することで観測します。JUNOの成功は、ニュートリノの質量階層と種類に関する理解を大幅に進歩させ、世界中の科学者による国際協力は、中国の基礎科学研究における大きな飛躍を意味します。
続きを読む
この記事では、モデルキャリブレーションにおける一般的な問題点について論じています。それは、キャリブレーションデータセットが元のトレーニングデータセットよりもはるかに小さいため、等尺性回帰によって確率分布が過度に単純化され、モデルの細かい違いが失われるという問題です。この記事では、この「データの希薄性によって引き起こされる平坦化」現象を分析し、ノイズによる正当な単純化とデータの制限による過剰な単純化を区別するためのいくつかの診断方法を提案しています。最後に、等尺性制約を緩和したり、滑らかな単調モデルを使用したりすることで、キャリブレーション精度を維持しながら、元のモデルの識別能力を可能な限り維持するCalibreパッケージを紹介しています。
続きを読む
この記事では、分散サービスシステム構築における同期呼び出しの管理の重要性を探ります。著者は「同期予算」という概念を紹介し、サービス間の同期要求を最小限に抑えることで、パフォーマンスと可用性を向上させることを提唱しています。同期呼び出しはコストが高く、応答時間とシステムの安定性に影響を与えます。eコマースの注文処理を例に、在庫や配送サービスとのやり取りを非同期通信（Kafkaなどを使用）で処理し、支払いサービスなど、どうしても必要な場合にのみ同期呼び出しを使用する方法を示しています。また、非同期通信におけるメッセージバッファリングとデータ同期を処理するためのOutboxパターンとCDC技術についても説明し、最終的に高性能で高可用性の分散システムを実現する方法を示しています。
続きを読む
サイバーセキュリティ・インフラストラクチャセキュリティ庁（CISA）と政府効率省（DOGE）の両方で働くソフトウェアエンジニア、Kyle Schuttのログイン資格情報が、情報窃取マルウェアからの複数の公開漏洩で発見されました。これは、彼のデバイスが侵害されたことを強く示唆しています。Schuttは、連邦緊急事態管理庁（FEMA）の中核的な財務管理システムにアクセスしており、米国の民間連邦政府ネットワークと重要なインフラストラクチャに関する機密情報が漏洩する可能性があります。ジャーナリストのMicah Leeは、2023年以降、少なくとも4つの情報窃取マルウェアログでSchuttのユーザー名とパスワードを発見しました。これらの資格情報は、Adobe、LinkedIn、Gravatar、The Post Millennialなどの企業に影響を与えた大規模なデータ侵害でも表面化しました。ハッキングの正確なタイミングと頻度は不明なままであり、政府内の深刻なサイバーセキュリティリスクを浮き彫りにしています。
続きを読む
Arcanは、単一ユーザー向けで、ユーザーインターフェース重視のネットワークオーバーレイオペレーティングシステムであり、ユーザーにコンピューティングデバイスに対する完全な自律性を提供するように設計されています。LinuxやBSDカーネルに依存せず、さまざまなエコシステムで「放浪者」として動作します。Arcanは、効率的なプロセス間通信のために共有メモリインターフェース（SHMIF）とA12ネットワークプロトコルを使用し、「frameserver」を使用してセキュリティに敏感なタスクを分離します。プログラム可能なインターフェースALT、Applアプリケーションモデル、およびさまざまなユーザーインターフェース（Console、Durden、Safespaces）により、柔軟で強力なシステムが実現します。Arcanは、大規模プラットフォームによるネットワークロックインとセキュリティの脅威に対抗し、ユーザーの自律性とセキュリティを向上させることを目指しています。
続きを読む
この記事は、著者の経験に基づいて、現実世界のプロジェクトにおける形式手法（FM）適用上の課題を探っています。著者は、FMプロジェクトの成功はコストとベネフィットのバランスに左右されると主張しています。多くの潜在的なFMプロジェクトは、高コスト、ベネフィットの定量化の困難、短期的な価値の証明の困難さのために実現しません。この記事は、成功するFMプロジェクトには早期の価値提供、複雑な技術的結果をクライアントが理解できる言語への翻訳、テストやコードレビューなどの低コストの信頼性保証策の優先順位付けが必要であると強調しています。著者は、FMは万能ではなく、ソフトウェアの信頼性とセキュリティを向上させるために他の手法と組み合わせるべきであると強調しています。
続きを読む
プリンストン大学で物理学の博士号を取得したニック・マクグレイヴィーは、AIを物理学研究に応用した経験を共有しています。当初、AIが研究を加速させる可能性に楽観的でしたが、実際にはAI手法は宣伝されているほど効果的でなく、多くの論文がAIの利点を誇張し、データ漏洩などの問題を抱えていることが判明しました。彼は、科学におけるAIの急速な普及は、真の研究効率の向上ではなく、AIが科学者にもたらす高給や名声といったメリットによるものだと主張しています。彼は、より厳格なAI評価手法を要求し、AI研究における楽観的なバイアスに警鐘を鳴らしています。
続きを読む
パンデミック後の非COVID-19感染の急増を説明する「免疫負債」説は、ますます厳しく精査されています。当初は広く受け入れられていましたが、パンデミックの制限が病原体への曝露を抑制し、個人がより脆弱になったという考えは、制限が解除された後も感染率が上昇していることから疑問視されています。新たな研究は、SARS-CoV-2が免疫系を微妙に変化させ、他の病原体への反応を損なう可能性があることを示唆しています。これには、免疫系の「リセット」が含まれ、休眠ウイルスが再活性化される可能性があります。この仮説は、RSVから帯状疱疹、敗血症に至るまで、さまざまな病気に対する私たちの理解を改める可能性があります。一部で異論はありますが、証拠は、軽症のCOVID-19の場合でも、持続的な免疫系への影響があり、免疫機能障害を引き起こすことを示しています。その影響は、さらなる議論と研究の対象となっています。
続きを読む
レノボは、PC販売の記録的な数字とAI搭載PC市場での圧倒的なシェアで、会計年度を好調にスタートさせました。2025/26会計年度第1四半期の売上高は188億ドルに達し、前年同期比22％増、利益は倍増以上となりました。PCおよびスマートデバイス部門は15四半期ぶりの最高成長率を記録し、世界市場シェアは24.6％に達しました。レノボの出荷されたPCのうち30％以上がAI搭載PCであり、Windows AI搭載PCセグメントでは31％の圧倒的な市場シェアを獲得しました。AI搭載PC機能の実用性については議論がありますが、レノボのプレミアムモデルとハイブリッドAI戦略は消費者に共感を呼んでいます。Motorolaの折りたたみ式スマートフォンの成功も大きく貢献しています。レノボのインフラストラクチャソリューショングループも好調で、売上高は前年同期比36％増、AIインフラストラクチャの売上は倍増以上となりました。PC市場の回復にもかかわらず、レノボの強力なパフォーマンスは競合他社をリードしていますが、長期的な成功はAI搭載PC機能への持続的な需要に依存します。
続きを読む
macOS Monterey 12.0.1のディスクユーティリティは、APFSディスクの修復時にボリュームまたはコンテナをアンマウントできないという長年のバグに引き続き悩まされています。この記事では、リカバリモードでディスクユーティリティを使用するか、コマンドラインツール`fsck_apfs`を直接使用してAPFSボリュームとコンテナをチェックおよび修復するなどの回避策を提供します。この記事では、`fsck_apfs`の使い方、チェックと修復のオプション、暗号化されたボリュームの処理方法について詳しく説明します。
続きを読む
AutarkieはRustで書かれたネイティブな構文ファジングツールです。手続き型マクロを使用して、ほぼ自動的に構文ファザーを作成します。AFL++とcargo-fuzzの両方をサポートし、C/C++とRustのプロジェクトのファジングに使用できます。Autarkieのユニークな機能には、メンテナンス不要の構文、網羅的な構文カバレッジ、再利用可能なコーパス、他のファザーからの学習能力（開発中）などがあります。2つの例では、SQLite3とSolanaのsbpfインタープリターのファジング方法を示し、その使いやすさと効率性を強調しています。現在ベータ版であり、nightly版のRustコンパイラーが必要です。
続きを読む
ロサンゼルスでは、Waymoの自動運転タクシーが住宅街の特定の場所に頻繁に駐車しており、住民たちの好奇心と懸念を引き起こしています。中には、Waymoが自分の家の前に繰り返し停車し、数時間そこに留まるケースもあります。Waymoは、これはエネルギー消費、交通渋滞の軽減、需要への対応をバランスさせるAIアルゴリズムの結果だと説明していますが、なぜこれほど特定の場所を選ぶのかは説明できません。専門家らは、これが機械学習アルゴリズムの結果である可能性があると推測しています。Waymoはこれを確認していませんが、この透明性の欠如は、AI意思決定の説明可能性に関する懸念を引き起こし、自動運転技術が現実世界のアプリケーションで直面する課題を反映しています。
続きを読む
ジョンズ・ホプキンスAPLの研究者たちは、ナノエンジニアリングされた材料を用いた新しい固体熱電冷却技術を開発し、市販のバルク材料の2倍の効率を達成しました。CHESSと呼ばれるこのスケーラブルな技術は、省エネルギーな冷却ソリューションへの需要の高まりに対応するものです。実際の冷蔵庫でテストされたCHESSは、効率が約75％向上しました。材料の使用量が非常に少ないため、半導体チップ製造ツールを使用して大量生産することができ、コストを削減し、小型の冷却システムから大規模なHVACアプリケーションまで、より幅広い採用への道を切り開きます。
続きを読む
Juvioは、依存関係管理とGit統合に取り組むことで、Jupyter Notebookのワークフローを簡素化します。`%juvio install`を使用してノートブック内で直接パッケージをインストールし、依存関係をメタデータ（PEP 723）として保存できます。Juvioは、一時的な仮想環境（uvを使用）を自動的に設定し、再現可能な結果を保証します。ノートブックはスクリプトのような形式に変換され、よりクリーンなGit diffになり、lockファイルやrequirements.txtの必要性がなくなります。これにより、再現性とバージョン管理が簡素化されます。
続きを読む
2年前、エコノミストのデジタル購読における世界的な価格体系の著しい不整合が明らかになりました。場所によって価格は300％以上も異なり、貧しい国は豊かな国よりもはるかに高い料金を支払っていました。これは2024年も続き、オーストラリアとニュージーランドは依然として高額な料金を支払っています。「エコノーマッド指数」は購読価格を比較し、ビッグマック指数よりも大きな価格差を示しており、エコノミストの非論理的で不公平な価格設定を浮き彫りにしています。これにより、ある購読者が購読をキャンセルしました。
続きを読む
オーストラリア国立大学とイエナ大学フリードリヒ・シラー大学の研究者らは、非偏光光源からの様々な波長を同時に集光できる、メタマテリアルを用いた革新的な多層メタレンズを開発しました。この設計は、アスペクト比が低いため製造が容易で、偏光に非依存性という特長があります。スマートフォンやドローンなどの携帯機器向け小型化、低コスト、高性能な光学システムへの応用が期待されます。逆設計アルゴリズムと形状最適化を用いて、驚くほど多様な形状のメタマテリアル要素を作成し、任意の集光パターンを実現しました。現状では約5波長に限定されますが、将来の携帯型イメージングシステムにとって計り知れない可能性を秘めています。
続きを読む
この記事では、ニコラス・カーの著書『スーパーブルーム』をレビューし、カリフォルニアのポピー事件をきっかけに、特にソーシャルメディアにおけるテクノロジーの負の影響について論じています。電信電話からラジオ、インターネットに至るまで、アメリカのメディア規制の進化を振り返り、効果的な監視の欠如がソーシャルメディアの制御不能な力と、情報過多、プライバシー侵害、疎外感といった社会問題につながっていることを指摘しています。「摩擦のあるデザイン」といった穏やかな対策では不十分だと主張し、より積極的な介入とテクノロジーへの省察を訴えています。
続きを読む
ミシガン大学による研究で、車両の種類、使用パターン、場所などの要素を考慮すると、小型電気自動車のライフサイクル全体でのCO2排出量が最も少ないことが明らかになりました。ガソリン車、ハイブリッド車、電気自動車を比較した結果、200マイルのバッテリーを搭載した小型電気セダンは、ガソリンピックアップトラックのライフサイクル排出量のわずか17％であることがわかりました。短距離走行の電気ピックアップトラックでさえ、排出量は25％に過ぎません。ハイブリッド車はわずかな改善を示しましたが、EVでは、バッテリーパックが小さいほど、環境への影響が常に小さくなりました。
続きを読む
著者は、Claude Codeを使ってCコードをRustに移植する際に、目の前の問題解決に没頭しすぎて、当初の目標を見失った経験を語っています。これは、多くのプログラマーが直面する「探索（新しい方法を試す）」と「活用（現在の問題を解決する）」のバランスの難しさを浮き彫りにしています。著者はこの問題への対処法として、様々な時間軸での振り返りの儀式を紹介しています。例えば、1時間ごとに1分間作業内容を記録したり、週に一度方向性を振り返ったり、年に一度キャリア全体を見直したりするなどです。これは、行き詰まりを防ぎ、時間とエネルギーを有効に使うための効果的な戦略です。
続きを読む
ユーザーがAmazonプライムビデオを訴訟。 「購入」ボタンが誤解を招くとして、実際にはデジタルコンテンツへのアクセスを許可する取り消し可能なライセンスを購入するだけであり、永久的な所有権ではないと主張している。原告は、プライムビデオの「購入」ボタンの下にある小さな文字の情報が非常に分かりにくく、取引の最終段階まで表示されない点を指摘。法律専門家は、Amazonが利用規約全体を読むべきだと主張する可能性があると考える一方、一般消費者は「購入」を恒久的な取引と理解するため、原告が勝訴する可能性が高いと見ている。本件のポイントは、Amazonの宣伝が誤解を招くものであり、コンテンツの削除によって消費者が損害を被ったことを立証することにある。
続きを読む
Anthropicは、AIアシスタントであるClaudeをブラウザ内で直接操作できるChrome拡張機能をテストしています。これはClaudeのユーティリティを大幅に向上させますが、特にプロンプトインジェクション攻撃などの重大なセキュリティ上の懸念も生じさせます。軽減策がない場合の攻撃成功率はレッドチームテストで23.6％でした。Anthropicは、アクセス許可制御、アクション確認、高度な分類器など、複数の安全対策を実装し、成功率を11.2％に削減しました。現在、この拡張機能は1000人のMaxプランユーザーを対象とした限定的なパイロットプログラムで、本番環境でのフィードバックを収集し、より広範なリリース前に安全性を向上させることを目的としています。
続きを読む
SQLにおけるNULL値の扱いは、しばしば予想を裏切ります。この記事では、一意制約を持つカラムにおけるNULL値の驚くべき挙動、つまり複数のNULL値が共存できることを明らかにします。SQLite、Postgres、MySQLの実例を通して、NULL値が「=」と「IS」演算子で異なる振る舞いをすることを示し、その根本的な理由を説明します。一意性を保証するための2つの解決策、生成カラムの作成と部分インデックスの使用を探求します。テーブルサイズが増加したり、潜在的なエラーが発生したりすることを避けるため、部分インデックスの使用がベストプラクティスとして推奨されます。
続きを読む
最近のインタビューで、Hadley Wickham氏は、適切なサブセット、サンプル、またはサマリーがあれば、多くのビッグデータ問題は実際には小さなデータ問題であると強調しました。この記事では、ビッグデータ分析における効率的なサンプリングについて掘り下げています。ナルコレプシーのヤギにサービスを提供する会社Goatlyの例を用いて、著者はロジスティック回帰に適切なサンプルサイズを計算する方法を示しています。結論として、10万の農場を正確に表現するには、約2345個のサンプルが必要であるとされています。この記事では、サンプルサイズ計算のためのPythonスクリプトとオンラインツールについても詳しく説明し、統計的検出力の概念にも簡単に触れています。
続きを読む
Pythonソフトウェアファウンデーションのセキュリティ開発担当者であるセス・ラーソンは、Alpha-Omegaと協力して、「ファントム依存」問題を解決するためのソリューションを詳細に説明したホワイトペーパーを発表しました。このソリューションは、PEP 770とソフトウェア部品表（SBOM）を活用することで、Pythonパッケージの測定可能性を高めます。これにより、脆弱性スキャナーなどの自動化システムは、科学計算、高性能コンピューティング、AIなどで一般的な複雑な依存関係グラフにおいても正確な結果を提供できるようになります。NumPy、暗号化、pipなどの主要プロジェクトは、すでにPEP 770の採用を評価しています。
続きを読む
この記事では、ランダムグラフにパスが存在する確率や、単位円上の4点の凸包が原点を含む確率など、一見無関係に見えるいくつかの確率の問題を考察しています。驚くべきことに、これらの確率はすべて1/2になります。著者は、巧みに双対性のトリックと組合せ論的議論を用いて、これらの問題の背後にある深い繋がりを明らかにしています。線形超平面が高次元空間を分割するセルの数を分析し、ランダム行列の性質を研究することで、著者は最終的にこれらの確率の結果を説明し、いくつかの未解決の数学的問題を提示しています。これにより、読者は確率、幾何学、双対性の間の奇妙な関係について考えるきっかけとなります。
続きを読む
ANT+は長年にわたりスポーツテクノロジーの主力であり、異なるメーカーのデバイス間の相互運用性を確保してきました。しかし、EUの新しい無線機器指令（EU RED）は個人情報の暗号化を義務付けるため、ANT+の大幅な見直しと下位互換性の破棄を余儀なくされます。Bluetoothの普及と他のメーカーからのサポート不足により、Garminは新しいANT+規格の開発を中止します。既存のデバイスは引き続き機能しますが、これはANT+の時代の終わりを告げ、スポーツテクノロジー業界はより断片化された独自のプロトコルの環境をナビゲートすることになります。
続きを読む
あるプログラマーが、逆アセンブルされたARMコードの中に多数の`d4d4`命令を発見しました。これらの命令は常に到達不能であり、LLVMのobjdumpでは-0x58への相対分岐として識別されます。実験と分析の結果、これらの命令はLLVMコンパイラではなく、LLDリンカによってオブジェクトファイルの境界のアラインメント中に挿入されていることがわかりました。LLDは`d4d4`をパディングとして使用しており、トラップ命令として意図されていますが、実際には条件付き分岐であり、Thumb命令セットでは相対ジャンプとして機能します。これはLLDのバグと考えられ、真のトラップではなく、予測不可能なジャンプを引き起こす可能性があります。GNUリンカはパディングにゼロを使用しており、この問題を回避しています。
続きを読む
日本の戦国時代、織田信長の名は恐怖の象徴でしたが、別の織田氏、氏治は「最弱の大名」として知られていました。戦略的に重要な小田城を治めていた彼は、9回奪われ、9回取り戻しました。軍事戦略の失敗は繰り返されましたが、決して敗北を受け入れず、粘り強く戦い続けたことから「不死鳥」と呼ばれました。一見愚かにも見える彼の突撃は、民衆を城の破壊から守るためだったのかもしれません。優れた外交手腕と家臣・農民からの深い忠誠心もまた、彼の特徴でした。豊臣秀吉への服従を拒否したことで領地を失いましたが、命は助かりました。信長とは対照的な、ある意味で幸せな結末でした。
続きを読む