ユネスコは、盗難文化財のバーチャル博物館を公開しました。これは、3DモデリングとVR技術を利用して、盗まれた遺物を再現し展示するグローバルなプラットフォームです。プリツカー賞受賞者であるフランシス・ケレ氏が設計し、サウジアラビア王国が資金提供を行い、インターポールと協力して実施されています。博物館は盗まれた遺物を展示するだけでなく、教育コンテンツや被害を受けたコミュニティの証言も提供します。成功した返還事例を紹介する専用ルームも設けられ、文化財の略奪と違法取引に対する意識向上と国際協力の促進を目指しています。
続きを読む
この記事は、AltaVistaのバベルフィッシュから、今日の洗練されたAI搭載ツールまで、機械翻訳（MT）の進化を検証します。進歩により速度と効率性が劇的に向上した一方で、著者は、初期のMTシステムに対するウンベルト・エコの批判を用いて、微妙な文脈、文化的含み、文学的手法の翻訳における持続的な課題を浮き彫りにします。AIは日常的なタスクでは優れていますが、微妙な言語的および文化的差異を処理する上で、人間の翻訳の重要な役割には及びません。この記事は、MTへの過剰な依存を警告し、潜在的な文化の貧困化と人間の翻訳スキルへの価値低下を警告しています。それは慎重なアプローチを提唱し、人間の翻訳者の独自の価値を強調しています。
続きを読む
90年代のテレビの偶然性を恋しがっていますか？このプロジェクトはRaspberry Piを使用してその体験を再現します。著者は、90年代の古典的なテレビ番組（ティーンエイジ・ミュータント・ニンジャ・タートルズ、スタートレック：ネクストジェネレーションなど）をRaspberry Piにロードし、ランダムに再生するスクリプトを作成しました。このガイドでは、Raspberry Pi OS Lite、VLCのインストール、ビデオのシャッフルと再生を行うスクリプトの作成、自動起動のためのsystemdサービスの設定などの手順を詳細に説明しています。Raspberry Piの汎用性を示す、ノスタルジックなテクノロジー・プロジェクトです。
続きを読む
この記事は、1940年のニューヨーク万国博覧会でアルベルト・アインシュタインが行ったあまり知られていないスピーチを取り上げています。このスピーチでは、移民とアフリカ系アメリカ人の貢献を称賛し、アメリカの多様性と包括性を認めるよう訴えました。第二次世界大戦前の反移民感情とアメリカにおけるナチス勢力の影響という背景の中で、アインシュタインのスピーチは強力な対抗意見となり、アメリカ社会における多文化主義の重要性を強調し、移民制限の誤りを否定しました。これは、1850年代のネイティブ主義運動や第二次世界大戦前の親ナチス勢力とは著しく対照的です。
続きを読む
著者は25個の同一の木製ピースからなる複雑な3Dパズルを受け取り、手作業で解くことに苦労した後、Haskellプログラミング言語の力を利用することに決めました。これは、問題のモデリングに焦点を当てた2部構成シリーズの最初の部分です。著者は空間を3Dグリッドとしてモデル化し、ベクトルを使用して位置を表し、単一のピースとその空間における配置のためのデータ構造を定義します。この記事では、線形代数とHaskellの機能を使用してピースの回転と並進を表し、可能な配置の候補リストを生成する方法を詳細に説明しています。この記事は、候補の中から正しい配置を見つける解決策をパート2に残して、スリリングな結末を迎えます。
続きを読む
スレッドアプリケーションのパフォーマンス向上を目指したLinuxカーネルの再起動可能なシーケンス機能は、新しいカーネル機能と共に使用が増加しています。しかし、これによりいくつかの問題が明らかになりました。開発者のThomas Gleixnerは最近、コードを改善し、パフォーマンスのボトルネックと歴史的な問題に対処しました。これらの変更により効率性が大幅に向上しますが、ユーザー空間でABIの変更が必要になる可能性があり、互換性を確保するために徹底的なテストが必要です。
続きを読む
AzureのLLMと音声モデルを使って製品開発を行っている開発者が、懸念すべき傾向を発見しました。同じモデルが時間の経過とともに徐々に性能が悪化しているのです。同一のシステムプロンプトとメッセージを使用しても、GPT-4o-miniとGPT-5-mini/nanoの両方のレスポンスの精度が著しく低下しました。GPT-5は当初は優れていると期待されていましたが、古いGPT-4o-miniよりも遅く、精度も低いことが判明しました。開発者は、Microsoftが古いモデルを意図的に劣化させ、ユーザーをより新しく、信頼性の低いバージョンに誘導していると疑っています。このやり方はユーザーエクスペリエンスを損ない、開発者が他のプラットフォームを探す原因となる可能性があります。
続きを読む
NotebookLMは、創作プロセスを中心とした新しいAIノートツールです。入力、会話、出力という流れで設計されています。ユーザーは資料（文書、ノート、参照資料）をインポートし、チャットを通じて質問したり、内容を明確にしたり、情報を統合したりすることで、最終的にノート、学習ガイド、音声概要などの構造化されたアウトプットを生成します。この線形的でありながら柔軟なワークフロー（入力→チャット→出力）により、ユーザーはAIとのインタラクションを直感的に理解し、簡単に使用できます。
続きを読む%20(1).png)
多くのnpmパッケージがnpmレジストリから削除され、React、Angular、NativeScriptなどの様々なフレームワークのコンポーネントやツールに影響が出ています。影響を受けたパッケージは、完全に削除されたものから、バージョンが修正されたものまで様々です。この出来事は、開発者にとって、依存関係の保守とセキュリティに対する注意喚起となります。プロジェクトの依存関係を確認し、必要な措置を講じて中断を回避することが不可欠です。削除の理由は、セキュリティ上の脆弱性、保守の問題、その他の要因が考えられます。
続きを読む
この記事は、Microsoftが所有するプラットフォームであるGitHubを使用することの問題点を明らかにしています。ユーザーコントロールの制限、中央集権化されたモデル、テレメトリーデータによる追跡、GitHub ActionsやCopilotなどの機能によるベンダーロックインといった問題点を指摘しています。さらに重要なことに、ICEへのクラウドサービス提供やイスラエル国防軍へのAI技術提供など、米国政府やイスラエル軍との物議を醸すパートナーシップの詳細が記述されており、社内従業員の抗議につながっています。著者は、オープンソースの精神と独立性を維持するために、ForgejoやSourcehutなどの自己ホスティングソリューションへの移行を推奨しています。
続きを読む
C++標準化委員会は、メモリ安全性に関する懸念が続くなか、厳格に安全な言語サブセットを作成するための詳細な提案を却下しました。提案の共同執筆者であるSean Baxter氏は、委員会でRustの安全モデルが不人気であること、代わりに「Profiles」アプローチを優先していることを挙げています。ProfilesアプローチはBjarne Stroustrup氏などから支持されていますが、その実現可能性は疑問視されており、C++26への収録も見込みがない可能性があります。この決定は論争を招き、開発者の中には、RustやGoogleの実験的な「C++の後継」Carbonプロジェクトなどの、より安全な言語への移行がより良い解決策だと示唆する者もいます。
続きを読む
ロードアイランド大学薬学部の新しい研究は、マイクロプラスチックと認知機能低下との間に懸念すべき関連性があることを明らかにしました。研究者らは、遺伝子組み換えマウス（アルツハイマー病の強いリスク要因であるAPOE4遺伝子を持つ）に、飲料水を通じてマイクロプラスチックを投与しました。その結果、マイクロプラスチックに曝露されたマウスは認知機能障害を示し、オスは無気力が増加し、メスは記憶障害を示しました。これは、ヒトのアルツハイマー病患者に見られる性差を反映しています。この研究は、マイクロプラスチック曝露の潜在的な危険性を強調し、さらなる研究と規制の必要性を示唆しています。
続きを読む
Linuxシステム管理者にとってよくある問題として、デーモンが通常のシステム設定では起動に失敗するが、root権限で手動実行すると正常に動作するというものがあります。従来の原因としては、環境変数$PATHの設定が不完全であること、SELinux、AppArmorなどが挙げられます。近年では、systemdサービスユニットの制限（systemd.execに記載）が原因となるケースが増えています。ProtectHomeやPrivateTmpなどのディレクティブにより、「アクセス拒否」や「ファイルが見つかりません」といった分かりにくいエラーが発生したり、DNSクエリがブロックされるといった間接的な障害が発生したりします。デーモンの.serviceファイルから制限を削除することで問題の診断に役立ちますが、将来のデーモンはこれらの制限に依存する可能性があり、トラブルシューティングが複雑になる可能性があります。
続きを読む
英国政府は、米国のデータ分析企業パランティアと防衛協定を締結し、15億ポンド（20億ドル）の投資を呼び込む見込みだ。パランティアは英国に欧州防衛本部を設立し、最大350人の雇用を創出する計画。この協定により、英国軍はAIを活用した迅速な意思決定と標的選定が可能になり、英国の防衛技術企業の成長も促進される。CIAやICEとの協力関係で論争を呼んできたパランティアだが、英国政府はNATOにおけるイノベーションリーダーシップ強化の手段としてこの協定を評価している。
続きを読む
アップルの新しいiPhone 17 ProとPro Maxモデルは、革新的なベーパーチャンバー冷却技術を搭載しています。このシステムは、少量の水を封入した密閉チャンバーを使用し、液体と気体の間を循環させることで、電話機の強力なコンポーネントから発生する熱を効率的に放散します。同様の技術は長年ラップトップで使用されてきましたが、高性能スマートフォンへの採用は大きな進歩です。製造上の課題はありますが、ベーパーチャンバー冷却は優れた熱管理を約束し、ハイエンドスマートフォンにおける標準機能となる可能性が高いです。
続きを読む
この記事では、Linuxシステムコールのパフォーマンスオーバーヘッドを深く掘り下げ、それが単なるカーネル関数呼び出し以上のものだと明らかにします。システムコールは、命令パイプラインや分岐予測などのCPUのマイクロアーキテクチャの最適化を妨げ、ソースコードからは明らかでないパフォーマンスの損失につながります。この記事では、カーネルコードを分析し、さまざまなソフトウェアとハードウェアの軽減策のパフォーマンスへの影響を説明し、vDSOの使用、値のキャッシング、I/Oの最適化、バッチ処理、カーネルへの作業のプッシュなど、システムコールの頻度を削減し、ソフトウェアのパフォーマンスを向上させるための最適化戦略を提案します。
続きを読む
この記事では、三次ベジェ曲線をイージング関数として直接表現することでアニメーションのパフォーマンスを向上させる、シングルヘッダーのC++20ライブラリを紹介します。`EasingCubicBezier`テンプレートクラスを使用して実装されており、PRECISE（高精度）とFAST（高性能）の2つのモードを提供しています。ベンチマークテストでは、このアプローチがBlenderのアルゴリズムやニュートン・ラフソン法に基づく数値解法よりも高速で安定性が高いことが示されており、特にリアルタイムアニメーションシステムにおいて大きなメリットがあります。これは、実行時に三次多項式方程式を解くオーバーヘッドを回避するためです。
続きを読む
この記事は、読書革命の逆転を論じています。18世紀の読書革命は知識の普及をもたらし、理性と民主主義の発展を促しました。しかし、スマートフォンの時代が到来したことで、読書は急激に減少しました。人々の注意は断片的な情報やソーシャルメディアに奪われ、批判的思考力や認知能力が低下しています。これは知識の損失だけでなく、民主主義制度の基盤をも脅かしています。なぜなら、民主主義は、市民が十分な知識と批判的思考能力を備えていることを前提としているからです。この記事は、このような脱識字化社会の傾向が、社会の退行、つまり専制政治と迷信が支配する印刷以前の時代への回帰につながる可能性があると警告しています。
続きを読む
GitHub Actionsは、2026年4月にNode.js 20のサポートを終了することを発表しました。2025年秋にはすべてのActionsをNode.js 24に移行する予定です。最新のGitHub runnerは既にNode.js 24をサポートしており、環境変数を設定することで事前にテストできます。2026年3月4日からはNode.js 24がデフォルトになります。環境変数を設定することでNode.js 20を一時的に使い続けることができますが、夏には完全に削除されます。Node.js 24はmacOS 13.4以前のバージョンとは互換性がなく、ARM32アーキテクチャのセルフホスト型ランナーもサポートされません。
続きを読む
最近の攻撃キャンペーンでは、GitHub Actionsワークフローを標的にしてPyPI公開トークンを盗もうとしました。攻撃者は様々なリポジトリのワークフローを変更し、GitHubシークレットとして保存されているPyPIトークンを外部サーバーに送信しました。一部のトークンは流出しましたが、PyPIでは使用されなかったようです。影響を受けたすべてのトークンは無効化され、影響を受けたプロジェクトのメンテナに通知されました。今後の攻撃を軽減するために、GitHub ActionsのTrusted Publishersを使用することをお勧めします。
続きを読む
AI企業による大規模なデータスクレイピングによるサーバーダウンタイムに対抗するため、このウェブサイトはAnubisと呼ばれる反スクレイピングメカニズムを実装しました。AnubisはHashcashに似た作業証明（PoW）スキームを使用しており、個々のユーザーへのオーバーヘッドは無視できる程度ですが、大規模なスクレイピングのコストは大幅に増加します。これは一時的な解決策であり、今後の改善は、指紋認証とヘッドレスブラウザの検出に重点を置き、精度を向上させ、正当なユーザーへの影響を軽減します。Anubisは最新のJavaScript機能を必要とすることに注意してください。JavaScriptを無効にする可能性のあるJShelterなどのプラグインを無効にしてください。
続きを読む
9月19日、トランプ政権はH-1Bビザ申請料を年間10万ドルに引き上げる大統領令に署名し、インドや中国からの熟練労働者に大きく依存するテクノロジー業界に衝撃を与えました。マイクロソフトは、9月21日の期限までにH-1BおよびH-4ビザ保有者の米国への帰国を要請し、そうでなければ巨額の罰金を支払うことになります。この措置は、テクノロジー大手やインドから反発を招き、専門家からは「逆行的な措置」と批判されています。一方、米国商務長官は、米国人労働者の育成を優先するよう呼びかけました。
続きを読む
MapSCIIは、Node.jsベースのベクトルタイルレンダラーで、xterm互換ターミナルで点字とASCII文字で地図を表示します。マウスによるドラッグとズーム、カスタマイズ可能なレイヤースタイル（Mapbox Styles対応）、公開またはプライベートベクトルタイルサーバーへの接続、ローカルVectorTile/MBTilesを使用したオフライン使用などが特徴です。インストールは簡単で、さまざまなOSとターミナルをサポートしています。高度に最適化されたアルゴリズムにより、スムーズな体験を実現します。オープンソースで無料、ODbLとCC BY-SAライセンスの下でOpenStreetMapデータを使用しています。
続きを読む
一般的な認識とは異なり、DNS TXTレコードは255バイトに制限されていません。TCPとカスタムJSONパースを活用することで、開発者はこの制限を回避し、最大64KBのデータを送信することに成功しました。カスタムGoサーバーとGoogle Public DNSのJSON APIを使用して、TXTレコード内に大きなバイナリファイルを転送しました。この実験は巧妙なハックを示しており、特に潜在的なDNSトンネリング攻撃に関するセキュリティ上の懸念を引き起こします。
続きを読む
トランプ政権による新しい大統領令で、「ゴールドカード」と呼ばれる移民ビザプログラムが導入される。商務省に100万ドル（個人）または200万ドル（企業）を寄付した個人は、迅速なビザ処理を受けられる。資金は、商業とアメリカ産業の促進に使用される。富裕層の移民誘致と歳入確保を目指す一方、公平性や潜在的なリスクに関する議論を巻き起こしている。
続きを読む
日本の研究者らが、画期的な90℃動作を実現した水素電池を開発しました。従来の高温・低容量という課題を克服しました。この電池は固体電解質を用いてヒドリドイオンを移動させ、マグネシウム水素化物アノードの高効率充放電を実現します。理論上の水素貯蔵容量（7.6 wt.%）に迫る性能を示し、水素自動車やクリーンエネルギーシステムへの応用が期待されます。
続きを読む
イグ・ノーベル賞が戻ってきました。ユーモラスで考えさせられる研究を称える賞です。今年の受賞者たちは、捨てられたガムの細菌叢から、映画館の匂いと映画の内容の関連性まで、あらゆるテーマに取り組みました。その他の研究では、ひげの進化上の目的や、歩行者が衝突を回避する方法など、驚くほど実用的な側面が探られました。これらの風変わりな実験は、科学の意外な側面を浮き彫りにし、一見ばかげた研究でさえ貴重な洞察を生み出す可能性があり、科学的探求は限界を知らないことを思い出させてくれます。
続きを読む
この記事では、ユニコード文字の 'A' の多数のバリエーションを利用してテキストを暗号化する、面白い暗号化アルゴリズム「スクリーム暗号」を紹介します。簡単な辞書マッピングにより、標準的な文字を異なる 'A' 文字に置き換えて暗号化と復号化を行います。Pythonコードは、このアルゴリズムの実装を示しており、「SCREAM CIPHER」というサンプルテキストを正常に暗号化および復号化します。これは、ユニコード文字集合の豊富さを示しており、シンプルながらもユニークな暗号化手法を提供します。
続きを読む
研究者らは、大規模言語モデル（LLM）から構造化データセットを抽出する技術を開発しました。これは、LLMが大量のトレーニングデータをパラメータに圧縮するプロセスを事実上逆転させるものです。この手法は、階層的なトピック探索を用いて、モデルの知識空間を体系的に横断し、事実上の知識と推論パターンを捉えたトレーニングサンプルを生成します。この技術は、Qwen3-Coder、GPT-OSS、Llama 3などのオープンソースモデルに成功裏に適用され、数万もの構造化されたトレーニングサンプルが生成されました。これらのデータセットは、モデル分析、知識転移、トレーニングデータの拡張、モデルのデバッグなどに利用できます。この研究は、モデルの解釈可能性とモデル間の知識転移に新たな道を開きます。
続きを読む
AnthropicのClaude Code AIコーディングエージェントは、インタラクティブ定理証明（ITP）において驚くほど優れた性能を示しています。LeanなどのITPツールは強力で信頼性が高いものの、時間と労力を要し、エラーが発生しやすいという欠点があります。Claude Codeは、多くの複雑な証明ステップを独立して完了できますが、まだ「プロジェクトマネージャー」（著者）によるガイダンスが必要です。しかし、これはITPツールが専門家を必要とせず、より多くの人が使用できる未来を示唆しています。この記事では、Claude Codeの能力と限界について詳細に説明し、著者がこれを用いて古い論文を形式化する際の経験について述べています。手作業よりも遅いものの、形式的手法におけるAIの潜在能力を示しており、ITPの普及に希望を与えています。
続きを読む