2年間の待ち時間の後、筆者はついに10ノードのラズベリーパイ クラスタ（RAM 160GB）を組み立てました。複数の再構築と広範なベンチマークテストを経て、このクラスタはHPLベンチマークで325 Gflopsを達成し、8000ドルのFrameworkデスクトップ クラスタよりもわずかに高いエネルギー効率を示しました。しかし、llama.cppがPi 5のiGPUを活用できないため、AI推論のパフォーマンスはFrameworkクラスタを大きく下回りました。結論として、このクラスタは高密度、低消費電力シナリオでは優れていますが、ほとんどのユーザーにとって費用対効果は高くありません。
続きを読む
Googleは、Chrome史上最大のアップデートを発表しました。ユーザーのブラウジング体験を向上させるために、Gemini AIが統合されました。Geminiはユーザーのニーズを予測し、複雑な情報の理解を助け、生産性を向上させ、安全性を確保します。このアップデートには、デスクトップとモバイルでのGeminiの提供など、AIを搭載した10個の改善が含まれています。ユーザーはGeminiを使用してWebページの情報を解釈し、効率を高めることができます。今後数週間で、企業ユーザーもGoogle Workspaceを通じてGeminiにアクセスできるようになります。
続きを読む
中国の主要な太陽光パネルメーカーは、生産能力過剰と米国の貿易制限により、上半期に巨額の損失を計上した。業界は生産削減の圧力に直面しており、中国政府は老朽化した設備の閉鎖を促している。供給過剰と米国の規制強化により価格競争が激化し、多くの企業が大きな損失を被った。
続きを読む
米国の議員らは、アップルとグーグルのアプリストアの支配を抑制することを目的とする、超党派のオープンアプリ市場法案を再提出しました。2021年の前身と同様のこの改訂版法案は、サードパーティのアプリストア、代替決済システム、開発者権利の保護を認めることで、競争と消費者保護を促進することを目指しています。新たな条項では、知的財産権と国家安全保障に関する懸念事項に対処し、他のアプリへのリモートアクセスを可能にする開発者に対する懲罰的措置を禁止しています。しかし、この法案は、以前、同様の法案に反対するために数百万ドルを費やした大手テクノロジー企業からの激しい反対に直面すると予想されます。
続きを読む
この記事は、ホアール論理を用いた長除算アルゴリズムの詳細な形式的検証を示しています。著者は、ホアール三つ組、代入公理、合成公理、条件公理、whileループ公理を用いて、アルゴリズムの正しさを丁寧に説明しています。この記事は、ホアール論理の応用について明確に説明し、具体的な例を用いて証明プロセスの複雑さを示し、ソフトウェア開発における形式的検証の重要性を強調しています。
続きを読む
27年にわたる研究開発と数十億ドルの投資の後、バーテックス・ファーマシューティカルズ社は画期的な成果を達成しました。FDAが、術後痛のための初の非オピオイド鎮痛薬Journavx（スゼトリジン）を承認したのです。末梢神経ニューロンのNaV1.8ナトリウムイオンチャネルを標的とするJournavxは、オピオイドの依存性や衰弱させる副作用なしに、痛みのシグナルが脳に到達するのを防ぎます。この画期的な成果は、イオンチャネル研究における大きな勝利であり、オピオイド危機対策への希望となりますが、価格と適用範囲については改善の余地があります。
続きを読む
Git Notesは、Gitオブジェクト（コミット、ブロブ、ツリー）にメタデータを付加する強力なツールであり、オブジェクト自体を変更する必要はありません。時間追跡、レビュー情報の追加、`git-appraise`のような完全に分散されたコードレビューシステムの構築などに使用できます。しかし、Git Notesは使い勝手が悪く、GitHubは2014年にコミットノートの表示を停止したため、採用が制限されています。それでも、コードフォージに依存しない完全なプロジェクト履歴への道筋を提供しています。
続きを読む
家族研究機関の報告書によると、アメリカは「セックス不況」に見舞われているという懸念すべき傾向が明らかになった。18～64歳の成人で毎週セックスをしていると報告する人の割合は、1990年の55％から2024年にはわずか37％に急落した。この研究は、パートナーシップの減少、結婚率の低下、カップル間の性交渉頻度の低下を指摘している。2010年以降、「大規模な再配線」の時代において、若い世代はデジタルメディアに没頭し、社会化が減少し、親密な関係を築くことが困難になっている。また、既婚カップルの性交渉頻度も低下しており、これは画面を見る時間の増加と関連している。このセックス不況は、健康、結婚の質、そして全体的な幸福感と関連しており、社会的な関与が必要であることを示している。
続きを読む
スタンフォード大学は、カリフォルニア州のCal Grantプログラムへの参加を放棄し、卒業生や寄付者とのつながりがある応募者を優先する従来の入学選抜ポリシーを維持することを選択しました。この決定は、カリフォルニア州が入学における「レガシー入学」を禁止した後に下されたものであり、最高裁判所の、人種を考慮した入学選抜に対する判決に続くものです。スタンフォード大学は失われた州からの資金を補填すると主張していますが、批評家たちは、この決定が高等教育における不平等を悪化させ、より実力主義的なシステムに向けた努力を損なうと主張しています。
続きを読む
長寿バイオテクノロジー分野は急成長しており、数十億ドルの投資を集めています。しかし、老化治療に関するすべての主張が真実とは限りません。この記事では、真に効果的な抗老化治療の構成要素を探ります。それは、複数の加齢関連疾患の予防、健康な機能の維持、老化プロセスの逆転です。老化バイオマーカーや「老化時計」にのみ焦点を当てることに警告し、相関関係が因果関係を意味するわけではないことを強調しています。効果的な治療法は、筋肉量の減少、免疫機能障害、代謝異常など、高齢者に共通する問題をターゲットにし、短期的に測定可能な臨床的エンドポイントを使用する必要があります。この記事では、高齢生物、自然発生疾患モデル、ヒトサンプルを使用することの重要性を強調し、老化を遅らせる、置き換える、回復させる、一時停止させるという有望な戦略を提案しています。
続きを読む
Clojure Civitasは、Clojureプロジェクトの公開を簡素化します。新しいプロジェクト、ブログ、リポジトリの設定はもう不要です。このリポジトリをフォークし、名前空間を作成してコードを記述し、コミットしてプルリクエストを送信するだけで、あなたの探求とアイデアを共有できます。コメント、チャート、マークダウン、Hiccupなど、さまざまな出力形式をサポートしており、実験の記録、結果の共有、ナレッジベースの構築を容易にします。このプラットフォームはコミュニティの貢献を奨励し、視覚化ツールと簡単な共有機能を提供することで、あなたのClojure体験をよりスムーズで効率的なものにします。
続きを読む
Linuxカーネル開発者のKees Cookは、カーネルのドキュメントコミットのIDが、カーネルリポジトリの最初のコミットの最初の12文字と一致していることを発見しました。この潜在的な衝突は、一意のコミットIDに依存するさまざまなツールを壊す可能性があります。まだアップストリームにマージされていませんが、このコミットは、SHA衝突を事前に解決し、将来の広範囲にわたる問題を防ぐためのテストケースとして機能します。
続きを読む
エンジニアのアーロン・コックス氏は最近、340mの無線塔での大胆なアンテナ検査を捉えた素晴らしいドローン映像を撮影しました。この映像は、プロの塔登り人の綿密な作業を示し、彼らの専門知識と安全への取り組みを強調しています。この検査は、数百万ドル規模のアンテナシステムを維持し、大規模な放送中断を引き起こす可能性のある潜在的な故障を防ぐために不可欠でした。この塔には10のラジオ局の設備があり、現代の放送インフラストラクチャの複雑さを示しています。この映像は、危険な高所作業の世界と、ラジオやテレビ放送の裏にある高度な技術を垣間見せてくれます。
続きを読む
MITの博士号取得者2名によって設立され、Y CombinatorとGoogleから支援を受けているAI企業、Stack AIが10倍エンジニアを募集しています。彼らは、OpenAIやAnthropicなどのAIモデルと様々なデータソースを統合したノーコードプラットフォームを開発しており、誰でもAIアプリを構築できるようにすることを目指しています。85,000人を超えるユーザーと300社以上の有料顧客を抱え、スケーラブルなバックエンドシステムの構築とAIモデルの統合に携わるPython、データベース、AWS、コンテナ化に精通したエンジニアを求めています。理想的な候補者は、強力な問題解決能力、チームワーク能力、そしてAIへの情熱を持っています。
続きを読む
ノルウェーの企業Ro Marineは、世界的な大規模な海事保険詐欺の中心にいます。100隻以上の船舶が、同社が発行した偽造保険書類を使用していました。このスキームは主にロシアの石油輸送に役立ち、制裁回避を容易にしました。ロシア人のオーナーAndrey Mochalinと、2人のノルウェー人と1人のブルガリア人は、文書偽造と無許可の保険業の運営の罪で起訴されています。調査によると、Ro Marineは偽造された資格情報を使用してパナマなど複数の国を欺き、世界的な海運業界への信頼を著しく損ない、軍事衝突のリスクさえ生み出しました。
続きを読む
Doltにとって重要な新規データ構造であるProlly Treesは、一度ではなく、少なくとも4回独立して発明されました。2009年のAvery Pennarunによるbupプロジェクト（Nomsに先立つ）、2015年のNomsによる用語の命名、2019年のInriaによる「Merkle Search Trees」、2020年のDePaul大学による「Content-Defined Merkle Trees」など、同じ基本的なデータ構造が異なるコンテキストで繰り返し登場しました。これは、科学における多重発見という一般的な現象を強調し、技術革新における需要の役割を浮き彫りにしています。DoltHubの著者たちは、この現象とその将来の技術への影響について、Prolly Treesに関する自身の経験をケーススタディとして議論しています。
続きを読む
WiFi-3D-Fusionは、ローカルWi-Fiからのチャネル状態情報（CSI）を利用して、リアルタイムの人体動作検出と3D可視化を行うオープンソースプロジェクトです。ESP32-CSIとNexmonの両方によるデータ取得をサポートし、高度なCNNを使用して人物の検出と追跡、複数人物の識別と再識別を行います。継続学習パイプラインにより、モデルは動作中に自動的に改善されます。Webインターフェースとターミナルベースのパイプラインの両方で可視化を提供します。Person-in-WiFi-3D、NeRF²、3D Wi-Fi Scannerとのオプション統合も提供されます。
続きを読む
この記事では、オブジェクト指向プログラミングと関数型プログラミングの両方を悩ませる「表現問題」について掘り下げています。それは、既存のコードを変更せずに新しいデータ型と操作を追加する方法です。C++とHaskellの例を用いて、著者は問題の中核を示しています。従来のオブジェクト指向プログラミングでは、型と操作を同時に拡張することが困難であり、関数型プログラミングも同様の制約があります。この記事では、ビジターパターンとその拡張を詳細に分析し、最終的にClojureのマルチメソッドとプロトコルを使用して、多重ディスパッチとオープンメソッドが表現問題をエレガントに解決し、柔軟で拡張可能なコードを実現する方法を示しています。
続きを読む
デビュー小説『小さなものの神』でブッカー賞を受賞した後、アールンダティ・ロイは政治的な文章へと転向し、インドで物議を醸す知識人となりました。新しい回顧録『母マリアが私のもとへ』では、著名な教育者であり社会活動家でもある母親、メアリー・ロイとの複雑な関係に焦点を当てています。メアリーの影響はアールンダティにとって深く、かつ矛盾に満ちており、ロールモデルであり反逆の対象でもありました。ロイは繊細な筆致で、母親の厳しさ、矛盾、愛情を描写し、母親の影の中で自己を確立し、最終的に和解に至るまでの過程を探求しています。この回顧録は、単なる個人的成長物語ではなく、インド社会の複雑な政治的および文化的文脈も反映しています。
続きを読む
著者は、Aiderで単一のプロンプトを使用して、エクスポートオプションを含む完全に機能するロゴ作成ツールを生成しました。コードスニペットは、LLMがフォントリンク、依存関係、インラインCSSスタイルを生成する能力を示しており、リンクされたCDNライブラリの最新のSHAハッシュさえも含まれています。しかし、Sonnet 3.7を使用してコードを拡張すると、プロジェクトの複雑さが大幅に増加し、最終的にコンパイルできないコードになりました。著者は、ClaudeやGPT-4oなどのさまざまなLLMにおけるコード生成と拡張機能の違い、コンテキストウィンドウサイズ、出力制限などの要因がLLMアプリケーションに与える影響を探求しています。LLMのコンテキストウィンドウと出力制限の限界が、重要な課題として強調されています。
続きを読む
20年間ハードウェアに触れてこなかったソフトウェアエンジニアが、友人の勧めにより、ハードウェアの挑戦的な旅を始めました。彼はRaspberry Piをスマートな芝刈り機の制御システムに変え、OLEDディスプレイ、UPS電源、カメラなどを追加して、システム情報、ネットワークの状態、芝刈りのデータなどをリアルタイムで表示しました。その過程で、CPU使用率の高さ、バッテリー残量表示の異常、ネットワークセキュリティなどの問題を解決し、最終的にネットワーク接続、監視、芝刈りデータ収集が可能なスマートな芝刈り機を製作しました。彼はその成果と経験をIRCで共有しました。
続きを読む
デンマークのデジタル化担当大臣キャロライン・オルセンは、同省がマイクロソフトのソフトウェアを段階的に廃止し、LibreOfficeに移行すると発表しました。最初の1ヶ月で省庁のコンピューターの半分を交換することから開始します。これはコペンハーゲンやオーフス市による同様の動きに続き、デジタル主権へのヨーロッパの関心の高まりを反映しています。マクロやカスタマイズといった課題はありますが、多くの職員は高度な機能を使いこなせていません。この移行は、CollaboraのCODEやGoogle Workspaceなどのオープンソースのオフィススイートやクラウドサービスの台頭を浮き彫りにしていますが、米国テクノロジー企業への依存に対する懸念も引き起こしており、フランスなどの国々は独立した代替策を探求しています。
続きを読む
近年、航空旅行の信頼性が低下しているという逸話が聞かれます。この分析は、米国運輸省のデータを用いて、複雑な状況を明らかにします。航空事故率は減少している一方で、深刻なフライトの遅延は増加傾向にあり、3時間以上の遅延は、1990年と比べて2024年には4倍になっています。航空会社は、予定飛行時間を人為的に長くすることで、この問題を隠蔽しています。過去10年間で航空運賃は安くなりましたが、信頼性が低下しているという代償を払っています。航空会社の財務モデルの変化、空港インフラの飽和、航空管制官の不足などが、寄与要因として考えられます。
続きを読む
太平洋岸北西部に生息するオオイモリ（Taricha granulosa）は、世界で最も有毒なイモリであり、数人の成人を殺すのに十分な毒を持っています。この極端な毒性は、一般的なガーターヘビ（Thamnophis sirtalis）との進化的な軍拡競争の結果です。イモリは捕食を防ぐために毒性を増し、一方ヘビは毒に対する耐性を進化させます。しかし、これは代償を伴います。イモリはより高い代謝負荷を負い、ヘビは神経系の悪影響を受ける可能性があります。興味深いことに、ヘビは他の捕食者に対する防御手段としてイモリの毒を蓄積し、危険な共生関係を維持しています。この複雑な相互作用は、進化におけるトレードオフと不確実性を強調し、種間関係と生態系のダイナミクスに関するさらなる疑問を提起しています。
続きを読む
古いPCでのChromeのパフォーマンスに不満を感じていた著者は、Firefoxに乗り換え、嬉しい驚きを得ました。FirefoxはChromeの機能をすべて備えているだけでなく、優れたタブ管理（Firefox View）、リンク保存のための内蔵Pocket機能、堅牢なプライバシー機能（Firefox Relay）、便利なスクリーンショットツール、AIチャットボットとの統合などを提供しています。さらに、ピクチャーインピクチャー、カスタマイズ可能な検索エンジン、ネットワーク設定、自動動画ミュートなど、細やかな配慮も満載です。著者は、Firefoxを優れた代替手段として推奨しています。
続きを読む
この記事では、単一命令複数データ (SIMD) アーキテクチャの固有の欠陥、つまり固定レジスタ幅によるスケーラビリティの問題、パイプライン処理によるパフォーマンスのボトルネック、テール処理のオーバーヘッドについて掘り下げています。これらの制限は、大規模データセットの処理におけるSIMDの効率を阻害します。この記事では、SIMDとベクトルプロセッサ（例：Cray-1、RISC-V RVV、ARM SVE）を比較し、後者は柔軟なベクトル長とハードウェアレベルのテール処理によってSIMDの欠点を克服しています。仮想ベクトル方式（VVM）などの代替アプローチについても探求されており、データ処理パフォーマンスの向上のための新たな道筋を示唆しています。
続きを読む
この記事では、AIデータアナリスト構築の課題と解決策を探ります。著者は、単純なテキストからSQLへの変換では現実世界のユーザーの複雑な質問には対応できず、複数ステップの計画、外部ツール（Pythonなど）、外部コンテキストが必要であると主張しています。そのため、著者のチームは、ビジネスロジックを明示的に定義するモデリング言語Malloyを使用したセマンティックレイヤーを備えたジェネレーティブBIプラットフォームを構築しました。これは、マルチエージェントシステム、検索拡張生成（RAG）、戦略的なモデル選択と組み合わせることで、高品質で低遅延のデータ分析を実現します。プラットフォームはSQLを生成し、複雑な計算のためにPythonを記述し、外部データソースを統合します。この記事では、コンテキストエンジニアリング、検索システムの最適化、モデルの選択の重要性を強調し、一般的なエラーモードへの対処法を共有しています。
続きを読む
開発者がCedarDBデータベースを用いて、SQLのみで記述されたDOOM風マルチプレイヤーシューティングゲームDOOMQLを作成しました。マップ、プレイヤー、敵など、すべてのゲームデータはデータベースに保存され、SQLビューを使用してレイキャスティングやスプライト投影などのレンダリング機能を実現しています。シンプルなシェルスクリプトがゲームループを駆動します。驚くべきことに、このアプローチは非常にうまく機能し、滑らかな30FPSと、データベースの固有の並行処理処理のおかげで容易なマルチプレイヤー機能を実現しています。保守やデバッグは困難かもしれませんが、この実験はゲーム開発におけるSQLの可能性と、CedarDBデータベースの高性能を示しています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発、共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を共有しています。arXivはこれらの価値観に尽力しており、これらを遵守するパートナーのみと協力しています。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう。
続きを読む
コンピュータ音楽の初年度学習のためのオンラインテキストとして最初に設計されたこの電子書籍は、作曲家、将来のオーディオエンジニア、そして音楽愛好家のための包括的な入門書として役立ちます。20年以上にわたって開発され、幅広いトピックを網羅しており、継続的に拡張されています。インディアナ大学電子計算機音楽センターの名誉所長であるジェフリー・ハス教授によって執筆され、学習と教育の目的で無料で利用でき、著者のクレジットが必要です。
続きを読む