セガサミーホールディングスの経営会議プレゼンテーションで、龍が如く：無限の富、ペルソナ3 リロード、ソニックフロンティアーズ、真・女神転生V、ペルソナ5ロイヤルなど、複数の主要タイトルの売上高が誤って公開されました。グレーのブロックで隠されていた25ページのデータは、PDFのフォーマットの欠陥により公開されました。リークされたデータは、ペルソナ5ロイヤル（リマスター版を含む）が100万本を超えるなど、驚異的な売上高を示しています。この発表はファン間で大きな議論を巻き起こしました。
続きを読む
1956年、ニキータ・フルシチョフはソ連共産党第20回大会で「個性崇拝とその帰結について」と題する秘密演説を行い、スターリンの全体主義的支配と粛清を痛烈に批判しました。この演説は西側に漏洩し、スターリンの残虐さの程度を明らかにし、ソ連国内の混乱を引き起こし、共産主義世界に大きな影響を与えました。脱スターリン化を促し、中ソ分裂の一因となり、ポーランドのジャーナリストとイスラエル情報機関を巻き込んだ劇的な出来事を経て、フルシチョフの融解として知られる短期間の自由化をもたらしました。
続きを読む
この記事は、WhatsAppからSignalへの移行を強く推奨し、その理由を詳しく説明しています。WhatsAppの親会社であるMetaとマーク・ザッカーバーグの行動、データ共有、法執行機関との協力、選挙への介入などに関する懸念は、深刻な倫理的およびプライバシー上の問題を引き起こしています。対照的に、Signalはユーザーのプライバシーを優先し、さまざまな組織から支持を受けています。この記事は最後に、WhatsAppからSignalへの移行手順を簡潔に示し、ユーザーに個人情報の保護とより倫理的なオンライン環境の優先を促しています。
続きを読む
Chromeビルドインフラチームは、ChromiumのビルドシステムがNinjaからSisoに移行することを発表しました。SisoはNinjaの代替品であり、ネイティブにリモート実行をサポートしています。外部開発者はautoninjaを使い続けるだけでよく、次回`gn clean`を実行した後、自動的にSisoを使用します。問題が発生した場合は、`args.gn`で`use_siso=false`を設定してNinjaに戻ることができます。Ninjaのサポートは9月末に終了し、Reclientも削除されます。
続きを読む
数世紀にわたり、素数は数学者を魅了してきました。今回、Ken Onoとその同僚たちは、整数分割を用いた新しいアプローチを発見しました。彼らは、素数が、分割関数を用いた無限に多くの多項式方程式の解であることを証明しました。この画期的な発見は、素数の定義を無限に多く提供し、組み合わせ関数に関するさらなる研究を促進し、新たな数学的思考を育む可能性があります。
続きを読む
25年以上のコンピュータ使用経験を持つベテランユーザーが、安価ながらも驚くほど便利なアダプターやガジェットを紹介。ノートPCの接続を容易にするRJ45角度アダプター、ディスクのクローン作成に便利なSATA-USBアダプター、USB-C変換器、高音質を実現するBluetoothアダプターなど、AliExpressで見つけたこれらのアイテムは、日々のテクノロジーに関するストレスを解消します。安価で効果的で、テクノロジー愛好家にとってマストアイテムです。
続きを読む
パリの不動産スタートアップJoe AIで働くソフトウェアエンジニアが、本番データベースでユーザーレコードを誤って削除し、カスケード削除がトリガーされ、3ヶ月分の重要なデータが消失する事故が発生しました。Supabaseの有料プランにアップグレードすることで一部データが復旧しましたが、この事故は本番データベースを直接操作することのリスクと、堅牢なバックアップ戦略の重要性を浮き彫りにしました。この災害により、チームは開発ワークフローを改善し、ローカルSupabaseインスタンスをセットアップすることで効率が向上しました。この経験は、失敗から学び、リスクを恐れず、反復的な改善を行う文化の重要性を強調しています。
続きを読む
西アジアと北アフリカのユーザーから、サムスンのAシリーズとMシリーズのスマートフォンにプリインストールされたAppCloudというブロートウェアアプリに関する報告が多数寄せられています。このアプリは、ユーザーの同意なしに秘密裏に機密データを収集し、簡単に削除できません。ironSource（現在はUnityが所有）によって開発されたこのアプリは、データ慣行に関する透明性に欠けており、プライバシーとセキュリティに関する重大な懸念を引き起こしています。公開書簡では、サムスンに対し、AppCloudに関する明確な情報提供、オプトアウトの提供、プリインストール慣行の見直しを求めています。
続きを読む
テキサス州の保安官は今週、ジャスパー郡の家族が2万5000ドルをだまし取られたと報告した後に、ビットコインATMから3万2000ドルを回収するために電動工具を使用しました。写真には、保安官が円形のこぎりを使ってBitcoin Depotのキオスクを破り、現金の束を回収する様子が写っています。この事件は、ビットコインATMが詐欺の標的になりやすいことを浮き彫りにし、FBIは2024年に60歳以上のアメリカ人がこれらのマシンに関連する損失として1億700万ドルを報告しています。当局は被害者の資金を回収しましたが、オンラインの詐欺師はまだ捕まっていません。
続きを読む
このシリーズは、抽象代数、特にガロア体（有限体）とそのコンピュータサイエンスにおける応用へのやさしい入門です。著者は、コンピュータ科学者にとってアクセスしやすいリソースの不足を指摘し、Rustコードの具体的な例を用いた段階的なアプローチを提供しています。Reed-Solomon符号、AES暗号化などを取り上げます。理解を重視し、最適化は重視していないため、初心者にとって理想的です。
続きを読む
新しい規制への準拠のため、AppleはEU圏のiPhoneとiPadのページにエネルギー効率ラベルを追加し、印刷版も付属しました。ラベルはAからGまでの等級でエネルギー効率を評価しますが、Appleは曖昧な試験方法を理由に、iPhoneの等級をAからBに保守的に引き下げました。ラベルにはバッテリー寿命、修理可能性、耐久性などの情報も含まれています。詳細はAppleのウェブサイトまたは欧州委員会のデータベースをご覧ください。
続きを読む
この記事は、ミニマルなiOS 7から現在のリキッドグラスの美学に至るまで、アップルのデザイン言語の10年間の進化を振り返っています。著者はアップルのデザインの方向性について懸念を表明し、新しいデザインは古典的な要素の理解に欠け、ユーザビリティとアクセシビリティを軽視しており、アプリアイコンの均質化とプラットフォームの安定性の低下につながっていると主張しています。特にリキッドグラスによる不要なUI変更を批判し、アップルのヒューマンインターフェースグループの責任者であるアラン・ダイのリーダーシップにも疑問を呈し、プラットフォームの歴史とユーザーニーズの理解不足を示唆しています。
続きを読む
AtomicOSは、ゼロから構築された教育用のオペレーティングシステムで、パフォーマンスよりもセキュリティを優先しています。決定的なプログラミング言語Tempoを使用し、真のメモリ保護、暗号化（AES-128、SHA-256）、完全なMMUを実装しています。現在、ネットワークスタック、ファイルシステム、ドライバなどの機能が不足していますが、セキュリティ重視の設計と実装は注目に値します。このプロジェクトはオープンソースですが、クレジット表示と変更の開示が必要です。
続きを読む
フランスのANSESによる研究で、ガラス瓶入りの飲料は、プラスチック瓶や缶入りの飲料に比べて、マイクロプラスチック汚染が驚くほど高いことが明らかになりました。特にコーラ、レモネード、アイスティー、ビールで顕著です。ガラス瓶では1リットルあたり約100個のマイクロプラスチック粒子が検出された一方、プラスチック瓶や缶でははるかに少ない量でした（5～50倍少ない）。その原因は？瓶のキャップの塗料からマイクロプラスチックが放出されている可能性が高く、保管時の摩擦で生じた微小な傷がその原因と考えられます。キャップを洗浄することで汚染は大幅に減少しました。この研究は、メーカーに対し、キャップの保管方法や塗料の組成を変えることを提案しています。
続きを読む
欧州宇宙機関のProba-3ミッションは、2機の衛星による精密フォーメーションフライトにより、世界で初めて軌道上で人工的な皆既日食を成功させました。これにより得られた太陽の外層大気であるコロナの画像は、フォーメーションフライト技術の可能性を示すとともに、貴重な科学データを提供します。ミッションのASPIICS装置は、前例のない詳細さでコロナを捉え、DARAは全太陽放射を測定します。この成果は、太陽コロナの謎、例えば、予想外に高い温度などを解明するのに役立ち、宇宙天気予報モデルの改善に繋がるでしょう。
続きを読む
Cloudflareは、7.3Tbpsという記録的な分散型サービス拒否（DDoS）攻撃を報告しました。わずか45秒で37.4TBのジャンクトラフィックが発生しました。攻撃者は単一のIPアドレスの約22,000の宛先ポートを「カーペット爆撃」し、UDPプロトコルの接続検証がないことを利用して、ターゲットサーバーを圧倒しました。この事件は、インターネットセキュリティに対する増大する脅威と、大規模なDDoS攻撃の規模と複雑さの増大を浮き彫りにしています。
続きを読む
AMDのInstinctアーキテクトチーフであるAlan Smith氏がインタビューを受け、GFX9アーキテクチャに基づく新型MI350シリーズAIアクセラレータの詳細を説明しました。MI350はGFX9アーキテクチャを採用していますが、LDS容量の増加（160KB）と帯域幅の向上、FP8、FP6、FP4データ型をサポートするマイクロスケーリングフォーマットの導入により、大幅な性能向上を実現しています。特に注目すべきは、MI350のFP6とFP4が同じスループットであることで、これはAMDがFP6のトレーニングと推論の両方における可能性に自信を持っていることを示しています。さらに、MI350はTF32ハードウェアアクセラレーションを省略し、最適化されたBF16を採用しており、TF32をサポートするためのソフトウェアエミュレーションを提供しています。N3PプロセスコンピューティングチップとN6プロセスI/Oチップで構築されたMI350は、設計を最適化し、演算ユニット数を削減することで、電力消費を削減しながら高性能を実現しています。
続きを読む
Microsoftのファミリーセーフティ機能のバグにより、一部のWindowsデバイスでChromeが開けなくなっています。6月3日に最初に報告されたこの問題は、Chromeが予期せず閉じたり、起動を拒否したりする原因となります。Chrome.exeの名前変更や、ファミリーセーフティの「不適切なWebサイトをフィルタリングする」設定の無効化など、回避策を見つけたユーザーもいますが、Microsoftは2週間以上経っても、この問題を公に認めても修正もしていません。この出来事は、MicrosoftがChromeよりも自社のEdgeブラウザを促進するために、問題のある戦術を用いてきたという懸念を高めています。
続きを読む
この記事は、アインシュタインら著名人と交流しながらも、自身の画期的な心に関する理論を発表しなかったために無名に終わった天才物理学者、ピーター・プットナムの人生を描いています。著者は12年にわたる探求の末、プットナムの未発表原稿を発見し、AIや認知科学に影響を与える深遠な理論を明らかにしました。物語は、プットナムの科学的才能と、母親との難しい関係、同性愛、社会正義への静かな献身といった複雑な私生活を織り交ぜています。悲劇的な死は、認められなかった天才の苦い運命と、科学の普及における課題を浮き彫りにしています。
続きを読む
arXivLabsは、開発者がarXivウェブサイト上で直接、新しいarXiv機能を開発・共有できる新しい共同フレームワークです。参加する個人や組織は、arXivのオープン性、コミュニティ、卓越性、ユーザーデータプライバシーという価値観を共有しています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティを向上させるアイデアをお持ちですか？arXivLabsの詳細をご覧ください！
続きを読む
ライブラリは十分に活用されていません。その理由は、ドキュメントを読むよりもコードを書く方が楽しいこと、ダニングクルーガー効果によってライブラリの複雑さを過小評価すること、社内プロジェクトがライブラリと競合することなどです。LLMはこの問題を悪化させています。「雰囲気コーディング」は楽しく効率的ですが、出力は実証済みのライブラリに劣ることがよくあります。LLM生成コードはプロンプトエンジニアリングの限界を受けやすく、一方、ライブラリ作成者は問題をより深く理解しており、より高品質なコードを生成するためにLLMを活用できます。皮肉なことに、LLMへの過度な依存は革新と見なされる可能性があり、歪んだインセンティブを生み出し、問題をさらに悪化させます。複雑なタスクでは、確立されたライブラリをLLMの直接使用よりも優先することが重要です。
続きを読む
科学者たちはオーストラリアのビクトリア州で、1億2700万年前のシロアリの巣の化石を発見しました。これは、これまで発見された中で最古のシロアリの巣であり、恐竜時代の最大の巣の一つかもしれません。化石化した丸太の中の六角形のシロアリの糞と、それより小さいダニの糞の分析から、比較的温暖な極地の気候（約6℃）であったことが示唆されています。この発見は、過去の極地森林に対する理解を覆し、これらの生態系におけるシロアリの重要な役割を浮き彫りにしています。
続きを読む
BYDは、テスラモデル3の競合車であるSeal EVに固体電池を搭載し、テストを行っています。初期テストでは、約1200マイル（1875キロメートル）の航続距離の可能性が示されました。10年以上にわたる研究開発の後、BYDは2025年に道路テストを発表し、2027年には固体電池を搭載した量産車の生産開始、2030年には現在のリチウムイオン電池と同等の費用で量産を目指しています。Sealは、この技術を搭載した最初のモデルになると予想され、高いエネルギー密度と高速充電能力を備え、BYDの世界的なEV市場での支配力を強化するでしょう。
続きを読む
『ジョーズ』50周年を記念して、驚くべき事実が明らかになりました。著作権法の特殊事情により、映画ポスターの象徴的なサメの絵はパブリックドメインになったのです。「歯のある膣」に似ているとして最初は却下されたこの作品は、改訂を経て古典となりました。しかし、1975年の出版時に著作権表示がなかったことで、このイラストは不意にパブリックドメインとなり、アーティストのロジャー・カステルは長年著作権の認知を求めて闘いましたが失敗し、数百万ドルの印税を失いました。オリジナルの絵画の所在は謎のままで、著作権とパブリックドメインに関するこの興味深い物語に新たな一面を加え、アーティストの権利と共有財産に関する議論を巻き起こしています。
続きを読む
WikiTokにインスパイアされたWiki Radioは、ウィキメディア・コモンズにアップロードされたランダムな音声クリップをストリーミングします。政治演説、鳥のさえずり、驚くほどキャッチーな曲など、まさに予測不可能なサウンドスケープです。「Revolution 9モード」に切り替えると、より短いサウンドを楽しむことができます。
続きを読む
国土安全省（DHS）は、2021年以降、主に中国から来た違法な信号妨害装置の押収件数が830％も増加したと警告を発しました。米国と英国では違法なこれらの装置は、緊急サービスや法執行機関の通信を妨害し、住宅侵入や銀行強盗などの犯罪を助長します。DHSは、妨害装置が警察の対応を妨げた事例を挙げ、重要なインフラへの脅威を強調しています。中国も同様の装置の一般利用を禁止しているため、DHSは製造と密輸の抑制に向けて協力することを期待しています。
続きを読む
1996年、マイクロプローズの苦境に失望したCivilization IIのリードデザイナー、ブライアン・レイノルズと共同デザイナーのジェフ・ブリッグスは、独立を決意しました。彼らはシド・マイヤーを迎え入れ、マイクロプローズから持ち出したコードと経験を携え、フィラキス・ゲームズを設立しました。当初は狭いオフィスで苦労しながらも、彼らはゲーム開発を続けました。シド・マイヤーの名声により、EAからの投資を獲得し、『シド・マイヤー ゲティスバーグ！』と待望の『アルファ・ケンタウリ』を開発しました。アルファ・ケンタウリは、Civilizationシリーズのメカニズムを踏襲しながらも、より強い物語性と深い哲学的なテーマを導入し、人類文明の未来と課題を探求しました。一部のゲームメカニズムは未完成だったものの、魅力的なストーリーと未来社会への洞察に満ちた考察が、このゲームを古典的名作として確立しました。
続きを読む
このブログ投稿では、Lean定理証明器を用いて動的計画法の問題をメモ化によって解き、その正当性を正式に検証する方法を示します。著者はBytelandian Gold Coins問題を取り上げ、最初にHashMapを使ったメモ化された解法を示します。データ構造の不変量に関する推論の難しさから、その正当性を直接証明することの困難さが強調されています。この解決策は、サブタイプと依存ペアを利用して`PropMap`を作成します。これは、計算された値だけでなく、その正当性の証明も格納するメモ化テーブルです。そして、アルゴリズムの正当性は、再帰的な実装自体の中で段階的に証明され、最終的には自明なトップレベルの証明に帰着します。このアプローチは、コードと証明を巧みに結びつけ、動的計画法アルゴリズムを正式に検証するための強力な手法を示しています。
続きを読む
このインタラクティブツールを使用すると、MSIファイルの内容を表示し、ファイルをブラウザで直接抽出できます。すべての処理はデバイス上で行われ、サーバーにファイルがアップロードされることはありません。バックグラウンドではPyodideを使用してpymsiを実行し、ファイル、テーブル、サマリー情報、ストリームのビューを提供します。
続きを読む
アマゾンのCEOであるアンディ・ジャシーは、人工知能によって将来、従業員数が減少することを従業員に警告しました。AIによる効率性の向上は、最終的に人間の従業員の必要性を減らすでしょう。正確な影響はまだ不明ですが、今後数年間で、AIの普及によりアマゾンの従業員総数が減少すると予想されます。ジャシーはまた、AIの影響はアマゾンを超えて、人々の働き方や生活様式を変え、無数のAIエージェントを生み出すだろうと述べました。しかし、この予測は物議を醸しており、批判者たちは、これらの警告は研究に基づいておらず、AIの採用から利益を得る立場の人々からのものだと主張しています。経済学者たちは、AIが経済と雇用に大きな影響を与える可能性を認めていますが、現在の影響は、より広範な経済減速と採用活動の減少のために、断定するのが難しいと述べています。
続きを読む