オーストラリア情報委員事務所（OAIC）はMetaと合意に達し、ケンブリッジ・アナリティカ事件の影響を受けたオーストラリアのFacebookユーザーのために5000万豪ドルの支払プログラムを実施することになりました。この事件は、個人情報が「This is Your Digital Life」アプリに不正に開示され、政治プロファイリングのリスクがあったことを含みます。支払いプログラムは、一般的な懸念や恥ずかしさを感じているユーザーには基本的な支払い、具体的な損失や損害を証明できるユーザーにはより高い支払いを行います。申請は2025年第2四半期に開始される予定です。
続きを読む
日アクティブユーザー1000万人以上の短編動画アプリ快手は、データ量と同時リクエストの増加に伴い、既存のMySQLシャード化ソリューションに課題を抱えていました。ストレージボトルネックと複雑な運用が大きな問題となっていました。そこで、分散型データベースOceanBaseに移行し、400TBの単一クラスタを構築。トランザクション検証と決済サービスを成功裏にサポートしています。OceanBaseの高性能、拡張性、使いやすさが、快手のデータストレージとクエリの問題を解決し、システムの安定性と効率性を大幅に向上させるとともに、運用コストを削減しました。
続きを読む
特にLEDを使用する車のヘッドライトの明るすぎる問題が、ますます論争を呼んでいます。Redditのsubreddit r/FuckYourHeadlightsは、不満を持つドライバーの中心地となり、フロントエンド開発者と機械エンジニアが中心となって活動しています。彼らはデータ、調査、提言を通じて、自動車メーカーと規制当局に圧力をかけて問題解決を図っています。主な議論は、自動車メーカーが時代遅れの安全規制の抜け穴を利用して、最低基準を満たしながらも過剰に明るいヘッドライトを作っているという点です。議論の中心は、明るさ、視認性、グレアによる安全リスクのバランスです。解決策はまだ見えていませんが、このReddit発の運動は、自動車照明技術とその予期せぬ影響に関する重要な議論を巻き起こしました。
続きを読む
全米規模での禁止を回避するため、ホワイトハウスは、TikTokのアルゴリズム、データ収集、ソフトウェアアップデートの制御を米国企業に移管するべく、Oracleおよび他の投資家と交渉しています。TikTokの中国所有者であるByteDanceは少数株主にとどまりますが、米国投資家が過半数を保有することになります。これは、TikTokを中国の親会社から分離することを義務付ける米国の法律への準拠を目指したものです。しかし、この取引は、TikTokの高額な評価や議会の承認取得など、多くの課題に直面しています。中国の規制当局からの最近のシグナルは、米国企業による過半数所有を阻止しないことを示唆していますが、トランプ政権の長期的なコミットメントやApple、Googleとの協力関係については不確実性が残っています。
続きを読む
この記事では、OpenOfficeが火曜日に印刷できない問題から、Windowsサウンドレコーダーが原因の国家安全保障侵害、25年前のフォントの復活、様々な奇妙なハードウェアの故障やソフトウェアのバグまで、様々なユーモラスなインターネットの逸話を集めています。これらの物語は、テクノロジー世界のユーモラスな側面を強調し、プログラマーやユーザーが直面する、しばしば滑稽な課題を反映しています。
続きを読む
ChatGPTのローンチから2年以上が経過し、大規模言語モデル（LLM）は目新しい概念から21世紀最大の詐欺の一つへと変貌を遂げました。ChatGPTの週間アクティブユーザー数は3億人を誇りますが、著者はそれが生成AIが持続可能な数兆ドル規模の産業であることの証拠とはならないと主張します。この記事では、OpenAIやAnthropicといった企業の赤字経営と収益モデルの欠如、そしてメディアによる生成AIの過剰な宣伝を批判しています。Deep Researchなどの新製品は画期的な進歩をもたらしておらず、むしろ低品質と高コストの問題を浮き彫りにしているとしています。著者は、生成AIバブルは最終的に崩壊し、テクノロジー業界と社会に深刻な損害を与えるだろうと予測しています。
続きを読む
プログラマーが、古典的ゲームDoomをPDFファイルに移植しました！これは単純な埋め込みではなく、PDFのJavaScript機能を利用し、巧妙なASCII文字の操作で、PDFリーダー内でDoomを動作させています。フレームレートは高くありませんが、懐かしい体験を楽しむには十分です。この偉業はPDFフォーマットの潜在能力を示し、一見静的なPDFファイルにも隠れた驚きがあることを思い出させてくれます。
続きを読む
OpenAuthは、普遍的で、標準ベースのオープンソース認証プロバイダーです。スタンドアロンサービスとしてデプロイすることも、既存のアプリケーションに埋め込むこともでき、フレームワークに依存せず、Node.js、Bun、AWS Lambda、またはCloudflare Workers上で動作します。OAuth 2.0仕様に準拠しており、カスタマイズ可能なテーマ付きUIを提供します。ライブラリであるほとんどのオープンソース認証ソリューションとは異なり、OpenAuthは、インフラストラクチャでの簡単な自己ホスティング用に設計された中央集権型サーバーです。ユーザー管理は意図的に省略されており、代わりにカスタムユーザー検索/作成ロジック用のコールバックを提供します。データストレージは最小限（更新トークンなど）で、シンプルなKVストア（Cloudflare KV、DynamoDB）を使用します。事前に構築されたUIが利用可能ですが、簡単にカスタマイズまたは完全に置き換えることができます。SSTチームによって作成されたOpenAuthは、アプリケーションの認証を簡素化します。
続きを読む
本論文は、間隔反復法を用いることで、無限に生き続けるが忘れっぽい人が無限の事実を想起できることを証明している。忘却と復習回数との間のべき乗則の関係を確立し、1日の学習時間を有限と仮定することで、著者はモデルを導き出す。このモデルは、復習スケジュールの注意深いキュレーションによって、知識が無限に蓄積され、最終的に無限の記憶につながることを示している。1日の復習量は有限だが、時間の経過とともに累積される知識量は無限に増加する。
続きを読む
ボランティアに休暇を与えるため、WordPress.orgはいくつかの無料サービスを一時的に停止します。新しいアカウント登録、新しいプラグイン/テーマの提出、新しい写真ディレクトリの提出などが含まれます。フォーラムとローカリゼーションは引き続き利用可能です。創設者Matt Mullenwegは、WP Engineとの法的紛争により、WordPressの改善作業に費やす時間が大幅に減っていることを説明しています。彼はWordPress.orgへの支援を要請し、訴訟に関与していない代替のWebホストを使用することを提案しています。
続きを読む
この記事では、安全で簡単に設定できるコンテナマネージャーであるsystemd-nspawnを紹介します。これにより、完全なオペレーティングシステムやディレクトリツリー内のコマンドを実行できます。chrootと比較して、セキュリティが強化され、OCIに準拠しています。この記事では、Docker export、debootstrap、mkosi、machinectlコマンドなどを使用して、systemd-nspawnでコンテナを作成および管理する複数の方法について詳しく説明します。著者は、Dockerへの依存を減らし、より低レベルで柔軟性の高いコンテナ技術を探求することを推奨しています。
続きを読む
ディズニーのエンジニアが、一見無害なAI画像生成ツールをダウンロードしたところ、それがマルウェアであることが判明し、人生が崩壊しました。このツールにより、ハッカーは彼の個人情報や業務データ、顧客データ、従業員の旅券番号、財務記録など、ディズニーの機密情報にアクセスできました。さらに、自宅のセキュリティカメラにもアクセスされ、プライバシーが深刻に侵害されました。彼は、職場のコンピューターで不適切なコンテンツにアクセスしたことを否定していますが、ディズニーから解雇されました。この事件は、信頼できないソースからのソフトウェアのダウンロードの危険性と、サイバーセキュリティの重要性を示す教訓となっています。
続きを読む
この記事では、最尤推定（MLE）と一般的に使用される損失関数間の本質的な関係を探ります。MLEの基本から始めて、著者はKLダイバージェンスとの密接な関係を綿密に説明します。そして、平均二乗誤差（MSE）と交差エントロピーを例に、これらの関数がどのようにMLEから自然に導かれるのか、恣意的に選択されるのではなく、詳細に示しています。データの分布（例えば、線形回帰のガウス分布、ロジスティック回帰のベルヌーイ分布）を仮定することで、MLEによる尤度関数の最大化は、MSEと交差エントロピーの損失関数に直接的に繋がります。これは、損失関数の理論的基礎を理解するための明確な道筋を提供し、単なる直感を超えるものです。
続きを読む
この投稿は、論理学に関するシリーズの第一弾で、推論のための強力なシステムとしてのシークエント計算を紹介しています。Gentzenの記法を用いて、著者は論理的推論を記号的に表現する方法を説明し、推論規則、導出木、メタ変数を網羅しています。この記事では、シークエント計算、シークエント自然演繹、自然演繹を比較し、片側シークエント計算と直観主義論理にも触れています。最後に、直観主義論理における証明項と、単純型付きラムダ計算との関係を簡単に紹介します。
続きを読む
Frameworkは、ゲーム機に匹敵するコンパクトな4.5リットルの筐体を備えた、初のオールインワンミニPCを発表しました。Ryzen AI Maxプロセッサと32GB以上のRAMを搭載し、1440pゲームやワークステーションタスクに対応できます。価格は1099ドルから、最高構成で1999ドルです。比較的競争力のある価格で強力なパフォーマンスを提供する一方、CPU、GPU、RAMがはんだ付けされているためアップグレードできません。これはFrameworkの通常のモジュール式設計哲学からの大きな逸脱です。
続きを読む
Ropeyは、テキストエディタなどのアプリケーションのバックエンドテキストバッファとして設計された、Rustで記述されたUTF-8テキストロープライブラリです。高速で堅牢であり、大規模なテキストとメモリ不整合な編集を容易に処理できます。Ropeyは強力なUnicodeサポート、予測可能なパフォーマンスを備えており、中規模から大規模なテキストの頻繁な編集に優れています。ただし、非常に小さなテキストや利用可能なメモリを超えるテキストには適していません。主な機能には、行認識、効率的なロープのスライス、柔軟な低レベルAPIが含まれます。Ropeyはさまざまなプロジェクトで実績があり、厳格なテストを受けており、テキスト操作のための信頼性の高いソリューションを提供します。
続きを読む
西暦79年のヴェスヴィオ火山噴火から驚くべき発見がありました。激しい熱と急速な冷却によってガラス化した人間の脳です。これまでに人や動物の組織で見たことのない前例のない保存方法で、過去へのユニークな窓を開き、極端な状況下での組織保存に対する私たちの理解に挑戦するものです。分析により、脳は510℃を超える温度で有機ガラスへの急速な変化を遂げたことが明らかになり、様々な科学的手法によって確認されました。
続きを読む
ホワイトハウスは、AI時代における米国の安全保障と経済力強化のための戦略を発表しました。この戦略は、AI技術の世界的な普及と国家安全保障上の懸念とのバランスを取っています。同盟国・パートナーとの協力を促進するため、チップ輸出のライセンス取得を簡素化し、責任あるAI開発を推進します。同時に、大量破壊兵器の開発や人権侵害など、AIの悪用を防ぐため、特定の国々に対して厳しい制限を課します。安全と信頼の基準の設定、政府間協定を通じた国際協力の強化を通じて、共有された価値観に基づくAIエコシステムの構築を目指しています。
続きを読む
大人の「基礎的スキル」に関する国際的なテストで、中程度の複雑さの読解力と算数の問題に苦戦するアメリカ人が増えていることが明らかになった。アメリカの成人は、識字力と計算力においてOECD平均を下回り、2017年以降スコアが低下している。子供のテストスコアの低下との関連性はあるものの、単純な因果関係ではない。スコアが最も大きく低下したのは高齢者であり、問題は教育システムだけではないことを示唆している。テスト自体にも問題があり、純粋な推論力よりも複雑な文章の理解力を測っている可能性がある。記事では、教育によってこの格差を埋め、知識の蓄積と複雑な構文の理解を向上させることで、このようなテストに対応できるようになると主張している。
続きを読む
コンピュータの活動を記録するように設計されたマイクロソフトのRecall機能に、「機密情報フィルター」の欠陥が見つかりました。テストの結果、クレジットカード番号、社会保障番号などの機密データを含むスクリーンショットが保存されるのを防げないことが判明しました。マイクロソフトは改善を約束していますが、現在のセキュリティ脆弱性は懸念事項です。AI搭載のフィルターは、機密情報を確実に識別することに苦労しており、大きなセキュリティリスクとなっています。
続きを読む
Synergeticaは、遺伝子回路設計のための強力なデスクトップアプリケーションです。回路設計、シミュレーション、DNAシーケンス生成のエンドツーエンドワークフローを単一のプラットフォームで提供します。ノードベースまたはコードベースのインターフェースを使用して遺伝子回路を設計し、タンパク質発現レベルをインタラクティブにシミュレートし、シミュレーションで決定されたパラメーターに基づいてDNAシーケンスを生成できます。ニーズに合った遺伝子部品を追加して回路をカスタマイズし、完全にオフラインで作業して、完全な制御とプライバシーを確保できます。
続きを読む
本論文は、大規模言語モデル（LLM）をリストワイズ文書ランキングに効果的に使用できること、そして驚くべきことに、いくつかの複雑な問題を文書ランキングの問題に変換することで解決できることを主張しています。著者は、パッチの差分を使用してN日目の脆弱性を特定することにより、これを示しています。セキュリティアドバイザリ（クエリ）との関連性に基づいて、パッチの差分（ドキュメント）をランク付けする問題として再構成することで、LLMは脆弱性を修正する特定の関数を効率的に特定できます。この手法は、複数のセキュリティカンファレンスで検証されており、ファジングターゲットの選択や優先順位付けなど、他のセキュリティ問題にも適用できます。今後の改善としては、ランキング結果の分析や、自動的にテスト可能な概念実証型エクスプロイトの生成などの検証可能な証拠の生成などが挙げられます。
続きを読む
職場の厳しい設定のためにWindowsマシンでdirenvを動かすのに苦労したことから、作者はターミナルでの環境変数の読み込みを簡素化するクロスプラットフォームツールである`envloader`を作成しました。.envファイルと.envrcファイルをサポートし、シェルに合わせて自動的に変換します。brewまたはscoopで簡単にインストールでき、`envloader`を実行するだけで変数をロードできます。direnvのような高度な機能（自動ロードなど）はありませんが、環境変数を簡単に管理したいユーザーにとって、迅速で効果的なソリューションです。
続きを読む
元旦、Luck be a Landlordの開発者はGoogle Playから、ゲームが「ギャンブルを含む」としてストアから削除される可能性があると連絡を受けました。数ヶ月間ゲームの内容に変更はなかったにもかかわらず、Google Playはポリシー違反と判断し、開発者を非常に心配させています。開発者は以前にも、13カ国でゲームが禁止されたことでGoogle Playと何度も争ってきましたが、解決には至っていません。渋々、グローバルな禁止を避けるため、年齢評価アンケートでゲームが「ギャンブルを含む」ことを認めました。開発者はプレイヤーがAndroidデバイスでゲームを続けられることを願っており、次のゲームに関する情報を得るためにニュースレターへの購読を推奨しています。
続きを読む
Fastmailは、オープンソースメールプロトコルであるJMAPの10周年を祝います。過去10年間、JMAPは、業界ワークショップ、開発者との連携、IETF標準化を通じて、初期の概念から成熟した標準へと進化し、電子メール、連絡先、カレンダーの機能を統合してきました。今後、FastmailはCyrus IMAPサーバーの改良とJMAPの採用促進を続け、ユーザーエクスペリエンスの向上とメール業界の標準化を目指します。
続きを読む
AI愛好家が、4枚のNVIDIA 4090 GPUを使用して大規模言語モデル（LLM）をローカルで訓練するための自作マシンを構築しました。費用は約12,000ドル。このセットアップでは、最大10億パラメーターのモデルを訓練できますが、約5億パラメーターのモデルで最適なパフォーマンスを発揮します。この記事では、ハードウェアの選択（マザーボード、CPU、RAM、GPU、ストレージ、電源、ケース、冷却システム）、組み立て手順、ソフトウェア構成（OS、ドライバー、フレームワーク、カスタムカーネル）、モデルの訓練、最適化、メンテナンスについて詳しく説明しています。George Hotzのカーネルパッチを使用して4xxx GPUのピアツーピア通信を有効にするなどのヒントも含まれています。ローカル訓練の利点を強調しながら、著者はいずれかのタスクに対するクラウドソリューションのコスト効率の高さにも言及しています。
続きを読む
2019年、イベント・ホライズンテレスコープによって、M87銀河の中心にある超巨大ブラックホールの最初の画像が撮影されました。今回、UCLAの研究者を含む国際研究チームが、このブラックホールからテラ電子ボルトのガンマ線フレアを観測しました。その規模はブラックホールの事象の地平線よりも数千万倍も大きく、10年以上観測されていなかったこの激しいフレアは、ブラックホール近傍での粒子の加速メカニズムに関する重要な手がかりを提供し、宇宙線の起源解明に役立つ可能性があります。UCLAは、この観測に不可欠なVERITAS望遠鏡の建設とデータ分析に大きく貢献しました。
続きを読む
アメリカ国立衛生研究所（NIH）は、政府の優先事項に合わせるため、最終的な科学的誠実性ポリシー（NOT-OD-24-178）を廃止しました。NIHは科学的誠実性の維持に引き続き尽力しており、研究不正、著者名、ヒトおよび動物の被験者保護、データ管理と共有に関する複数の重複するポリシーを維持しています。この通知は、最終的な科学的誠実性ポリシーのみに適用され、そこに記載されているポリシーには適用されません。NIHは、HHS科学的誠実性ポリシーにも準拠します。
続きを読む
著者は不安な症状を経験し、医師の診察を受けたにもかかわらず症状が悪化した。ChatGPTを使って症状と検査結果を分析したところ、AIは血小板数が危険なほど低いことを特定し、緊急の医療処置を促した。最初はためらったものの、著者はChatGPTの助言に従い、救急病院に向かった。検査の結果、血小板数がゼロであることが判明した。医師たちは、ChatGPTのおかげで迅速な対応が可能になり、重篤な結果を回避できたと評価している。この記事では、医療におけるAIの役割を探り、患者と医師をつなぐ架け橋としてのAIの可能性を強調している。
続きを読む
エンジニアリングの質問では、完璧な球状のルパートの涙を作る可能性を探っています。ルパートの涙は、溶けたガラスを冷たい水に落とすことで形成されるガラスの物体であり、その独特の内応力により、尾部を除いて非常に強靭になります。この記事では、理論的には、無重力環境で冷却速度を制御し、重力の影響を除去することで、球状のルパートの涙を作ることができるものの、大きな実際的な課題が残っていることを論じています。
続きを読む