オラクルCEOのラリー・エリソン氏は、政府がサービスと安全性の向上のためAIを効果的に活用するには、ゲノム情報を含むすべてのデータを統合する必要があると主張しています。世界政府サミットで、彼はAI主導の医療と農業の進歩を予測していますが、広範囲にわたる監視の可能性も認めています。エリソン氏は、このビジョンをサポートするために、巨大な新しいデータセンターとStargateプロジェクトへの参加を含む、AIインフラストラクチャへのオラクルの大規模な投資を強調しています。
続きを読む
フリーソフトウェアファウンデーション（FSF）は、Neo4j, Inc.とPureThink, LLC.の間の訴訟において、法廷助言書を提出しました。中心的な問題は、Neo4jがGNU AGPLv3ライセンスと両立しない商用制限条項（Commons Clause）をソフトウェアに追加したこと。FSFは、GNUライセンスは、ソフトウェアの4つの自由と矛盾する制限をユーザーが削除することを許可していると主張しています。2023年11月のNeo4jへの差止命令書の後、Neo4jは問題のファイルを削除し、GNU AGPLv3ライセンスの下でのソフトウェア提供を停止しました。これは、FSFの立場を暗黙的に認めたことになります。FSFの助言書は、GNUライセンス作成におけるFSFの意図を明確にし、ソフトウェアの自由を守るためのFSFの取り組みを強調しています。
続きを読む
Nvidiaは、Grace Blackwellプラットフォームを搭載した個人向けAIスーパーコンピューター「DGX Spark」と「DGX Station」を発表しました。これらの新しいAI PCアーキテクチャは、ニューラルネットワークを実行するために設計されており、5つの主要なPCメーカーが製造します。開発者や研究者を対象としており、大規模なAIモデルのプロトタイプ作成、微調整、ローカル実行を可能にします。また、デスクトップとクラウド環境間のモデルの容易な転送を可能にするブリッジシステムとしても機能します。DGX Sparkは優れたパフォーマンスを提供し、DGX Stationは強化されたメモリとネットワーク速度を備えています。
続きを読む
この記事では、鳥の舌の驚くべき多様性と、様々な食性への適応について探求します。ハチドリの分かれた舌から、キツツキの鋭く尖った舌、ペンギンの信じられないほど棘のある舌まで、それぞれの種の舌は、その摂食習慣に合わせて独自に進化しています。例えば、ハチドリは、小さなストローのような舌を使って蜜を吸い、キツツキは、それを用いて木の穴から昆虫を突き刺します。この記事は豊富なイラストで彩られ、鳥の舌の多様性と驚異、そして自然の巧妙なデザインを紹介しています。
続きを読む
終わりのない会議と長々とした計画にうんざりしていませんか？この記事では、高効率なソフトウェア開発手法を紹介します。それは、コード中心で、迅速な反復です。著者は、完璧なシナモンロールを作る例えを用いて、迅速な試行錯誤、頻繁なテスト、継続的な改善を通じて最適なソリューションに到達する概念を説明しています。この手法は、ドキュメント作成の削減、アイデアをコードで直接表現すること、モックデータとホットリローディングツールを使用して開発を高速化すること、簡潔なコードスタイルと命名規則によってコードの可読性を向上させることを重視しています。著者は、プロジェクトを独立して実行可能なファイルに分割し、再起動時間を最小限に抑え、デフォルトの言語ツールを使用してデバッグすることを提唱しています。この手法は一見「混沌とした実験室」のように見えるかもしれませんが、プロジェクトを効率的に完了し、従来の方法における冗長性と非効率性を回避することができます。
続きを読む
3月27日、バッファロー大学のウィリアム・J・ラパポート教授（コンピュータサイエンス、エンジニアリング、哲学、言語学の各分野で教授職）と、AIに関するディスカッションを開催します。ラパポート教授は、AI分野の権威であり、『コンピュータサイエンスの哲学』などの著書や、AIの成功や大規模言語モデルとチューリングテストに関する最近の論文を発表しています。この機会に、質問をフォームから送ってください！AIの第一人者と直接意見交換できる貴重な機会です。
続きを読む
このプロジェクト、DOOM CAPTCHAは、DOOMのミニチュア版をプレイしてあなたが人間であることを確認する方法です。Emscriptenを使ってDOOMの最小限のポートをWebAssemblyにコンパイルし、CベースのゲームループとJavaScriptベースのCAPTCHA UI間の通信を可能にしています。CAPTCHAの機能に不可欠な、プレイヤーの誕生、死亡、敵の殺害などのイベントを追加するために修正が行われました。このプロジェクトは、合法的にアクセス可能なDOOMのシェアウェアバージョンを使用しており、ゲームパラメータを調整して難易度を高めています（Nightmare!スキルレベル、高速ゲームプレイ）、メニューをスキップし、レベルを直接開始します。合格するには、時間制限内に少なくとも3体のモンスターを倒す必要があります。
続きを読む
このツールは、SSH、Docker、Kubernetesなどを統合した、すべてのリモート接続の中央ハブとして機能します。様々なターミナル、コンテナランタイム、ハイパーバイザー（Proxmox、Hyper-Vなど）をサポートし、設定ファイル、エージェント統合、ジャンプサーバー、トンネル、キーファイル、スマートカード、X11転送などを含む、完全なSSHサポートを提供します。シェルセッションを瞬時に起動し、すべてのリモートリソースを効率的に管理できます。
続きを読む
タイは、中国人が運営する大規模なコールセンター詐欺に関与している疑いのあるミャンマーの5カ所の電力、石油、インターネットへのアクセスを、安全上の懸念を理由に遮断しました。これらの詐欺は、タイに毎日8000万バーツ以上の損失をもたらし、総額は860億バーツに上ります。ミャンマーからの報復、特に天然ガス供給に関する懸念があるものの、タイは国家安全保障を優先しました。この措置は、タイ首相の中国訪問に先立ち、越境犯罪が主要な議論となることが予想されます。
続きを読む
この記事では、Riverを使って冪等性のある安全なメールAPIを構築する方法を示します。多くのメールサービスは冪等性を保証するAPIを欠いており、メールの重複送信や欠損につながります。Riverの機能を活用し、一意のアカウントIDと冪等性キーを組み合わせることで、冪等なメール送信を実現します。ネットワークエラーによる再試行が発生しても、メールは一度だけ送信されます。この記事では、ジョブ引数の定義、ワーカーの作成、重複リクエストの処理、パラメータの一致に関するセキュリティなど、実装の詳細を説明します。結果として得られるAPIは簡潔で効率的で、本番環境でも使用できるものであり、一般的なメール送信の問題を回避します。
続きを読む
イワン・シュービンは、インタラクティブなダイアグラムエディタSchemioの開発において、線形代数の行列演算を巧みに用いて、数々の困難な問題を解決しました。当初、Schemioは単純な図形の作成と操作のみをサポートしていました。しかし、階層構造が導入されると、座標変換が複雑になりました。作者は最初は再帰的なアプローチを試みましたが、スケーリングとピボットポイントの問題に直面しました。最終的に、シュービンは行列を用いて変換（平行移動、回転、スケーリング）を表し、行列の乗算で座標変換を行い、行列の逆行列を巧みに用いて世界座標からローカル座標への変換問題を解決しました。さらに、行列演算によって、階層内でのオブジェクトの移動時の位置と回転の正確な調整を行い、予期せぬジャンプを回避しました。Schemioのソースコードはオープンソースで、GitHubで公開されています。
続きを読む
米司法省（DOJ）は、ダークウェブ市場「シルクロード」から押収した約69,000ビットコイン（約65億ドル相当）の売却を裁判所の許可を得て行う。これは長年にわたる法廷闘争の終結となる。Battle Born Investmentsによる売却阻止の試みもあったが、失敗に終わった。DOJはビットコイン価格の変動性を理由に、迅速な売却を主張した。米連邦保安官庁が売却を管理し、これは押収された暗号資産としては過去最大規模となるだろう。
続きを読む
IncludeOSは、従来のOSなしでクラウド上でアプリケーションを実行できる軽量なオペレーティングシステムです。OS機能をアプリケーションに直接統合することで、高性能で安全、かつリソース効率の高い仮想マシンを作成します。IncludeOSアプリケーションは数10ミリ秒で起動し、ディスクとメモリは数メガバイトしか必要ありません。シンプルなコマンドラインツールによりビルドとデプロイが容易になり、豊富なサンプルとドキュメントにより開発者は迅速に開始できます。
続きを読む
Felderaは、ファイングレイン認証（FGA）に対する革命的なアプローチを紹介します。従来のFGAシステムは、リアルタイムで認証リクエストを評価するため、非効率です。Felderaは、すべての認証決定を事前に計算し、増分計算エンジン（SQLベース）を使用して結果を更新することで、認証リクエストを単純なキーバリュー検索に変換します。大規模なオブジェクトグラフでも、Felderaはミリ秒単位で変更を処理し、パフォーマンスを劇的に向上させます。この記事では、FGAの原則を詳しく説明し、SQLを使用して高性能なFGAエンジンを構築する方法を示し、大規模データセットの処理における優位性を示しています。
続きを読む
Palo Alto NetworksのPAN-OSソフトウェアに3つの脆弱性が存在し、攻撃者が影響を受けたシステムのroot権限を取得することを可能にしています。CVE-2025-0108は、認証されていない攻撃者が認証をバイパスすることを可能にし、CVE-2024-9474は権限の昇格を可能にし、CVE-2025-0111は「nobody」ユーザーがアクセスできるファイルの読み取りを可能にします。これらの脆弱性を組み合わせた攻撃が確認されており、ファイアウォールの完全な制御を奪うことができます。Palo Alto Networksはパッチをリリースしており、特にインターネットに接続されている管理インターフェースを持つシステムについては、ただちにアップデートすることを強く推奨しています。アクセスが制限されている場合でも、パッチ適用が不可欠です。
続きを読む
PostgreSQL 18ベータ1では、待望の非同期I/O（AIO）が導入され、I/O処理に大きな進歩をもたらします。AIOは、データベースが複数の読み取り要求を同時に発行できるため、特にレイテンシの高いクラウド環境でパフォーマンスを劇的に向上させます。現在は読み取り操作のみに限定されていますが（書き込み操作は将来追加される可能性があります）、新しい`io_method`設定パラメータを使用して、同期、I/Oワーカー、`io_uring`の3つのI/Oモードを選択できます。互換性のあるLinuxカーネルでは、`io_uring`が最高の性能を発揮します。AWSでのベンチマークテストでは、読み取り負荷の高いワークロードで、読み取りパフォーマンスが2～3倍向上することが示されています。ただし、AIOによってパフォーマンス監視の方法が変わります。`EXPLAIN ANALYZE`のI/Oタイミングは正確ではなくなる可能性があり、詳細な分析には新しい`pg_aios`ビューを使用する必要があります。
続きを読む
二人のハッカー、ボブとアリスは、リソースに制限のあるマイクロコントローラーでバグを発見しました。OR演算が他の演算よりも5倍遅いというものでした。3日間の締め切りを前に、彼らは論理的等価性、特にド・モルガンの法則を利用してコードを書き換え、OR演算をAND演算とNOT演算に置き換えることでパフォーマンスのボトルネックを回避しました。この記事では、NAND演算の普遍性とその暗号計算の最適化への応用、例えばTFHEライブラリにおける準同型暗号の効率の大幅な向上についても説明しています。
続きを読む
パリを拠点とするAIスタートアップ企業が、あらゆるものを予測できる基盤モデルの構築を担う創設メンバーとなる機械学習エンジニアを募集しています。このモデルは、人員配置、サプライチェーン管理、財務予測などの企業予測アプリケーションのために、多様なデータソース（数値時系列データ、テキスト、画像データ）を統合します。候補者は、ニューラルネットワーク、PyTorchまたはJaxに精通し、大規模モデルの構築と展開の経験が必要です。同社は、競争力のある給与と福利厚生、そして活気のあるパリでの勤務機会を提供します。
続きを読む
アスペンワン（旧アスペンスキーカンパニー）の持続可能性担当副社長だったオーデン・シェンドラー氏が、新著「Terrible Beauty」の中で、企業のサステナビリティ運動の偽善を暴露しています。彼は、カーボンフットプリントやリサイクルといった小規模な対策に焦点を当てることは、効果的な解決策から注意をそらすものだと主張しています。シェンドラー氏は、企業が政治的に積極的に関与し、化石燃料業界と闘い、自治体が行った行動にならってエクソンモービルなどの企業を訴えることさえ提案しています。彼は、個人も象徴的な環境保護活動を超えて、炭素税の提唱など政治行動に参加すべきだと主張しています。
続きを読む
Tailwind CSS v4.0がリリースされました！このバージョンはフレームワークの全面的な見直しで、パフォーマンスの大幅な向上と柔軟性の向上が実現しました。完全なビルドは最大5倍高速化され、増分ビルドは100倍以上高速化されています。カスケードレイヤー、カスタムプロパティ、`color-mix()`関数などの最先端のCSS機能を活用したv4.0は、現代的なウェブ向けに設計されています。設定も簡素化され、依存関係が少なく、設定不要で、CSSは1行のみです。新しいCSS優先設定により、CSS内で直接カスタマイズと拡張が可能になり、CSSテーマ変数、動的なユーティリティ値、バリアントなども追加されました。その他にも、最新のP3カラーパレット、コンテナクエリ、新しい3Dトランスフォームユーティリティ、拡張されたグラデーションAPI、`@starting-style`サポートなどが含まれており、開発効率とユーザーエクスペリエンスが大幅に向上しています。
続きを読む
この記事では、SQLite仮想テーブルにおける書き込みとトランザクションサポートの実装の詳細を掘り下げています。xUpdate、xBegin、xSync、xCommit、xRollbackなどのフックを実装することで、仮想テーブルは書き込み操作をサポートし、トランザクションの整合性を保証できます。この記事では、SQLiteのロールバックジャーナルとスーパージャーナルのメカニズムが、単一データベースと複数データベースの両方のシナリオでアトミックコミットをどのように調整するか、そして仮想テーブルがどのようにこの2フェーズコミットプロトコルに参加するかを説明しています。著者は、永続性はxSyncで処理する必要があり、xCommitとxRollbackはイデmpotentなクリーンアップ操作のみを実行し、失敗する可能性のある操作を避けるべきだと強調しています。
続きを読む
K言語ファミリーは、アーサー・ホイットニーによって設計された、簡潔で高速なベクトル指向プログラミング言語です。単一のバージョンではなく、互換性にやや欠ける連続したバージョンです。本書では、ngn/k (k6) や oK (k5/6) など、オープンソースのK言語実装と、それを取り巻くコミュニティに焦点を当てています。K言語の特徴、学習曲線、APLやJ言語との関係を探ります。簡潔さと速度で知られていますが、K言語の学習曲線は急峻で、熱心な練習が必要です。
続きを読む
トゥラーレ郡の湖の水管理者は、陸軍工兵隊が当日中にカウィア湖とサクセス湖から大量の水を放出するという突然の決定を撤回することに同意した後、木曜日の夜に安堵しました。この決定は地元住民にパニックを引き起こし、2023年の壊滅的な洪水の再来を恐れました。放水量は減らされましたが、この事件はコミュニケーションの欠如と意思決定プロセスに対する深刻な懸念を引き起こします。政治的な動機に関する憶測はありますが、公式な説明はありません。
続きを読む
OpenAIのCEOであるサム・アルトマンが共同設立したTools for Humanity社は、虹彩スキャンに対する暗号通貨インセンティブの提供をブラジルで禁止されました。ブラジルの国家データ保護機関（ANPD）は、この慣行が個人の自由意志を妨げ、生体認証データに関する自主的な意思決定に影響を与えると主張しています。これは、生体認証データの収集とプライバシーに関する世界的な懸念の高まりを浮き彫りにしています。
続きを読む
Googleが2019年に発表したZanzibarは、Googleの巨大な規模に対応するために設計された、柔軟でスケーラブルなグローバル認証システムです。多くの同様の製品にインスピレーションを与えています。Zanzibarの中核は、柔軟なアクセス制御モデルと強力な分散型整合性保証にあります。整合性のためにGoogle SpannerとTrueTimeを活用し、スケーラビリティのためにzookiesやLeopardインデックスシステムなどの巧妙なアーキテクチャ設計を採用することで、複雑な課題に取り組んでいます。分散型の性質と高い整合性要件は、ほとんどのアプリケーションにとって過剰かもしれませんが、そのAPI設計は影響力があり、多くの企業がよりシンプルでアクセスしやすい代替策の構築に努めています。
続きを読む
MITスローン経営大学院の研究によると、AIの成功は技術だけでなく、その開発を導く根本的な哲学的枠組みに依存していることが明らかになりました。この記事では、トレーニングデータから展開まで、哲学がAI全体に浸透し、推論、予測、イノベーションに影響を与えていると主張しています。リーダーは、暗黙の原則に頼るのではなく、積極的に哲学的な思考を活用することで、AIの価値を最大限に引き出し、競争優位性を獲得する必要があります。この哲学的側面を無視すると、AI投資の収益率が低下します。
続きを読む
バイデン大統領は、AIインフラにおける米国のリーダーシップを強化するための大統領令に署名しました。この大統領令は、連邦政府の土地に高度なAIデータセンターを建設する計画を概説しており、民間部門との連携、クリーンエネルギーの利用、国家安全保障、経済競争力の重要性を強調しています。この計画には、連邦政府の土地に少なくとも3つの最先端AIデータセンターと、その莫大な電力需要を満たすクリーンエネルギー施設の設置が含まれています。また、この大統領令は、公平で競争力のある環境を確保し、アメリカ人労働者と地域社会に利益をもたらすことを約束しています。
続きを読む
この記事では、LLMとGoogle Places APIを使用してコロラドスプリングスの最高のレストランを特定するデータサイエンスプロジェクトについて説明しています。著者は、Google APIの登録の複雑さ、データクレンジング（シナゴーグや店などの無関係なエントリの削除を含む）、ベイズ平均やウィルソンスコア区間などのランキングアルゴリズムを試行錯誤した後、最終的にウィルソンスコア区間を選択しました。最終的な出力には、レストランのランク付けされたリストと、その場所を視覚化するヒートマップが含まれており、都市の料理シーンにおける興味深い地理的パターンが明らかになります。
続きを読む
10年前、NLPの講義中に、受講生からSoftmaxの代替案について質問されました。最近の論文で、対数調和関数がSoftmaxの代替案として提案されており、より深い調査へと繋がりました。著者はSoftmaxと対数調和関数の偏微分を分析し、Softmaxの勾配は扱いやすく解釈しやすい一方、対数調和関数の勾配は原点付近で特異性を示し、学習が困難になる可能性があることを明らかにしました。強力な最適化アルゴリズムによってこれらの課題を克服できる可能性はありますが、著者は対数調和関数のアプローチはさらなる探求と改善の余地があると考えています。
続きを読む
友人であるビクターは、言語が人格に与える影響を探るため、独自の調査を行いました。英語とドイツ語のバイリンガルを対象に標準化された性格テストを実施した結果、半数の人が使用する言語によって性格に顕著な変化を示しました。この興味深い結果は、協調型と複合型のバイリンガリズムに関する議論を呼び起こし、言語相対性や決定論といった問題にも触れました。データは限られていますが、ビクターの研究は、言語と人格の間に微妙ながらも興味深い関係があることを示唆しています。
続きを読む