英国のフードデリバリー企業Deliverooは、米国の競合DoorDashから全株式取得を目的とした36億ドルの株式交換による買収提案を受けたことを発表しました。Yahoo Financeの市場分析番組「Market Domination Overtime」では、専門家がニュースを分析し、両社とフードデリバリー市場全体への影響について議論しました。
続きを読む
Googleは、2011年と2012年に発売された初代および2世代目のNest Learning Thermostat、そして2014年発売の欧州版Nest Learning Thermostatに対するソフトウェアアップデートの終了を発表しました。10月25日以降、スマートフォンやGoogleアシスタントからの遠隔操作はできなくなりますが、サーモスタット本体での温度調整やスケジュール変更は可能です。Googleは、今後ヨーロッパで新しいNestサーモスタットを発売する予定はないとも述べていますが、現行の第3世代モデルとNest Thermostat Eは在庫限りで販売を継続します。また、最新のNestサーモスタットのユーザー向けに、Google Homeアプリからスケジュールを作成・調整できる機能が年末までに追加される予定です。ユーザーへの配慮として、Googleは代替サーモスタットの割引を提供しています。この動きは、スマートホームデバイスの寿命に関する懸念を引き起こし、ソフトウェアサポートがその寿命にどれほど重要であるかを示しています。
続きを読む
著者は、スマートフォンで撮影した森の小道のビデオを、ウェブブラウザで探索できるインタラクティブな仮想世界に変換するために、ニューラルネットワークを訓練しました。従来のビデオゲームとは異なり、この世界は、事前に定義されたジオメトリ、照明、アニメーションではなく、以前の画像と制御入力に基づいて新しい画像を生成するニューラルネットワークに依存しています。初期モデルの限界を克服し、著者はトレーニング方法とネットワークアーキテクチャを改良して、比較的スムーズなインタラクティブエクスペリエンスを実現しました。これは、ニューラルネットワークを使用して仮想世界を生成するという新しいアプローチを示しており、より現実的で便利な世界構築の未来を約束しています。
続きを読む
このリストは、アジアやアフリカから南北アメリカやヨーロッパまで、世界中のすべての独立した主権国家と地域をほぼ網羅したリストです。その包括的な性質から、地理データベースの構築、国際貿易調査の実施、グローバルスタディなど、様々な用途に役立ちます。
続きを読む
このチュートリアルでは、tscircuitを使用してRaspberry Pi Picoで制御される3x5 LEDマトリックスの構築方法を詳しく説明し、WiFiによるリモート制御を可能にします。回路設計、部品選択（WS2812B LED）、接続方法（LEDのデイジーチェーン接続）、PCBレイアウト、そして最終的なウェブインターフェースによる制御を網羅しています。情報を表示したり、データの視覚化やインタラクティブな通知システムを作成するためのLEDマトリックスを作成する方法を学びましょう。
続きを読む
GS-Calcは、デスクトップソフトウェアにおける「ビッグデータ」の意味を再定義する最新のスプレッドシートです。数百万行、数千列の巨大なCSVおよびXLSXファイルを容易に処理し、ワークシートとサブフォルダーの数は無制限です。テキストファイルの読み込み、コピー＆ペースト、VLOOKUP/MATCH関数などのタスクにおけるパフォーマンス最適化は、他のスプレッドシートソリューションを大きく上回ります。さらに、GS-Calcは、堅牢なピボットテーブル、モンテカルロシミュレーション、正規表現のサポート、Pythonとの統合など、強力な機能を提供しており、大規模なデータ分析に最適なツールとなっています。
続きを読む
著者は、Aiderで単一のプロンプトを使用して、エクスポートオプションを含む完全に機能するロゴ作成ツールを生成しました。コードスニペットは、LLMがフォントリンク、依存関係、インラインCSSスタイルを生成する能力を示しており、リンクされたCDNライブラリの最新のSHAハッシュさえも含まれています。しかし、Sonnet 3.7を使用してコードを拡張すると、プロジェクトの複雑さが大幅に増加し、最終的にコンパイルできないコードになりました。著者は、ClaudeやGPT-4oなどのさまざまなLLMにおけるコード生成と拡張機能の違い、コンテキストウィンドウサイズ、出力制限などの要因がLLMアプリケーションに与える影響を探求しています。LLMのコンテキストウィンドウと出力制限の限界が、重要な課題として強調されています。
続きを読む
Microsoftは、Recall機能をハイライトとしたCopilot+ PCをリリースします。このリリースには、自然言語処理を搭載した改良されたWindows検索と、「Click to Do」も含まれ、画像からのテキスト抽出、画面上のコンテンツ検索、そして迅速な要約/書き換えが可能です。Copilot+ PCは、毎秒40兆回以上の演算が可能なNPU（ニューラルプロセッシングユニット）を必要とし、現在はQualcomm Snapdragon X EliteおよびPlusチップ、Intel Core Ultra 200Vシリーズ、AMD Ryzen AI 300シリーズプロセッサがサポートされています。Recallと強化された検索はArmとx86の両方で利用可能ですが、「Click to Do」の一部の機能は現在、Armベースのシステムのみに限定されています。
続きを読む
この本は、基本的な構文から高度な機能まで、D言語プログラミングの包括的なガイドを提供します。明確な章立てで、変数、データ型、演算子、制御フロー、関数、クラス、オブジェクト指向プログラミング、テンプレート、並行処理など、D言語の中核となる概念を段階的に説明します。多くのコード例と練習問題が含まれており、読者がD言語のプログラミング技術を習得するのに役立ちます。初心者と経験豊富なプログラマーの両方にとって適しています。
続きを読む
Magnitudeは、Webアプリケーションのための革新的なオープンソースのエンドツーエンドテストフレームワークです。視覚的AIエージェントがインターフェースを「見て」、変更に適応します。自然言語で簡単にテストケースを作成し、強力な推論エージェントによる計画と調整、高速なビジュアルエージェントによる信頼性の高い実行が可能です。ローカルまたはCI/CDパイプラインでテストを実行し、テスト中に発生する問題を自動的に処理します。MagnitudeはGemini 2.5 pro、Anthropic、OpenAIなど、様々なLLMモデルをサポートし、無料のビジュアルモデルMoondreamを提供します。テストの作成と実行を大幅に簡素化します。
続きを読む
数百万ダウンロードと4.9星の評価を獲得したMeta Questの大ヒットソーシャルゲーム「Gym Class」が拡大中！Unityでキャラクターのアニメーションシステムの設計、開発、実装をリードする経験豊富なアニメーションエンジニアを募集しています。この役割には、UnityとC#の専門知識、モバイルゲームアニメーションの経験、IK、アニメーションブレンド、ステートマシンの深い理解、モバイルパフォーマンス最適化のスキルが必要です。あなたは高性能チームを率いて、ゲームにおけるキャラクターの動きの未来を形作ります。
続きを読む
インテルが新しく発売したAI搭載PCチップの売上が予想を大きく下回り、旧世代で安価なチップの生産能力不足という事態を引き起こしています。この発表は、人員削減と低調な決算報告による株価暴落という状況と同時に発表されました。消費者は、高価格なLunar LakeやMeteor Lakeといった新型AIチップよりも、価格の安い前世代のRaptor Lakeチップを選択しています。この結果、「Intel 7」プロセスノードの生産能力不足が継続すると予想されています。旧世代チップへの需要急増は、PC市場におけるAIのキラーアプリが存在しないことを示唆しています。インテルのクライアントコンピューティンググループ（CCG）の第1四半期の売上高は、前年同期比で8％減少しました。AMDの今後の決算発表が、市場の反応に関する更なる洞察を提供することでしょう。
続きを読む
この記事では、カリフォルニア州南部のモハーベ砂漠に伝わるユッカマンの長く続く伝説と、それに似た未確認生物の目撃情報について探ります。1970年代以降、8フィートの高さで毛むくじゃらで赤い目をした生き物の目撃情報が、軍事基地、国立公園、そして人里離れた地域から報告されています。先住民はこれらの生き物を超自然的な存在とみなしていましたが、現代の報告ではビッグフットのような生き物として描かれています。この記事では、エリザベス湖の翼のある獣や近くの鉱山の「セメントモンスター」などの歴史的な類似例についても掘り下げ、地理、歴史、そしてフォークロアを織り交ぜて、魅力的なミステリー物語を展開します。
続きを読む
ショーン・ダフィー長官の下、運輸省（DOT）は、大規模な人員削減によって、特に連邦航空局（FAA）において、不可欠なサービスの維持に苦戦する大きな逆境に直面しました。ダフィー長官の物議を醸す「延期辞職」合意の利用は、約4700人の従業員の退職につながり、深刻な安全上の懸念を引き起こしました。現在、DOTはこれらの従業員の多くを再雇用しようとしており、初期の削減の混乱した、そして潜在的に危険な結果が強調されています。DOTは人員削減が効率化のための措置であると主張していますが、その結果として生じた混乱は、この主張に疑問を投げかけ、航空旅行の安全性について深刻な疑問を提起しています。
続きを読む
この記事では、強力なデバッグテクニックである差分コードカバレッジ分析を紹介します。成功したテストと失敗したテストのコードカバレッジを比較することで、バグのあるコードを迅速に特定できます。著者はGoの`math/big`ライブラリを例に、`go test`と`go tool cover`を使ってカバレッジレポートを生成し、`diff`を使って差分を比較する方法を示しています。これにより、テストの失敗原因となるコードセグメントを効率的に特定し、従来の方法と比較してデバッグ時間を大幅に削減できます。15,000行以上のコードのうち数行のコードのバグを見つけることで、このテクニックが示されています。
続きを読む
XPrize財団は、1億ドル規模のカーボン除去コンペティションの受賞者を発表しました。ヒューストンに拠点を置くスタートアップ企業Mati Carbonは、砕いた玄武岩を農場に散布して大気中のCO2を隔離する、改良型岩石風化技術により、5000万ドルの最優秀賞を受賞しました。Mati Carbonのデータドリブンなアプローチ、厳格な検証プロセス、ソフトウェアプラットフォームは、審査員を感銘させました。直接空気捕捉や海洋ベースのソリューションは、1000トンの除去閾値を達成しませんでしたが、いくつかの企業がマイルストーン賞を受賞し、その進歩を強調しました。カーボン除去技術のスケールアップは、気候変動対策に不可欠です。
続きを読む
数十万点もの政策文書の新たな分析により、米国の政党が科学文献を使用する方法に驚くべき違いがあることが明らかになりました。民主党主導の議会委員会と左派シンクタンクは、共和党の対応者よりもはるかに多くの研究論文を引用する傾向があります。この研究では、民主党と左派グループは、影響力の高い研究を引用する可能性が高く、両陣営が同じ研究やトピックを引用することはめったにないこともわかりました。Science誌に掲載されたこの研究は、民主党が主導する委員会の文書は、共和党が主導する委員会の文書よりも、科学を引用する可能性が約1.8倍高かったことを示しています。
続きを読む
このレビューは、エドウィン・フランクの著書『フィクションより奇妙：20世紀小説の生涯』を探求し、激動の世界における小説の進化を考察しています。フランクは、20世紀の小説は、19世紀の小説にはない同性愛、アルコール依存症、アンチヒーロー、マジックリアリズムなどのテーマを取り入れることで、主題の範囲を広げたと主張しています。しかし、このレビューは、20世紀の小説の深みが、ディケンズやトルストイなどの19世紀の古典作品を凌駕していないことも示唆しています。この文章は、小説の未来と読者への懸念で締めくくり、人間の性質と感情に深く関わってきた文学形式の可能性のある喪失を嘆いています。
続きを読む
デビュー作で物議を醸したのち、マクレーンは翌年2作目となる『私の友達アナベル・リー』を発表。日本製の磁器人形との友情を描いたこのプロト・シュルレアリスム作品は、批評家から無視された。その後の人生は、ジャーナリストとしての活動、経済的な苦境（借金による逮捕も経験）、44歳年上のキャロライン・M・ブランソンとの長期的な同棲など、波乱に満ちたものだった。彼女は結婚、家族、性、宗教など、型にはまらない自身の考えを書き続け、謎めいた、そして物議を醸す遺産を残した。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと連携しています。arXivコミュニティに役立つプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう。
続きを読む
このプロジェクトは、Lean定理証明器を使用して、バートランド・ラッセルのプリンキピア・マテマティカの第1巻を形式化することを目的としています。目標は、形式化が書籍の対応する定理と明確に整合するようにし、混乱を避けることです。このプロジェクトは、ラッセルの証明を厳密に追跡し、追加の記述を最小限に抑えています。より一般的な三段論法の形式を処理するための新しい戦術`Syll`も作成されました。プリンキピア・マテマティカは「壮大な失敗」と見なされていますが、著者は形式化プロセスを有益なものだと感じました。
続きを読む
Curryは、宣言型のマルチパラダイムプログラミング言語であり、関数型プログラミング（ネストされた式、高階関数、強い型付け、遅延評価）と論理型プログラミング（非決定性、組み込み検索、自由変数、部分的なデータ構造）の機能をシームレスに組み合わせています。単一パラダイムの言語と比較して、Curryは、論理指向計算のための最適化された評価や、ユーザー定義関数による柔軟で非決定的なパターンマッチングなどの追加機能を提供します。
続きを読む
マイクロソフトは、インフレクショ ンAIの中核チームを買収するために6億5000万ドルを費やし、創設者ムスタファ・スレイマンの専門知識を活用してAI能力を高め、特にCopilotの低迷するユーザー成長を回復することを期待していました。しかし、スレイマンの参入は順風満帆ではありませんでした。社内チームの統合の困難さ、OpenAIとの関係の悪化、CopilotとChatGPTのユーザー数の大きな開きが、マイクロソフトにとっての課題となっています。この記事では、マイクロソフトがAI分野で直面する戦略的なジレンマと、スレイマンが最終的に成功する消費者向けAI製品を提供できるかどうかを探ります。
続きを読む
ミルウォーキー郡巡回裁判所のハンナ・デューガン判事が、男性の移民当局からの逃亡を手助けした疑いでFBIに逮捕された。これは、トランプ政権と司法当局間の緊張を高めるものだ。FBIは、デューガン判事がエドゥアルド・フローレス・ルイス氏の逮捕を試みた捜査官を故意に誤解させたとしている。デューガン判事の弁護士は、彼女の行動は公共の安全のためではなかったと主張している。この逮捕は、三権分立と政府の権力乱用に関する議論を引き起こしている。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと協力しています。arXivコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsについてもっと学びましょう！
続きを読む
マイクロソフトは、2025年7月にWindowsマップアプリのサポートを終了し、Microsoft Storeから削除することを発表しました。これは、以前のオフラインマップサポートの廃止と、新しいWindows 11 24H2インストールからのアプリの除外に続くものです。ダウンロードは可能ですが、7月以降は再インストールできなくなります。マイクロソフトは、Bingマップのウェブ版への移行を推奨しています。この動きは、マイクロソフトのマップサービスの合理化、ウェブベースのサービスへの注力を示しています。
続きを読む
DOGE予算削減は大きく報道されているものの、赤字への影響は無視できるほど小さい（0.00ドル）。政府効率部門は、助成金や契約をゼロ件キャンセルし、脆弱なコミュニティ、研究、不可欠なサービスに大きな社会コストをもたらした。この記事では、企業の税制上の抜け穴の閉鎖や炭素排出量の削減など、DOGE削減よりもはるかに大きな節約効果を生む2つの代替政策を強調している。これらの政策は、重要なサービスを維持しながら赤字に対処するための、より実質的で意味のあるアプローチを提供する。
続きを読む
新しい研究によると、アマゾンカワイルカ（イニア・ゲオフレンシス）は、独特の行動である空中排尿によってコミュニケーションをとることが明らかになりました。オスのカワイルカは尿を空中に噴射し、近くのオスはしばしばこの「おしっこ噴水」に近づきます。これは、尿が社会的地位や身体状態に関する情報を伝えていることを示唆しています。この発見は、動物が尿を使ってコミュニケーションをとる多様な方法を示す証拠が増えていることを裏付けています。霊長類が個体識別や配偶者探しに尿を使うことから、魚類や甲殻類がサイズや攻撃性を伝えるために尿を使うことまで、尿は動物界において重要な役割を果たしています。この研究は、動物界における嗅覚コミュニケーションの過小評価された役割を強調しています。
続きを読む
UITは、クラウドで大規模に高性能、モジュール型、低メモリファイル処理を行うためのライブラリです。4段階のプロセス（取り込み、フィルタリング/変換、マージ、出力）を使用します。ストリーミングと並列化に基づいて構築されているため、Cloudflare Workersなどの低メモリ環境で効率的に実行できます。モジュール型の設計により、構成可能性とカスタムモジュールの追加が可能です。現在のモジュールは、ZIPファイルの取り込み、データのマージ、形式の変換、検索などのタスクを処理します。UITの目標は、クラウドベースのファイル処理の標準となり、開発者に強力で拡張可能なツールを提供することです。
続きを読む
20年前、象徴的な反著作権侵害キャンペーン「車を盗まないだろう？」が開始されました。最近の発見は衝撃的な皮肉を明らかにしています。キャンペーン資料は、Just Van Rossumによる1992年のFF Confidentialフォントのほぼ同一のクローンである「XBAND Rough」という海賊版フォントを使用していた可能性があります。著作権侵害対策を目的としたキャンペーンが、皮肉にも海賊版素材を使用していた可能性があり、議論を巻き起こし、著作権侵害の蔓延した性質を浮き彫りにしています。オリジナルフォントの作成者はこの状況を滑稽だと考えています。
続きを読む