数学者たちは、ヒルベルトの第10問題の大きな拡張を解き、ディオファントス方程式が解を持つかどうかを決定することが、広範な数の環に対して決定不能であることを証明しました。1970年のユーリ・マチャセビッチによる整数解に関する証明に基づいて、この研究は楕円曲線と二次ねじれを用いて、非整数解を持つ以前のアプローチの限界を克服しています。このブレークスルーは、計算可能性の限界に関する理解を深めるだけでなく、数学研究のための新たなツールも提供します。
続きを読む
現代のコーディングアシスタントはコード検索に大きく依存していますが、既存の評価方法は不十分です。Voyage AIの研究は、現在のデータセットにおける問題点を浮き彫りにしています。ノイズの多いラベル、深層アルゴリズム的推論の評価不足、データ汚染などにより、モデル評価が信頼できない結果になります。これに対処するため、Voyage AIは高品質なコード検索データセットを作成するための2つの方法を提案しています。質問応答データセットの再利用と、GitHubのリポジトリと課題/チケットの活用です。Voyage AIは、複数のプログラミング言語、様々なQAデータセット、ドメイン固有のベンチマークを網羅した独自の内部ベンチマークスイートも構築し、複数のコード埋め込みモデルを評価しました。その結果、Voyage-code-3モデルが最高の性能を示しました。
続きを読む
セキュリティ研究者が、Marvel Rivalsにリモートコード実行（RCE）の脆弱性があることを発見しました。同じWi-Fiネットワークに接続している攻撃者は、他のプレイヤーのPCで任意のコードを実行できます。この脆弱性は、ゲームがパッチ適用にRCEを使用し、サーバー接続を確認せず、管理者権限で実行されていることが原因です。これにより、PCのリモート乗っ取りが可能になります。研究者は、ゲーム開発者がセキュリティを優先し、堅牢なバグ報告システムを実装し、バグ報奨金プログラムを設立して脆弱性の開示を促進する必要があることを強調しています。
続きを読む
著者は、特に女性が不釣り合いなほど行っている家族関係維持の仕事を「感情労働」と呼ぶ一般的な慣習に異議を唱えています。彼女は、この用語が、彼女が「家族の仕事」と呼ぶこの仕事の極めて重要な意味を曖昧にしていると主張します。これは単なる感情管理ではなく、人間の社会的ネットワークを維持し、生存と支援を確保するための不可欠な労働です。「感情労働」と片付けることは、その重要性を過小評価し、現代社会におけるその継続的な必要性を無視しています。著者は、家族のつながりを維持する責任を共有すべきだと訴え、それを女性だけの負担と見なすべきではないと主張しています。
続きを読む
シニア開発者が自身のソフトウェア開発哲学を共有し、ゼロからのコードの書き直しにおける落とし穴を強調しています。書き直しが魅力的に見えるときには、すでに避けられたはずのミス、例えば技術的負債の蓄積やコードの複雑さの増加などが発生していることを指摘しています。アドバイスとしては、拡張フェーズ（新機能）と統合フェーズを交互に行い、磨き上げとテストに十分な時間を割り当て、ベストプラクティスを自動化することなどが挙げられています。エッジケースや異常なデータの考慮、そしてその正しさが明らかなテストしやすいコードの記述も重要視されています。
続きを読む
Anthropicのセーフガード研究チームは、AIジェイルブレイクに対する新たな防御策として、憲法分類器を発表しました。このシステムは、合成データでトレーニングされ、有害な出力を効果的にフィルタリングしながら、誤検知を最小限に抑えます。プロトタイプは、数千時間にわたる人間のレッドチームテストに耐え、ジェイルブレイクの成功率を大幅に削減しましたが、当初は高い拒否率と計算オーバーヘッドに悩まされていました。更新版は、拒否率のわずかな増加と適度な計算コストだけで、堅牢性を維持しています。期間限定のライブデモでは、セキュリティ専門家を招いて耐性をテストし、ますます強力になるAIモデルのより安全な展開への道を切り開きます。
続きを読む
5年にわたるRustの`time`クレートのメンテナンスの後、著者は大きなパフォーマンス最適化を行いました。ユークリッドアフィン関数と巧妙な整数演算を利用して`Date::to_calendar_date`アルゴリズムを再設計することにより、浮動小数点演算と分岐を回避し、パフォーマンスを57.5%向上させました。新しいアルゴリズムは、日付と月の両方をまとめて計算する場合だけでなく、個別に計算する場合にも大幅に高速です。これは簡単な作業ではありませんでしたが、著者はパフォーマンスの向上は努力に見合う価値があると信じています。
続きを読む
httptap は、root 権限なしで、あらゆるプログラムが実行する HTTP および HTTPS リクエストを監視する Linux 用コマンドラインツールです。独立したネットワークネームスペースでターゲットプログラムを実行し、ネットワークトラフィックをインターセプトすることで実現しています。Go 言語で記述されており、依存関係がなく、すぐに実行できます。URL、HTTP ステータスコード、リクエストボディ、レスポンスボディなど、リクエストの詳細情報を表示し、データを HAR ファイルにエクスポートする機能もサポートしています。httptap は DoH（DNS over HTTPS）にも対応し、HTTP リダイレクトを処理します。
続きを読む
OpenAIの最近の商標申請は、AI支援ハードウェアデバイス（ヘッドホン、メガネ、スマートウォッチなど）、ヒューマノイドロボット、カスタムAIチップ、量子コンピューティングサービスなど、さまざまなエキサイティングな新製品ラインの探求を示しています。OpenAIのCEOであるSam Altmanは、AIハードウェア製品がまだ数年先であると述べていますが、この動きは、AIモデルのトレーニングコストを削減し、パフォーマンスを向上させるために、OpenAIがハードウェアと量子コンピューティング分野に積極的に取り組んでいることを示しています。これは、AI産業チェーンのさらなる拡張と、将来のAI技術開発の新たな方向性を予感させます。
続きを読む
この記事では、Linuxのdm-writecacheカーネルモジュールについて詳しく解説します。このモジュールは、NVMe SSDを遅いHDDのライトバックキャッシュとして利用することで、ランダム書き込みのパフォーマンスを劇的に向上させます。著者は、dm-writecacheの有無によるランダム書き込み速度の違いを、実験を通して数十倍の速度向上を実証しています。bcacheやReadyBoostなどの他のキャッシング方法やツールについても触れ、LVM2を使用する場合と使用しない場合のdm-writecacheの設定方法を詳細に説明しています。LVM2がない場合でも、dmsetupを使用して手動で設定できます。最後に、dm-writecacheによる著しいパフォーマンス向上をまとめ、残りのNVMe容量を他の遅いドライブのキャッシュとして利用することを提案しています。
続きを読む
二人のプログラマーが、「Jeff」というAIプログラムを開発しました。これはNintendo Switchのオンライン対戦ゲーム「テトリス99」で、コンピュータビジョン、深さ優先探索アルゴリズム、そして手作りユーティリティ関数を使ってプレイします。JeffはHDMIでゲーム画面をキャプチャし、ボードの状態と次のブロックを分析して、マイクロコントローラーを介してSwitchにボタンコマンドを送信します。当初はウェブカメラとBluetoothでの制御を目指していましたが、最終的にはHDMIキャプチャカードとUSB接続に切り替え、プロセスを大幅に簡素化しました。画面効果の干渉やアルゴリズムの最適化などの課題を克服し、Jeffは数試合で1位を獲得しました。このプロジェクトは、リアルタイムゲームプレイのためのコンピュータビジョンと古典的AIの組み合わせの威力を示しています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接arXivウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンネス、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティに役立つプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
1924年、ニールス・ボーア、ヘンドリック・クラマース、ジョン・スレーターは、当時量子力学が直面していた危機を解決しようと、量子放射に関する画期的な理論を提案しました。この理論は、エネルギー保存則が量子レベルでは成り立たない可能性があるという大胆な仮説を立てました。実験によってすぐに否定されたものの、この理論は、量子力学に対する物理学界の混乱と探求を反映しており、ボーアとアインシュタインの間で長年続いた解釈をめぐる論争の前兆となりました。この論文は、後に量子力学の重要な解釈（ド・ブロイ＝ボーム解釈など）となる「パイロット波」の概念にも触れており、量子力学の歴史に独特の足跡を残し、より深い理解に向けた探求を促しました。
続きを読む
大家さんはVenmoを受け付けておらず、税金は小切手で支払う必要がある？Check Supplyは古い問題に対する現代的な解決策を提供します。請求書、ギフト、給与のために無制限の小切手を送信し、リアルタイムの追跡と詳細なレポートを利用できます。将来的な機能には、スケジュールされた配送、定期的な支払い、残高が少ない場合の警告が含まれ、財務の効率化が図られます。
続きを読む
この記事では、imessage-exporterプロジェクトによって行われた、Apple独自のバイナリシリアル化プロトコルであるtypedstreamのリバースエンジニアリングのプロセスについて詳しく説明しています。iMessageデータの保存に使用されるtypedstreamは、ドキュメント化されておらず、Appleの公開APIの一部ではありません。iMessageデータベース内のBLOBデータを分析することにより、著者らはtypedstream形式内のパターンを特定しました。たとえば、0x84はデータブロックの開始を示し、それに続くバイトは長さを示し、0x86はブロックの終了を示します。これらのパターンを使用して、著者らはtypedstreamデータを逆シリアル化し、iMessageデータへのクロスプラットフォームアクセスを実現しました。
続きを読む
ニューヨーク市長エリック・アダムズは病気で1週間欠席しており、4月には汚職裁判を控えています。支持率もわずか6％です。しかし、ハーレム地区のパイロットプログラムでは、密閉されたゴミ箱の使用と週6日間のゴミ収集を義務付けることで、ネズミの個体数の減少という初期の成功が見られました。2年間にわたる「ネズミとの戦い」における小さな勝利と言えるでしょう。
続きを読む
この記事では、Pythonで人気のJITデコレータパターン、特にJAXとTritonライブラリでの使用について詳しく説明します。著者は簡略化された例を用いて、ASTベース、バイトコードベース、トレースベースの3つのJITデコレータをゼロから実装します。ASTベースのアプローチは抽象構文木を直接操作し、バイトコードベースのアプローチはPythonのバイトコードインタプリタを活用し、トレースベースのアプローチは実行時の関数の実行をトレースすることで式IRを構築します。この記事では、各アプローチの長所と短所を詳しく説明し、JAXとNumbaを例に、現実世界のアプリケーションにおける戦略を説明します。
続きを読む
6ヶ月間、著者は余暇時間を使い、Semblanceという名前のC言語によるWebAssembly仮想マシンを構築しました。このプロジェクトは、短命なサイドプロジェクトのサイクルから脱却し、WebAssemblyコア仕様の深い理解を可能にしました。この記事では、モジュールのデコード、インポートの解決、モジュールのインスタンス化、命令の実行などを網羅したアーキテクチャの詳細を説明しています。著者は課題と学びを共有し、最終的に「Hello, World！」プログラムを正常に実行しました。このプロジェクトは、著者のスキル向上だけでなく、将来の産業レベルのランタイムへの貢献のための強力な基盤も築きました。
続きを読む
長い間、Rubyにおける「スレッド競合」を誤解していました。それは混沌とした争いではなく、Rubyのスレッドはグローバル仮想マシンロック（GVL）を取得するためにきちんとキューイングします。各スレッドはGVLを取得し、コードを実行し、その後解放するか、一定時間（スレッドのクォンタム、デフォルト100ms）後にプリエンプションされます。これは、スレッドがI/Oを実行するか、クォンタムより長く実行された場合に発生します。これを理解することは、マルチスレッドアプリケーションの最適化、特にCPUバウンドスレッドがI/Oバウンドスレッドをブロックしてテールレイテンシが増加するのを防ぐために不可欠です。CPUバウンドスレッドの優先順位を下げるか、スレッドクォンタムを減らすことで対応できますが、最小スライスは10msです。
続きを読む
Klarityは、生成モデルの出力における不確実性を分析するためのツールです。生の確率分析と意味理解を組み合わせることで、テキスト生成中のモデルの動作に関する深い洞察を提供します。このライブラリは、二重エントロピー分析、意味クラスタリング、構造化されたJSON出力、そして人間が読める洞察を提供するAI駆動型分析を提供します。現在Hugging Face Transformersをサポートしており、より幅広いフレームワークとモデルのサポートを計画しています。
続きを読む
シェイクスピアの作者を疑うことから、歴史全体の期間の存在を疑うことまで、歴史に関する陰謀論は数多く存在します。17世紀のフランス人司祭ジャン・アルダンは、これを極端に推し進め、西暦1300年以前のほとんどすべての書物が偽造であり、福音書やギリシャ・ローマ文学の大部分も含まれると主張しました。これは歴史の真実に関する継続的な議論を引き起こし、614年から911年までの世紀全体がでっち上げられたと提案する学者もいます。この記事では、これらの「ファントムタイム」理論の根源とその歴史研究と社会理解に対する潜在的な危険性を探ります。
続きを読む
ウィリアム・ギブソンの新しいSF小説『ペリフェラル』は、行き過ぎた物質主義、テクノロジー、デザインが、人間のアイデンティティそのものの意味にどのように挑戦しているかを考察している。批評家のジャスティン・マクガークは、ギブソンが描く未来はフィクションではなく、その根はすでに現実社会にしっかりと根付いていると主張する。この小説は、ブランド、消費財、テクノロジー製品の詳細な描写を通じて、後期資本主義社会における消費主義の複雑さと矛盾、そしてますます均質化していく世界におけるアイデンティティの探求という葛藤を明らかにしている。最終的に、高度なテクノロジーは仮想と現実の境界線を曖昧にし、人間のアイデンティティへの疑問を投げかけ、未来への深い省察を促す。カテゴリ：テクノロジー
続きを読む
2月2日は、EU AI法の最初のコンプライアンス期限であり、「容認できないリスク」をもたらすとみなされるAIアプリケーションが禁止されます。これには、ソーシャルスコアリング、操作的な意思決定、脆弱性の悪用、犯罪予測、無許可の生体認証データ収集に使用されるAIが含まれます。コンプライアンスに違反した企業は、最大3500万ユーロの罰金が科せられます。一部の企業はEU AIパクトに先行して署名しましたが、他の規制との相互作用や免除事項を含む実装の詳細については、明確性が不足しています。2025年初頭にさらなるガイドラインが発表される予定です。
続きを読む
インディーデベロッパーSinevibesのYouTubeチャンネルが「スパムと欺瞞的なポリシー違反」を理由に削除され、物議を醸している。Sinevibesは、独自の製品デモしか投稿しておらず、削除に困惑しているという。この事件は、アルゴリズムの誤判定がコンテンツクリエイターに与える影響を浮き彫りにし、プラットフォームのモデレーションに関する議論を巻き起こしている。
続きを読む
研究者らは、位置ずれアーティファクトを大幅に低減する、新しい高速動的顔面投影マッピング（DFPM）システムを開発しました。これは、切り抜き領域に限定した補間/外挿に基づく顔検出と、高速な回帰木アンサンブル（ERT）によるランドマーク検出（0.107ミリ秒）を用いた高速顔トラッキング手法によって実現されます。レンズシフト付き同軸プロジェクターカメラ設定は、最小限の誤差（1m～2m間で1.274ピクセル）で高い光学アライメントを維持します。このシステムはほぼ完璧なアライメントを実現し、メイクアップやエンターテイメントにおける没入型体験を向上させます。
続きを読む
このチュートリアルでは、ベイズ主義的認識論を紹介し、その中核となる規範である確率主義と条件化の原理に焦点を当てています。エディントンによる日食観測をケーススタディとして使用し、ベイズ的方法がどのように仮説への確信度を更新するかを示します。その後、事前確率、コヒーレンス、条件化の範囲に関するベイズ主義内部の相違点を検討し、オランダのブック・アルゴリズム、精度優位性アルゴリズム、比較確率からのアルゴリズムなどの基本的な議論を紹介します。最後に、理想化の問題と、科学におけるベイズ的方法の応用について論じます。
続きを読む
GoogleのDartチームは、FlutterとDartの開発における繰り返しコードの記述を簡素化することを目的としたマクロプロジェクトの中止を発表しました。パフォーマンス目標を達成できず、長年のプロトタイピングによるリターンも不十分だったため、Googleはマクロをより小さな機能に分割します。FlutterとDartチームの元リーダーである著者は、この決定をSteve Jobsの「ノーと言うことで、イエスと言うためのスペースを作る」という哲学と結びつけ、焦点を絞ることの重要性を強調しています。そして、Dartチームの将来に楽観的な見方を示しています。
続きを読む
Ubuntu開発チームは、2025年3月からリアルタイムコミュニケーションの主要プラットフォームをIRCからMatrixに移行すると発表しました。この変更は、コミュニケーションの効率化、断片化の防止、そして新規開発者の獲得を目指しています。IRCは依然として人気がありますが、その機能の制限から、ディスカッション履歴、検索、オフラインメッセージングなどの機能を備えたMatrixのようなより豊富なプラットフォームを好む新しい貢献者にとって魅力が薄れています。多くのUbuntuチームやオープンソースプロジェクトが既にMatrixを使用しており、自然な選択となっています。これは開発者の内部コミュニケーションのみに影響し、エンドユーザーには影響ありません。
続きを読む
Anthropicの求人応募フォームでは、応募プロセス中にAIアシスタントを使用することを明確に禁止しています。同社は、AIの仲介なしで、応募者のAnthropicへの真の関心とコミュニケーションスキルを評価したいと考えています。これにより、応募者の能力と思考プロセスの公平かつ信頼できる評価が保証されます。
続きを読む
従来の永続実行は、AWS Step Functionsなどの外部オーケストレーターに依存しており、開発と展開が複雑になります。DBOS Transactは、外部オーケストレーターを必要とせずに、永続実行をプログラム自体に統合する軽量なオープンソースライブラリです。Postgresデータベースにプログラムの実行状態を永続化することで永続実行を実現し、プログラムがクラッシュまたは再起動した場合でも、中断した箇所から自動的に復旧できます。DBOS Transactは、永続スリープ、永続メッセージング、永続キューなどの追加機能も提供し、信頼性の高い状態を持つプログラムの開発をさらに簡素化します。
続きを読む