200年前、ストクトン・アンド・ダーリントン鉄道の開通は近代鉄道の幕開けとなりました。しかし、近年、鉄道輸送のシェアは減少しています。この記事では、鉄道輸送の活性化の喫緊の必要性を論じ、炭素排出量の削減、大気汚染の改善、経済成長の促進、社会的不平等縮小における潜在能力を強調しています。より包括的な評価基準を用いた鉄道投資の再評価を求め、気候変動への対応と持続可能な開発目標の達成における国際協力の重要性を訴えています。
続きを読む
VerizonによるFrontier Communicationsの買収は、多様性、公平性、包括性（DEI）ポリシーをめぐるカリフォルニア州での逆風に直面しています。FCCの承認を得るために、VerizonはDEIプログラムを廃止しましたが、この動きがカリフォルニア州法と衝突しています。カリフォルニア州公益事業委員会（CPUC）は、これらのプログラムがない状況で、サプライヤーの多様性と雇用に関する報告に関する州の規制へのVerizonの遵守に関する具体的な情報を求めています。Verizonは8州、FCC、司法省からの承認を得ていますが、カリフォルニア州の承認は不確実であり、来年カリフォルニア州全域での無料インターネットアクセスというVerizonの目標に影響を与える可能性があります。
続きを読む
コンシューマーレポートは、マイクロソフトに対し、Windows 10の無料セキュリティアップデートの10月14日の期限を延長するよう求めています。互換性のないハードウェアを持つ何百万人ものユーザーが脆弱な状態に置かれると主張しています。世界中の約46.2％のユーザーが依然としてWindows 10を使用しており（2025年8月のデータ）、Windows 11にアップグレードできないPCは約2億〜4億台と推定されています。コンシューマーレポートは、マイクロソフトの政策を偽善的であると批判しています。1年間の延長に30ドルの料金を課していること、そしてユーザーをマイクロソフト製品に誘導する同社の戦術を批判しています。コンシューマーレポートとパブリックインタレストリサーチグループ（PIRG）は、完全に機能する何百万人ものコンピューターが廃棄されるのを防ぐため、無料サポートの延長を求めています。
続きを読む
Nature Physicsに掲載された研究で、普通の氷がフレキソ電気材料であり、曲げると電気を発生させることが明らかになった。この発見は、電子機器に革命を起こし、落雷の発生メカニズムを解明する可能性を秘めている。研究者たちは、氷が全ての温度で機械的ストレスに反応して電荷を発生させ、低温では表面に強誘電体層が存在することを発見した。これは、氷による発電メカニズムを2つ提供する。この画期的な研究は、氷を酸化チタンなどの高度な電気セラミックスと同等に位置づけ、氷を活性材料として用いた新しい電子デバイスへの道を開くものだ。
続きを読む
Fedora 43 Betaが登場し、全体的な改善が図られています。インストーラーはAnaconda WebUIをデフォルトとして、DNFを5にアップグレードし、モジュールパッケージを削除することで、合理化されました。GCC 15.2、glibc 2.42、LLVM 21など、主要な開発ツールがアップデートされています。Python 3.14、Go 1.25、Idris 2、そして実験的なHare言語もサポートされています。データベースはPostgreSQL 18とMySQL 8.4（デフォルト）にアップグレードされました。GNOMEは完全にWaylandに移行し、フォントレンダリングが改善されています。いくつかの非推奨コンポーネントが削除され、よりクリーンでモダンなFedora体験を実現しています。
続きを読む
アフガニスタンのバルフ州でタリバン指導者が光ファイバーインターネットへのアクセスを禁止し、「不道徳行為の防止」を理由に挙げた。この禁止措置は政府機関、企業、家庭に影響し、Wi-Fiインターネットへのアクセスを妨げるが、モバイルインターネットは引き続き機能している。バルフ州の住民は、自身の事業やインターネット接続に依存する他の人々への影響を懸念している。この禁止は、2021年のタリバン政権掌握以来初めてのことであるため、住民の間でその影響や他の州への拡大の可能性に関する懸念が高まっている。
続きを読む
この記事では、標準的なLinuxツール（unshare、mount、pivot_root）のみを使用して、シンプルなDocker風のコンテナを構築する方法を分かりやすく説明します。コンテナの分離におけるマウントネームスペースの重要な役割と、その他のネームスペース（PID、cgroup、UTS、ネットワーク）の補完的な役割に焦点を当てています。ステップバイステップの実践的な演習を通して、読者はマウントネームスペースがどのようにマウントテーブルを分離し、マウントプロパゲーションがネームスペース間の相互作用にどのように影響するかを理解します。最終的に、読者は標準的なLinuxコマンドのみを使用して、完全な機能を備えたDockerスタイルのコンテナを作成できるようになります。
続きを読む
9月17日のMeta Connectでの正式発表に先立ち、MetaのCelest ARグラスを紹介するリークされた動画が公開されました。この動画は、Lumus導波管の使用を強く示唆しており、以前のMetaがLumus Z-Lensのバリアントを使用しているという報告を裏付けています。推定価格800ドルで、このグラスはRivet社の軍用ARグラスと同様の導波管技術を共有しています。著者は9月23～25日にオランダのEindhovenで開催されるMicroLEDおよびAR/VR Connectカンファレンスに参加し、この開発に関する洞察を提供します。
続きを読む
著者は、現在のソーシャルメディアプラットフォームが広告主導のコンテンツ工場であり、真のつながりよりもエンゲージメントを優先していると批判しています。そして、友人や家族との真の関係を育むことに焦点を当てた代替ソーシャルメディアプラットフォームを提案しています。主な機能には、接続数の制限、ページネーション付きの年代順フィード、1日の投稿数の制限が含まれます。この設計は、中毒性のある機能とアルゴリズム操作に対抗することを目的としています。資金調達と普及の課題を認識しつつ、著者はより健全なソーシャルメディア体験への希望を表明しています。
続きを読む
本論文は、衛生的なSchemeマクロにおけるcall/ccのあまり知られていない用途、特に煩雑なラムダ計算を支援する用途を探求しています。著者は、構文規則とcall/ccの繰り返し適用を巧みに組み合わせた正規順直接スタイルβ正規化器を紹介し、CPS変換と独創的な直接スタイルラムダ計算機を用いてその正当性を証明しています。本論文は、区切られた継続についても考察し、単純なマクロがpromptやcontrolといった様々な区切られた継続演算子をどのように実装できるかを示しています。call/ccベースの階乗関数の実装と区切られた継続に関する議論は、このアプローチのエレガンスと実用性を強調しています。
続きを読む
この記事は、C++に対するよくある批判を反論しています。複雑さは管理可能であり、継続的な開発（C++20、C++23）を考えると年齢は無関係であり、見かけ上の安全性は最新のツールと実践によって軽減されると主張しています。著者は、急な学習曲線はあるものの、特にシステムプログラミングやゲーム開発において、長期的なメリットが初期の課題を上回ると主張しています。最終的に、この記事は、C++の持続的な関連性と様々なアプリケーションにおける広範な使用を強調し、2025年現在も強力で重要な言語であると結論付けています。
続きを読む
2年半前、著者はDOOMゲームエンジンの変数オーバーフローによるゲームクラッシュの予測実験を始めました。自作のUPSで電源供給されたPDAでDOOMを実行し、継続的に稼働させました。そして2年半後、予測通り変数オーバーフローによりゲームがクラッシュしました。これは、綿密な観察と長期的な忍耐力を示す、興味深い実験です。
続きを読む
Murexは、macOS、Arch Linux、FreeBSDなど、様々なOSで簡単にインストールできる強力なコマンドラインツールです。Homebrew、MacPorts、AURなどのパッケージマネージャーで簡単にインストールできます。また、包括的な言語チュートリアルとインタラクティブなシェルガイドがあり、ユーザーはすぐに使い始めることができます。チュートリアルをスキップしたい人のために、Rosetta Stone チートシートも用意されています。
続きを読む
著者は、現代のLinuxシステムでフラストレーションのたまる問題に遭遇しました。それは、40年以上DOS、OS/2、FreeBSD、そしてLinuxで利用されてきた、古典的な80x25テキストコンソールが事実上消滅していることです。これは単なる解像度の問題ではなく、UEFIブート、非x86プラットフォーム、そしてグラフィカルレンダリングモードへの移行などが複雑に絡み合っています。`vga=`などの古い解決策は効果がなく、`kmscon`などの新しい試みにも大きな問題があります。著者は古いPCを探すことを余儀なくされており、現代のシステムとレガシーハードウェアの互換性の低下が浮き彫りになっています。
続きを読む
多くのASUS ROGゲーミングノートPCユーザーが、システムのスタッタリング、オーディオのノイズ、その他の性能問題を経験しています。従来の修正方法は失敗します。根本原因はBIOSファームウェア内の深いACPIBugにあります。技術調査では、ファームウェアの割り込みハンドラが100ミリ秒間スリープし、CPUコアを事実上ブロックしていることが明らかになりました。これにより、専用GPUの電源のオンオフが周期的に試みられ、直接接続モードでも発生し、ブルースクリーンエラーにつながる可能性があります。このバグは、割り込みコンテキストの適切な処理を無視し、プラットフォーム認識に欠けているという、欠陥のあるファームウェア設計に起因します。何百万ものASUSゲーミングノートPCが影響を受けており、メーカーはまだ対応していません。
続きを読む
ObsidianプラグインImporterは、Notionインポート機能を改善する開発者を募集しています。現在のインポートはHTMLエクスポートに依存しており、非効率です。Notion APIを使用して漸進的なファイルダウンロードを実現し、NotionデータベースをBasesに変換するサポートを追加することを目的とし、30日以内に解決策を提供した開発者には5000ドルの懸賞金が提供されます。応募者はImporterのコードベースとNotion APIに精通している必要があり、特にデータベースとBasesの違い、およびNotionデータベースの要素（ビュー、列、グループなど）のどれをインポートできるかについて、解決策の詳細を説明する必要があります。
続きを読む
GNU Midnight Commander (mc)は、強力で無料のオープンソースのデュアルペインファイルマネージャーで、テキストベースのインターフェースを備えています。ファイルやディレクトリのツリーのコピー、移動、削除、ファイルの検索、組み込みサブシェルでのコマンド実行などが可能です。mcは様々なテキストインターフェースライブラリをサポートしており、通常のコンソール、X Windowターミナル、SSH接続など、様々な環境で動作します。mcのインストールには、システムのパッケージマネージャーを使用するのが最も簡単です。包括的なドキュメントとコンテキスト依存のヘルプ（F1キー）が利用できます。
続きを読む
新たな報告書は、中国の商業および民間宇宙活動における急速な進歩を強調し、アメリカ合衆国にとって大きな脅威となっていることを示している。中国は、アメリカ合衆国が再び月面着陸を行う前に、人間を月に着陸させることを計画しているだけでなく、複数の宇宙飛行分野で進歩を遂げ、アメリカのリーダーシップに挑戦している。研究者たちは、中国による西側のイノベーションモデルの採用と、その驚くべき速さで進歩していることを指摘している。この報告書は警告として機能し、アメリカの競争力を維持するために、継続的な取り組み、警戒心、そして適応力が不可欠であることを強調している。
続きを読む
A Scavenging Tripは、未知の惑星を探検し、サンプルを収集して時間内に脱出する、短く、やりがいのあるシミュレーションゲームです。3つのミッションがあり、それぞれに3つの難易度レベルがあります。スピードランは約10～15分ですが、最初のプレイは、特に最も難しい難易度では1～2時間かかる可能性があります。セーブ機能はありません。ミッションはアンロックされ、進行状況なしでプレイされます。操作は最小限で、再バインド可能です（デフォルトはWASDQE）。マウスは使用しません。システム要件は非常に低く、最新のブラウザとPentium Mプロセッサ以上があれば十分です。このゲームは、Rustで記述されたカスタムソフトウェアレンダラーとエンジンを使用しており、CPUがすべてのグラフィック計算を行い、GPUは最終的な画像のみを表示します。
続きを読む
Eurosurveillanceに掲載された研究によると、デンマークでは、2008年のワクチン導入以来、癌を引き起こす2種類の主要なヒトパピローマウイルス（HPV）の感染が事実上根絶されました。2017年から2024年にかけて22～30歳のデンマーク人女性の頸部細胞サンプルを分析した結果、ワクチン接種を受けた女性におけるHPV16/18感染率は、15～17％から1％未満に減少しました。これは、個人の保護だけでなく、集団免疫も示しており、HPV16/18の全体的な蔓延を減少させました。しかし、検査を受けた女性の約3分の1は、最初のワクチンでカバーされていない高リスクHPVタイプに感染していました。より新しい9価ワクチンを接種した女性がスクリーニング年齢に達すると、これは減少すると予想され、子宮頸癌スクリーニングガイドラインの見直しが必要となる可能性があります。
続きを読む
この記事では、RustとZ3制約ソルバーを使用して、簡単な方程式から複雑な数独パズル、ページレイアウトまで、さまざまな問題を解決する方法を示します。著者はZ3の学習過程を共有し、基本的な概念、使用方法、Rustとの統合を具体的な例を通して説明します。方程式の解法、解の最適化（コインの両替問題など）、数独パズルの解法などが網羅されています。配列、ビットベクトル、集合などの制限事項や高度な機能についても議論されており、読者の更なる探求を促します。
続きを読む
オープンソースの世界で25年のキャリアを持つ開発者が、KDEとの経験を語ります。Linuxとの出会いから、UbuntuやKubuntuへの貢献、KDE Neonの主導に至るまで、オープンソースの成功と厳しい現実を目の当たりにしてきました。しかし、最終的には理念の相違によりプロジェクトから追放され、仕事、友人、家族を失いました。この痛ましい物語は、オープンソースコミュニティの商業化と労働者の権利の重要性を反映しています。
続きを読む
Waymoは、サンフランシスコ国際空港（SFO）で商業運行を行うためのパイロット許可を取得しました。当初はSFOのKiss & Flyエリアで乗降を行い、将来的には空港内の他の場所への拡大を計画しています。これは、Waymoのベイエリアにおける事業拡大の重要なマイルストーンであり、住民と観光客に革新的な交通手段を提供するものです。また、サンフランシスコ市の近代的な交通システムへの取り組みを反映しています。
続きを読む
この記事は、1970年代後半から1980年代前半にかけて広く普及したMOS Technology MCS 6502マイクロプロセッサの伝説的な物語を語っています。モーターローラの6800の高価格に不満を持ったChuck PeddleやBill Menschなどのエンジニアは、MOS Technologyに移籍し、6502を設計・製造しました。その低コストと高性能により、8ビットシステムで広く採用され、最終的にはAppleコンピュータで使用されるようになり、パーソナルコンピュータ時代の象徴的なチップとなりました。この記事では、設計から製造まで、6502の製造プロセスと、MOS Technologyが技術的および市場的な課題を克服して成功を収めた方法を詳しく説明しています。
続きを読む
1962年初頭、89歳のバートランド・ラッセルは、英国ファシスト同盟の創設者であるオズワルド・モズリー卿からの手紙を拒否しました。ラッセルの手紙は、ファシズムへの深い嫌悪感を表明しており、モズリーのイデオロギーは彼自身の世界観と両立せず、有益な対話はあり得ないと述べています。彼は、これが無礼ではなく、人間の経験と業績に関する彼の深く根付いた価値観から来ていると強調しています。この手紙は、ラッセルの揺るぎない反ファシズムの姿勢と道徳性を示しています。
続きを読む
このコードスニペットは、iinaビデオプレーヤーに2つの便利な機能を追加します。まず、再生中にビデオプレーヤーの上部に48pxの大きなフォントでビデオタイトルを表示します。次に、ビデオを一時停止するとウィンドウが最小化され、ウィンドウを復元すると再生が再開されるため、ユーザーエクスペリエンスが向上します。
続きを読む
Zoom、Microsoft、Nvidiaなどのテクノロジー企業のCEOたちは、AIによる自動化によって、大幅に短い、おそらく3日または4日の勤務体系が実現する未来を予測しています。特定のセクターにおける雇用減少を認めつつも、AIによる生産性向上と、AIシステムやデジタルエージェントの管理といった新たな役割創出の可能性を強調しています。産業革命やインターネットの台頭と同様に、この変化は労働市場を大きく変革すると予想されますが、最終的には全体的な幸福度と効率性が向上すると考えられています。
続きを読む
マイクロソフトは、Visual Studio CodeエディターにAIモデルの自動選択機能を追加し、最適なパフォーマンスを実現します。GitHub Copilotの無料ユーザーは、Claude Sonnet 4、GPT-5、GPT-5 miniなどのモデルから自動的に選択されますが、有料ユーザーは主にClaude Sonnet 4を使用します。内部文書によると、マイクロソフトは開発者にClaude Sonnet 4の使用を指示しており、独自のAIモデルクラスタへの多大な投資も行っています。さらに、Microsoft 365 Copilotの一部機能にもAnthropicのモデルが利用されます。OpenAIとの新たな契約にもかかわらず、マイクロソフトがAnthropicのAIモデルを好むことは、AI戦略における転換を示唆しています。
続きを読む
Googleは、情報をより迅速に検索できるよう設計された新しい実験的なWindowsアプリをLabsでリリースしました。Alt+Spaceキーを押すと、ウィンドウを切り替えることなく、コンピューターファイル、インストール済みのアプリ、Googleドライブ、ウェブを瞬時に検索できます。内蔵のGoogle Lensを使用すると、画面上のあらゆるものを選択して検索でき、画像の翻訳、宿題の問題解決などが容易になります。AIモードでは、AIによるより詳細な回答が得られ、フォローアップの質問やリンクも提供されます。
続きを読む
このブログ投稿は、安価なソフトウェア無線機（SDR）USBドングルとアンテナキットを使って、1週間かけて電磁スペクトルを探求した冒険を記録しています。著者はFMラジオや航空機の通信の受信から、気象衛星画像の受信、さらには気象観測気球の追跡を試みるなど、50のタスクを成功裏に完了しました。この投稿では、著者の経験、課題、そして発見の喜びを詳細に説明し、SDRのパワーと電磁スペクトルに隠された豊富な情報を示しています。
続きを読む