arXivLabsは、arXivの新しい機能をウェブサイト上で直接共同開発し、共有するためのフレームワークです。参加者は、arXivのオープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという価値観を共有しています。arXivコミュニティを改善するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Unbaitedは、Llama 3.3モデルとGroq APIを利用して、X（旧Twitter）フィードからエンゲージメントベイトと煽動的なコンテンツをフィルタリングするChrome拡張機能です。リアルタイムでツイートを分析し、挑発的または論争的なトピックを通じてエンゲージメントを高めるように設計されたツイートをぼかし処理します。ユーザーはプロンプトをカスタマイズしてパーソナライズされたフィルタリングを行い、非表示のツイートを簡単に表示できます。このプロトタイプは、ソーシャルメディアプラットフォームがユーザーによるフィードの制御を改善する方法を示しています。Groq APIキーが必要です。
続きを読む
Answer.AIとLightOnは、ModernBERTを発表しました。これは、速度と精度においてBERTを凌駕する、最先端のエンコーダーのみのモデルファミリーです。ModernBERTは、近年のLLM研究における多くの進歩を取り入れ、拡張されたコンテキスト長（8192トークン）、高速処理、そして様々なベンチマークにおける優れた性能を誇ります。特に強力なコード検索機能により、大規模コード検索や強化されたIDE機能などの新しいアプリケーションへの道が開かれます。ModernBERTはBERTモデルの直接的な代替品として、Hugging Faceで利用可能です。
続きを読む
2024年のNDSSシンポジウムで、Signal FoundationのMeredith Whittaker社長は基調講演を行い、90年代の「暗号戦争」を振り返りました。彼女は、政治的、技術的、商業的な圧力が今日の暗号化の状況をどのように形作ってきたかを強調しました。Whittaker氏は、現在の状況を単に「暗号戦争2.0」と見なすことに警鐘を鳴らし、個人データ、監視技術、AI/MLによって推進される経済エンジンが、90年代の政府主導の暗号化とは根本的に異なる脅威をもたらすと主張しました。彼女は、新たなアプローチの必要性を強調し、NDSSの研究がこの対応の最前線にあると述べました。
続きを読む
研究者らは、AppleのMシリーズとAシリーズチップに、FLOPとSLAPと呼ばれる2つの重大な脆弱性を見つけました。FLOPはチップのロード値予測器(LVP)を利用して、Gmail、iCloud、Google Mapsなどの情報を含む、ChromeとSafariブラウザから機密データを盗みます。主にSafariを標的にするSLAPは、ロードアドレス予測器(LAP)を利用して同様のデータ窃取を行います。影響を受けるデバイスには、2021年9月以降に発売されたiPhone、iPad、Macが含まれます。Appleはリスクを評価していると主張していますが、研究者らは軽減策を発表しており、ユーザーはシステムのアップデートを推奨されています。
続きを読む
MuPDFライブラリ上に構築されたmutoolは、PDFファイルを操作するための幅広いサブコマンドを提供する強力なコマンドラインツールです。ページをPNGに変換したり、テキストを抽出したり、複数のPDFをマージしたり、埋め込まれた画像やフォントを抽出したりなど、様々なタスクに対応します。シンプルな変換から複雑なPDF操作まで、汎用性の高いツールです。
続きを読む
YouTubeは、米国においてテレビがモバイルデバイスを抜き、コンテンツ視聴の主要デバイスになったと報告しました。スマートフォンの普及にもかかわらず、大画面テレビとリモコンが依然として優勢であることが、YouTubeの視聴時間データから明らかになっています。Nielsen社は、YouTubeが2年連続でストリーミング視聴時間のトップサービスであることを確認しています。さらに、YouTubeは、クリエイターがゲームやイベントにライブ解説やリアクションを提供できる新機能「Watch With」を発表し、現在テスト中です。
続きを読む
この記事では、エンジニアリングマネージャーがコードを書くべきかどうかを探っています。著者は、すべてのマネージャーは「コードの中にある」べきであり、コードベースとチームの働き方を理解するべきだと主張していますが、すべてのマネージャーが主要なコードライターである必要はありません。マネージャーは、採用、戦略計画、意思決定、文化構築、メンタリングなど、チームの効率向上に焦点を当てるべきです。しかし、現在の経済状況下では、マネージャーはより高い効率性が求められており、「コードの中にある」ことと他の管理責任とのバランスを取る必要があります。この記事では、マネージャーが「コードの中にある」ための方法として、専用のコーディング時間を確保すること、部下とペアプログラミングを行うこと、コードレビューを行うこと、特定の状況（プロトタイピングやインシデント処理など）でのコーディングへの参加を増やすことなどを提案しています。最終的に著者は、重要なのはマネージャーが「コードの中にある」かどうかであり、主にコードを書くかどうかではないと結論付けています。
続きを読む
この記事は、Gang of Fourの『デザインパターン』や様々なRubyライブラリで示されているデリゲーションの一般的な理解に異議を唱えています。著者は、デリゲーションとして挙げられる多くの例は、実際には単なるメッセージ転送であり、真のデリゲーションではないと主張しています。Henry Liebermanによって定義された真のデリゲーションでは、「self」はデリゲーションプロセス全体を通して常に最初のメッセージ受信者を指す必要があります。JavaScriptとRubyの例を用いて、この記事はデリゲーションの正しい意味を明確にし、メッセージ転送を誤ってデリゲーションと呼ぶことによって生じる広範な誤解を強調しています。著者は、よりクリーンで保守しやすいコードを書くために、デリゲーションの真の意味を理解するよう開発者に促しています。
続きを読む
Goのインターフェースは、静的型チェックと動的ディスパッチをユニークに組み合わせたもので、おそらくGo言語の中で最もエキサイティングな機能です。この記事では、Goのgcコンパイラにおけるインターフェース値の実装の詳細を掘り下げ、メモリ表現、itable（インターフェーステーブル）の生成とキャッシング、様々なデータサイズに対するメモリ最適化について解説します。コード例と図解を通して、Goがコンパイル時の型安全と実行時の効率的なインターフェース呼び出しをどのように実現しているかを明確に説明します。他の言語のインターフェース実装との比較により、Goの独自のアプローチが強調されます。
続きを読む
中国の科学者たちは、CRISPR技術を用いて、成体まで生き延びる2匹の父親を持つマウスを作成しました。20個のインプリント遺伝子を編集することで、通常、二父性マウスで見られる発達異常を回避しました。この研究は、ゲノムインプリンティングと潜在的な生殖技術に関する知見を提供しますが、ヒトへの応用に関する倫理的および安全上の懸念も強調しています。
続きを読む
データ共有を促進するために設計された分散型ストレージシステムであるUpspinは、コミュニティの関与が不十分なため、5月6日に中心となるインフラストラクチャであるキーサーバーを永久に停止します。Upspinは強力なエンドツーエンド暗号化と使いやすさを提供し、多くの貴重な改善提案も蓄積されていましたが、維持のための努力が現在のコミュニティ規模に見合わなくなりました。開発者はすべての貢献者に感謝し、将来の可能性に門戸を開いています。
続きを読む
この記事では、死にゆく人々の間で広く見られる譫妄の現象を探求しています。著者は個人的な経験から始め、理想化された最後の言葉の概念と、しばしば意味のない発言という現実とのずれを強調しています。この記事では、譫妄の生物学的メカニズム、臨床症状、社会的な影響について掘り下げて考察されています。研究によると、譫妄は単なる認知機能障害ではなく、神経化学的な混乱から生じる複雑な症状の集合であり、しばしば認知症や精神病と誤診されます。この記事では、人生の終わりにおける譫妄への様々な文化的アプローチを分析しており、理解と受容を強調するものもあれば、宗教的な儀式を用いて経験に意味を与えるものもあります。最終的に、著者は、人生の終わりの譫妄に対処するには、正確な医学的診断と治療、そして社会および文化的な理解と共感が両方とも必要であり、個人が最期の瞬間をより良く過ごせるように支援すると示唆しています。
続きを読む
新型MacBook Airは、ファンレス設計のM4チップを搭載し、他のM4 Macと同様のパフォーマンスを提供します。10コアCPU（パフォーマンスコア4個、効率コア6個）と10コアGPUを搭載しています。長時間高負荷の作業ではパフォーマンスが若干低下する可能性がありますが、日常のほとんどのタスクでは、アクティブ冷却版のM4とほぼ同じパフォーマンスを発揮します。M3と比較して、M4はCPUパフォーマンスが15～30％向上し、GPUパフォーマンスが10～20％向上しています。M1と比較すると、全体的なパフォーマンスは50～70％向上しています。極端なストレステストではスロットリングが発生しますが、一般的なユーザーにとっては、M4は日常のワークフローを十分に超える、目に見えるパフォーマンス向上をもたらします。
続きを読む
このリストは、2024年に世界中のほぼすべての主要なソフトウェアエンジニアリングカンファレンスで最も視聴された100件の講演をまとめたものです。トピックは、大規模言語モデルの実用的なアプリケーションや、RustとJavaの高性能技術から、最新のWeb開発や信頼性エンジニアリングのベストプラクティスまで多岐に渡ります。注目すべき講演には、Jodie BurchellによるLLMに関する洞察に富んだ講演や、Martin ThwaitesによるOpenTelemetryの説明があり、どちらも13万回以上の視聴数を記録しています。この厳選されたリストは、知識とスキルを向上させたいソフトウェアエンジニアにとって貴重なリソースとなります。
続きを読む
レノボは、新型ThinkPad X9 Aura Editionから象徴的なTrackPointを取り除きました。他のThinkPadモデルではTrackPointは残りますが、この決定は大きな変化を示しています。レノボは、TrackPointがレガシーデザインであり、タッチパッドが主流の現代において、すべての人々に響くとは限らないと主張しています。新型Aura Editionは、インテルLunar Lakeプロセッサー、プレミアムOLEDディスプレイ、MetaのLlama 3.0を搭載したローカルAIを備え、より幅広いユーザー層への訴求を目指しています。
続きを読む
VirtualBoxのvmsvga3dSurfaceMipBufferSize関数における深刻な整数オーバーフローの脆弱性により、攻撃者はmalloc呼び出しを操作し、VirtualBoxがより大きなバッファサイズを追跡している間に0バイトを割り当てることができます。これにより、線形な読み取り/書き込みプリミティブが発生し、ホストメモリの任意の読み取り/書き込みアクセスにエスカレートします。概念実証は、仮想マシンの完全なエスケープを示しています。エクスプロイトには、バグのあるサーフェスの割り当てのトリガー、境界外読み取り/書き込みの悪用、任意のヒープ割り当て、そして最終的に任意のコード実行のためのRIP制御の獲得が含まれます。パッチが利用可能です。ユーザーはすぐに更新する必要があります。
続きを読む
製油所の閉鎖によるガソリン危機の可能性に直面し、カリフォルニア州は、1つ以上の製油所を州営にするという抜本的な選択肢を検討しています。電気自動車の普及と効率化の進歩によるガソリン需要の減少、製油所の閉鎖、バイオディーゼル生産への移行が相まって、不安定な状況が生じています。州は、製油所の運営に伴う高コストと運用上の複雑さに取り組んでいますが、地理的な隔離と独自のガソリン配合により、外部への供給依存は制限されています。この提案は、共和党議員が強く反対し、民主党指導部は沈黙を保つ中、政治的な議論を引き起こしています。カリフォルニア州は、ガソリン供給を確保するために州営製油所を危険にさらすか、市場の力が潜在的な不足と価格高騰につながることを容認するかという、重要な決定に直面しています。
続きを読む
ガイアー親子は、ワクチンと自閉症を関連付ける多くの疑わしい研究を発表しており、特に水銀を含む防腐剤であるチメロサールに焦点を当てています。これらの研究は、科学的な欠陥が多く、アメリカ小児科学会などから広く批判されています。ガイアー親子が関与するCDCの今後の研究は、ワクチンが自閉症を引き起こすという結論を出すと予想されており、これは健全な科学的方法に反するものです。専門家はこの研究が、客観的な研究ではなく、事前に決められた結論に基づいていることを懸念しています。
続きを読む
マイクロソフトは、DeepSeek R1モデルがAzure AI FoundryとGitHubで利用可能になったことを発表しました。1800を超えるモデルの多様なポートフォリオに加わるDeepSeek R1は、企業が高度なAIをシームレスに統合できるようにする、強力で費用対効果の高いAIソリューションを提供します。厳格なセキュリティテストを実施し、組み込みのコンテンツ安全性フィルタリングを備えたDeepSeek R1は、AIを安全かつ確実に展開するための安全で信頼できる環境を提供します。Azure AI Foundryを使用すると、開発者は、組み込みのモデル評価ツールを使用して効率性を高めながら、AIを迅速に実験、反復、およびワークフローに統合できます。
続きを読む
グループ47のDOTS（デジタル光学技術システム）は、長期的なデジタルデータアーカイブに対する革新的なアプローチを提供します。100年以上もの寿命を誇るDOTSは、電磁場（EMPを含む）に影響されない非磁性で化学的に不活性な媒体を使用しています。低コストで環境に優しい設計は、厳しい気候制御を必要とせず、標準的なオフィス環境（15º～150ºF）で信頼性の高い動作を実現します。独特な点は、DOTSが視覚的に読み取れる形式を採用していることです。拡大することでデジタル情報自体が見えるため、数十年後でも回復が保証されます。データ損失を防ぐために高価で頻繁なデータ移行を必要とする磁気テープやハードドライブとは異なり、DOTSは、法的、文化的、歴史的なデータを将来の世代のために保存するための安定した信頼性の高いソリューションを提供します。
続きを読む
ミャンマーとタイの国境沿いで、犯罪組織と軍閥が運営する詐欺センターに何千人もの人々が閉じ込められています。被害者は、AI生成のスクリプトとリアルなディープフェイクを利用したオンライン詐欺計画に強制的に関与させられています。中国とタイの当局による最近の取り締まりで一部の人々が解放されたものの、専門家は、数十億ドル規模の投資と高度な技術によって支えられているこの産業が、より強力に復活すると警告しています。この洗練された犯罪ネットワークは世界的な脅威であり、その規模と人権侵害に対抗するためには国際的な協力が必要です。
続きを読む
DreamBerdはメキシコ湾という名前になり、独特で風変わりなプログラミング言語になりました。文は感嘆符で終わり、セミコロンは「not」演算子、宣言は4種類（const const、const var、var const、var var）、配列はインデックス-1から始まり、浮動小数点インデックスもサポート、`when`キーワードで変数の変化をチェック、ガベージコレクタ搭載、変数のライフサイクルはカスタマイズ可能（ホイスティングのための負のライフサイクルを含む）、ループは存在しません。インストールは複雑で、ブール値はtrue、false、maybeの3種類、空白は算術演算の優先順位を決定、分数と数字の名前をサポート、インデントは厳密に3スペース、複数の比較演算子、柔軟な関数宣言、ゼロ除算はundefinedを返す、文字列の宣言方法は複数、地域通貨の補間をサポート、型アノテーションは任意、正規表現の型をサポート、`previous`、`next`、`current`キーワードで変数の履歴にアクセスできます。コードは5つ以上の等号で複数のファイルに分割可能、コードの反転、グローバル変数、感嘆符、括弧、引用符の自動挿入をサポート。メキシコ湾はリッチテキストと非同期関数のターンベース実行メカニズムもサポートしています。
続きを読む
LGはXR製品の商業化を停止すると発表しましたが、長期的な研究開発は継続します。韓国メディアの報道によると、LGはこの決定を、XR市場の成長が予想を下回ったこと、そしてHVACとロボット分野に注力したいという理由によるものです。それにもかかわらず、LGは次世代XRデバイス開発においてMetaとの提携を継続しており、プロジェクトは延期や中止の噂に直面していました。この動きは、MetaがAsusやLenovoなどの代替パートナーを探していた可能性があるという憶測を生んでいます。
続きを読む
ゲーム開発者のジョナサン・ブロウは、ソフトウェア抽象化が文明の終焉をもたらすと主張し、過剰な抽象化が低レベルプログラミングの知識の喪失につながり、最終的に重要なソフトウェアの維持を危うくすると述べています。この記事では、ブロウの主張を詳細に反論し、彼の議論における多くの誤りと誤解、例えば「ファイブ・ナインズ」(99.999%稼働率)指標の誤用や、現代ソフトウェアの堅牢性と開発者の生産性の過小評価などを指摘しています。著者は、過剰な抽象化には問題があるものの、ソフトウェアとハードウェア技術は進化を続け、オープンソースコミュニティや教育リソースの普及によって新たな低レベル開発者が育成されていると主張しています。最終的に、著者はブロウの見解は客観的な事実よりも個人的な経験や郷愁に基づいていると示唆しています。
続きを読む
リンシェーピング大学の研究者らは、ペロブスカイトLEDのライフサイクルアセスメントを行い、低コストと鮮やかな発色の可能性を示しました。しかし、普及には環境問題への対応が不可欠です。研究は、金などの有害物質の削減と有機溶剤の再利用の改善が重要であることを強調しています。現在のペロブスカイトLEDの寿命は短いですが、研究者らは技術向上により、商業化に必要な10,000時間の長寿命化が可能になると考えており、従来のLEDに取って代わる可能性があります。
続きを読む
この記事では、著者がライブラリを使用せずに、C++とCUDAを使ってLLM推論エンジンをゼロから構築した過程について説明しています。この過程を通して、CUDAカーネルからモデルアーキテクチャまで、LLM推論のフルスタックを深く理解し、様々な最適化が推論速度にどのように影響するかを学びました。目標は、一般的なオープンソースモデルの重みをロードし、単一CPU+GPUサーバー上でシングルバッチ推論を実行できるプログラムを作成し、トークンスループットを反復的に改善して、llama.cppを上回ることであり、CPUとGPUの両方での最適化ステップ、マルチスレッディング、ウェイト量子化、SIMD、カーネル融合、KVキャッシュ量子化などを詳細に説明し、ボトルネックと課題を分析しています。最終的には、ローカルLLM推論において、最先端に近いパフォーマンスを実現しています。
続きを読む
著者は25歳でインドのゴアに移住し、よりシンプルでコミュニティ重視の生活を送るようになり、様々な趣味を育みました。しかし、最近のカザフスタン旅行で、旅行の意味を見失ったと感じました。世界中の人々は本質的に同じであり、インターネットで簡単に旅行情報が得られることに気づいたのです。今では故郷のコミュニティとの深く永続的なつながりを優先し、今後の旅行は友人との交流や地元の自然探訪に重点を置くようになりました。
続きを読む
EQTY Labは、インテルとNVIDIAとの協力の下、AIワークフローのガバナンスと監査のためのハードウェアベースのソリューションである、検証可能なコンピューティングAIフレームワークを発表しました。このフレームワークは、AIトレーニング、推論、ベンチマークに対して、リアルタイムで真正性とコンプライアンスの証明書を提供し、説明可能性、説明責任、セキュリティを確保します。インテルとNVIDIAの次世代ハードウェアを活用することで、検証可能なコンピューティングは、AIポイズニングやデータ侵害など、AIサプライチェーンにおける増大するリスクに対処します。ServiceNow、Databricks、Palantirなどのツールと統合することで、責任あるAIイノベーションと、EU AI法などの規制への準拠を可能にします。このソリューションは、ライフサイエンス、公共部門、金融、メディアなど、さまざまなセクターで既に展開されています。
続きを読む
ユタ州上院の法案（S.B. 180）は、警察報告書がAIによって生成された場合の開示を義務付けるものだ。この法案は、警察署にAI使用ポリシーの策定を義務付け、AI生成コンテンツに関する免責事項と、警察官による正確性の認証を規定する。これは、ボディカメラの音声を使用して報告書を作成するAxon社のDraft Oneの急速な普及を受けてのものだ。批判者は、AIが言語を誤解したり、警察官に言い逃れを可能にしたり、司法の公平性を損なう可能性があると警告している。ワシントン州キング郡の検察官は既に、警察官に対しこの技術の使用を避けるよう指示している。これは規制に向けた一歩だが、AIの法執行機関における使用に関する懸念に対処するためには、より厳格な監督が必要だ。
続きを読む