_15992.jpg)
テネシーバレー庁（TVA）は、クリントン川にGE Vernova Hitachi Nuclear Energy BWRX-300小型モジュール炉（SMR）を建設するための申請を提出しました。これは、アメリカの高度な原子力技術開発における重要なマイルストーンであり、米国初のBWRX-300建設許可申請となります。BWRX-300は小型で効率的で安全な原子炉設計です。TVAは設計に投資し、政府からの資金援助も目指しており、2026年のサイト準備開始を目指しています。このプロジェクトは、増加するエネルギー需要を満たすためのSMRへの関心の高まりを示しています。
続きを読む
ニューヨーク・タイムズの分音符の使用に関するウイルス記事が、分音符とウムラウトの違いに関する議論を引き起こしました。この記事では、ニューヨーク・タイムズが「coöperate」のような単語で分音符を使用し、2つの母音を二重母音ではなく別々に発音することを示していることを説明しています。しかし、分音符とウムラウトは似ていますが、目的が異なります。分音符は隣接する母音を区切り、ウムラウトは母音の発音の変化を示します。この記事は、両方の記号の起源をたどり、英語とドイツ語での使用を説明し、ウムラウトの音変化が英語の単語のスペルと発音にどのように影響を与えたかを調べます。最後に、分音符とウムラウトの違いをユーモラスに要約し、読者の苦情にもかかわらず、ニューヨーク・タイムズが分音符の使用を継続する歴史的、文化的理由を明らかにしています。
続きを読む
赤外線天文衛星（IRAS）とAKARIのデータを分析した新たな研究で、仮説上の第9惑星候補が特定されました。軌道や特性はさらなる検証が必要ですが、この発見は深宇宙探査への関心を再燃させました。この研究は、特に広大な距離を考慮すると、ミッション設計と推進における課題と機会を浮き彫りにしています。また、他の恒星の周りに木星のような軌道を持つスーパーアースが驚くほど多いことを示唆しており、将来のミッションの潜在的なターゲットを広げています。
続きを読む
科学者たちは、50年前に汚染されたヒト成長ホルモン（HGH）治療を受けた58歳の女性における、まれなクロイツフェルト・ヤコブ病（CJD）の症例を報告しています。これは、この致死的な疾患における最長の潜伏期間の可能性があります。この症例は、プリオン病の悪質な性質、つまり長い潜伏期間と標準的な殺菌方法への耐性を浮き彫りにしています。死体由来のHGHは禁止されていますが、発症が遅れる可能性のある症例の可能性は懸念事項として残っています。
続きを読む
オーストラリアのQ-CTRL社が、商用可能な量子航法システム「Ironstone Opal」を発表しました。GPSとは異なり、ジャミングやスプーフィングの影響を受けず、従来のバックアップシステムの50倍の精度を誇ります。地球磁場の変化を読み取る量子センサーと、ノイズを除去するAIソフトウェアにより、前例のない精度を実現。航空機内でのテストでも既存システムを11倍上回る性能を示しました。軍事、航空、自動運転などの分野で航法を革新する可能性を秘めています。
続きを読む
DayflowはmacOSネイティブアプリで、1秒間に1フレームの速度で画面活動を記録し、AIを使用して15分ごとに分析し、要約付きのクリーンなタイムラインを生成します。軽量でプライバシー重視の設計で、Gemini（独自のAPIキー）またはローカルモデル（Ollama/LM Studio）をAIプロバイダーとして選択できます。シンプルで信頼できるタイムラインを求めて開発され、Dayflowは管理する必要があるもう一つのダッシュボードではなく、静かで丁寧なアシスタントを目指しています。
続きを読む
成績優秀な大学1年生のアレクセイは、内気なクラスメイトのアンナに驚くべき優しさを見せた。アンナがパーティーの誘いを常に断るにも関わらず、アレクセイは常に彼女を誘い続け、グループの一員であると感じさせることを心がけた。数年後、アンナは深い感謝の気持ちを表し、この包摂的な友情が、大学生活への難しい転換期に所属感を与えてくれたと語った。この物語は、友情の本質が、共有する活動ではなく、真摯な思いやりと受容にあることを示している。
続きを読む
GCC 15コンパイラに大きなアップデートが到来します。COBOL言語フロントエンドのサポートがマージされました！これはGCCによるCOBOLサポートの大きな一歩であり、レガシーなメインフレームCOBOLアプリケーションをLinuxやクラウド環境に移行することを容易にします。COBOLの人気は以前ほどではありませんが、このマージは嬉しいサプライズです。開発者は`gcobol`コマンドを使用してCOBOLコンパイラフロントエンドを呼び出すことができます。今後数週間でリリースされるGCC 15.1安定版では、多くの機能と共にCOBOLサポートが提供されます。
続きを読む
この記事では、磁気エンコーダと3.5mmジャックを巧みに組み合わせた、革新的なEurorackモジュールノブのデザインについて説明しています。このハイブリッドにより、ノブは従来の制御のように機能するだけでなく、パッチケーブルのようなプラグアンドプレイの利便性も提供し、Eurorackモジュールの接続とレイアウトを簡素化します。著者は、ハードウェアの選択、回路設計、最終的な組み立てテストを含む設計プロセスを綿密に説明しています。著者は商業的な課題を認識していますが、このデザインはEurorackモジュールの設計に新しい視点をもたらし、将来のモジュラーシンセサイザーのデザインへの想像力を刺激します。
続きを読む
数百ものスマートフォンアプリとゲームが、ユーザーのマイクを通じて監視を行っています。ポケットに入れた状態や、アプリがバックグラウンドで実行されている場合でも、音声認識が可能です。Alphonsoというスタートアップ企業が開発したソフトウェアがその裏にあり、ユーザーのテレビ視聴習慣のデータを収集して広告主に販売しています。Alphonsoは会話は録音せず、商業的な音声コンテンツのみを識別すると主張していますが、プライバシーへの懸念は残ります。ユーザーは、不要なアプリへのマイクアクセスを拒否することで、自身を守ることができます。
続きを読む
イーロン・マスク主導の連邦政府職員の大規模解雇は大きな騒動を引き起こし、「バレンタインデー虐殺」として知られるようになった事件で、数万人が職を失いました。解雇プロセスは混沌として非専門的で、多くの職員が不当な扱いと公の恥辱を経験しました。解雇後、マスクは残った職員全員に週ごとの業務報告を求め、広範な反発を招きました。職員たちは様々な創造的で反抗的な方法で対応し、異なる言語を使用したり、憲法を引用したり、さらには育児の経験を報告したりしました。この事件は、意思決定プロセスの不条理と職員の尊厳への無視を浮き彫りにし、政府の効率性と職員の権利に関するより広範な議論を引き起こし、マスクの物議を醸す経営スタイルを露呈しました。
続きを読む
チューリッヒ工科大学（ETH Zurich）の研究者らは、攻撃者がCPU命令実行順序の曖昧さを巧妙に利用することで、ユーザー権限保護をバイパスし、毎秒5000バイト以上の速度でメモリの内容を読み取ることができる新しいCPU脆弱性を発見しました。これは、2017年のSpectreやMeltdown脆弱性と同様に、投機的実行技術を利用する一連の脆弱性の1つです。Intelは対策を講じていますが、これはアーキテクチャの根本的な欠陥を浮き彫りにし、継続的な修正が必要です。
続きを読む
Goatmire Elixir ConfでのSaša Jurić氏の講演は、コードレビューを魅力的な物語に変えました。彼は、大きくて複雑なプルリクエスト（PR）の一般的な問題点を指摘し、それが表面的なレビュー、セキュリティリスク、保守困難なコードベースにつながることを強調しました。重要なのは、レビュー可能なPRは理想的には5～10分でレビューできること、そしてコード行数が300行以下であることです。これは、各変更の理由と手順を明確に説明する簡潔で物語的なコミットメッセージを作成することで実現します。大きな機能を小さなPRに分割し、`git fixup`などのツールを使用してクリーンなコミット履歴を維持することは、効率的なコードレビューとより高品質なコードにとって不可欠です。講演では、「理解できません」と言う方が意味のない「LGTM」よりも優れていると強調されました。
続きを読む
Netflixの第1四半期決算は、売上高105億ドル（前年同期比13％増）、純利益29億ドルという好成績だった。これは1月の値上げと、会員数および広告収入の継続的な増加によるものだ。Netflixは正確な会員数を公表しなくなったが、2025年までに広告収入を倍増させる見込み。また、テレビアプリのホーム画面のリニューアル、生成AIを使ったインタラクティブ検索機能の追加、さらにトークショーやボクシング中継などのライブコンテンツの拡大も予定しており、ストリーミングサービスのリーダーとしての地位をさらに固めている。
続きを読む
Commodore OS Vision 3.0は、Commodoreコンピュータからインスピレーションを得た、無料のファンメイドCommodore風のLinuxディストリビューション（Debian Bookwormベース）です。200以上の無料Linux互換ゲームと、多くのクラシックなCommodoreゲームやデモを搭載しており、懐かしのゲーム愛好家にとって夢のようなディストリビューションです。Commodore OS BASIC V1という、3Dグラフィックスと物理エンジンを搭載した最新のBASIC実装も備えています。新しいリソースハブであるCommodore OS Centralは開発中で、ゲームインストーラとコミュニティプラットフォームになる予定です。レトロ風の設定マネージャーにより、ROM、エミュレーション、起動オプションなどを簡単に設定できます。
続きを読む
2018年、最高裁判所が26年間続いたスポーツベッティングの禁止を撤廃したことで、米国史上類を見ないギャンブルブームが到来しました。この魅力的な物語の中心は、4人の主要人物です。当初禁止を支持した、高潔な元上院議員でNBA選手のビル・ブラッドリー。合法化のために闘った、実務的なニュージャージー州知事クリス・クリスティ。州議会を巧みに操縦した、抜け目のないロビイストのジェレミー・クドン。そして、裁判で禁止を成功裏に覆した、法律の天才テッド・オルソンです。彼らの相互に絡み合った努力と、デイリーファンタジー・スポーツの台頭が、全米におけるスポーツベッティングの広範な合法化への道を切り開きました。
続きを読む
この技術レポートは、Lispにおける関数名前空間と値名前空間の分離の利点と欠点を掘り下げて考察しています。Lisp1は単一の名前空間を使用する一方、Lisp2はそれらを分離します。著者らは、表記の簡潔さ、参照の明確さ、コンパイラの複雑さ、高階関数、マクロ、そして空間/時間効率におけるトレードオフを分析しています。Lisp1は簡潔さと関数型プログラミングスタイルという点で利点がありますが、Lisp2はマクロの使用と名前の衝突の軽減において優れています。最終的に、このレポートは現状維持（Lisp2）がCommon Lispには好ましいと結論付けています。
続きを読む
コードエディタのZedは、AI機能の価格体系を、プロンプトベースからトークンベースに変更すると発表しました。これは、AIサービスの実コストをより正確に反映するためです。これにより、Zedはエディタ機能やエンタープライズ向け機能への継続的な投資が可能になります。新価格体系では、GPT-5やGemini 2.5などのAIモデルが追加され、ユーザーは独自のAPIキーやローカルモデルの使用など、柔軟な選択肢が提供されます。既存ユーザーは3ヶ月間の移行期間が設けられ、サポートが提供されます。この変更により、価格体系も簡素化され、コストも削減されます。
続きを読む
パデュー大学の研究者たちは、特別なカラーリファレンスチャートが印刷されたシンプルなカードを使用することで、普通のスマートフォンを高精度分光器に変換する巧妙な方法を考案しました。この技術は、アルゴリズムを用いてスマートフォンの写真を分析し、1.6ナノメートルの精度で隠れたスペクトル情報を抽出します。この画期的な発見は、防衛、医療、食品安全など、幅広い分野への応用が期待され、分光分析技術をより安価でアクセスしやすくします。
続きを読む
GoogleのData Commonsは、MCPサーバーを公開しました。これは、AIエージェントがData Commonsの膨大な公開データセットに直接アクセスできる標準化されたインターフェースです。これにより、データアクセスが簡素化され、データリッチなAIアプリケーションの開発が加速し、大規模言語モデルの幻覚を減らすのに役立ちます。ONE Campaignとのパートナーシップで開発されたONE Data Agentは成功例であり、MCPサーバーを使用して数千万もの医療資金調達データポイントを迅速に検索し、グローバルヘルスの擁護を強化しています。MCPサーバーは、Google Cloud PlatformのADKやGemini CLIなど、さまざまなAI開発ワークフローにシームレスに統合されます。
続きを読む
kdlfmtはRustベースのKDL（Key-Data-List）ドキュメントフォーマッターコマンドラインツールです。Cargo、Homebrew、npm、およびプリコンパイル済みバイナリによる柔軟なインストールに対応しています。フォーマット用の`format`コマンド、検証用の`check`コマンド、シェルオートコンプリート用の`completions`コマンドを提供します。`.kdlfmtignore`ファイルによる除外も可能で、KDLバージョンやログレベルなどのオプションも設定できます。パイプライン入力でもファイルの直接処理でも、kdlfmtはKDLコードを効率的にフォーマットし、可読性と一貫性を向上させます。
続きを読む
インドの大手ソフトウェア企業Zohoは、技術的な不確実性と資本集約的な産業の性質を理由に、7億ドルを投じた半導体工場建設計画を棚上げしました。この決定は、技術的なハードル、人材流出、地政学的リスクなど、インドの半導体産業が抱える大きな課題を浮き彫りにしています。Zohoの決定は、継続的な研究開発投資、戦略的パートナーシップ、より現実的なアプローチの必要性を強調しており、インドの半導体開発への野心と政府支援の重要性を再考する契機となります。
続きを読む
国土安全保障省は、H-1Bビザ抽選制度を、労働省（DOL）の賃金レベルに基づく加重システムに置き換えることを提案しました。しかし、研究によると、このシステムは高スキルまたは高給の労働者を優先しておらず、代わりに大規模なアウトソーシング企業を優遇し、米国で教育を受けた卒業生のビザを削減し、H-1B保有者の給与をわずかに上げるだけです。FOIAデータの分析によると、報酬ベースのシステムは、高スキル人材を引き付け、H-1B保有者の平均給与を大幅に引き上げる上で、はるかに効果的です。
続きを読む
.NET 10は、デフォルトで動的ヒープサイズ調整（DATAS）を使用します。これは、以前のアップデートとは異なり、メモリ使用量に大きな影響を与え、ユーザーの注意が必要です。この記事では、DATASの適応的な動作について説明します。ライブデータサイズ（LDS）に基づいてヒープサイズを調整し、パフォーマンスを維持しながらメモリを最小限に抑えます。DATASが理想的ではないシナリオ（例：高スループットの要求、重要な起動パフォーマンス、主にGen2 GC）についても詳しく説明します。2つのケーススタディでは、最適な結果を得るために構成パラメーターを使用してDATASを調整する方法を示します。
続きを読む
テクノロジー業界は大きな変化の真っ只中にあります。以前の楽観的なムードは、AIブーム、オフィス復帰命令、そして広範囲にわたるレイオフによって生み出された不安に取って代わられています。マネージャーは以前より迅速に人員削減を行い、かつて開発者にとって信頼できるものだった雇用保障は消滅しました。著者は、AIツールが効率性向上と同時に雇用不安を生み出していること、オフィス復帰命令が信頼を損ない、厳しい勤務時間制度を課していること、そして大量のレイオフが以前は安定していた労働市場を破壊していることを指摘しています。提案されているアドバイスは、マネージャーが公の場では会社の方針を支持しつつ、私下では従業員の懸念を認め、対処し、できる範囲で職場環境を改善し、不確実な状況の中でチームの士気を維持することです。
続きを読む
以前、Pythonをtmux上で実行するようにコンパイルしたプロジェクトに続き、作者は今回、tmux内で完全に数独ソルバーを作成しました。配列や文字列を使用せず、tmuxの変数とキーバインディングを巧みに利用し、数独の各マスをtmuxのオプションにマッピングしています。ソルバーは総当たりで解を求めるため、効率は極めて低いです。しかし、このプロジェクトはtmuxの驚くべき能力と作者の創意工夫を示しており、ハッカー精神の証です。
続きを読む
9月24日、Docker Hubで認証サービス障害が発生し、Docker Hub RegistryとAPIへのユーザーログインに影響が出ました。Dockerチームは迅速に対応し、数時間以内に原因を特定し、修正プログラムを展開しました。監視の結果、サービスは完全に復旧しており、ユーザーはログアウトして再度ログインするだけで問題を解決できます。
続きを読む
著者のiPhone片手コーディングの夢が実現しました。Pythonistaから脱却し、Secure Shellfish（オフラインフォルダ同期機能付き）、Textastic（コードエディタ）、Working Copy（Gitクライアント）の3アプリを組み合わせ、VPS上でコードを実行しています。初期費用は高め（約57ユーロ＋VPS月額料金）ですが、ソーシャルメディアからの解放、集中した片手コーディングを実現しています。
続きを読む
超音速飛行に関する長年の禁止を解除する超党派法案が提出されました。地上にソニックブームが発生しないことを条件に、米国本土上空での超音速飛行が52年ぶりに解禁される可能性があります。イーロン・マスク氏などの支持を受け、NASAの技術的進歩も背景にあります。この法案は、超音速航空分野における中国との競争の高まりを示唆しており、より速い航空旅行とアメリカの航空におけるリーダーシップへの期待が高まっています。過去に行われたソニックブームのテストや、その結果として課せられた禁止についても触れられています。
続きを読む
エルサレムのヘブライ大学にある物理学者チームが、バラの象徴的な形状の背後にある力学的な秘密を発見しました。Science誌に発表された彼らの研究は、バラの花びらの独特の形態が、「Mainardi-Codazzi-Petersonの非適合性」と呼ばれる幾何学的フラストレーションによって駆動されていることを明らかにしています。この非適合性により、花びらは理想的な滑らかな曲線を実現できず、私たちが目にする多くのカールと鋭いエッジが生じます。チームは、このメカニズムを解明するために、理論解析、コンピューターモデリング、物理実験を組み合わせた手法を用いており、形状変化材料の開発に道を開く可能性があります。
続きを読む