24歳のウガンダのランナー、ジェイコブ・キプリモが、バルセロナで開催されたハーフマラソンで世界新記録を樹立しました。記録タイムは驚異的な56分42秒で、従来の記録を48秒も更新するもので、男子ハーフマラソン史上最大の記録更新となりました。キプリモは、理想的なコンディションと3キロ地点からのペースアップが成功の要因だったと語っています。平均速度は22.3km/hでした。今後は4月のロンドンマラソンでのフルマラソンデビューに照準を合わせています。
続きを読む
この記事では、CPU上でGPUをエミュレートすることを可能にする新しいプログラミング言語、Finite Field Assembly (FF-asm) を紹介します。FF-asmは再帰的計算パラダイムを使用しており、SIMDベクトル化やOpenMP並列化は必要ありません。有限体理論と合同式に基づいたカスタム数学システムを作成することで、CPU上で大規模な並列計算を実現します。この記事では、FF-asmでの加算と乗算をステップバイステップで示すコード例を提供し、GPUエミュレーションの可能性を示しています。
続きを読む
Epyllion社の最近のレポートは、過去10年間におけるPCゲームの継続的な優位性を明らかにしています。このレポートは、2011年以降、PCゲームのコンテンツ支出がコンソール収益を65％以上上回り、合計300億ドルを超えたことを強調しています（ハードウェアを除く）。この成功は、膨大なゲームライブラリ、ほぼ完全な下位互換性、マルチタスク機能、低い参入障壁、eスポーツへの適合性の高さなどの要因によるものです。2024年のコンソール支出が2011年と比べて180億ドル増加したとしても、PCゲームのコンテンツ支出は依然として大幅に高いままです。
続きを読む
EUのプライバシー法と米国のデータ慣行の矛盾、そして米国政府がテクノロジー企業を武器として悪用する可能性への懸念から、著者は自社の米国クラウドサービスへの依存を移行することにしました。この記事では、Microsoft 365からProton、BitwardenからProton Passへの切り替え、そしてGitHub、Google検索、Cloudflare/Google DNS、Docker Hub、NPMなどの他のサービスの段階的な移行のプロセスと経験について詳しく説明しています。Microsoft 365の代替としてProtonへの驚くほどスムーズな移行など、一部の移行は予想よりも簡単でしたが、GitHubなど、他の移行は高い依存性のためにより多くの時間を必要としました。この記事では、米国クラウドサービスへの依存を減らすことの重要性を強調し、ヨーロッパの代替案を探求することを推奨しています。
続きを読む
自転車地図の歴史に特化したウェブサイトが公開されました。主要な地図提供元から厳選された100枚以上の復元された地図抜粋を掲載しています。ブログではなく、閲覧や参照のためのオンライン「コーヒーテーブル」ブックとして機能します。内容は、はじめに、自転車地図の発展、出版社、情報源、地図の日付特定、「ブラックミュージアム」（地図の誤り）などのセクションに分かれています。
続きを読む
大規模言語モデル（LLM）は「幻覚」—不正確な情報を生成する—という問題を抱えています。これは医療分野では特に危険です。メイヨー・クリニックはこの問題を解決するために、革新的な「逆RAG」技術を採用しました。この技術は、モデルが抽出した情報を元のデータソースにリンクすることで、データ検索に基づく幻覚をほぼすべて排除し、臨床現場へのモデル展開を可能にしました。この技術はCUREアルゴリズムとベクトルデータベースを組み合わせることで、すべてのデータポイントの元のソースへの追跡可能性を確保します。これにより、モデルの信頼性と信頼度が向上し、医師の業務負担が大幅に軽減され、パーソナライズド医療の可能性が広がります。
続きを読む
このテキストは、GitHubのコードレビュープロセスでコード提案を適用する際に発生する可能性のあるさまざまな制限をリストしています。これらには、コードの変更がない、プルリクエストが閉じられているかマージされている、変更の一部のみを表示している、行ごとに1つの提案のみ適用可能、削除された行への提案の適用はサポートされていない、提案が既に適用されているか解決済みとしてマークされている、保留中のレビューからの提案は適用できない、複数行のコメントへの提案は許可されていないなどが含まれます。これらの制限により、コードレビュープロセスの整合性と正確性が確保されます。
続きを読む
Hub Entertainment Researchの新しい調査によると、視聴者は多くのストリーミングサービスを知ってはいるものの、それらを区別することに苦労していることが明らかになりました。Netflix、Disney+、Hulu、Maxなどの主要プラットフォームは、各サービスを特徴付けるものを説明する視聴者の能力が年々低下していることを示しています。多くのストリーミングサービスは制作規模を縮小し、人気のあるジャンル（ドラマ、映画、ファンタジー）に焦点を当てるようになり、オリジナルコンテンツの同質化が進み、サブスクリプションへの関心が薄れています。視聴者は特定の番組を見つけるのが難しくなりつつある一方、ライブスポーツは新規登録と加入者の維持の重要な推進要因となっています。NetflixがNFLゲームでライブスポーツに進出したことは特に成功を収めました。この調査は、ストリーミングサービスは、独自のオリジナルコンテンツだけでなく、ブランドを定義する機能や価値を強調すべきだと示唆しています。
続きを読む
新しい論文では、階乗をできるだけ大きな因子に分解するという問題を研究しています。エルデシュらはこれに関する予想を立てていましたが、証明が失われていました。この論文では、素数定理と近似分解の巧妙な応用により、新しい上限と下限を与え、この長年の問題を部分的に解決し、残りの予想を完全に解決するための新たな道筋を提供しています。
続きを読む
このプロジェクトは、naklecha/llama3-from-scratch の拡張版であり、Llama 3 モデルの実装原理と詳細な推論プロセスを理解し習得するのに役立つように、包括的に改善・最適化されています。主な改善点としては、コンテンツの提示順序の再構成、ディレクトリ構造の調整、詳細なコードアノテーション、行列次元の変化の完全なアノテーション、豊富な原理説明と詳細な導出、KV-Cache の導出に関する章の追加、そして中国語と英語のバイリンガルドキュメントなどが挙げられます。このチュートリアルは、モデルファイルと設定ファイルの読み込みから始まり、テキストから埋め込みへの変換、Transformer ブロックの構築、アテンションメカニズムの実装、位置エンコーディング (RoPE)、RMS 正規化、SwiGLU フィードフォワードネットワークなどを段階的に説明し、最終的に次のトークンの予測を行います。さらに、トップ k 予測、異なるトークン埋め込みの影響、そして KV キャッシュメカニズムの原理と利点についても探求しています。
続きを読む
スタンフォード大学から、防衛技術スタートアップが急増している。元Navy SEALのMax Susmanは、大学の資源を活用して政府との契約を獲得。Andrew FangはAndurilでのインターンシップ後、防衛テックスタートアップを設立したが、閉鎖後もこの分野への関心を高めた。現在、政府の方針転換とシリコンバレーの影響を受けて、より多くのスタンフォードの学生が防衛技術分野に進出している。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接arXivウェブサイト上で開発・共有することを可能にするフレームワークです。arXivLabsと協力する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーとのみ協力しています。arXivコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーとのみ協力しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Pillar Securityの研究者たちは、「ルールファイルバックドア」と呼ばれる危険な新しいサプライチェーン攻撃ベクトルを発見しました。この手法により、ハッカーは、CursorやGitHub CopilotなどのAIコードエディターで使用される一見無害な設定ファイルに悪意のある命令を挿入することで、AI生成コードを密かに侵害することができます。隠されたUnicode文字と高度な回避技術を利用して、攻撃者はAIを操作し、コードレビューを回避する悪意のあるコードを挿入します。この攻撃は事実上目に見えず、悪意のあるコードを密かに伝播させます。AI自体を武器化することで、この攻撃は開発者の信頼できるアシスタントを不本意な共犯者に変え、数百万人のユーザーに影響を与える可能性があります。
続きを読む
この記事は、2万人を収容するために冷戦期にスイスで建設された、7階建ての地下司令センターであるゾンネンベルクへの訪問記です。見事な設計ながら、1987年の試験運用では大きな欠陥が明らかになりました。この記事では、第二次世界大戦の経験と独特の国民的アイデンティティに根ざした、スイスの強固な民間防衛プログラムの歴史的文脈を探ります。しかし、核戦争の生存可能性にも疑問を呈し、外交と不拡散の重要性を強調しています。最終的に、この記事はゾンネンベルクの複雑な遺産、つまり冷戦時代の不安と平和への持続的な希望の両方を反映しています。
続きを読む
著者は、2000年のドットコムバブル崩壊と2008年の金融危機における自身の経験を語り、否定できない成功にもかかわらず、資本主義に内在する不安定性を強調しています。資本主義は数十億人を貧困から救い出した一方で、その本質は不安定であると主張しています。「パパ・ベア」レベルの危機が迫る中、著者はリスクを無視することは、盲目的にシステムと戦うことと同じくらい危険であると示唆しています。本エッセイは、資本主義のアップグレード、つまり強みを維持しつつ欠点を軽減することを提唱し、読者に重要な議論への参加を促しています。
続きを読む
著者は「ノーAI 12月」というチャレンジを行い、ChatGPTなどのAIツールを1ヶ月間使用しないことにしました。最初は冗談でしたが、テクノロジーの影響について深く考えるきっかけとなりました。AIへの過剰な依存が思考力、問題解決能力、情報の記憶力の低下につながっていることに気づきました。著者は、AIに頼らず能動的に深く考えることを提唱し、「ノーAI 12月」チャレンジに挑戦することを勧めています。
続きを読む
cr.yp.toのブログ記事は、乱数生成における重大な脆弱性、エントロピー攻撃を明らかにしています。従来の考えでは、複数のエントロピーソースをハッシュすることでランダム性が向上するとされてきましたが、著者によると、単一のソースが侵害されると、攻撃者はハッシュの出力を操作し、生成される乱数を制御できるようになります。これは、DSAやECDSAなど、乱数に依存する暗号システムにとって大きな脅威であり、攻撃者はこの脆弱性を悪用して秘密鍵を盗む可能性があります。決定論的署名生成メカニズムを持つEdDSAは、この攻撃に対してより強い耐性を示します。記事では、セキュリティ強化のため、エントロピーソースの数を最小限に抑え、決定論的な暗号手法を採用することを推奨しています。
続きを読む
C++標準ライブラリ（STL）のひどいコンパイル時間と可読性の悪さにうんざりしたオープンソース開発者が、ゼロから代替品を構築することにしました。それがPystdです。Python標準ライブラリを参考に、ファイル処理、文字列操作、UTF-8検証、ハッシュマップ、ベクトル、ソートなどを段階的に実装しました。結果は？STL版と比較して遜色ない機能を持つアプリケーションを、1000行以下のコードで実現しました。Pystdはコンパイル速度と実行ファイルサイズが大幅に改善されています。独自のバージョン管理スキーム（例：pystd2025）により、完璧なABI安定性が確保され、将来のアップデートとメンテナンスが容易になります。
続きを読む
100万人以上の若手研究者に関する分析によると、小規模研究グループに所属するポスドク、大学院生、若手科学者は、アカデミアに残る可能性が高いことが明らかになりました。大規模グループ出身の研究者でアカデミアに残る者はより大きな成功を収める一方、離職率も高いことが示されました。Nature Human Behaviourに掲載されたこの研究は、アカデミアからの研究者の流出と博士課程学生のメンタルヘルス危機に関する貴重な知見を提供し、将来の博士課程候補者へのガイダンスとなります。
続きを読む
ゲーム開発者のジョナサン・ブロウは、ソフトウェア抽象化が文明の終焉をもたらすと主張し、過剰な抽象化が低レベルプログラミングの知識の喪失につながり、最終的に重要なソフトウェアの維持を危うくすると述べています。この記事では、ブロウの主張を詳細に反論し、彼の議論における多くの誤りと誤解、例えば「ファイブ・ナインズ」(99.999%稼働率)指標の誤用や、現代ソフトウェアの堅牢性と開発者の生産性の過小評価などを指摘しています。著者は、過剰な抽象化には問題があるものの、ソフトウェアとハードウェア技術は進化を続け、オープンソースコミュニティや教育リソースの普及によって新たな低レベル開発者が育成されていると主張しています。最終的に、著者はブロウの見解は客観的な事実よりも個人的な経験や郷愁に基づいていると示唆しています。
続きを読む
110万人のスウェーデン人男性を対象とした研究は、フィットネスと死亡率の低下の長年の関連性に疑問を呈しています。研究者たちは、思春期に高いフィットネスレベルを持っていた人々は全体的な死亡率が低い一方で、事故による死亡率も同様に低いことを発見しました。これは、他の交絡因子が存在することを示唆しています。ネガティブコントロールアウトカム分析と兄弟比較デザインにより、潜在的なバイアスが確認され、フィットネスが心血管疾患と癌による死亡率に及ぼす影響が過大評価されていることが示唆されました。この研究は、大規模な介入は信頼できる推定に基づいて行う必要があり、過大な期待のリスクを回避すべきであることを強調しています。
続きを読む
この記事では、Cosmopolitan Libcプロジェクトのサイズ最適化テクニックについて説明します。x86アセンブリと高度なコンパイル技術を使用して、実行ファイルのサイズを劇的に削減します。解説する主な手法は、ランレングスエンコーディング、分散セクション、デッドコード除去、δzdエンコーディング、関数オーバーラップ、printfの最適化などです。最終的な成果は、Linux、FreeBSD、NetBSD、OpenBSDの4つのOSで動作する400バイト以下のELF実行ファイルです。これは、リソースの効率的な使用を示し、大規模コードベースの拡張性に関する新たな視点を与えます。
続きを読む
Homaは、データセンターアプリケーション向けに設計された新しいネットワーク転送プロトコルであり、多数の小さなメッセージの送信オーバーヘッドを削減することを目的としています。従来のTCP/UDPとは異なり、接続確立が不要で、独自の要求応答メカニズムと優先順位付きキューを使用して、レイテンシを最小限に抑えます。現在、HomaはLinuxカーネルへの統合を目指していますが、将来はネットワーク機器内のハードウェアアクセラレーションに大きく依存する可能性があります。
続きを読む
WhippyTermは、組込み開発者向けに設計された最新のターミナルプログラムです。モダンなUI、WindowsとLinuxの両OSへの対応、ブックマーク、内蔵16進ダンプ、プラグインによる拡張性、ネイティブなバイナリプロトコルサポートといった独自の機能を備えています。シリアル通信（RS232、RS485、RS422、TTL UART）、TCP/IP、UDPをサポートし、プラグインを通じてI2CやSPIにも対応します。また、RS232などのシリアルストリームやUDPなどのメッセージブロックプロトコルにおけるバイナリプロトコルの処理にも対応し、バイナリデータやASCIIデータのブロック送信をサポートしています。
続きを読む
BasecampがリリースしたKamalは、ベアメタルサーバーへのRailsアプリのデプロイソリューションだが、使い勝手は必ずしも良くない。この記事では、より簡単な代替手段であるDokkuを紹介する。Dokkuは、自己ホスト型のHerokuのようなものだ。筆者は、Dokkuを使ったRailsアプリのデプロイ手順をステップバイステップで解説しており、Dokkuのインストール、アプリの作成、データベース（PostgreSQL）の設定、環境変数の設定、ドメインとSSL証明書（Let's Encryptを使用）の設定、webとreleaseプロセスの指定のためのProcfileの使用などを網羅している。さらに、デプロイプロセス全体を自動化するDeployless gemについても紹介している。
続きを読む
MITの研究者たちは、人工受粉を目的とした画期的なロボット昆虫を発表し、屋内農業に革命を起こす可能性があります。1グラム以下の重さで、この敏捷なロボットは本物の昆虫の羽ばたき飛行を模倣し、前モデルよりも100倍も長い約17分間の飛行を実現しました。ビジョンは、収量を最大化し、環境への影響を最小限に抑える複数階層の屋内農場で、これらのロボットの群れが同期した受粉任務を実行することです。ミツバチと比較して速度と持久力はまだ改善が必要ですが、この進歩は持続可能で高収量の農業に向けた大きな一歩です。
続きを読む
著者は2024年のAdvent of Codeチャレンジに参加し、配列言語BQNを学ぶことにしました。この記事では、環境構築、ドキュメントとツールの使用経験、BQNの独自演算子、配列操作、関数定義方法などの特徴を紹介しています。いくつかのAdvent of Codeの問題解決例が示され、BQNが配列やグリッド問題を扱う際の強みと、命令型言語との違いが明らかになります。最初は難しいと感じましたが、最終的に著者はBQNを楽しくて強力な言語だと評価し、特にプログラミングパズルを解くのに適していると結論付けています。
続きを読む
開発者がMicrosoft Excel内でLinuxシステムを実行することに成功しました！mini-rv32imaという軽量エミュレータを使用して、DLLとしてコンパイルし、VBAマクロを介して呼び出すことで、Excelセルに直接Linuxの出力を表示することに成功しました。プロジェクトにはバグがあることは認められており、開発者はVBAやExcel数式でエミュレータを書き直す代わりに外部DLLを使用していることを認めていますが、これは創意工夫とプログラミングスキルを示す創造的で楽しい実験です。
続きを読む
このコードは、3D球面上にある2点間のパスを計算するアルゴリズムを実装しています。まず、始点と終点のベクトルをローカル座標系に変換し、次にクォータニオン補間を使用してパス上の複数の点を計算し、最後に2点を結ぶ曲線を生成します。このアルゴリズムは、3Dベクトルとクォータニオンの特性を巧みに利用することで、滑らかな球面パスを効率的に計算し、3Dシーンでのパスプランニングやアニメーションに適しています。
続きを読む