Metaは、ユーザーのカメラロールにある未公開の写真にアクセスし、コラージュやテーマ別アルバムなどのコンテンツ提案を生成する新機能をテストしています。Metaは現在、これらの写真でAIモデルをトレーニングしていないと主張していますが、ユーザー契約では、写真のコンテンツとメタデータの分析、およびこれらの情報の保持と使用が許可されています。これは、Metaが2007年以降に公開されたコンテンツを使用してAIモデルをトレーニングしたことを認めた後、プライバシーに関する懸念を引き起こしています。ユーザーはオプトアウトできますが、Metaのデータ保持ポリシーは不透明であり、一部ユーザーは、許可なくAIによって写真のスタイルが変更されたと報告しています。
続きを読む
SymbolicAIは、古典的なPythonプログラミングとLLMの微分可能なプログラミング性を組み合わせたニューロシンボリックフレームワークです。モジュール設計により、拡張とカスタマイズが容易で、独自のエンジンを作成したり、ローカルでホストしたり、ウェブ検索や画像生成などのツールと連携させることができます。中核となる概念は、シンボルオブジェクト（構文的と意味論的）と契約（デコレータによるコードの正確性の確保）です。SymbolicAIは多数のプリミティブ操作をサポートし、OpenAIやAnthropicなどのニューロシンボリックエンジンとAPIを介して統合し、Wolfram Alphaや検索エンジンなどのツールも利用できます。優先順位に基づいた設定システムにより、管理が簡素化されます。
続きを読む
2023年に登場したBabyAGIやAutoGPTなどのエージェントAIは、当初は注目を集めましたが、大規模言語モデル（LLM）が多段階推論に苦戦したため、失敗に終わりました。しかし、2024年半ば、状況は一変しました。強化学習の進歩により、複雑な多段階タスクを継続的に実行できる新世代のエージェントAIが登場しました。Bolt.newなどのコード生成ツールやAnthropicのClaude 3.5 Sonnetなどがその例です。強化学習は試行錯誤によるモデルのトレーニングを通じて、模倣学習に伴う累積誤差の問題を克服し、モデルが未知のデータに対しても堅牢性を維持できるようにします。OpenAIのRLHFやAnthropicのConstitutional AIなどの技術は、フィードバックの自動化により、強化学習の効率をさらに高めています。DeepSeekのR1モデルは、強化学習によってモデルが推論能力を「独習」する驚くべき可能性を示しました。要約すると、強化学習の進歩は、2025年のエージェントAIの急成長を支える重要な推進力となっています。
続きを読む
c4waは、C言語のサブセットをWebAssemblyに変換するコンパイラです。他のコンパイラとは異なり、余計なコード、埋め込みライブラリ、オーバーヘッドなしで、ミニマルで最適化されたWebAssemblyコードを生成します。すぐに使用できる状態で、あらゆるWASMランタイムと完全に互換性があります。c4waは、ループ、条件分岐、構造体、配列、ポインタなどの一般的なC言語の機能をサポートし、読みやすいWAT形式のコードを出力できます。C言語の使いやすさとWebAssemblyの低レベル効率のバランスを取り、開発者に効率的なWebAssemblyコードを書く新しい方法を提供します。
続きを読む
研究者らは、Transformerアーキテクチャとマスク付き自己回帰フローの長所を組み合わせた、TarFlowと呼ばれる新しい正規化フローモデルを発表しました。TarFlowは、画像パッチに自己回帰Transformerブロックを適用し、層間で自己回帰の方向を交互に切り替えることで、効率的な密度推定と画像生成を実現します。さらに、サンプル品質を向上させる3つの主要な技術、すなわちトレーニング中のガウスノイズ増強、トレーニング後のノイズ除去手順、およびクラス条件付きと無条件の両方の設定に対する効果的なガイダンス方法を提案しています。これらの技術を組み合わせることで、TarFlowは画像の尤度推定において画期的な成果を達成し、従来の最先端手法を大きく上回り、スタンドアロンの正規化フローモデルとしては初めて、拡散モデルに匹敵する品質と多様性を備えたサンプルを生成します。
続きを読む
ロンドンのザ・リバティ開発現場の発掘調査で、考古学者たちは少なくとも1800年前のものと推定される、これまでで最大規模のローマ時代の彩色漆喰壁画を発見し、丹念に復元しました。瓦礫の中から散らばって見つかった断片は、高位のローマ建築の装飾壁画であることが明らかになりました。珍しい黄色い色調、落書き、ギリシャ文字、そしておそらくは作者の署名の一部が含まれており、ローマ時代の芸術、生活、文化に関する貴重な情報を提供しています。
続きを読む
10年前、ブログ記事で、7000点以上の果物や標本を描いたアメリカ政府の果樹水彩画コレクションの公開を求める運動が始まりました。著者の最初のFOIAリクエストは、高解像度スキャンをオンラインで利用可能にしただけでなく、10年間にわたる予期せぬ発見の旅にもつながりました。アップロードツールの作成のためのPythonの学習から、画像を共有するためのソーシャルメディアボットの作成、さらには商品の生産まで、プロジェクトの影響は指数関数的に拡大しました。このコレクションは、書籍、学術論文、そして大衆メディアで取り上げられ、粘り強さと好奇心を追いかけることによる予期せぬ報酬を強調しています。
続きを読む
この記事では、ブリティッシュ・エアウェイズのパイロットが年間飛行時間をどのように記録しているかを説明しています。機長（PIC）、副操縦士（P2）、監督下の機長（PICUS）などのパイロットの役割と、ブリティッシュ・エアウェイズの標準運用手順（SOP）に従って、区間中に機長と副操縦士がどのように責任を分担するかを説明しています。例えば、降下中は副操縦士が1000フィートAGLまで進入を行い、その後機長が着陸のためにコントロールを引き継ぎます。すべての進入は監視された進入です。
続きを読む
2012年、作者は広く利用されているPython自動補完ライブラリJediを作成しました。しかし、その速度の限界が明らかになってきました。2020年、作者はRustを使用してゼロから再構築し、5年間の献身的な作業を経て、真に高速な最初のPython言語サーバーであるZubanLSを完成させました。ZubanLSは、精度、信頼性、速度を必要とするプロフェッショナルをターゲットとしており、MypyやPyrightなどのツールにおける長年の問題を、機能を犠牲にすることなくパフォーマンスを優先することで解決します。Djangoのサポート、定義への移動、補完、その他のLSP機能は進行中です。2025年の最初のリリースは完璧ではない可能性があります。フィードバックを歓迎し、今後の開発に役立てます。
続きを読む
Appleは、欧州連合のデジタル市場法への準拠のため、App Storeポリシーを更新しました。EUの開発者は、デジタル商品やサービスを代替プラットフォーム（ウェブサイト、アプリストア、アプリ内ウェブビュー）で宣伝できるようになりました。この変更により、初期獲得手数料、ストアサービス手数料、コアテクノロジー委員会（CTC）という新しい手数料が導入されます。Appleは、2026年1月1日までに、すべての流通チャネルにおいて、デジタル商品やサービスのコアテクノロジー手数料（CTF）からCTCへの移行を計画しています。さらに、Appleは、開発者のウェブサイトや代替アプリストアからのアプリのインストールを容易にするため、iOSとiPadOSのユーザーエクスペリエンスを更新しています。
続きを読む
フォーミュラE Gen4マシンが間もなく登場します。出力は470馬力から驚異的な804馬力へと大幅に向上し、F1マシンに迫る勢いです。この大幅な出力向上にもかかわらず、エネルギー効率は依然として重要な焦点であり、回生ブレーキは700kWに達します。ウィリアムズ・アドバンスト・エンジニアリングはバッテリー供給から撤退し、イタリアのバッテリーサプライヤーであるポディウム・アドバンスト・テクノロジーズに代替されます。タイヤサプライヤーはハンコックからブリヂストンに変更され、初めてハイダウンフォースとロウダウンフォースのウイング設定が導入されます。Gen4マシンのパフォーマンスはF1、F2、インディカーの中間となります。F1のコーナリング能力には及びませんが、800馬力以上とAWDにより、コーナー出口での加速はF1をはるかに凌駕するでしょう。テストでは既に時速338kmに達しています。
続きを読む
Neural TrustのAI研究者が、「エコーチェンバー攻撃」と呼ばれる、主要な大規模言語モデル（LLM）の安全機構を回避する新しいジェイルブレイク手法を発見しました。この手法は、コンテキストポイズニングとマルチターン推論を利用して、明示的に危険なプロンプトなしに、モデルを有害なコンテンツの生成へと巧みに誘導します。一見無害なプロンプトを複数ターンにわたって積み重ねることで、攻撃はモデルの内部状態を徐々に変化させ、ポリシー違反となる応答を生成します。評価では、複数のモデルで90％を超える成功率が示され、現在のLLMセキュリティにおける重大な脆弱性が浮き彫りになりました。
続きを読む
NASAは、ゲームを通じて宇宙探査を促進しようと試み、2009年にゲームスタジオと協力して月面基地シミュレーター「Moonbase Alpha」を開発しました。このゲームは、独自のDECtalk音声合成システムにより、予想外の成功を収め、プレイヤーが様々な曲を制作し、ウイルス現象となりました。しかし、その後の野心的な宇宙MMO「Starlite：宇宙飛行士アカデミー」は、資金問題と内部的な対立により最終的に頓挫し、後悔の念が残る物語となりました。
続きを読む
チームが自作の8ビットPJ5 CPUでマンデルブロ集合の描画に成功し、予想をはるかに超える3秒以下の高速レンダリングを実現しました！これは、16個のレジスタ、シングルサイクル命令、ハードウェア8x8乗算器によるものです。彼らは現在FPGAに代わる高速ROMボードの開発を進めており、ディスプレイ、オーディオ、入力デバイスの改善も計画しています。18ヶ月間の努力が実を結んだ成果です。
続きを読む
この記事では、C言語に似た言語を用いて、Lispの抽象化の力とC言語の限界を探ります。著者は関数のパラメータ評価戦略を分析し、C言語の値渡しメカニズムが関数パラメータの制御を制限し、Lispのif、while、condのような柔軟な条件文やループの実装を妨げていることを強調しています。さらに、C言語では利用できないクロージャや実行時関数生成などの高度な機能についても考察し、最終的にC言語の拡張性の欠点を結論付けています。
続きを読む
バース大学の研究は、より高いIQとより正確な予測の間の強い関連性を明らかにしました。高いIQの人々（上位2.5％）は、低いIQの人々（下位2.5％）よりも予測エラーが大幅に少なく、その不正確さは2倍以上になります。この研究は、イングランド縦断的加齢研究（ELSA）のデータを使用して、平均余命の予測に焦点を当てています。ライフスタイル、健康、遺伝子をコントロールすることで、知性が確率的推論と意思決定に及ぼす独立した影響を強調しています。この知見は、財政や健康などにおいて、確率のより明確な伝達が、予測エラーを起こしやすい人々の意思決定を改善する可能性を示唆しています。
続きを読む
ブログの投稿が、Linuxコミュニティにおける包括性について激しい議論を引き起こしました。著者は、「Linux」ではなく「GNU/Linux」を使用したこと、「システムを単純化しようとしている」と非難する、上から目線の排他的なコメントを共有しました。著者は反論し、真の「自由」は、疎外された集団を犠牲にしてはならないと主張し、Linuxエコシステムにおけるアクセシビリティの深刻な欠陥を指摘しました。これは、コミュニティ文化、包括性とアクセシビリティの重要性、そしてシステムの改善に貢献する人々への敬意についての議論を引き起こしました。
続きを読む
zentaは、コーディング中に集中力を維持するために設計された、ターミナルネイティブツールです。追跡や指標を必要とせずに、シンプルな呼吸エクササイズを通じてユーザーを現在へと導きます。`breath`または`breathe`という単一のコマンドで、短いまたは長い呼吸セッションを開始でき、純粋な視覚アニメーションと穏やかな引用句が瞑想を補助します。`reflect`コマンドは、穏やかな毎日のレビューを容易にします。zentaは、ゲーミフィケーションではなく真のマインドフルネスを提唱し、生産性ハックよりも存在感を重視しています。複数のオペレーティングシステムをサポートしており、MITライセンスの下でオープンソースです。
続きを読む
この記事は、1977年から2021年にかけての北米クラスI鉄道システムにおける主要な変化を年代記的に記述したものです。この期間は、数多くの合併、買収、企業再編によって特徴づけられます。シカゴ・ミルウォーキー・セントポール・パシフィック鉄道の破産から、CSXとノーフォーク・サザン鉄道の台頭、そしてバーリントン・ノーザンとサンタフェ鉄道の最終的な合併に至るまで、この記事は北米鉄道業界の劇的な変化、そして多くの鉄道会社の盛衰を詳細に説明しています。これらの出来事は、北米の鉄道輸送ネットワークを根本的に変え、今日のシステムの基礎を築きました。
続きを読む
この記事では、BQN言語を用いて大規模な行列乗算のパフォーマンスを最適化する方法を探ります。著者はまず、単純な正方分割法を用いてキャッシュを効果的に利用することで、約6倍の高速化を実現しました。その後、分割統治戦略に基づいたStrassenアルゴリズムを紹介し、大規模行列に対して最大9倍の高速化が実験的に示されています。この記事では、様々なブロックサイズやネストされたタイル化戦略のパフォーマンスへの影響についても比較検討し、純粋なシングルスレッドBQN実装によるパフォーマンスの限界がほぼ達成されたという結論に至っています。
続きを読む
このブログ投稿では、GPUプログラミングとNVIDIAのThrustライブラリを使用して、非常に高速にフィボナッチ数列を計算する方法を示します。まず、スキャンアルゴリズムを説明し、次にThrustで単純な加算と乗算を行うスキャン操作、そしてそれを行列演算に拡張する方法を示します。最後に、行列演算とスキャン操作を利用して、効率的にフィボナッチ数列を計算する方法を示し、剰余演算を使って整数オーバーフローを回避します。著者は、NVIDIA GeForce RTX 3060 Mobile GPUでF99999999 (mod 9837)をわずか17ミリ秒で計算しました。
続きを読む
ウェールズの出版社Melin Bapurは、J.R.R. トールキンの古典「ホビット」の現存するすべてのケルト語版をまとめました。最近出版されたスコットランド・ゲール語版「A' Hobat」を含みます。これは、物語をより広範なケルト語圏の聴衆に届けるという大きな成果であり、マン島ゲール語版だけが未翻訳のままです。2024年に出版されたウェールズ語版「Yr Hobyd」は、アングロサクソン文字ではなく、18世紀のウェールズ語のCoelbren y Beirdd文字を使用しており、独特のウェールズ風の雰囲気を醸し出しています。出版社は、既知の書籍を翻訳することの価値を強調し、より幅広い読者を励まし、言語学習者にとって貴重なリソースを提供しています。
続きを読む
英国政府は、NATOの抑止力を強化するため、核兵器搭載可能なF-35A戦闘機12機の購入を発表しました。しかし、この新型機は、RAFの空中給油機と互換性がなく、後方支援上の課題が生じています。F-35Aは航続距離とペイロードが向上していますが、F-35Bのような短距離離陸垂直着陸（STOVL）能力を持たないため、空母からの運用はできません。この購入によってRAFの核攻撃能力が復活しますが、統合と後方支援の問題に直面します。一部の専門家は、次世代戦闘機Tempestの配備までの繋ぎとして見ています。
続きを読む
この記事では、実験を通して、配列要素の順序が合計計算のパフォーマンスに与える影響を調べます。順次アクセスとランダムアクセスを比較した結果、配列サイズがキャッシュ容量を超えると、ランダムアクセスのパフォーマンスが大幅に低下する一方、順次アクセスは比較的安定していることがわかりました。メモリマップドファイルやプラットフォーム間の違いについても調査し、OSによるメモリマップドファイルの処理方法がパフォーマンスに大きな影響を与えることが明らかになりました。結論として、大規模な配列の合計計算には順次アクセスが最適であり、メモリ容量を超えるデータには、より効率的なアルゴリズムとデータ読み取り戦略が必要となります。
続きを読む
Starcloud社は、100トン積みのStarshipを1回打ち上げるだけで、40MWの宇宙データセンター（SDC）を820万ドルで構築できると主張しています。しかし、この分析では、これは不可能であり、最大22回の打ち上げが必要であることが明らかになっています。太陽光パネルには4回の打ち上げ、熱管理には13回の打ち上げ、サーバーラックには5回の打ち上げが必要です。Starcloud社は打ち上げコストを大幅に過小評価しており、地上データセンターとの経済的な比較は非現実的になっています。これは、宇宙データセンター構築における膨大な工学的課題と高コストを浮き彫りにし、より現実的な技術経済分析を求めています。
続きを読む
現代の探検家がヴァイキング時代の航海を再現し、ヴァイキングが地図やコンパス、六分儀などの航海道具に頼らなかった可能性を示唆した。数カ月間の航海から、彼らが世代を超えて受け継がれてきた「メンタルマップ」――海事文化景観――と、沿岸のランドマークにまつわる神話に頼っていたことが明らかになった。数千年にわたる沿岸航海の経験により、高度な機器は不要だったのだ。
続きを読む
小型AIアプリケーションBoquilaHUBの開発者が、Flutter/Rustアーキテクチャからeguiを使った純粋なRustアプリケーションへの移行経験を共有しています。最初はflutter_rust_bridgeを使ってFlutter UIとRustバックエンドを接続していましたが、生成されるコードのオーバーヘッド、FFIの複雑さ、そして複数言語にまたがるAPI設計の課題に直面し、不満を感じていました。RustベースのGUIライブラリであるeguiへの切り替えと、週末にUIコードを書き直したことで、状況は劇的に変わりました。純粋なRustアプローチにより、プロジェクトの複雑さが簡素化され、コードの可読性と保守性が向上し、パフォーマンスも大幅に向上しました。開発者は、eguiの使いやすさによってFlutterでよくあるUI更新の問題や複雑な状態管理が解消され、より高速でレスポンシブなアプリケーションを実現できたと強調しています。
続きを読む
昨夏のCrowdStrikeクラッシュは、広範囲にわたるネットワーク障害と数十億ドルの損害を引き起こしました。同様のインシデントを防ぐため、マイクロソフトはセキュリティサミットを開催し、Windowsレジリエンスイニシアチブを立ち上げました。中心的な変更点は、サードパーティのセキュリティドライバーをカーネル空間からユーザー空間へ移動することで、システムクラッシュのリスクを軽減することです。この新しいWindowsセキュリティプラットフォームのプレビュー版はまもなく公開されます。BitdefenderやCrowdStrikeなどの企業はこのイニシアチブを支持していますが、Sophosなどの企業はカーネルアクセスを失うことへの懸念を表明しています。さらに、Windows 11 24H2では、クラッシュレポートの収集プロセスが改善され、ブルースクリーンのインターフェースが簡素化され、迅速なマシン復旧機能が導入され、システム復旧が高速化されます。
続きを読む
研究者らは、TorchFTとTorchTitanを用いて、極端な合成故障率を持つ現実環境でモデルをトレーニングし、耐障害性トレーニングの信頼性と正確性を証明しました。1200回の故障とチェックポイントなしでも、トレーニング損失は安定していました。TorchFTは、グローバルな灯台サーバーとレプリカグループごとのマネージャーを使用してリアルタイム調整を行い、耐障害性HSDPやLocalSGD/DiLoCoなどの様々な耐障害性アルゴリズムを実装しています。実験結果は、極めて高い故障率下でもTorchFTがモデルを効果的にトレーニングできることを示しており、様々な故障シナリオへの強靭性を示しています。
続きを読む
GitHubスター21,000以上、Slackコミュニティメンバー6,000以上のグローバルなオープンソースアプリケーション監視プロジェクトSigNozは、デベロッパーアドボケートを募集しています。この役割は、コミュニティとのエンゲージメント、開発者向けブログやビデオの作成、ミートアップやカンファレンスでのSigNozのプレゼンテーション、ユーザーのセットアップとユースケースの支援が含まれます。グローバルな開発インフラ製品に取り組み、オープンソースコミュニティと関わり、YCと米国の大手VCからの支援を受けます。1年以上のソフトウェアエンジニア経験、様々なプログラミング言語とデプロイメント方法（例：k8s、Docker）の知識、開発者コミュニティへの積極的な参加が必要です。クラウドネイティブエコシステム、Kubernetes、OpenTelemetryの理解はプラスです。
続きを読む