エンロンは、安全で効率的で手頃な価格のエネルギーを約束するコンパクトな家庭用原子炉「エッグ」を発表しました。ウラン・ジルコニウム水素化物燃料棒を使用し、核分裂によって熱を発生させ、3Dプリントされたインコネル熱交換器で電気に変換します。過熱時の自動停止や高度な放射線シールドなど、複数の安全機能が強調されています。エンロンは、「エッグ」は従来のシステムよりもはるかに安価で、信頼性が高く、安定した電力を供給すると主張しています。しかし、家庭用原子炉の安全性と実現可能性については議論があり、エンロンの主張についてはさらなる精査が必要です。
続きを読む
この記事では、著者がAVX-512命令、特にマイナーな`vp2intersectq`命令を利用して、非常に高速なフレーズ検索アルゴリズムを作成した過程について説明しています。320万件の文書を含むMS MARCOデータセットでMeilisearchと比較したベンチマークテストでは、最大1600倍のパフォーマンス向上を達成しました。アルゴリズム設計、インデックス最適化、SIMD最適化、AMDとIntel CPUのマイクロアーキテクチャの違い、コードアライメントなど、さまざまな側面について詳細に解説されています。
続きを読む
ソフトウェアアーキテクトの間では、コンウェイの法則の重要性についてコンセンサスがあります。それは、システムを設計する組織は、その組織のコミュニケーション構造をコピーした構造の設計を生み出すというものです。つまり、ソフトウェアアーキテクチャはしばしば開発チームの組織構造を反映します。これを無視すると、システムアーキテクチャと組織構造の間に矛盾が生じ、開発の複雑さが増します。この記事では、コンウェイの法則に対処するための3つの戦略、つまり無視、受容、そして逆コンウェイ操作（ソフトウェアアーキテクチャを導くために組織構造を変更する）を探求しています。著者は、ソフトウェア開発全体を通して、システムアーキテクチャと組織構造の進化を同期させる必要性を強調し、ドメイン駆動設計などの手法を用いることを提案しています。
続きを読む
研究者らは、Best-of-N（BoN）ジェイルブレイキングと呼ばれる新しいAI攻撃アルゴリズムを開発しました。このブラックボックスアルゴリズムは、プロンプトを繰り返し変更します（例：テキストのランダムシャッフルや大文字化など）。そして、AIシステムから有害な応答を引き出すまで繰り返します。BoNは、GPT-4o（89％）やClaude 3.5 Sonnet（78％）などのクローズドソース言語モデルで、非常に高い攻撃成功率（ASR）を達成し、既存の防御メカニズムを効果的に回避しました。さらに、BoNは、視覚言語モデルや音声言語モデルにもシームレスに拡張でき、一見無害な入力のバリエーションにも、高度なAIシステムが脆弱であることを示しています。この研究は、AI分野における重大なセキュリティ上の懸念を浮き彫りにしています。
続きを読む
開発者がCommon Lispを使ってYouTube動画から音楽データを抽出を試みました。TesseractとChatGPTを使った最初の試みは失敗に終わりました。最終的に、文字画像を手動で抽出し比較する、古いスタイルのピクセル差分法を用いて、大部分の楽譜データを抽出することに成功しました。完璧ではありませんでしたが、抽出されたデータは十分であり、この方法の実現可能性を示しました。この記事では、Lispを使った画像処理と効率的な開発についても詳述されています。
続きを読む
BoldVoiceのアクセントオラクルは、あなたの英語のアクセントから30秒以内にあなたの母語を当てることを目指しています。試してみて、結果を共有しましょう！
続きを読む
RobertleojはGitHubでPen Plotter Robotというオープンソースプロジェクトを公開しました。これはペンを使って図を描くロボットです。このプロジェクトにはロボットの設計、製作、制御プログラムが含まれており、メイカーや愛好家がロボティクスと機械設計を学ぶことを目指しています。コードとドキュメントは公開されており、学習と改良に役立ちます。
続きを読む
Racket用の`html-printer`ライブラリは、整形されたHTML5コードを生成するためのエレガントな方法を提供します。中核となる関数`xexpr->html5`は、X式を自動インデントと折り返しのあるHTML5文字列に変換し、列幅のカスタマイズも可能です。Unicodeに対応しており、文字の長さを正しく処理し、必要に応じてタグ間に改行を追加して、可読性と保守性を向上させます。意味的にクリーンで構造的に堅牢なHTML5を作成するのに最適です。
続きを読む
2024年のアメリカは、広範な怒りとエリート層の混乱という、際立った対照的な一年でした。特に家族の間でホームレスが増加し、国民の不満が高まりました。この怒りは、タイタン潜水艇の犠牲者への幸災楽禍から、トランプ支持、医療CEO殺害事件への怒りなど、様々な形で表れました。しかし、エリート層はこの怒りを理解することに苦労し、CEO向けの危機ホットラインなど、効果のない安全対策に頼り、国民との溝をさらに深めました。ウォーレン上院議員の怒りの根本原因を説明しようとした試みは阻まれ、深刻なコミュニケーションの断絶を浮き彫りにしました。
続きを読む
2024年12月28日、EUの新しい法律が施行され、EU圏内で販売されるすべての新しいスマートフォン、タブレット、カメラにUSB-C充電ポートが義務付けられました。この規制は、電子廃棄物の削減と消費者のコスト削減を目指しています。当初は反対していたアップルも、最終的にUSB-C標準を採用しました。EUは、この法律により年間少なくとも2億ユーロの節約と1000トン以上の電子廃棄物の削減が見込まれると推定しています。
続きを読む
ソフトバンクグループは、独立系シリコン設計企業であるAmpere Computingを65億ドルで現金買収すると発表しました。この買収は、ソフトバンクのAIインフラ投資を強化し、AI分野での成長を加速させます。Ampereはソフトバンクの完全子会社となり、社名とサンタクララの本社は維持されます。ソフトバンクグループの孫正義社長は、この買収が人工知能スーパーインテリジェンスのビジョン実現を加速させると述べています。AmpereのCEO、Renee James氏は、ソフトバンクへの参加と、高性能ArmプロセッサとAIのためのAmpereOneロードマップの推進に意欲を示しています。取引は2025年下半期に完了する見込みです。
続きを読む
最近の研究では、キャットキュービットに基づく量子コンピューティングシステムに大きな制約があることが明らかになりました。位相反転エラーの修正においては優れた性能を示しますが、ビット反転エラーに対しては非常に脆弱です。キャットキュービットのいずれか1つでビット反転が発生すると、論理ビット反転エラーが直接発生します。さらに、エラー訂正に使用されるトランスモンキュービットもビット反転と位相反転の両方に影響を受けやすく、性能をさらに阻害します。一部の企業はハードウェアキュービットの改良によって必要なエラー訂正キュービット数を削減しようとしていますが、この研究は、現在のハードウェア能力と複雑な量子計算との間に大きな隔たりがあることを示しています。この技術の可能性を実現するには、ハードウェアの画期的な進歩が必要です。
続きを読む
この記事では、C言語プログラミングにおけるクロスプラットフォームタイマーAPIの課題を探ります。著者は、Linux、FreeBSD、NetBSDなど、さまざまなUnixシステムがタイマーを非常に異なる方法で処理していることを発見しました。信号に基づいているPOSIXのtimer_create関数は、他のOSプリミティブとの相互運用性の悪さ、シグナルマスクの干渉など、多くの問題を抱えています。この記事では、timerfd_create、kqueue、port_create、io_uringなどのさまざまなソリューションの長所と短所を詳しく調べ、クロスプラットフォームアプリケーションでは、libuvが行っているように、ユーザー空間でタイマーを実装することが、より効率的で信頼性の高いアプローチであると結論付けています。libuvは、タイマーの管理に最小ヒープデータ構造を使用し、poll/epoll/kqueueなどのシステムコールを多重化に使用します。
続きを読む
この記事で、トニー・マーストンはPHP 8.1で導入された強制的な静的型チェックの変更を強く批判しています。彼は、この変更がPHPの動的型付けの中核となる設計理念に反しており、PHPの長年の柔軟なデータ型処理手法と矛盾し、開発者に大きな負担を強いると主張しています。この記事は、自動的な型変換や柔軟なデータ処理など、PHPの動的型付けシステムの利点を詳しく解説し、現代のハードウェアにおいて静的型付けのパフォーマンス上の利点は無視できるほど小さく、開発効率を阻害する一方であると指摘しています。マーストンは、PHPの動的型付けシステムはHTMLフロントエンドとSQLバックエンドのデータ処理に適しており、静的型付けを強制することは逆効果であり、PHPコミュニティに悪影響を与えると主張しています。
続きを読む
Imgurウェブサイトにアクセスして「このメッセージが表示されている場合、ブラウザでJavaScriptが無効になっていることを意味します。JSを有効にしてImgurを動作させてください」というメッセージが表示された場合は、ブラウザでJavaScriptが無効になっています。画像を表示し、Imgurの機能を正しく使用するには、JavaScriptを有効にする必要があります。
続きを読む
Asahi LinuxプロジェクトのWikiページでは、AppleのM3シリーズチップ（M3、M3 Pro、M3 Max）に対するサポート状況を詳細に説明しています。このページは、linux-asahi、asahi-edgeなど、さまざまなAsahi Linuxリリースにおける様々なハードウェア機能の状況をまとめた表を示しており、安定したサポート、開発中の機能、サポートされていない機能などが含まれています。M3シリーズチップはまだ正式にリリースされていないため、サポート状況の多くはAppleの過去のアップデートパターンに基づいた予測であることに注意が必要です。また、このページでは、特定の機能（例：cpuidle）の実装の詳細と、上流へのマージにおける課題についても強調されています。
続きを読む
DeepSeek R1とOpenAI O1の金融分野における直接比較テストで、DeepSeek R1が圧勝した。主要な指標において、DeepSeek R1はOpenAI O1を大きく上回り、中国のAI技術が金融分野で大きな進歩を遂げたことを示している。この結果は大きな注目を集め、中国のAI技術が世界の競争において優位に立っていることを示唆している。
続きを読む
米国下院司法委員会は、コンテンツモデレーション政策に関するバイデン政権との連絡について、Alphabet（Googleの親会社）を召喚しました。委員長のジム・ジョーダン議員は、政府外部の団体との同様の連絡についても要求しました。召喚状は、ドナルド・トランプ氏、イーロン・マスク氏、COVID-19、その他保守的な話題に関するコンテンツ制限を対象としています。Metaが以前、バイデン政権からの圧力を認めた一方で、Googleは同様の行為を否定し、独自のポリシーに基づいて独立して実施され、表現の自由を重視していると主張しています。
続きを読む
科学者たちは、新しいタンパク質を設計するための画期的なAI搭載ツール、RoseTTAFoldを開発しました。このツールは、ユーザーが指定したターゲット構造に基づいてタンパク質のアミノ酸配列を予測し、安定で機能的なタンパク質を生成します。このブレークスルーは、創薬、材料科学、生物工学の進歩を加速し、人類が直面するさまざまな課題への対処に新たな可能性を提供すると期待されています。この技術は、病気の治療や新素材の開発のために、特定の機能を持つタンパク質を創り出すことで、バイオメディシンに革命を起こす可能性を秘めています。
続きを読む
この記事は、git checkoutコマンドを共同で非推奨とすることを主張しています。著者は、git checkoutコマンドが複雑で分かりにくく、特に初心者にとって混乱を招くと主張しています。代わりに、より分かりやすいgit switchとgit restoreコマンドを使用することを提案しています。Gitはgit checkoutコマンドを削除しませんが、著者は、より良い代替案へのコミュニティ主導の移行を促し、全体的なGitエクスペリエンスを向上させ、初心者の混乱を避けることを推奨しています。
続きを読む
機関別の論文撤回率に関する世界的な分析によると、中国の一部の病院で撤回率が異常に高く、世界の平均の50倍以上という病院もあることが明らかになりました。これは、若手医師が職務昇進のために偽論文を購入していることが大きな原因です。中国政府は学術不正行為への対策を講じていますが、高い撤回率は、研究倫理の脆弱性と、論文発表数の過剰な重視による悪影響を示しています。この研究は、国や機関間における研究倫理の大きな違いと、データ分析ツールを用いた学術不正の特定・対策の可能性を浮き彫りにしています。
続きを読む
Abseilは、`absl::flat_hash_map`などを含む、Swiss Tablesと呼ばれる高性能ハッシュテーブルを提供しています。これらのテーブルは、巧妙なメタデータ設計とSSE命令による最適化されたルックアップにより、パフォーマンスを大幅に向上させます。メタデータは、制御ビットと7ビットのH2ハッシュ値で構成され、候補の一致を迅速に絞り込みます。さらに、Swiss Tablesは不要なメモリ割り当てとコピーを回避し、`emplace`や`insert`操作ではムーブセマンティクスを活用して最適なパフォーマンスを実現します。
続きを読む
新たな研究が、極低温（10Kまで）が5nm FinFET SRAMアレイのサイズと性能に与える影響を調査しています。研究者らは、極低温下では、アレイの最大サイズはリーク電流ではなくワードライン寄生効果によって制限され、性能はビットラインとワードラインの寄生効果によって決まることを発見しました。これは、将来の低消費電力、高性能コンピューティングにとって大きな意味を持ち、極低温環境下でのSRAMアレイの最適化に関する貴重な知見を提供します。
続きを読む
この記事では、著者が上海の建築、特に浦西と浦東の対比について観察したことを記しています。2005年の訪問から始まり、著者は浦東の急成長する超高層ビル群に魅了されたことを描写しています。現在、浦東には東洋明珠塔、金茂大厦、上海環球金融中心、上海タワーなどがあり、浦西の歴史的なヨーロッパ様式建築とは鮮やかな対照を成しています。著者は、これらの建物は単なるエンジニアリングの偉業ではなく、中国の経済発展と文化変容の象徴であり、上海の独特な二面性、つまり歴史的遺産と現代的な活力の融合を反映していると主張しています。
続きを読む
ドイツのHeise.de誌は、多数のSeagateハードドライブ購入者が新品の代わりに中古ドライブを受け取ったという広範な問題を報じています。数万時間使用されたドライブは、Seagate認定販売店や大手オンラインマーケットプレイスなど、さまざまな小売業者から購入されました。影響を受けたモデルは、さまざまなシリーズと容量に及びます。Seagateは調査中ですが、問題の規模と性質はまだ不明であり、不正行為の可能性が懸念されています。
続きを読む
Tabbyは、GitHub Copilotのローカル代替手段となる、オープンソースの自己ホスト型AIコーディングアシスタントです。データベースやクラウドサービスは不要で、OpenAPIインターフェースにより既存のインフラストラクチャ（例：クラウドIDE）との統合が容易です。コンシューマーグレードのGPUをサポートしています。最近のアップデートには、Llamafileのデプロイ統合、Answer Engineのユーザーエクスペリエンスの向上、Answer Engineでの異なるバックエンドチャットモデルの切り替え、メインページでの最近共有されたスレッドの表示などが含まれます。また、IDEプラグインや、チーム管理やセキュアアクセスなどのエンタープライズ機能も備えています。
続きを読む
英国の情報コミッショナー事務所（ICO）は、スマートホームデバイスに関するデータプライバシー懸念に対処するため、新たなガイダンスを発表する。Which？の報告書によると、一部のエアフライヤーなどのスマートデバイスが、ユーザーデータを中国のサーバーに送信していたことが判明した。ICOは、消費者が収集されたデータの量に圧倒され、その使用に関してコントロールを失っていると感じていると述べている。2025年春に発表される新たなガイダンスでは、同意の手続き、プライバシー情報の提供、ユーザーが権利を行使するためのツールなどが網羅される。
続きを読む
Ruby 3.4.0がリリースされました。大幅な改善が含まれています！主なハイライトとしては、パフォーマンスが向上したYJITコンパイラ、新しいモジュラーガベージコレクション機構、便利な`it`ブロックパラメータ参照などがあります。デフォルトのパーサーはPrismに変更され、ソケットライブラリはHappy Eyeballs V2に対応し、効率的なネットワーク接続を実現します。コアクラスがアップデートされ、様々なバグが修正されました。このリリースには、文字列リテラルの変更に関する非推奨警告と、キーワードsplattingの改善も含まれています。
続きを読む
この記事では、AIとエンドツーエンド暗号化の衝突について考察しています。AIアシスタントの普及により、ますます多くの個人データがクラウドで処理されるようになり、エンドツーエンド暗号化によるプライバシー保護が脅かされています。Appleなどの企業は、「プライベートクラウドコンピューティング」と信頼できるハードウェアによってこれを軽減しようと試みていますが、このアプローチは複雑なソフトウェアとハードウェアのセキュリティに依存しており、完璧な解決策とは言えません。さらに大きな懸念事項は、強力なAIエージェントの制御です。一度展開されると、アクセスが最も重要な問題となり、政府や企業によるアクセスが個人プライバシーを侵害する可能性があります。
続きを読む
フリーソフトウェアファウンデーション（FSF）は、ブログ記事で、マイクロソフトのフリーソフトウェアに反対する慣習に対抗するため、同社への継続的な圧力を求めています。この記事では、今年の国際デジタル制限反対デー（IDAD）を例に、TPMモジュールを必要とするマイクロソフトによるWindows 11への強制アップグレードが、ユーザーの自由とデジタル権利を損なっていることを強調しています。FSFは、GNU/Linuxへの移行、新しいマイクロソフトソフトウェアのリリースの回避、マイクロソフトGitHubからのプロジェクトの移動を推奨し、フリーソフトウェア運動を支援しています。同時に、FSFは年間募金活動を実施しており、デジタル制限に対抗し、ソフトウェアの自由を促進するための支援を求めています。
続きを読む