地球から火星へ金属を輸送するのは非常に高価です。スウィンバーン工科大学とCSIROの研究者たちは、火星レゴリスから金属を製造することで、現地資源利用（ISRU）を模索しています。彼らはレゴリス模擬物質を用いて鉄の製造に成功し、火星での持続可能な金属生産への道を開き、地球上の冶金学に革命を起こす可能性があります。
続きを読む
ISEVICは、あなたの年代物のCommodore 64でHDMI経由でデジタルビデオを出力できるようにするFPGAコアです！カートリッジポートのバス信号を読み取り、それらをディスプレイ可能な画像に変換することで動作します。Tang Nano 20Kなど、複数のFPGAプラットフォームをサポートしています。このプロジェクトには、C64カートリッジスロット用のキャリアボードのGerberファイルとbitstreamファイルが含まれており、PALとNTSCの自動検出機能も備えています。ほとんどのカートリッジは動作しますが、一部（EasyFlash 3など）は互換性の問題がある可能性があります。実験的なSIDエミュレーションによるサウンドサポートも含まれています。クラシックを再び体験する準備はできていますか？
続きを読む
マイクロソフトは、更新されたWindows 11ハードウェア互換性プログラム（WHCP）で、USB-Cポートの不整合問題に取り組んでいます。この取り組みは、すべてのUSB-Cポートでデータ、充電、ディスプレイ機能を一貫してサポートすることを保証します。さらに、USB 4 40Gbpsポートは、USB4とThunderbolt 3周辺機器の両方を完全にサポートします。マイクロソフトは、Windows 11 24H2を搭載した認定済みのWindows 11ラップトップとタブレットは、すでにこれらの規則に準拠していると述べています。これにより、ユーザーの不満が解消され、すべてのUSB-Cポートで一貫性のある機能性が保証されるはずです。
続きを読む
物語は、クロスワード愛好家のDiscordサーバーであるCrosscordで始まります。「ダブルダブル」と呼ばれる現象、つまり興味深い関係（同義語など）を持つ単語のペアのペアが登場し、「スクエア」構造を示しました。この構造はクロスワードに限定されません。ブランディング、ジョーク、さらには研究論文のタイトルにも見られます。著者はこれを「スクエア理論」と呼び、この構造の閉じた性質と偶然性が本質的に魅力的であると主張しています。この理論は、成功したクロスワードテーマ、ブランド名、巧みなジョークの構造を明らかにし、このスクエアアレンジメントに固有の満足のいく完了感を強調しています。
続きを読む
BorrowChecker.jlは、マクロベースのシステムを通じてRustのような所有権と借用セマンティクスをシミュレートするJuliaパッケージであり、開発とテスト中にランタイムチェックを実行してメモリ安全性の問題を検出します。絶対的なメモリ安全性を保証するものではありませんが、より安全なコードの作成に役立ちます。このライブラリは、`@own`、`@move`、`@clone`などのマクロを使用してオブジェクトの所有権を管理し、`@lifetime`ブロックを使用して参照のライフタイムを管理し、自動借用チェックのための`@managed`ブロックも提供します。完全なものではありませんが、Juliaコードのメモリ安全性を向上させたい開発者にとって貴重なツールです。
続きを読む
SmolLM3は、30億パラメーターの完全にオープンソースの多言語大規模言語モデルであり、効率性と性能のバランスを驚くほど取っています。様々なベンチマークでLlama-3.2-3BやQwen2.5-3Bを上回り、さらに大きな40億パラメーターのモデルとも競争力を持ちます。6言語をサポートし、最大128kトークンのコンテキスト長を誇り、独自のデュアルモード推論機能（think/no_think）を備えています。モデルそのものだけでなく、アーキテクチャの詳細、データの混合方法、トレーニング方法を含む完全なエンジニアリング設計図も公開されており、この規模のモデルを構築または研究する上で貴重なリソースとなります。
続きを読む
近年、多くの機械学習の目的関数は、次トークン予測、ノイズ除去拡散、コントラスティブラーニングなど、スケーラビリティを実現しました。しかし、強化学習（RL）、特にQ学習に基づくオフポリシーRLは、複雑で長期的な問題へのスケーリングにおいて課題に直面しています。この記事では、既存のQ学習アルゴリズムは、予測ターゲットにおけるバイアスの蓄積により、100以上の意味のある意思決定ステップを必要とする長期的な問題に対応するのが困難であると主張しています。実験では、データが豊富で変数が制御された状況下でも、標準的なオフポリシーRLアルゴリズムは複雑なタスクを解決できないことが示されました。しかし、ホライゾン削減はスケーラビリティを大幅に向上させるため、データと計算能力の増加だけに頼るのではなく、ホライゾン問題に直接対処するより優れたアルゴリズムが必要であることを示唆しています。
続きを読む
単調なコーディングにうんざりしていませんか？`vscode-pets` VS Code拡張機能は、猫、犬、蛇などの遊び心のあるペットをコーディング環境に追加します！簡単にインストールでき、ペットやテーマのカスタマイズオプションも豊富です。コミュニティ翻訳により、より楽しいコーディング体験が約束されています。
続きを読む
チューリッヒ工科大学の研究者らは、ナノ粒子を用いた哺乳類におけるトランスジーン発現の電磁気的ワイヤレス制御に関する新しい手法を開発しました。このアプローチは、磁場を用いて多強誘電性ナノ粒子（コバルトフェライトとビスマスフェライト）を刺激し、細胞内のKEAP1/NRF2経路を活性化する生物学的に安全な活性酸素種（ROS）を生成することで、インスリンなどの治療タンパク質の発現を精密に制御します。糖尿病マウスモデルで成功裏にテストされ、この技術は注射やインプラントを必要とせずに、遠隔地で動的に治療を調整できます。有望な用途としては、腫瘍学、神経学、再生医療などがあり、精密医療に革命を起こす可能性を秘めています。
続きを読む
大規模言語モデル（LLM）の成功は、膨大なテキストデータによる大規模な事前学習に依存していますが、この資源は最終的に枯渇します。AIの未来は「経験の時代」へと移行し、パラメータの単純な積み重ねではなく、学習に役立つ適切な経験を効率的に収集することが重要になります。この記事では、事前学習がどのようにして探索問題の一部を暗黙的に解決しているか、そしてより良い探索がどのように一般化能力を向上させるかについて探ります。著者は、探索は「世界のサンプリング」（学習環境の選択）と「パスのサンプリング」（環境内でのデータ収集）という2つの軸で構成されると提案しています。将来のAIのスケーリングでは、これらの2つの軸の情報密度を最適化し、パラメータの規模やデータ量を単純に追求するのではなく、計算資源を効率的に割り当てる必要があります。
続きを読む
ハリウッドのビデオゲーム声優は、AI保護策を含む重要な合意に達したことで、約1年間にわたるストライキを終了しました。この合意は、デジタルの肖像権や音声の使用前に出演者からの書面による同意を得ることを義務付け、対面での仕事と同様の報酬を支払うことを定めています。ストライキは、15％以上の賃金の大幅な増加と、今後数年間の追加の昇給も獲得しました。この勝利を祝いつつ、組合指導部は、進化するAI技術に直面して、より良い俳優の権利と保護のために闘い続けることを強調しました。
続きを読む
長年のPCゲーマーが、20年後にSteamアカウントを削除しました。その理由は、Steamクライアントの肥大化、古いハードウェアとの互換性の問題を引き起こすDRMの約束違反、ゲームの互換性と機能を阻害する独自のAPIなどです。著者は、SteamとEpic、Microsoft Store、GOGを比較し、これらの代替案がより優れたDRMとユーザーエクスペリエンスを提供すると主張しています。より良いゲーム体験とソフトウェアの所有権を得るために、サブスクリプションサービスや他のプラットフォームからの購入を提案しています。
続きを読む
Have I Been Pwned (HIBP)は、Cloudflareのグローバルエッジネットワークにデータをキャッシュすることで、速度と可用性を劇的に向上させました。以前は、各クエリはAzureファンクションへの長い移動を伴っていましたが、今ではデータはユーザーの近くに配置されています。これにより、レイテンシが減少、可用性が向上、コストが削減されます。新しいデータの更新によりキャッシュがクリアされ、一時的な速度低下が発生しますが、全体的なアーキテクチャはHIBPのパフォーマンスを大幅に最適化し、数十億件のクエリを処理できるようになりました。
続きを読む
ある大学教授が、学生によるAIを用いたカンニングの広範な発生について、自身の教育現場での課題と対策を報告しています。当初はAIツールの引用を許可していましたが、その後、蔓延するカンニング行為を発見し、Googleドキュメントの活用や手書き課題の導入など、AI使用を阻止するための様々な方法を試行しました。本稿では、AIが教育にもたらす衝撃と、学生の批判的思考力や学習能力を育む方法、成果だけでなく学習プロセスに焦点を当てる必要性を論じています。
続きを読む
面倒なUI開発にうんざりしていませんか？AI駆動のデザインツールを使えば、複雑なUIを3～5日から2～4時間に短縮できます。手動実装による不整合とはお別れです。AIがデザインの一貫性を保証します。デザイン変更も、数時間の手動更新から数分の再生成またはビジュアル編集に変わります。コード品質は保証され、学習曲線は大幅に低減され、イテレーション速度は大幅に向上し、開発者のエクスペリエンスは面倒なものから楽しく効率的なものへと変化します。
続きを読む
Huaweiは、最大3000kmの航続距離とわずか5分の超高速充電を誇る、硫化物系全固体電池に関する特許を出願しました。この開発は、急速に進化する全固体電池市場へのテクノロジー大手による大胆な進出を意味し、電気自動車市場の様相を一変させる可能性があります。特許には、400～500Wh/kgのエネルギー密度を持つ電池が記述されており、従来のリチウムイオン電池の2～3倍に相当します。Huaweiの革新は、硫化物電解質への窒素ドーピングによる電気化学的安定性の向上にあり、硫化物系電池の商業化における長年の課題を克服しています。3000kmの航続距離と5分の充電は理論的なものではありますが、この技術は、次世代電池技術における中国の急速なリードを示しており、世界中の競合他社に懸念と関心を抱かせています。
続きを読む
英国警察は、最大7500万ポンド（1億200万ドル）の予算で、VHSアーカイブのデジタル化という大規模なプロジェクトに着手しています。これは、社内技術の調達またはこれらの時代遅れのテープのデジタルフォーマットへの変換のアウトソーシングを伴います。この取り組みは、VHS、マイクロフィルム、CD、DVDなど、さまざまなメディアを網羅しており、英国公共セクターにおける老朽化した技術の近代化に向けた継続的な努力（と時折の抵抗）を浮き彫りにしています。
続きを読む
ブルーオリジンのCEO、デイブ・リンプは、同社のニューグレンロケットの打ち上げ回数が、今年の目標である8回を大幅に下回ることを認めました。ブースターの回収を目指す2回目のミッション「ネバー・テル・ミー・ジ・オッズ」は、少なくとも8月15日まで延期され、今年唯一の打ち上げとなる可能性があります。内部関係者によると、ジェフ・ベゾスは大幅な遅延に不満を抱いており、8月の打ち上げでさえ楽観的すぎる可能性があり、9月の方が現実的です。同社は今年8つの第2段ロケット（GS2）を製造すると主張していますが、これはベゾスをなだめるための戦略のように見えます。
続きを読む
Googleは、2025年12月にAndroidインスタントアプリ機能の提供を終了します。この機能は、ユーザーがPlayストアから完全インストールすることなく、アプリの一部を試用できるようにするものでした。開発者の採用率の低さが廃止の主な理由と考えられており、より小さく、インスタント対応のアプリバージョンを作成するには、相当な労力が必要でした。ユーザーエクスペリエンスを向上させるために、より高速なアプリへのアクセスとストレージの削減を目的として設計されていましたが、高い開発オーバーヘッドが持続不可能であることが判明しました。
続きを読む
SpaceXは、史上最大級のロケットであるスターシップを9回目の飛行試験に臨みました。これは、スターシップハードウェアの初の本格的な再利用試験となりました。上段は宇宙空間に到達するという大きな進歩を遂げましたが、最終的に両ステージとも飛行目標を達成する前に喪失されました。SpaceX CEOのイーロン・マスクによると、飛行と再突入の間に発生したリークが主タンクの圧力損失を引き起こしたとのことです。今回の失敗にもかかわらず、貴重なデータが収集され、SpaceXは今後3～4週間でさらに3回のスターシップ試験飛行を行う予定です。
続きを読む
OpenAIの最近の巨額資金調達ラウンドは、1570億ドルという評価額を生み出し、議論を巻き起こしています。著者のAshu Gargは、この評価額はOpenAIの将来価値を過大評価していると主張しています。彼は、OpenAIの高額な計算コスト、人材流出、そして持続不可能なビジネスモデルを指摘しています。対照的に、Metaなどの企業はオープンソース戦略を通じて堅牢なAIエコシステムを構築し、より低い運用コストを実現しています。Gargは、AI分野の真の勝者は、汎用モデルの構築ではなく、特定の業界の問題解決に特化したAIアプリケーション企業になると予測しています。
続きを読む
著者は、小説家パトリシア・ハイスミスの最期の数ヶ月間、彼女の助手として過ごした経験を回想する。サスペンスと複雑な感情に満ちた時間だった。チューリッヒでの偶然の出会いから始まり、著者はスイス、テグナにあるハイスミスの独特の世界へと引き込まれる。ハイスミスの偏屈な性格、質素な生活、そして著者に対する曖昧な態度が、著者に不安感を抱かせる。しかし、日々の雑務や交流を通して、著者は伝説的な作家の中に潜む深い孤独と愛への憧れ、そして自己受容への葛藤を徐々に明らかにする。この短くも深い経験は、高く評価されている作家へのより深い理解をもたらし、人生と人間の性質の複雑さに対する新たな視点を提供する。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイトで開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ協力しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Waymoはフィラデルフィアとニューヨークへのロードトリップを開始し、北東市場への拡大を図っています。これは、Waymoの自動運転システムを搭載した有人車両による都市マッピング、それに続く安全運転手を同乗させた自動運転テストを含みます。同様の取り組みは、他の都市で商業サービス開始につながっています。ニューヨークでの無人運転テスト許可申請は保留中であり、商業展開にはまだ時間がかかります。Waymoの全体的な戦略は、商業自動運転タクシーサービスの拡大であり、今年はマイアミ、2026年にはワシントンD.C.での展開を予定しています。
続きを読む
この記事では、SaaSプラットフォームでプライベートデプロイメントを提供することの落とし穴を探ります。収益性の高い一方で、プライベートインストールは膨大な運用とサポートの負担を伴います。著者は、これによりSaaSベンダーは運用組織またはヘルプデスク組織に変貌し、顧客固有の環境を維持するために多大なリソースが必要になると主張しています。この記事では、どうしても必要な場合を除いてプライベートデプロイメントを避けるようアドバイスし、管理されたホスト型デプロイメントと、リスク軽減のための慎重な契約条件と価格設定を提案しています。
続きを読む
この記事では、映画史上で最も嫌われている映画と、その裏で活躍する俳優たちを探ります。観客の不評と嫌悪の度合いを分析することで、キャッツ、バトルフィールド・アース、フィフティ・シェイズ・オブ・グレイといった酷評された映画が、「酷すぎて良い」という独自の性質によって、予期せぬ注目と議論を集めていることが明らかになります。この記事では、ハリウッドの現在のリスク回避戦略と、それがどのようにして1つ星評価の映画の増加につながっているかについても考察します。最終的に、コンテンツ過剰の時代において、たとえ悪い映画であっても、十分な議論を生み出すことができれば、忘れ去られることはないという結論に至ります。
続きを読む
AIとオンライン授業の普及により、学生ローン詐欺が急増しています。犯罪組織はAIチャットボットを「ゴースト学生」として利用し、オンライン授業に登録して財政援助を受け取っています。カリフォルニア州の大学は2024年に120万件の不正申請を報告しており、22万3千件の疑わしい偽登録と少なくとも1110万ドルの損失が発生しました。被害者は多額の債務を抱えるだけでなく、ボットによって授業が満員になるため、必要な授業を受講できない可能性もあります。米国教育省は、政府発行の身分証明書の提示を義務付ける暫定措置を講じていますが、より強力な長期的な解決策が開発中です。
続きを読む
アイスランド・レイキャビク大学のテクノロジー工学部准教授であるHalldór Svavarssonは、コーヒーのシミが乾くと縁が最も濃くなる理由について質問を提起しました。提示されたテキストは説明を提供しておらず、質問と著者の情報のみを示しており、単純な観察を超えた科学的な回答が必要であることを示唆しています。
続きを読む
著者は巧みにラズベリーパイとI2Cツールを使って、安価なHDMIダミープラグのEDID情報を変更しました。新しいEDIDデータを読み書きすることで、ダミープラグを1080pキャプチャデバイスとして偽装し、4K解像度との非互換性の問題を解決しました。このプロセス全体では手順を詳細に説明し、機器の損傷を防ぐために注意を促しています。
続きを読む
FOKSはシンプルな鍵階層を使用してデータアクセスを保護します。基本レベルの鍵には、ユーザーデバイス鍵、バックアップ鍵、YubiKeyなどが含まれます。各ユーザーは複数のユーザー鍵（PUK）を持ち、そのシードシークレットは利用可能なすべての基本レベルの鍵で暗号化されます。基本レベルの鍵を削除すると、PUKはローテーションします。チーム鍵（PTK）は同様に機能し、チームメンバー（ユーザーまたはサブチーム）間で共有され、メンバーの鍵で暗号化されます。この階層により、承認されたデバイス、チーム、ユーザーのみがデータにアクセスできます。
続きを読む