← ホームに戻る27 件のニュース

2026-07-01

日付別ニュース一覧

カードをクリックすると全文、Hacker Newsのリンクから元記事へ移動できます。

日付で読む
07/012026-07-0106/302026-06-3006/292026-06-2906/282026-06-2806/272026-06-2706/262026-06-2606/252026-06-2506/242026-06-2406/232026-06-2306/222026-06-2206/212026-06-2106/202026-06-2006/192026-06-1906/182026-06-1806/172026-06-1706/162026-06-1606/152026-06-1506/132026-06-1306/122026-06-1206/112026-06-1106/102026-06-1006/092026-06-0906/082026-06-0806/072026-06-0706/062026-06-0606/052026-06-0506/042026-06-0406/032026-06-0306/022026-06-0206/012026-06-0105/312026-05-3105/302026-05-3005/292026-05-2905/282026-05-2805/272026-05-2705/262026-05-2605/252026-05-2505/242026-05-2405/232026-05-2305/222026-05-2205/212026-05-2105/202026-05-2005/192026-05-1905/182026-05-1805/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03
Claude Sonnet 5

Claude Sonnet 5

## Japanese Translation: Claude Sonnet 5 は、プレミアム向けの Opus モデルに限定されていた高度な自律型機能を大幅に安価な価格で提供することで、AI のアクセシビリティにおいて大きな転換をもたらしました。これにより、性能格差は縮小しつつも、厳格な安全基準を維持しています。低廉なコストにもかかわらず、評価結果ではリスクのある行動が少ないことが示されており、Agent 型コンテキストにおいては Sonnet 4.6 よりも安全性が高く、開発などの危険なサイバーセキュリティタスクを実行する能力が限定的であるためデフォルトでサイバー防御機能が有効化されています。技術的な向上点には、初期コストを上げることなく処理効率を改善する新しいトークナイザーが含まれており、同じ入力が 1.0–1.35 倍多くのマッピングされたトークンに対応しますが、導入価格(入力/出力トークンあたり 2 ドル/10 ドル)を設定することでこの移行をほぼ費用対中立とします。2026 年 8 月 31 日以降には、標準的な価格(入力/出力トークンあたり 3 ドル/15 ドル)が適用されます。本モデルは、ブラウンフィールドコードの保守、多段階のソフトウェアエンジニアリング、法務調査など複雑なワークフローにおいて卓越したパフォーマンスを発揮します。チャット、Cowork、Claude Code、プラットフォーム全体におけるレート制限を引き上げることで、高度なエフォートレベルに伴う高いトークン利用量を対応可能です。最近のベンチマークスコアの見直しは、実際の品質低下を意味するものではなく、評価方法の更新によるものです。例えば、「コスト対性能チャート」の更新(変更ログ:2026 年 6 月 30 日)や、「Humanity's Last Exam」と OSWorld-Verified 評価におけるスコアの再計算は、標準的な手法を用いた実世界でのパフォーマンスをより正確に反映しています。Sonnet 5 は、無料プランからエンタープライズまでのすべてのサブスクリプションレベルで最適なデフォルト選択となり、広くユーザー層の即時かつ安全な導入を可能にします。

2026/07/01 2:59
Claude Code がリクエストに対してステガノグラフィーを用いて暗記している

Claude Code がリクエストに対してステガノグラフィーを用いて暗記している

## Japanese Translation: 地元の Claude Code バージョン 2.1.196 の最近の検査により、特定の条件下でシステムがデベロッパーのプロンプトに暗黙的に隠しデータを注入するセキュリティ慣行が発見されました。これは透明性の高い対策ではなく裏口を介したシグナルに依存することで信頼性を損ない、`ANTHROPIC_BASE_URL` が設定されており、かつシステムの時-zone が中国と一致するか、または特定の API ホスト名が検出された場合にのみコードがトリガーされます。これらの条件下で、プロンプトの句読点を改変—具体的には "Today's" のアポストロフィを、および日付の区切り文字を一括線からスラッシュに変更する—with 見えないユニコードマーカーを埋め込む。さらに、バインaries 内に base64 文字列として保存されたドメインおよびキーワードリスト(「DeepSeek」や「Zhipu」などの用語を含む)は XOR でデコードされ、潜在的な API リセラーまたはモデル蒸留攻撃を検出します。後端の脅威(無権限のプロキシなど)をブロックすることを意図されていますが、この論理はカスタムセットアップを使用する正当な開発者を懲罰し、AI に送信されるコンテキストに検出データを直接エンコードします。幸運にも、これらの特定の設定がないユーザーは変更を見ませんが、トリガー条件を満たす者はパッチが適用されるまで改変されたプロンプトを受けます。著者は、プロンプトの句読点にシグナルを隠すことは開発者の信頼を侵害し、セキュリティには明示的なポリシーに依存すべきだと主張しています。この機能をバイパスするのは、ホスト名の修正、時-zone の調整、またはバインりパッチ適用によって容易であると考えられています。

2026/07/01 0:44
脳波から単語へ:手術を必要としない新たなコミュニケーションの道筋

脳波から単語へ:手術を必要としない新たなコミュニケーションの道筋

## Japanese Translation: 研究者らが、非侵襲的脳記録からリアルタイムでテキストへの変換を行えるエンドツーエンドの AI パイプライン「Brain2Qwerty v2」を公開しました。本システムは、磁気共鳴法(MEG)を用いて 10 時間にわたって 9 名の被験者から記録された約 2 万 2,000 の文を学習データとし、生信号に対してエンドツーエンドの深層学習を適用するとともに、ノイズの多い神経入力を活用するため到大規模言語モデルを微調整しています。一般化単語精度は 61% に達しており、これにより他の非侵襲的手法で一般的であった約 8% より著しく改善されました。最適な条件下では個人ごとの性能は最大 78% に向上し、すべての文の半分以上が 1 つ以下の子音エラーで復号化されました。パフォーマンスはデータ量に対して対数線形に拡張するため、規模拡大だけでもさらなる進歩が可能であることが示唆されます。v1 および v2 の完全な学習コードは、パートナー組織である BCBL よりも提供された v1 データセットとともに公開され、AI エージェントがパイプラインの最適化を支援し、最終的な構成はエンジニアによって手動で選択されました。この研究成果は、500 万ドル規模のデジタル・ブレイン・プロジェクトの一環として、Tribev2(知覚)、NeuralSet(拡張処理)、NeuralBench(評価)などとの並行して、オープンな基礎脳のモデルを推進しています。目的は、侵襲性脳プロスタネースと非侵襲的なアクセシビリティのギャップを埋め、脳病変の影響を受けた数百万人の患者に対してより迅速な診断・治療を可能にしつつ、孤立した研究活動を超えてオープン神経科学を進めることです。

2026/07/01 6:29
Claude サイエンス

Claude サイエンス

## Japanese Translation: 現在の手稿は質が高いですが、キーポイント(Boltz-2、OpenFold3、および特定のエンタープライズプランなど)に含まれる具体的な技術的詳細が、物語の流れと同等の重みで表現されるよう、少し鋭く調整することができます。 **改善されたサマリー:** Claude Science は、Pro、Max、Team、Enterprise の各プランを通じて macOS と Linux で利用可能となった AI ネイティブ環境として、科学研究において大きな飛躍を示しています。その核心的な利点は、すべての結果に対して正確なコード、ソフトウェア環境(ローカル・ラップトップ、HPC ノード、GPU、または Modal 上で管理される)、および会話履歴を保持することで、完全な再現性を保証することにあります。従来のツールの違いとして、MCP コネクタを介して追加のインストールなしに 60 以上の科学的データベースと実験室ツール(ELN や NVIDIA の BioNeMo Toolkit(Evo 2、Boltz-2、OpenFold3 を特徴とする)などを含む特別エージェント)に直接接続します。 このプラットフォームはゲノム学、シングルセル RNA-seq、プロテオミクス、構造生物学、ケミニンフォマティクスといった高度な分野をサポートし、ユーザーがタンパク質、ゲノムトラック、化学構造をネイティブに検査可能にします。今後の開発には、分子設計のためのライブ 2D スキャッチャーや Slurm などのサーバー向けの自動スクリプト生成が含まれます。生のデータセットとコードをローカルに保持しつつ、強力な GPU リソースを活用することで、Claude Science は初期分析と出版の間の環境不一致を解消します。この統合されたアプローチにより、研究者およびバックグラウンドレビューヤーは参考文献の有効性を検証できるようになり、データ処理から最終的な検証までを単一かつ安全なインターフェース内で円滑化するワークフローが実現されます。

2026/07/01 2:07
ナノバナナ 2 ライト

ナノバナナ 2 ライト

## Japanese Translation: Nano Banana 2 Lite は、画像生成および編集速度において顕著な向上をもたらします。Gemini 3.1 Flash Image に比べて約 2.7 倍の高速化を達成するとともに、遅延変動は小さく、品質もフルモデルに近いものです。この遅延とコストの削減により、企業が運営費用の小数分で数千枚の画像を生成でき、大規模なクリエイティブワークフローを支えることができます。既に多様な業界で本ツールが採用されています: - Space Lift は、Mid-Century Modern や Bohemian Chic などのコンセプトを用いて、部屋を瞬時に再想像します。 - Gridscape は、Gemini 3.1 Flash Lite と併用して、情報ノードの生成や関連概念の探求に本ツールを活かした複雑な無限キャンバスプロジェクトに取り組んでいます。 - Peek-A-Word は、タブ切り替えなしでオンデマンドで AI ビジュアルや定義を生成することで、受動的な読書を変えてインタラクティブな学習を実現し、Gemini 3.1 Flash Lite を使用しています。 - Anywhere は、著名なランドマーク向けの個人的なポストカードや旅行情報を生成するインタラクティブな 3D グローブです。 - Figma Weave は、創業者の Itay Schiff 氏によれば、ノードベースのキャンバス上で迅速なアイデア探索のために本ツールを活用しています。 - Manus AI は、共創業者の Tao Zhang 氏によると、自律的なワークフロー内でのリアルタイム画像生成を実現し、数秒で結果を届けてフルモデルに近い品質を提供します。 - Artlist は、ディレクターの Idan Yonas 氏によれば、本ツールがクリエイティブプロセスに高速化をもたらすことで、思考から視覚へほぼ瞬時に移行することを強調しています。 - Wit's End は、Gemini 3.1 Flash Image に比べて約 2.7 倍の速度で安定して約 1k の画像を生成していると報告しています。 強調されている能力には、実機テスト、比較、ショールーム、パフォーマンス評価、セキュリティ対策およびライトニング級の低遅延が含まれます。しかし、ユーザーは小さな顔の扱い、正確なスペリング、微細ディテール、データ表現における事実に基づく正確さ、複雑な編集における不自然な結果といった現在の技術的制限についても認識する必要があります。開発者は、モデルの莫大な速度優位性を活かしながら、これらの課題を戦略的に回避し、各セクターにわたって生産力を牽引させる必要があります。

2026/07/01 1:48
ラジコンカーの仕組みとは何か?イラスト入り分解図による解説

ラジコンカーの仕組みとは何か?イラスト入り分解図による解説

## 日本語翻訳: おもちゃには、子供が安全かつ容易に操作できるように設計された巻き上げ機構が含まれていることが多い。ギアを活用することで、これらのおもちゃは機械的利益を用い、巻き上げの過程を大幅に簡素化している。これには、トルクを増幅し、回転速度を変更する二つの重要な特性が用いられている。この文脈において、「トルク」はスプリングを締め付けるために必要な回転力(ねじり力)を指す。ギアがなかった場合、硬いスプリングを取り扱うには多大な身体的強度が必要となり、子供にとっては困難または危険になる可能性がある。ギアは、使用者に modest な effort を発揮させる一方で、機構が締付けシャフトを効果的に回転させるために必要な力を増幅することでこの問題を解決する。同様のギア技術は時計、車、自転車、プリンターなどの複雑な機械において電力を効率的に伝達するために存在しているが、ここでは巻き上げ過程中に見られる抵抗を減らすために特に調整された役割を果たす。結局のところ、この設計はおもちゃの操作が残りにくくかつ身体的に安全であることを保証し、小さな手の負担を防ぎつつ、おもちゃの機能に必要な硬い内部スプリングを成功させて作動させる。

2026/06/29 7:16
Kubernetes をブラウザへ移植しました

Kubernetes をブラウザへ移植しました

## Japanese Translation: Sam Rose は ngrok におけるシニア開発者教育者として、開発者がプラットフォーム内で生産性と実用性を最大化できるよう、高品質な教育コンテンツの作成を主な使命としています。この集中的取り組みは、エンジニアが自信を持って高度な機能を利用し、ngrok のツールから最大限の価値を得られるように支援することを目的としています。

2026/07/01 5:48
Leanstral バージョン 1.5

Leanstral バージョン 1.5

## Japanese Translation: 2026 年 6 月 30 日にリリースされた、更新された Lean 4 形式化証明工学モデル v1.5 は、自動化された定理証明および自動形式化に特化して設計された自由な人工知能です。この高度なシステムは、高い効率性を誇るアーキテクチャを特徴とし、総パラメータ数 119B にわたる全パラメータと 65 億のアクティブパラメータを持ち、25 万 6 千トークンの大規模コンテキストウィンドウをサポートします。主な機能には、会話および関数呼び出しのための組み込みエージェント、さらに音声認識や文字起こしなどの新興能力が含まれます。また、並列化バッチ処理、OCR、ドキュメント問答機能、ならびに FIM、埋め込み、モデレーションなど他のツールを通じて、業界標準のワークフローを統合しています。ゼロコストという条件下で、自動形式化作業のプロセスを標準化し、手動による証明工学に必要な時間を大幅に削減することを目的としています。 ## Text to translate: Released on June 30, 2026, the Updated Lean 4 formal proof engineering model v1.5 is a free artificial intelligence designed specifically for automated theorem proving and autoformalization. This advanced system features a highly efficient architecture with 119B total parameters and 6.5B active parameters, supporting massive 256k context windows. Key functionalities include built-in agents for conversation and function calling, alongside emerging capabilities such as text-to-speech transcriptions. The model also integrates industry-shifted workflows via parallelized batching, OCR, document question-and-answer features, and other tools like FIM, embeddings, and moderations. With zero cost, it aims to standardize autoformalization processes and significantly reduce the time required for manual proof engineering.

2026/07/01 5:44
TabFM: 構造化データのゼロショット基礎モデル

TabFM: 構造化データのゼロショット基礎モデル

## Japanese Translation: Google から、テーブルデータの分類および回帰向けの基礎モデルである TabFM が発表されました。本モデルは、ゼロショットインコンテキストラーニング(ICL)を採用し、手動でのハイパーパラメータ最適化や特徴量エンジニアリングの必要性を排除します。AdaBoost や XGBoost といった従来の教師ありモデルとは異なり、TabFM は行列とカラム注意、行圧縮、および専用の Transformer を備えたアーキテクチャを通じて、複雑な特徴量相互作用をネイティブに捉えます。高品質な産業データの不足に対処するために、本モデルは構造的因果モデルを用いて生成された数億の合成データセット entirety でトレーニングされています。 TabArena ベンチマーク(38 の分類データセットおよび 13 の回帰データセットをカバー)における性能評価では、頭脳対戦勝率に基づいた Elo スコアを用いると、TabFM は大規模にチューニングされた業界標準を一貫して上回ることが示されています。本プロジェクトは 2 つの構成を提供します:調整なしで使用可能なベース「TabFM」モデルと、「TabFM-Ensemble」変種です。後者はクロス特徴量、SVD 特徴量、32 重アンサンブル、および校准のための Platt スケーリングを統合しています。完全なベンチマーク結果とコードベースは GitHub および Hugging Face で利用可能です。今後近いうちに、TabFM は `AI.PREDICT` SQL コマンドという単純な方法を通じて Google BigQuery に直接統合され、専門的な機械学習知識を持たない実務者でも、見えないテーブルで高品質な予測を生成できるようになります。

2026/07/01 7:08
2025 年、mmWave 材料分類ラダーを構築しました

2025 年、mmWave 材料分類ラダーを構築しました

## Japanese Translation: 元のサマリーはよく書かれており、論理的に流れ、詳細な技術的な要点を明確な物語に要約しています。何が、どうやって、結果、限界、今後の推奨事項を効果的にカバーしています。したがって、厳密には改善する必要はありませんが、「Key Points List」の、特に言及されたデータセットサイズに関する項目に対して最大の忠実さを確保するために、わずかな調整を行うことができます(例:「real-world spectral data」を「500 Kb of real-world spectral data」に変更)ですが、サマリーのもはやりの質を考慮すると、その一点の小さな正確性の微調整のための提案を含む元のサマリーを繰り返すオプションは以下の通りです。 **Improved Summary (Option 2 - Minor Polish):** 本プロジェクトでは、Texas Instruments IWRL6432 と ESP32 デベロップメントキットに基づく低価格な FMCW レーダーのプロトタイプを導入し、高価な実験室検査なしに壁内のアスベストを検出することを目的としています。RF プロトタイピングのために OpenEMS などのオープンソース電子機器を活用することで、本システムは従来の方法(1 回の検査あたり約 60 ドルかかる)を置き換えることを目指しています。コア技術は Capon (MVDR) ビームフォーミングを使用して、スペクトラルデータとシミュレーション(FDTD と Yee メソッドを使用)から導かれる電磁気学的な「フィンガープリント」を生成し、それらをclassic CNN で分析してアスベストを含む物質を分類します。Dirac パルスによって引き起こされる信号不安定さを克服するために、チームは標準的なパルスをガウシアンパルスに置き換え、周波数領域解析を大幅に向上させ、転移関数の畳み込みトリックによりシミュレーション時間を短縮しました。Proof of Concept は、異なる環境における 500 Kb のスペクトラルデータを使用して、複雑な多層構造の壁で高い精度を達成しました。ただし、開発は資金不足とハードウェアに対する潜在的な顧客からのヨーロッパの規制承認に関する懐疑論により停止しました。学んだ主な教訓には、事前に予約を通じて支払う意思を早期に検証し、電子機器に合わせて筐体を設計し、OTA 更新を活用してアップグレード性を高めることなどがあります。安全基準に厳密に準拠して再活性化されれば、このアプローチはコストを大幅に引き下げることでアスベスト検出を民主化し、ソフトウェア定義ハードウェアソリューションの採用を促進することができます。

2026/07/01 2:29
ストラウシュプの法則(2024)

ストラウシュプの法則(2024)

## Japanese Translation: 以下の部分で、主要な点を含み文脈を明確にすることで、不足している要素や推論に対処されています: ## サマリー(改訂): プログラミング言語は、しばしば自然と専門家のための簡潔な構文へと進化する傾向があり、初級者の分かりやすさよりも短さや洗練さを優先するという現象がストルッストラップの法則として知られています。C++ の創作者である Bjørn Stroustrup(注:正確には Bjarne Stroustrup)によって提唱されたこの法則は、コミュニティが新機能に対して大きな記述性の高い表記を求めつつも、慣れが生じるにつれて簡潔なものを求めていると説明するものです。しかしながら、このトレンドは急峻な学習曲線を生み出します。Rust が詳細な `match` 文からコンパクトな `?` 演算子へ移行した例などが示すように、専門性がアクセシビリティから遠ざかる方向に進化しています。専門家はこの進化を進歩と見なすかもしれませんが、それは本質的に、暗黙的な表記に依存して下位の概念のメンタルモデルを構築しようとする新規学習者の妨げとなります著者は、このような必然的な漂流を受容することに反対し、TLA+ の例を挙げながら、直感的で明確なテスト方法を簡潔な論理が置換したケースを指摘しています。このダイナミクスはまた、Python の「ワルサス」と呼ばれる割り当て演算子(`:=`)でも見られ、洗練さを評価する専門家と学習の難しさに懸念を示す教員や初級者の間で議論が巻き起こっています。この障壁に対抗するため、著者は教学ワークショップにおいて明確で冗長な構文を優先させることで、Stroustrup の法則に積極的に働きかけています。常にコミュニティからの洗練さのための圧力に抵抗し、明確な表記を好むことによって、教育者と設計者は新規開発者を疎外することを防ぎ、言語を専門家向けに最適化する前に新人にもアクセシブルに保つことができます。(注:"Logic for Programmers" は 1 月 2 日まで 40% オフで販売中です。)

2026/06/28 6:01
CERN がLHC と別れ、長期シャットダウン3へ突入

CERN がLHC と別れ、長期シャットダウン3へ突入

## Japanese Translation: 大型加速器(LHC)の現在の運営は 2026 年 6 月 29 日に終了する見込みであり、ヒッグス粒子のような画期的な発見がほぼ 2 世紀にわたり続いたことを示します。この重要な瞬間で Long Shutdown 3(LS3)が始まり、施設を High-Luminosity LHC に転換するための大規模な改修期間となります。今回のアップグレードには、1.2 キロメートルのマグネットの交換と、数十億回の衝突の中から稀有な事象を検出するため検出器のタイミング精度を 2 倍にするなどが含まれます。本質的には、科学者たちは機械の「目」を向上させてより微弱な信号を捉えるようにし、衝突エネルギーを 10 倍に引き上げることを計画しています。2028 年からの段階的な再開を経て、2030 年に完全な運営が開始されます。この強化されたバージョンにより、研究者たちは標準模型前所未有的の精度で研究し、物質と反物質の不均衡に関する基本的な問いを探求することが可能になります。高度な超電導技術と国際協力を活用して、このプロジェクトは物理学の境界を押し広げ、以前の運用期間の制限により以前はアクセスできなかった新しい自然法則の発見をもたらす可能性があります。 ## Text to translate ## Summary: The Large Hadron Collider is set to conclude its current operations on June 29, 2026, marking the end of nearly two decades of groundbreaking discoveries like the Higgs boson. This pivotal moment initiates Long Shutdown 3 (LS3), a massive renovation period designed to transform the facility into the High-Luminosity LHC. The upgrade involves replacing 1.2 kilometers of magnets and doubling detector timing precision to identify rare events amidst billions of collisions. Essentially, scientists are upgrading the machine's "eyes" to see fainter signals and increasing its collision power tenfold. After a gradual restart beginning in 2028, full operations will commence by 2030. This enhanced version will allow researchers to study the Standard Model with unprecedented accuracy and explore fundamental questions about matter–antimatter imbalances. By leveraging advanced superconducting technology and global collaboration, this project aims to push the boundaries of physics, potentially revealing new laws of nature that were previously inaccessible due to limitations in previous operational periods.

2026/06/30 3:52
Ante: 借用チェックと参照カウントを融合させる新しいアプローチ

Ante: 借用チェックと参照カウントを融合させる新しいアプローチ

## Japanese Translation: # 概要: Ante は、参照カウントと借用チェックを組み合わせた新しいメモリ安全性モデルを導入し、実行時オーバーヘッドやクラッシュなしに複数の同時可変借用を可能にします。Rust の `RefCell` や Swift の排他性チェックとは異なり、Ante は明示的な `shared` シNTAX を用いた自動参照カウントおよび「Shape-Stability」不変則を採用することで、コンパイル時に安全性を強制します。「Shape-Stability」不変則は、外部データの変動であっても安定した形状を持つデータへの参照が無効にならないことを保証し、同じスコープ内で複数の可変借用を可能にします。主要なメカニズムには以下のものがあります: - **`shared` タイプ**: 自動的に参照カウントされます;`shared mut` はロックなしでフィールドの変更を可能にし、包含型が参照されている間はフィールドが生きていることを保証するためです。 - **`uniq` リファレンス**: 同じデータへの他の参照が現在のスコープに存在しない場所でしか使用できない排他的可変アクセスを表し、Rust/Swift のユニオンで一般的なエイリアシング違反を防ぎます。 - **ユニオンと安全性**: 性能のためにユニオンのサポートはありますが特別な扱いが必要です;変数がユニオンのバリアントへの `uniq` リファレンスを保持する場合、そのスコープ内で矛盾する変更は防がれます。 - **一時的な変換**: 特定の範囲内では、他の変数が間接的に同じデータを参照しない限り、Ante は `mut` から `uniq` リファレンスへの変換をサポートします;そのような変換は、引数がエイリアシングされた構造体の間接エイリアスを含まない限り関数呼び出しを越えて行うことができます。 - **返戻境界**: 変換された `uniq` リファレンスは、関数の返戻点でのエイリアシング問題を回避するため、直接返すことはできず、`local uniq` と明示される必要があります。 - **解析と保証**: 安全性は再帰型解析(またはユニーク匿名タイプを持つ提案された「ブランディング」)に依存し、スコープを超えたエイリアスが存在する場合に変換された参照の返送をブロックします。

2026/06/29 4:37
ロングアイランドの退役済みの原子力発電所

ロングアイランドの退役済みの原子力発電所

## Japanese Translation: ロングアイランドにあるショアハム原子力発電所は、現在は無人かつ厳重に管理された歴史的建造物として存在する。建設は1973年に行われ、GEマークⅡ型沸騰水型炉(BWR)が採用された。1985年までに5% の容量で試験運転が行われた後、サリー島部分溶融事故(1979年)とチェルノブイリ悲劇(1986年)により高まりつつあった公衆の懸念を理由に操業が停止し、当局は同施設の非常脱出経路計画を却下したことで運転許可を与えなかった。1992年にニューヨーク州によって3億ドルもの費用がかかっていた発電所はわずか1ドルで購入され、負担は3% の電気料加算という継続的な税金を通じて住民に転嫁された。除隊化(ライセンス保有中の米国商業用原子炉に対する最初の一貫)は約500万ポンドの放射性廃棄物と560本の照射済み燃料棒アセンブリを撤去し、複数の警告標識、防衛壁(厚さ7フィートの外壁と2〜3フィートの内壁)、厳格な trespass 禁止対策で守られたサイトにおいて行われ、2年間を経て1994年に完了した。現在行われている教育用のツアーでは、制御室内のスイッチ類が密集している様子や、最後の更新日が1994年11月8日であるデスク上のカレンダー、階や壁を跨ぐ汚染検査を示すグリッドシステム、映画『The Dictator』で登場する部屋の一部が見える空きのタービンケーシング、クレーン下の炉心坑への狭苦しいアクセスチューブなど詳細が確認できる。巨大なインフラへの州政府資金による継続的な維持管理が行われているにもかかわらず、同サイトは trespass が厳に禁止された独自の産業史跡として残っている。

2026/06/25 6:41
東京には麦茶メーカーがわずか2社だけ。そのうちの一つを訪問し、麦茶がつくられるところを見学しました

東京には麦茶メーカーがわずか2社だけ。そのうちの一つを訪問し、麦茶がつくられるところを見学しました

## Japanese Translation: 江戸川区(東京都)に本社を置く荻下産業は、都市内において同様の施設を持つ企業のうち 2 つの一つであり、大麦茶市場では大量生産ではなく、 뛰어난職人技によって差別化を図っています。主力の国内産大麦は主に茨城県、栃木県、富山県から調達し、2 つ異なる品種を組み合わせて複雑な風味を生み出しています。同社の核心的な革新は、競合他社が標準的に用いる対流式の方法を置き換える厳密な直接火焼き技術であり、この工程では大麦に砂を混ぜて赤外線熱を均一に分散させ、焦げつきを防ぎながら粒がよりふっくらし香りが豊かになるようにしています。味覚テストではエクストラ・クリスプポップコーンと比較されました。焼成は 2 つの精密な段階に分かれており、250°C で 1 分間、続いて 180°C で 1 分間の処理が行われます。これらの高品質な大麦は三角形のお茶袋にパッケージ化され、従来の形状と比べて優れた水の流れと風味抽出を実現します。最後に完成した袋は箱詰めするか個包装として販売されます。工場内の内部温度は屋外よりも著しく高く(サンプル訪問時には 10°C も上昇した)、しかしこの地産へのこだわり、手作業での包装、そして高度な熱制御により、荻下産業は標準的な工業モデルとは一線を画す、独自の特徴を持つプレミアムな麦茶体験を提供しています。

2026/07/01 4:47
ハードウェア経験ゼロから scratch でカスタムオクタコプターを製作する

ハードウェア経験ゼロから scratch でカスタムオクタコプターを製作する

## Japanese Translation: 本テキストは、個々のモーターや全電子スロットルコントローラ(ESC)を失うような重大な故障发生后でも、ドローンの安定性と複雑な復元動作の実行を維持するための高度な強化学習制御アーキテクチャを概説する。従来の固定 PID ループに依存するシステムとは異なり、このアプローチはリアルな MuJoCo シミュレーション環境で訓練された非対称型アクター・クリティック構造を持つ Proximal Policy Optimization(PPO)エージェントを使用する。実世界への即時導入における堅牢性を確保するために、訓練プロセスは物理的な不確実性を厳密に模倣する:質量や慣性などのパラメータは CAD モデルではなく実際の測定値に基づいて決定され、バッテリーのねばりやすさやセンサーノイズなどの因子に対して意図的なランダム化が適用される。特に重要なのは、シミュレーション内に 15–30 ms のランダムなループ遅延を含み、ポリシーが非現実的な即座のスラスト変化(「チッピング」)を学習することを防止し、実 Hardware のタイミング変動下でも安定性を確保することである。本システムは、個別的な故障検出器を必要とせず、アクターに期待されるセンサー応答と比較して実際のセンサー応答を直接識別することで故障を特定するように訓練されている。最終的には、この画期的技術により、ドローンは重度の非対称な故障シナリオ(例:90° のモーター損失)にもかかわらず、部分的電力下で動作し続けても約 2.8 kg という全負荷容量を維持し、安全な推力重量比を実現できるようになる。

2026/06/28 13:17
Knoppix

Knoppix

## Japanese Translation: サマリー:KNOPPIX は、CD、DVD、または USB フラッシュドライブに搭載可能な起動型 Live リンクスシステムであり、ハードディスクへのインストールなしで動作します。GNU/Linux ソフトウェアから構成され、自動的なハードウェア検出に対応しており、多数のグラフィックスカード、サウンドカード、SCSI および USB デバイス、その他周辺機器をサポートしています。生産性の高いデスクトップ環境として、教育ツールとして、レスキューシステムとして、あるいは商業デモ用のプラットフォームとしての機能を提供します。オンザフライでの展開により、CD エディションでは最大 2 GB の実行可能ソフトウェアを収容でき、DVD「マキシ」エディションではそれを超えて 9 GB を超えます。これらの機能により、ユーザーは完全なポータブルコンピューティング環境を持ち運び、組織や学校が異なるハードウェア上で広範なアプリケーションを動作させながら、恒久的な設定変更なしに利用できるようになります。 ## Text to translate: Summary: KNOPPIX is a bootable Live Linux system available on CD, DVD, or USB flash drives that runs without hard disk installation. It consists of GNU/Linux software with automatic hardware detection, supporting many graphics cards, sound cards, SCSI and USB devices, and other peripherals. Functions as a productive desktop, educational tool, rescue system, or platform for commercial demos. Due to on-the-fly decompression, the CD edition holds up to 2 GB of executable software, while the DVD "Maxi" edition exceeds 9 GB. These capabilities let users carry a complete portable computing environment and allow organizations and schools to run extensive applications across different hardware without permanent setup changes.

2026/06/30 21:54
Postgres の内部構造を読む:データベースクラスタ、データベース、およびテーブル

Postgres の内部構造を読む:データベースクラスタ、データベース、およびテーブル

## Japanese Translation: 本テキストは、河野昇氏らの参考書籍を通じてクラスター設計、ストレージ配置、オブジェクト管理を学び、PostgreSQL の内部アーキテクチャに対する理解を深める方法を説明しています。著者は、システムオブジェクトとユーザーオブジェクトの重要な区別(内蔵データベースに使用される予約された OID、および OID 処理における歴史的な変更:必須(≤8.0)、オプション(8.1–12)、削除(≥12))を強調し、$PGDATA 内の標準的なファイルディレクトリ構造について詳述しています。これは、データを格納する `base/` ディレクトリや、テーブルスペース用シンボルリンクによって命名されたサブディレクトリなどです。また、タプルストレージのメカニズムについても明確にしており、2KB より大きな値は `pg_toast` にある TOAST で管理され、タUPLE はページの末尾に配置され、空き領域と可視性を追跡するための補助ファイル(`*_fsm`, `_vm`)が存在することなどを説明しています。これらの内部構造を理解することは、生源代码を読むことなく、パフォーマンスボトルネックを予測したり、`VACUUM FULL` のような重負荷なメンテナンスを実行するタイミングを判断したり、カスタムテーブルスペースを作成したり、インデックス戦略を最適化したりといった管理者の意思決定に役立ちます。

2026/06/29 21:59
投稿:13歳の息子がアリのコロニー追跡器を作りました

投稿:13歳の息子がアリのコロニー追跡器を作りました

## Japanese Translation: 本アプリケーションは、初心者から専門家までアカイ昆虫学者向けに設計された、登録不要の包括的なツールです。その主な利点は、即時利用可能な点であり、ユーザーはアカウント作成なしで直ちにダッシュボードを表示し、すべてのコロニーを一覧表示したり、状態と主要データカードを瞬時に表示できるほか、簡単な登録フォームを通じて種の詳細を記録することができます。プラットフォームは、英語、スペイン語、フランス語、ドイツ語、イタリア語の多言語対応を提供することで、多様なユーザーニーズに対応しています。機能的には、コロニーおよび種別に分類された進歩チャート、幼虫状態のモニタリング(卵、幼虫、蛹)、ページごとの給餌記録、自動的な給餌および清掃のリマインダーを備えたケアカレンダー、形虫館タイプ管理など、基本的な追跡機能を提供します。これらは、数百種のコロニー情報を格納した大規模データベースに支えられており、データ入力時の自動補填を助けます。ユーザーは数秒で新しいコロニーを作成でき、重要な維持管理タスクに対して自動リマインダーを利用できます。テキストには具体的な将来のロードマップは示されていませんが、永続的なデータ保存のためのオプションを持つ無料アカウントを選択することで、安定したパフォーマンスが保証されています。結局、このリソースは労働者の履歴と詳細な統計記録を簡素化し、世界中のアカイ愛好家にとっての参入障壁である初期費用や技術的ハードルを取り除くことで、業界へのアクセス可能性を大幅に向上させます。

2026/07/01 1:48
異常な人気迷信と群衆の狂気の回想録(1852)

異常な人気迷信と群衆の狂気の回想録(1852)

## Japanese Translation: チャールズ・マケイの『卓越した群衆の大変な狂信と大衆の狂気』は、集団がどのように容易に非合理的な狂気に陥るかを示す先駆的な研究です。本書の核心となるメッセージは、時代や対象に関わらず、人類には本質的に集団ヒステリーへの感受性を共有しているという点であり、これが最初に提示されています。この事実を証明するために、マケイは単調なデータに頼ることなく、センセーショナルなストーリーテリングと鮮やかな逸話を用いて、歴史上の変乱を風刺します。本書は、宗教的な十字軍や魔女裁判からオランダのチューリップ狂気まで、変化する髭のスタイルといった一時的な政治的潮流に至るまでの広範な時期にわたる出来事をカバーしています。事実が群衆の中でいかに容易に歪められるかを示すことで、本書は過去の社会的転回を理解するための本質的な文脈を提供します。現在、財務アナリストや投資家は、その洞察が現代の市場に直接適用されるため、この作品を非常に高く評価しています。具体的には、本書は論理感が感情によって圧倒された際に発生する経済バブルや投機的热狂を説明するのに役立ちます。究極的には、マケイの分析は、市場崩壊の警告徴候を認識し、現在の経済的変動をより明確に解釈するために不可欠なツールとして引き続き有効です。

2026/06/30 21:47
アルミプロファイルで10 インチのミニラックを作成しました

アルミプロファイルで10 インチのミニラックを作成しました

## Japanese Translation: 著者は、仮想化プロジェクトのために 6 つの小型 PC を整理するカスタム製 10 インチサイズのミニラックに成功しており、高価な組み立て済みキットへの対抗としてコスト効率の高い選択肢を提供しています。このソリューションは Jeff Geerling氏の最近のデザインに触発されましたが、アルミエキスツージョンや木材パネルなどの廃材を使用し構築されたものであり、313.28 ユーロという低価格で、絡み合うケーブルと巨大な電源ユニットを効果的に管理します。デザインの主要なイノベーションは、標準的なマウント穴が側面アクセスを妨げるのを避け、必要に応じて横方向のケーブル配線を可能にするために、垂直配電装置(PDU)を特別にマウントすることにあります。ラックには 1990 年代の 3Com スイッチなどのレガシーなネットワーク機器を統合し、ライブマイグレーションといった現代タスクを促進しています。外部ポートが欠如しているためディスプレイへのアクセスのためにケーブルを手動で操作する必要はあるものの、将来のバージョンではキャリングハンドルを追加し空気の流れを改善する可能性があります。結局のところ、このプロジェクトは、安価で持続可能な素材を使用して効率的な低消費電力仮想化環境を構築できることを示しており、ユーザーに商業的な選択肢に対する実行可能な DIY オプションを提供します。 ## Summary: 著者は、仮想化プロジェクトのために 6 つの小型 PC を整理するカスタム製 10 インチサイズのミニラックに成功しており、高価な組み立て済みキットへの対抗としてコスト効率の高い選択肢を提供しています。このソリューションは Jeff Geerling氏の最近のデザインに触発されましたが、アルミエキスツージョンや木材パネルなどの廃材を使用し構築されたものであり、313.28 ユーロという低価格で、絡み合うケーブルと巨大な電源ユニットを効果的に管理します。デザインの主要なイノベーションは、標準的なマウント穴が側面アクセスを妨げるのを避け、必要に応じて横方向のケーブル配線を可能にするために、垂直配電装置(PDU)を特別にマウントすることにあります。ラックには 1990 年代の 3Com スイッチなどのレガシーなネットワーク機器を統合し、ライブマイグレーションといった現代タスクを促進しています。外部ポートが欠如しているためディスプレイへのアクセスのためにケーブルを手動で操作する必要はあるものの、将来のバージョンではキャリングハンドルを追加し空気の流れを改善する可能性があります。結局のところ、このプロジェクトは、安価で持続可能な素材を使用して効率的な低消費電力仮想化環境を構築できることを示しており、ユーザーに商業的な選択肢に対する実行可能な DIY オプションを提供します。

2026/06/28 8:45
今週パソコンを再起動しましたか?

今週パソコンを再起動しましたか?

## Japanese Translation: 著者は土曜日の朝に Mac を再起動する週一の習慣を維持しており、この手作業による儀式を警告の消去やリソース消費の多いアプリケーション(例:Microsoft Edge)を強制終了させる信頼性の高い技術的リセットとして捉えている。 OneDrive などのクラウドストレージソリューションや、職業上の必要から Emacs というデータ同期ツールを利用していること(脚注で言及されている)は事実ではあるが、著者は複雑なユーティリティスクリプトや自動化よりも、このような簡素で人間主導のワークフローを積極的に好む。著者は計画された再起動を単なる保守タスクだけでなく、技術的な問題を解決する最良の方法の一つであり、かつデジタル労働から必要な休憩を強制するものとして捉えている—つまり、複雑な修復が必要とならずに休憩の機会を提供してくれるのである。したがって、この規律あるルーティンは、現在のハードウェアが機能する限り継続されると見なされている。 (注:改善版では、「技術的な問題を解決する最良の方法」というリストからのある点を明記し、脚注の文脈をやや明確にしている一方、個人の好みと職業上の義務との間の移行を滑らかにしています。)

2026/06/30 23:15
クラウド制御の天井ファンへの無線通信妨害(RFハッキング)

クラウド制御の天井ファンへの無線通信妨害(RFハッキング)

## Japanese Translation: 最も重要な点は、Dreo の天井扇を完全なローカル制御とプライバシーを実現でき、メーカーのクラウド依存型エコシステム全体を迂回してそれを得られるということです。専用アプリへの依存や継続的なインターネット接続に頼るのではなく、この DIY プロジェクトでは元のハードウェアを置き換え、Home Assistant および Siri によるローカル管理が可能なカスタムシステムを導入しています。ソリューションは ESP32-C6 Xiao ボードと 433.92 MHz RF トランシーバーを組み合わせて構成し、特定の無線信号を直接デコードして再送します。技術的な詳細の一つとして、FCC ドキュメントでは周波数シフトキーイング(FSK)変調が示唆されていましたが、実際の信号解析の結果、データを送信するために周波数を切換えるのではなく、ラジオをオン・オフする単純な伝送方法である Ask(オンスイッチキーイング)が使われていることが明らかになりました。システムは 8 ビットのプレアミブル、20 ビットのシンクフレーズ、および元のリモートコマンドを正確に模倣するために必要なユニークなペイロードからなる構造化されたメッセージをデコードします。RadioHead などの標準ライブラリを使用せず SPI ラインを手動で切り替えながら、MQTT を Home Assistant トピックのトリガー用ブリッジとして活用することで、ハードウェアリバースエンジニアリングに関連するセキュリティリスクを排除しています。カスタム 3D 印刷ケース内でのほぼ 1 年にわたる安定動作を経て、本プロジェクトはソフトウェアアップデートを待ったりクラウドベースの脆弱性に晒されたりすることなく、ハードウェアによるイノベーションを通じてレガシー機能を維持することを示す証例となっています。

2026/06/24 23:13
Waveloop:Fable が私に残したもの

Waveloop:Fable が私に残したもの

## Japanese Translation: 中心的な成果は「Waveloop」という、2 日間の開発で Fable フレームワークを用いて作成された高度な音楽可視化ツールです。Waveloop はファイルからまたはライブマイクロフォンからのオーディオを分析し、音程を周期的な 12-TET ピッチクラス円環上の角度としてマッピングする(半音ごとに 30°)、和弦の質を図形で表現し、八度は Oklch 空間で色を用いて表現することで、調和的・旋律的な構造を視覚的に明らかにします。これを支える技術的な実装には、周波数分析のための FFT が採用され、安定性を確保するために事前に計算された CQT が用いられています。また、Terry Davis のような高密度なコーディングスタイル(例:アルファ値のプリマルチプライ)も見られます。プロジェクトには、コード名や和弦の質を表すための配列を使った特定のロジックが含まれており、`detectChord()` というスコアリングベースの関数が採用されており、ウクレールのボイシングのような和弦を特定可能です。開発プロセスは反復的であり、最初に「ひどい音声吹き込み」付きの乱雑な草稿として始まり、AI のサポートを受けつつ最終的には磨き上げられた説明ビデオへと進化しました。フィードバックにより会話を基調としたトーン(3blue1brown スタイル)およびより正確な音・視覚の対応関係が求められ、最終的なクリーンアップによって数学表現の適切な活字付け、一貫した音声、重ね合わされない図表が実現しました。全体として、Waveloop は、現代の AI が複雑なオーディオ分析と手続的生成を効率化する方法を示しており、特定のコーディングスタイルと新たなツールを組み合わせることで急速なプロトタイピングを実現しています。なお、プロジェクトには「Claude が SVG を生成し、著者が散文を書いた」という免責事項が記載されています。

2026/06/27 8:29
Tim Berners-Lee の URL シンタックスで製品化されなかった Matrix URIs(1996 年)

Tim Berners-Lee の URL シンタックスで製品化されなかった Matrix URIs(1996 年)

## 日本語訳: Tim Berners-Lee の 1996 年における「Matrix URIs」案は、URL パラメータを厳格な階層構造ではなく非順序行列として扱うことで、標準的なウェブリンクに対する革命的な代替手段を提供する。セミコロン構文を用いるこのシステムでは、マップのスケールや座標など特定の属性のみを変更し、アドレスの他の部分は変更せずに済む。例えば、「`//moremaps.com/map/color;lat=50`」というリンクの場合、各属性が一度だけ定義されている限り、ロケーションやスケールは不変のまま色だけを切り替えることが可能となる。しかし、このアイデアは、ウェブデータを木構造から次元行列形式へ転換するという優れた設計を持ちながらも、純粋に理論的な段階にとどまっている。1997 年 1 月時点で、セミコロンで始まる相対 URIs を解析できる主要なブラウザはいなかった。さらに、欠落した属性は特別な削除構文がないまま空文字列としてデフォルト値となるが、Berners-Lee はこれを潜在的に「乱雑だと」考えていた。したがって、広範な採用には巨大な障壁が存在する:業界全体の大規模な混乱と、ブラウザにおけるウェブリンクの処理方法に関する普遍的なアップデートが必要だからだ。そのような技術的危機による標準の強制がない限り、この革新的アプローチは今日の実際のユーザーエクスペリエンスに影響を与えることなく、未使用の概念として留まると予想される。

2026/06/27 0:15
アマゾン販売者が闇での賄賂取引の一端に明かりを当てる

アマゾン販売者が闇での賄賂取引の一端に明かりを当てる

## Japanese Translation: 本件の核心は、Amazon の売主ジャック・ネッカレーが凍結された資金を回復しようと、 alleged な内部の賄賂環流を暴露したにもかかわらず、会社側から何の解決も行われなかったことにあります。記録された会話やバックエンド機密データを WeChat を介して仲介業者が漏洩させたことを示すスクリーンショットなどの証拠を提示しましたが、Amazon の担当者らは不正行為に関する具体的な証拠に対して対応を起こしませんでした。この無反応は特に問題のある状況です。なぜなら、Prime Day などの大手セールイベントの際に社員に対する違法な賄賂オファーが増加する傾向があるからです。連邦検察官たちは以前、アジアで数百万ドル規模の類似した schemes を暴露しており、インド当局も最近、トラック輸送会社から賄賂を受け取った元従業員多数について捜査を行いました。代理人ブランドン・オ・レイリーがこれらの漏洩された履歴に関する主張を調査すると約束しましたが、ネッカレーは 6 月下旬時点で、証拠提出に対する公式の指示がまだないことを報告しました。最終的に、この状況は正当な商人がアカウント凍結により破産に直面する一方で詐欺師は無慈悲に活動できるという危険な執行ギャップを示しています。このような無視は Amazon の市場を自主的に規律し、売主を内部漏洩から効果的に守る能力に対する信頼を崩壊させるリスクを抱えています。

2026/07/01 3:12