そっか~ニュース / Hacker News 日本語ダイジェスト

そっか~ニュース
記事を読んで、気分はそっか~。

aiで翻訳、記事の要約を自動生成したHacker Newsの日本語ダイジェストサイトです。 明らかに正確でない翻訳や要約が含まれる場合がありますのでご了承ください。

日付で読む
09/082026-09-0809/072026-09-0709/062026-09-0609/042026-09-0409/032026-09-0309/022026-09-0209/012026-09-0108/312026-08-3108/302026-08-3008/292026-08-2908/282026-08-2808/272026-08-2708/262026-08-2608/252026-08-2508/242026-08-2408/232026-08-2308/222026-08-2208/212026-08-2108/202026-08-2008/182026-08-1808/172026-08-1708/152026-08-1508/142026-08-1408/132026-08-1308/122026-08-1208/112026-08-1108/102026-08-1008/092026-08-0908/082026-08-0808/072026-08-0708/062026-08-0608/052026-08-0508/042026-08-0408/032026-08-0308/022026-08-0208/012026-08-0107/312026-07-3107/302026-07-3007/292026-07-2907/282026-07-2807/272026-07-2707/242026-07-2407/232026-07-2307/222026-07-2207/212026-07-2107/202026-07-2007/192026-07-1907/182026-07-1807/172026-07-1707/162026-07-1607/152026-07-1507/142026-07-1407/132026-07-1307/122026-07-1207/112026-07-1107/102026-07-1007/092026-07-0907/082026-07-0807/072026-07-0707/062026-07-0607/052026-07-0507/042026-07-0407/032026-07-0307/022026-07-0207/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

最新の日付: 2026-09-08

今日のニュースカード

日付ページへ移動
ロサンゼルスが一つ一つのビル建設を通じて発展していく姿を見てください(1880 年~2026 年)

ロサンゼルスが一つ一つのビル建設を通じて発展していく姿を見てください(1880 年~2026 年)

## Japanese Translation: 本テキストは、ロサンゼルス独自の視覚マップを説明している。既存の構造物それぞれが建設年によって配置された一つの箱として表現されており、現在も存続している建物のみが含まれ、取り壊されたものは除外されている。その結果、この可視化は都市の歴史的景観や完全なタイムラインではなく、現在の建築環境を示している。これは生存する建築への明確な年代的概要を提供する一方で、過去の構造物や将来の開発については洞察を与えず、ロサンゼルの進化を現在にのみ焦点を当てており不完全な画像として提示する。 ## Text to translate : This text describes a unique visual map of Los Angeles where each existing structure is shown as one box arranged by its construction year. Only buildings still standing today are included; those that have been demolished are excluded. As a result, the visualization shows the current built environment rather than the city's historical appearance or full timeline. While it provides a clear chronological overview of surviving architecture, it offers no insight into former structures or future developments, presenting an incomplete picture of Los Angeles's evolution by focusing solely on the present.

2026/09/08 3:52
Linux ディストリビューション全体に対する信頼を誤用した攻撃 (Trust-Trust Attack)

Linux ディストリビューション全体に対する信頼を誤用した攻撃 (Trust-Trust Attack)

## Japanese Translation: Ken Thompson の「信頼の連鎖」攻撃は、以前はコンパイラレベルでの改ざんが必要とされていたものが、GNU strip 内でも実行可能であることを実証した。本研究では、GNU strip が完成済みの ELF ファイルを改変することで、ソースコードを確認せず・改変せずにも、Linux 全体のビルド環境に永続的なバックドアを埋め込むことを示している。NixOS のブートストラッププロセスにおいて、バイナリシードに含まれる GNU strip の単一のパッチ済みバージョンによってペイロードが挿入され、それが次のビルド世代へと伝播し、シードが依存関係の閉じ外に出た後の最終的な標準環境においても存続する。実際の nixpkgs リビジョンにおいて、この攻撃は障害なく完全なグラフィカルインストールメディアを構築でき、任意の悪意のある挙動を行う汚染されたバイナリを生み出した。この発見は、NixOS のような不変系ディストリビューションに依存するユーザーや組織に対し、一見安全なツールが大規模な侵害の主要なベクトルとなるリスクを提起している。この研究成果は Aman Sharma(メール:[メールを表示])によって提出され、UTC 2026 年 7 月 27 日 12:59:15 に投稿された(バージョン 1)。

2026/09/05 20:25
WeatherNext 3

WeatherNext 3

## 日本語翻訳: ## サマリー:Google は、年間毎日ごとに正確な時間ごとの予報を生成する、これまで最も高度な全球気象 AI モデル「WeatherNext 3」をローンチしました。以前のモデルとは異なり、本モデルは生きた衛星画像を直接分析することで、降雨や降雪といった急速な変化を追跡し、トレーニングが施されたことのない場所であっても精密なローカルデータを提供します。この機能は、ジャマイカでのハリケーンメリサの上陸地点を特定して予測することを支援するなど、最近のイベントにおいて極めて重要であることを実証しました。Google Search、Maps、Gemini などの日常的な消費者向け利用に加え、WeatherNext 3 は風力発電所や太陽光発電所向けの放射線量および雲量予測という重要な産業用途に最適化されています。これにより、運営者は運用コストを削減しながら再生可能エネルギー源をより効率的に管理できるようになります。また、温度などの地表変数を 5km〜10km の高精度で予測することで、インフラがより信頼性高く動作するよう確保するとともに、ユーザーには日々の意思決定を賢く行うための精密なローカルデータを提供します。

2026/09/04 1:06
Dummit and Foote の『抽象代数学』に存在するバグを発見する

Dummit and Foote の『抽象代数学』に存在するバグを発見する

## Japanese Translation: 以下に示す改良版は、主たるメッセージを維持しつつ、キーポイントリストに含まれていた欠落している具体的な事項を取り入れ、必要な場合定義の明確化も行ったものとなる: Recurse Center の第 2 週目において、著者は Dummit and Foote の *Abstract Algebra* テキストブックを Rocq で形式化する作業を開始した。標準的な命題として、「関数 $f: A \to B$ が全単射であることと、すべての $a \in A$ について $g(f(a)) = a$ を満たす左逆関数 $g: B \to A$ が存在することとの同値性」が主張されている。この命題を形式化するには、以下の点を注意する必要がある: - 関数は、$A$ の異なる 2 つの要素が $B$ の同一の要素へ写像しないときに全単射である(例:整数上の $f(x)=x^2$ は全単射ではない)。 - 左逆関数が存在するのは、ちょうど $B$ から $A$ への写像が存在し、それが $f$ を打ち消す場合のみである。 この命題は、$A = \{\}$ および $B = \{1\}$ の場合に成り立たない。ここで、唯一つの関数 $f: \emptyset \to \{1\}$(ペアの集合が空となる)は自明的に全単射であるが、関数 $g: \{1\} \to \emptyset$ は存在しないため、左逆関数は存在しない。著者はこの同値性を証明するために、追加の仮定が必要であることを示すしかなかった(例えば、$A$ が inhabited であるか、あるいは $B$ が空集合である場合など)。Rocq でこれを証明する試みが続いた後、著者はテキストブックの記述が誤っていることに気づき、書籍の Errata を確認して既にその誤りが記録されていることを確認した。このエピソードは、形式検証が広く使用されているテキストにおいても微妙な過ちを捉えるための価値を示すと同時に、標準的な演習に頼る際には Errata の確認が必要であるという点も強調する。

2026/09/05 5:20
Show HN: インタラクティブな生命の樹

Show HN: インタラクティブな生命の樹

## 日本語翻訳: 本文書は、生物間の関係を体系的に記述するための包括的な枠組みを示しており、それらを明確で正確な相互作用の種類へと分類しています。このスキーマは、「捕食される」「寄生する」「受粉させる」「宿主とする」「分散される」などといった構造化された述語のリスト(具体的ラベル)を通じて精度を実現し、各生態学的リンクの本質を定義します。本枠組みは、栄養段階的な相互作用(例:捕食、食糧強奪)、寄生虫関係(内生・外生・寄生体・超寄生体の亜分類を含む)、疾病伝播における役割(病原体、レジvoir 宿主)、共生関係(共栄性、片利共生、宿主化)ならびに菌根、附着植物、受粉のような特別な関連性を包含します。詳細な論理的カテゴリーを設定しながらも当初特定の種名を要求しないことで、このスキーマは計算生物学のための基盤オントロジーとして機能します。これにより、研究者は複雑な食物網のモデル化、疾病経路の追跡、生物多様性データの標準化ならびに保全、農業、公衆衛生モニタリングにおける重要な応用を支援することを可能にします。

2026/09/04 9:40
マクベスと彼の課題

マクベスと彼の課題

## Japanese Translation: ジャスティン・クルゼル監督の 2015 年作、シェイクスピア『マクベス』の映画版は、悲劇的英雄を根本的に再定義し、マクベスの主要な動機を単なる野心から、失われた子供への復讐という切迫した衝動へと転換させる。具体的には、彼自身の死亡した乳幼児と戦場で命を落とした少年兵に対する復讐である。この核心的な変更により、物語の焦点は、1606 年の元テキスト(キリスト教王ジャームズ 1 世への迎合的な要素を含み、魔女や短い構成、粉飾プロットに由来する弑君テーマを特徴とする)から、現代の設定へと移行し、そこでは子供だけが聖なる存在とされるのみである。この感情的な深みを達成するため、脚本家は重要なセリフをインヴァネスへ移動させた:ダンカンがマロルムをキャメルバーランド公として歓喜で名乗る場面は、彼の幸せな遺産と対比し、マクベスの孤立無援と子なき状態を浮き彫りにする。この映画版では、特定の瞬間に新たな明晰さが付与される:レディ・マクベスが手を洗っている間に亡くなった息子との幽霊に対話し、またマクベス有名な「刃」の独白は、墓の中で既にその子供の胸に置かれた武器を持っている亡き少年兵の霊像に向けたモノローグへと変容する。さらに、クルゼルはアドリアン・ノーブル監督の 1984 年版『ヘンリー 5 世』を参考にし、詔布の結果を直接舞台上へ持ち込むことで、マクベスがレディ・マクダフとその子供たち、そしてその血筋を個人的に殺害させる。魔術的な要素も再想像されており、例えばバーナムの森は灯炎によって点火された実在する灰の雲へと転換される。結果として、この映画は『マクベス』が極めて脆弱なテキストであることを強調しており、「俳優Proof」と呼ばれる脚本(例:『グレンガリー・グレンロス』『誠実なるエリナント的重要性』、『真夏の夜の夢』など)のように、些細な誤りにも耐えうるものと対照的である。T.S. エリオットは、読書における想像された感覚印象の熟練した蓄積を強調し、その劇を防衛したが、クルゼルのアプローチは、脚本の不確実性(魔術、トーン、動機に関するもの)を解決するには、全制作チームから非凡な精度が必要であることを示しており、物語が崩壊することを防ぐためである。なぜなら、たった一つのミスを犯すだけで製作全体が瓦解してしまうからだ。

2026/09/08 5:34
Broadcom が VDDK ダウンロードを停止したことで、VMware から脱するのがさらに難しくなった

Broadcom が VDDK ダウンロードを停止したことで、VMware から脱するのがさらに難しくなった

## Japanese Translation: 元のサマリーは一般的に明確ですが、上記に挙げられている特定の欠落する要素を含みつつ読解性を維持できるよう改善することが可能です。以下に改良版を示します。 Broadcom は意図的に VMware Virtual Disk Development Kit(VDDK)の公開ダウンロードアクセスを除去しており、以前は機能していたリンクが 404 エラーを返すようになっています。この重要なライブラリは、Microsoft Azure Migrate、Red Hat の Migration Toolkit for Virtualization、Nutanix Move、virt-v2v といった移行ツールで使用されており、現在は Broadcom サポートまたは認定パートナーに連絡しない限り利用やダウンロードができなくなっています。Broadcom は除去事実を確認しましたが、事前の廃止発表や移行通知は行っておらず、組織を不意の障壁に直面させたまま vSphere Standard Edition の再導入直後に「EXIT(退出)」への道筋を断ちました。Red Hat などのサードパーティ企業ではもはや独自所有の VDDK パッケージをホストしたり再配布したりできず、Nutanix Move を使用して ESXi から AHV へ移行する Nutanix クライアントは妨げられています。この変更は Platform9 の vJailbreak プロジェクトや従来の NBD 移行ワークフローにも影響しています。Microsoft は文書を更新し、潜在的な制限について警告を加え、エージェントレスからエージェントベースの移行手法へガイドラインをシフトしました。特に留意すべきは、VDDK に依存しない Proxmox 内蔵のインポートユーティリティのため、VMware から Proxmox への移行は影響を受けず無事であることです。全体として、この除去は EXIT パスに大きな摩擦要因を追加し、業界における VMware ソリューションからの移行を加速させつつ、基本的な移行タスクに対して直接のベンダー関係への依存度を高める可能性があります。

2026/09/08 5:32
MacBook(2025年モデル)を首から切る

MacBook(2025年モデル)を首から切る

## Japanese Translation: このプロジェクトは、割れた内部ディスプレイを除去し、電源供給回路を改造することで、購入した 8GB RAM M1 MacBook Air をヘッドレスリモート開発ターミナルへと変換します。著者はオリジナルのチャージャーをバイパスして 20V 電源に直接接続し、ポータブルバッテリーパックを使用するための消費電力を大幅に削減しました。このヘッドレス状態でのデバイスの管理には、カスタム Bash スクリプトを使用し、バッテリーとネットワークステータスを監視し、色付きのターミナルアラート(緑/赤/黄色)を表示します。特定のブートシーケンスを設定することで、バッテリーが枯渇した状態で再起動可能なようにしており、まず全てのケーブルを外して充電を完了させ、その後ネットワークでの可視化を待ってマシンを回復させる手順を採用しています。ヒンジ内のホールセンサーによる誤作動なスリープ状態を防ぐため、外部 USB-C モニター(例:`Cmd + F1` で接続)を使用し、スリープサイクルはスクリプトで管理します。Apple シリコンは優れた電力効率を提供しますが、アイドル時でも急速に電力が消費されるなどの課題も存在するため、DisplayPort Altモードサポートの欠如や Flutter スタック互換性の問題により Asahi Linux は採用されませんでした。開発者は現在、Android タブレットから SSH を経由してこのローパワー環境にリモートでアクセスするか、Galaxy Tab S8 Ultra では NoMachine を通じてグラフィカルツールを使用し、損傷を受けたラップトップを堅牢なコンピューティングノードへと転換しています。

2026/09/06 13:40
ランダム勾配法(2024)

ランダム勾配法(2024)

## Japanese Translation: OpenAI の DALL·E 2 は、事前作成された静的アセットからリアルタイムのテキスト駆動型画像生成への移行によって、視覚的創造を転換しました。以前の OpenAI グラディエントツールは、Ben Barry の 2017 年のランダムな隅部色グラディエントから始まり、2018 年の高度マップ/Perlin ノイズ実験を経て、2019–2020 年に OpenAI.com で使用された最小限の 2×3 ピクセルの静的画像(85 バイト)、そして 2020–2022 年の動的なレイヤード SVG グラディエントへと進化し、独自かつ軽量なページを提供しました。DALL·E 2 の 2022 年 4 月のリリースにより、創造家は描写的なプロンプトから直接、複雑な視覚コンテンツ——例えば幻想的な空、ミッドセンチュリーの花卉アート、そして柔らかい抽象グラディエントなど——を瞬時に生成できるようになりました。生データ出力は通常、軽微なトリミングだけでプロダクション準備済みとなり、労働集約的な設計作業なしで迅速なプロトタイピングと一貫したブランディングを実現します。主な要点は、このモデルを「スロットマシン」のように扱うことであり、持続性と実験が独自で魅力的な結果をもたらすことにより、隠れた美的可能性を開花させ、機敏で探求心の旺盛な創造的ワークフローを可能にします。

2026/09/04 7:26
NEC V20 マイクロコードの解読

NEC V20 マイクロコードの解読

## Japanese Translation: 本プロジェクトの最も重要な成果は、高解像度のダイ写真撮影と高度な AI を用いて、NEC V20 CPU の隠蔽されたマイクロコードに成功裏にリバースエンジニアリングを行った点です。56 億ピクセルの画像を用いて主 ROM アレイを捉えた際、研究者らは標準的なビット検出ツールの適用時にコントラストの問題に直面し、その対策としてカスタム Python スクリプトを開発してビット位置を JSON 形式でエクスポートし、手動で分類された 1,000 ビット以上を用いて PyTorch を介して Convolutional Neural Network(CNN)を訓練しました。曖昧な結果に対する再訓練の後、CNN は精度が 99% 以上となり、未分類のビットは四つのみとなりました。 分析により、V20 は予想よりも多い 1,032 のマイクロコードワードを含んでいることが判明し、その理由としては ROM の上の PLA が特定のマイクロコード列を活性化させ、オペコードマッチングのためのマスク可能なブール論理を実装するために 26 入力ライン(13 の論理的入力和非対)を使用するためであることです。このアーキテクチャは、マイクロコードの約三分の二が Intel 80186 ISA を実装していることを確認しており、残りの部分は NEC の拡張命令セットまたは 8080 エミュレーションモードを処理します。以前のビット数に関する不一致は、V20 と完全に 16 ビットの V30 を区別する単純な金属層スイッチによって共有されたマイクロコードベースを特定することで解決されました。また、協力を通じて不完全な裁判書類の図も訂正され、「F」フィールドのようなフィールド定義が明確化されました(例:マイクロコードワード内の「F」フィールドを「Update Flags」としてではなく「Fetch」として再定義)。 Reenigne が Intel 8088 との以前の仕事に基づく本取り組みは、V20 と V30 の関係を明らかにするとともに、デコードされたリソース(デコーディング用スプレッドシート、ソースコードなど)を GitHub で公開し、MartyPC などのエミュレータの向上に寄与しています。その結果、標準 NEC 命令セットおよび拡張 NEC 命令セットの両方に対して極めて正確なソフトウェアエミュレーションが可能となり、オリジナルハードウェアを必要とせずにこれらのレガシープロセッサに対する深いアーキテクチャ的洞察を得ることができます。

2026/09/04 14:53
『ファブル 5』での経済学の仕事

『ファブル 5』での経済学の仕事

## 日本語訳: 著者は、アンスロピックの Opus および Fable モデルからのデータ支援を経て数ヶ月にわたって賃金決定に関する理論を構築し、ストックホルム大学の経済学教授から共筆した正式な論文として発表した。ノーベル賞受賞者のダロン・アセモグルとパスクアル・レストrepo の研究成果を発展させ、この枠組みは古典的な希少性原理と投入産出の帰納を統合し、現在の賃金設定モデルの欠点を解消する。核となる式では、賃金(w)を技術水準として定義され、これは自動化に対する人間の優位性の測定によって表される。また、物理的に希少な要素である土地、石油、鉱石へのアクセスに基づく。このモデルは、レオンチエフと 1936 年のスラッファの著作から導き出された数学的帰納法を利用しつつ、ヘンリー・ジョージが 1879 年に提案した地価課税の概念を取り入れている。データ分析により、1970 年代以降に機械に対する人間の優位性が低下していること(γ(x*) の減少を示す)は、他の財に対して住宅価格や家賃が上昇するという予測を裏付けており、これは家賃ベースの上昇と CPI 変化を示すグラフで支えられている。将来の消費需要に対応するため、著者はノルウェーの成功を引き合いに出し、地価課税や主権資金基金の設立などの政策を提案している。最後に、著者の経済学の背景の限界について歴史上の人物と比較した反省と、AI モデルを通じて巨人たちの肩に立っていることへの感謝で締めくくられている。 ## テキストへの変換: (必要な場合はここに元のテキストを貼り付けます;そうでない場合は元のテキストを繰り返します)

2026/09/08 6:18
カルテックマサトン - 研究レベルの数学に特化した初のハッカソン

カルテックマサトン - 研究レベルの数学に特化した初のハッカソン

## Japanese Translation: **概要:** カリフォルニア工科大学は、2026年10月30日から11月1日まで、歴史的で研究レベルの数学ハッカソンを開催します。同イベントでは、未解決とされてきた深遠な数学的推測を解明する目的で、賞品としてAI クレジットを含む総額 200 万ドル以上の賞金が提供されます。これまでに適用問題に焦点が当てられていた過去のイベントとは異なり、本取り組みはハッカソンが純粋な数学の進歩を、最先端の AI モデルを使用して exclusivamente(排他的に)行う初めての試みです。世界の 100 チームが招待され、新たな理論を構築するとともに評価フェーズでトップクラスの数学者らに対して自身の研究結果を検証する予定です。参加には理論上 40 時間のコミットメントが必要です。 このイベントは、2026 年の重要な突破口、例えばエルドスの推測の反証やソフィックでない群の構成などの進展を踏襲しています。初回の防御の後、コミュニティによる検証プロセスを経て生成された研究成果が有効化され、第 2 回賞金の授与が行われます。大規模なクラウドソーシングの取り組みと高度な AI を組み合わせることで、このハッカソンは 100 年以上も未解決だった問題の進展を加速させ、一度は人類の数学者だけでは到達不可能とされた複雑な問い(例:六球面推測など)の解決に対して新たな先例を確立します。

2026/09/07 18:26
Show HN:著名サイバー兵器「スタックスネット」の再構築されたソースコード

Show HN:著名サイバー兵器「スタックスネット」の再構築されたソースコード

## 日本語訳: **サマリー:** ステクネットは、史上初のアナログ機器に対するサイバー兵器であり、データを窃取するだけでなく、シメンスの制御システムを対象とし産業用設備を物理的に破壊することを目的として設計されました。本リポジトリは、2010 年に公開されたこのマルウェアを再構築したものであり、リバースエンジニアリングされたコードサンプルに基づいて構築されており、サイバーセキュリティ専門家のための重要な技術的参考資料として位置付けられています。プロジェクトは、ステルス機能および権限昇級に使用されるローダーやルートキットといった具体的なコンポーネントの詳細を含んでおり、ワームがシステムコールを傍受して可変速モーター駆動装置(VFD)を回転子を損傷する速度まで強制回転させる仕組みを解説しています。歴史的な文脈においては、シメンスの Step 7 ソフトウェアおよび S7 プログラマブルロジックコントローラー(PLC)をexploit できる独自の能力が強調されており、これは Symantec や Kaspersky Lab を含む主要なセキュリティベンダーによる先行研究を通じて確立されたものです。今後の利用は、制御された仮想環境内での静的分析にのみ厳格に限定され、能動的な展開は禁止され、ユーザには YARA ルールや Snort アラートのような防御的な検知シグネチャの開発が期待されます。この 12 ステージの感染フローを安全に研究することで、業界は過去の攻撃パターンをより深く理解し、高度化された物理的サイバー脅威に対する効果的な防御策を策定することが可能となります。

2026/09/08 7:12
レディバードの今月 - 2026年8月

レディバードの今月 - 2026年8月

## Japanese Translation: Ladybird ウェブブラウザは、安定性とパフォーマンスにおいて著しい進歩を遂げ、主要競合他社との対等性を高めるための重要な機能を導入しました。主な技術的進展としては、ブレークポイントとステップ機能付きのフル JavaScript デバッグ対応(DevTools での実装) (#11128)、断片化された MP4 や AV1 などの最新動画形式をサポートすることで Twitch や YouTube などで発生していたクラッシュを修正した点、CSS スクロール・スナップの実装があります。パフォーマンスも大幅に向上しており、Speedometer 2 のスコアが約 47 から約 64 に上昇し、新しいスタイルエンジンによるレイアウト結果の効率的なキャッシュ化により、StyleBench スコアが業界リーダーと同等の水準に達しました。 安定性の強化によりクラッシュやフェイクエラーページを防ぎ、適切なクラッシュ回復を実現 (#11402)。ブラウザはセッション復元を完全にサポートし、再起動時にもタブ履歴やナビゲーション状態を保持でき、ダウンロードも再開・再停止が可能な対応を提供します。UI の使いやすさについては、アラートや図の表示のためにページ内オーバーレイを導入することでロックによる不便を防ぎ、HTTP を使用した localhost ナビゲーションに対する堅牢な処理を実装しました。今後の開発では、並列ダウンロード接続の強化と、専用コンポジターを活用してメインスレッドから外れた CSS アニメーションの実行といった最適化に焦点が当てられています。これらのアップデートは、重要なパイプラインでの Rust オナシパシップ(所有権)を拡張することにより裏付けられおり、Ladybird を滑らかな閲覧体験と強力なデベロッパーツールを提供する実用的な代替案へと位置付けています。

2026/09/05 7:47
シンプルとは小さなことではありません

シンプルとは小さなことではありません

## 日本語訳: 本議論は、難解な 9 ヶ月のバグに関するコードカバレッジの話を始め点とし、友人が「そのような壮大なデバッグのエピソードを避けるツールの構築方法を」と質問することから始まりました。当初は「単純さを最優先する」という見解を示しましたが、Unix パイプラインが本当に単純なのかという問いかけを行った後、この見解を見直しました。著者は、小さなが相互依存した Bash パイプライン(`cat ... | sort | uniq --count`)に対し、`(slurp)`、`(re-seq)`、`(frequencies)` を使用してデータフローを自然に処理し、不透明な正規表現や一時ファイルを必要としない Clojure のソリューションと比較しました。これにより、Bash は集約と順序付けをしばしば「編み込む」一方、Clojure はそれらを分離することが示されました。著者は Rich Hickey による「sim-plex」(単一の依存関係チェーンまたは編み込み)と「com-plex」との区別を参照し、真の単純さはコードサイズの縮小ではなく、構造的な分離から生じるものであると論じました。このアーキテクチャ的な明確さは、SQLite、Blink、Google Drive for Desktop といった大規模でありながら単純なシステムで特徴が緩く結合されている点に表れています。Clojure に特化して言えば、これは Malli などのライブラリを介した可能性も含め、マップを用いたランタイム注釈を通じて型定義をデータ構造と分離することによって実現されます。これに対し、Rust では固定された struct 表現が用いられます。最終的に著者は、プログラムは常に非結合的な仕様を通じて単純でなければならないと主張し、今後の議論ではアーキテクチャ的な嗜好の醸成、分離を伴う垂直統合、複雑性を再導入せずにシステムをスケールさせることについて扱います。

2026/09/04 8:47
氷の衛星は海洋惑星である

氷の衛星は海洋惑星である

## Japanese Translation: 太陽系科学における最も重要な発見は、6つの氷の衛星(ユーロパ、エニュアドゥス、タイタン、ミーミス、カリスト、ガニメデ)に、地下にはるか広大な液体水からなる海洋が確認されたという事実である。この結論は、ボイジャー、ギャリレオ、カッシーニ、ハッブル宇宙望遠鏡およびジェームズ・ウェッブ空間望遠鏡といった主要なミッションから収集されたデータを基盤とし、コンピュータシミュレーションを補完して導き出されたものである。さらに6つの天体(ディオネ、プルート、ミランダ、アリエル、トリトン、オーベロン)は、海洋世界候補としての確認待ちリストに残っている。 歴史的な文脈は1979年まで遡り、ボイジャーがイオに火山を発見したことが契機となり、潮汐加熱によってこれらの隠された海を温めているという理論が提唱された。2000年には磁気データによりユーロパの内部海洋の存在が決定的に確認され、特にその表面は放射線により致死性であると考えられ、それが海洋へ循環して酸素や過酸化水素などの栄養分を生み出している可能性が示唆されている。水星よりも大きく独自の磁場を持つガニメデは、ハッブルによるオーロラ観測(2011年)によって裏付けられたように、氷厚100マイル以上の下に地球規模で最大の海洋を内包しており、その存在が確認された。カリストの海洋は40億年以上も表面と隔離された古く、深さは約150キロメートルに及ぶものであり、1998年にギャリレオによる磁気計測を通じて同定された。エニュアドゥスは生命探求のトップ候補としてユーロパと並んでおり、カッシーニが2008年以来検出している巨大な海水噴出水は、塩分、6つの必須元素、リン酸塩、有機物、炭化水素、分子水素などが分析された。タイタンには窒素大気があり、翼装飛行が可能かもしれない環境を持ち、炭化水素を基盤とする表面景観に湖が存在し、軌道解析によって2012年に地下咸水海が確認されている。ミーミスは約2024年に再分類され、軌道変化の影響で数千万年以内に新たに形成された海洋を有することが判明したことで、従来からの凍結状態のイメージに挑発を与え、小衛星の中に「ステルス型」の海洋世界が存在する可能性を示唆している。 今後を見据えると、ユーロパ・クリッパーミッションは2031年に到着し、ユーロパでの疑似的噴出水を調査する予定である。これらの発見は、探査の優先順位を能動的な噴出水を持つ衛星やアクセス可能な地殻を持つものへシフトさせることとなる。ガニメデ、カリスト、タイタンの下に存在するように厚い高圧氷層(采样が困難)が存在し、ユーロパ、エニュアドゥス、ミーミスのように薄い殻を持ち、直接的な水と岩石との相互作用を可能にする場合と比較して、採取が難しいためである。究極的には、生命が存在するかどうかを理解するためには、過酷な外部環境にもかかわらず条件が安定している可能性のあるこれらの保護された地下領域内での水と岩石の相互作用を分析する必要がある。

2026/09/06 22:07
安全にウェブを検索するための私の実用的なアプローチ

安全にウェブを検索するための私の実用的なアプローチ

## Japanese Translation: 著者は、Chrome や Edge といった標準的な Web ブラウザが、現代のトラッキング、広告、GenAI チャットボット、および監視に対して十分なプライバシー保護を提供しないと論じています。彼らは、脆弱なデフォルト設定と国策支援された脅威に直面するユーザーのために保留されている Tor などの極端な解決策の間のギャップを埋めるカスタマイズされたブラウザ構成を提案しています。このバランスのとれたアプローチにより、個人は Google Workspace サービスへのアクセスを維持しつつ、侵襲的なトラッカーをブロックすることが可能です。 この戦略の核心はプラットフォームによって異なります: * **デスクトップ(一般):** 主たるブラウザとして制限された Firefox が使用され、Enhanced Tracking Protection および uBlock Origin が設定されています。デフォルトですべてのクッキーをブロックし(ログイン済みサイトについては例外を適用)、Google Mail などのログインサービスと匿名検索を分離するために Multi-Account Containers を利用します。Firefox と互換性がないか動作が遅い場合や信頼できないサイトでは、Chromium ベースのブラウザである Vivaldi が使用されます。Vivaldi は "Manifest V2" エクステンションをサポートしており、標準的な Chrome では Lite バージョンのみがサポートされる点と対照的に、クラシックな uBlock Origin を有効にできます。 * **MacOS:** 生粋のパフォーマンスとセキュリティのため、Ungoogled Chromium が推奨されます。Homebrew を介した手動設定と、自動更新を確実にする launchd ジョブの追加が必要です。また、拡張機能の機能を解放するために Web Store リポジトリを手動で追加する必要があります。 * **Android:** 強力なコンテンツブロック用エクステンションをサポートしているのは現時点では Firefox しかなく、そのため制限された Firefox と uBlock Origin の組み合わせが主たる選択肢となります。Vivaldi も代替手段として機能しますが、Firefox に見られるような拡張子ベースのフィルタリングの包括的なパワーを欠いています。 結局のところ、この戦略は、主要なテックエコシステムを利用しながらも、個人データを損なったり、一般的な Web 脅威に対する使いやすさを犠牲にしたりすることなく利用できるようにします。

2026/09/02 22:49
データフローモデルを見直す

データフローモデルを見直す

## Japanese Translation: ストリーム処理における画期的な概念である Dataflow Model は、公開から 11 年後に VLDB Test of Time 賞を受賞し、その著者たちにはその持続性についての評価が求められました。彼らの評価によると、コアの基盤は良好に成熟しており、特にイベントタイム、データ完全性を待つの無意味さ、そして強い一貫性の重要性が強調されています。一方で、特定のメカニズムは過剰設計や誤った枠組み設定のために失敗しました。主な過失は、ストリームとテーブルを別々の実体として扱うことにあることであり、これはトリガーシステムへの不要な複雑化や、ウィンドウ意味論と運用上の懸念の絡み合いを引き起こしました。その結果、トリガーはユーザーが直面する必要のない問題を解決するための過剰設計されたソリューションであると判断されました。一方、成功した要素は SQL やインクリメンタルビュー維持、明示的な鮮度契約を持つマテリアライズドビューといった既存のデータベース慣行から自然に進化してきました。この視点では、バッチ処理 versus ストリーミング処理の議論を主に語義上の問題として位置づけ、アーキテクチャの問題ではないと再定義しています。完全性原則は実質的に 2 つのアプローチに分岐しました:可視性が残るストリームに対してはウォーターマークを使用し、可視性がないストリームに対してはスナップショット整合性のあるリフレッシュを採用します。後者のアプローチはユーザーに求めが少ないため、より多くのユーザーに到達しています。低レイテンシへの需要は伝統的な OLTP/OLAP のラインに沿って分岐し、アナリティクスシステムはより緩やかな鮮度レベルで機能することになりました。展望として、著者たちは「残す・除外する・より強く押す」という戦略を提唱しており、これは複雑な新しいトリガーを作るのではなく、既存のデータベースの強みを活用してインターフェースを簡素化するものです。 ## Text to translate: The Dataflow Model, a landmark concept in stream processing, was honored with a VLDB Test of Time award eleven years after publication, prompting its authors to evaluate its longevity. Their assessment finds that core foundations have aged well—especially event time, the futility of waiting for data completeness, and strong consistency—while specific mechanisms failed due to over-engineering and flawed framing. A primary error was treating streams and tables as separate entities rather than different views of the same data, which led to unnecessary complexity in triggering systems and tangled windowing semantics with operational concerns; consequently, triggers were deemed an over-engineered solution to a problem users should not have faced. By contrast, successful elements evolved naturally from established database practices such as SQL, incremental view maintenance, and materialized views with explicit freshness contracts. This perspective reframes the batch-versus-streaming debate as largely semantic rather than architectural. The completeness principle effectively split into two approaches: watermarks (for streams that remain visible) and snapshot-consistent refresh (for streams that do not), with the latter reaching more users because it placed fewer demands on them. Demand for low latency bifurcated along traditional OLTP/OLAP lines, leaving analytics systems at gentler freshness levels. Looking ahead, the authors advocate a "leave in, leave out, push harder" strategy that simplifies interfaces by leveraging existing database strengths instead of building complex new triggers.

2026/09/07 3:10
bzip3

bzip3

## Japanese Translation: Bzip3 は、高い圧縮比とより優れた性能を提供し、順序 0 コンテキストミックスエントロピーコーダー、サフィックス配列による高速な Burrows-Wheeler 変換 (libsais)、RLE、予測を伴う Lempel-Ziv、ラン長符号化を用いた BZip2 の精神的後継者として提示されています。Perl ソースコードに対するベンチマークでは、Bzip3(`-b 511` フラグを使用)は約 262 MB のアーカイブを 7 分 8 秒で 546,456,978 バイトに圧縮し、LZMA (xz) が 2'056'645'240 バイト、bzip2 が 3'441'163,911 バイトとなるのに対し優れています。WD Blue HDD(並列処理)における復旧性能は、Bzip3 で 4 分 6 秒、LZMA で 4 分 40 秒、bzip2 で 9 分 22 秒であり、Bzip3 が最も速いです。lrzip の重複排除機能と組み合わせるパイプラインでは、ファイルサイズを 60'672,608 バイトに削減でき、bzip2(75'685,065 バイト)よりも優れ、LZMA(64'774,202 バイト)とほぼ同等のパフォーマンスを示しました。性能はコンパイラ依存であり、x64 Linux 上の clang13 でビルドした場合、スレッドあたり圧縮速度が最大 17 MiB/s、復旧速度が 23 MiB/s に達しますが、Windows および 32 ビットビルドでは低速です。Bzip3 は x86、x86_64、armv6/7、aarch64、ppc64le、mips/mips64、sparc、s390x の多数のアーキテクチャをサポートしており、古い 32 ビットシステムでも動作しますが、それでは速度が遅くなります。Linux へのインストールには `./bootstrap.sh`、`./configure`、`make`、`sudo make install` の手順を、macOS では Homebrew を通じて行うことができます。プロジェクト全体は LGPLv3 ライセンスを採用しており、libsais は Apache 2.0(Ilya Grebnov)、build-aux コンポーネントは GPL-3+ に AutoConf の例外と FSFAP が適用されています(貢献者には Daniel Richard G と Marc Stevens が含まれます)。クレジットは Ilya Grebnov(libsais)、Caleb Maclennan(autotools 設定)、Ilya Muravyov(BWT 後部コーダー)に寄ります。著者は、広範なテストを施しているにもかかわらず低確率のバグを完全に排除することは不可能であり、データ損失に対して責任を負わない旨警告しており、重要な環境では注意が必要であると述べています。全体として、ライセンス制約を遵守し、安定性のリスクを理解すれば、重複排除パイプラインに適した高パフォーマンスの圧縮代替手段としての Bzip3 が提供されています。

2026/09/07 22:35
ダメ論者の教育

ダメ論者の教育

## Japanese Translation: 著者は AI への楽観論から、人工知能一般(AGI)に関する極度の懸念へと転換しており、これが人間の経済的有用性、政治的権力、知的自律性を脅かすことを警告しています。この警鐘を鳴らす移行は、以下の重大なリスクによって推進されています:永久の下層階級を生み出す可能性、危険なモデルの不一致(misalignment)、そして優越的な機械に対して自発的に制御を委ねる社会傾向です。経済的な恐怖は、AGI が人間を時代遅れにすることを懸念から生じており、これは国家が政治上無力な市民を必要としなくなるユニバーサル・ベーシック・インカム(UBI)システムの導入につながる可能性があります。また、人間が経済的に無用になれば、抑圧的な政治体制や AI による戦争に対して反対権を持たなくなるという点でもあります。知的低下は、「AI スラブ」と呼ばれるアルゴリズムによって生成された低品質なコンテンツの増加、そして深層論理よりも単純なプロンプトを優先する議論のため、人間のコーディングスキルの崩壊(Claude Code などのツールのリリース以降特に顕著)によって示されています。2024 年以降、高度化されたモデルは強化学習技術によりますます理解不可能で不一致となり、能力の成長にもかかわらず制御が困難になっています。著者はまた、LLM が分子製造やマインド・アップロードのような興奮を伴う技術を迫近感を与えるまで、近未来の技術が遠いと感じられていた技術停滞期についても言及しています。今後 2030 年〜2040 年の展望において、競争的圧力により個人が意思決定権を AI オーラクルに委ねるような社会が訪れる可能性があり、オンラインでの論争のような人間の欠陥さえ自動化されるかもしれません。最終的には、これらの発展は人類が自動化した紛争に対して反対権を持たなくなる抑圧的な体制を確立し、人間の主体性と思考プロセスへの壊滅的な喪失をもたらす可能性があります。

2026/09/08 6:19
サーバー稼働を維持します

サーバー稼働を維持します

## Japanese Translation: インターネット・アーカイブは、ウェブページをウェイバック・マシンでキャプチャしたコンテンツから数百万冊の本に至るまで、210 ピタバイトを超えるデータを保存しており、これらを提供し続ける独立したミッションを守るために、独自に巨大なデジタル図書館を構築・維持しています。ユーザーのデータを販売したり広告を表示したりする一般的なテクノロジー企業とは異なり、この組織は寄付のみによって膨大なデータを保存しています。この独自の取り組みを支えるには、サーバー、ストレージ、電力といった基盤技術の核心的部分を外注せずに内部で大幅な管理を行う必要があります。これらの拡大するインフラ要件を維持するため、アーカイブは今年 9 月に重要な資金調達キャンペーンを開始します。9 月に月々の寄付として 25 ドル以上をすることで、その効果を実質的に三倍にする初期の寄付マッチングが適用されます(例:25 ドルの月々の寄付で追加の 50 ドルを獲得し、合計 75 ドルになる)。この「月間寄付サークル」に参加することで、支援者は企業契約や広告モデルに依存することなく、将来世代のために重要なデジタルリソースを読みやすくアクセス可能にすることを直接保証します。これにより、情報への長期的な普遍的なアクセスが確保されます。

2026/09/07 12:29
置換可能だが依然として活用される:自動化と労働の意味

置換可能だが依然として活用される:自動化と労働の意味

## Japanese Translation: 2026年7月にNBERワーキングペーパー35559として発行された、Joshua S. Gans の研究「Replaceable but Employed」は、自動化が雇用を失う以前に、労働における意味感を侵食するという論旨を展開している。労働者は単に生産物から価値を得るだけでなく、その特定の努力が生産物を決定することを認識することで価値を得る;しかし、信頼できる機械的な代替案は、この心理的な結びつきを弱体化させる。これにより、「意味の外部性」が生まれる:賃金が完全に調整されて補償する場合は費用が共有されるが、賃金が部分的にしか調整されない場合、労働者は心理的損失の一部を負担することになる。Gans は、開発者がライセンス契約前に自動化機能を公的にデモすることで利潤を得られることを指摘している。そのようなデモは人間の労働の内在的価値の受動性を低下させ、企業に対して技術導入を必要以上に早期に進めるよう促すからである。より高い技術的品質が生産性を向上させる一方、単なる公的な注目度が高いことは人間の労働の価値を弱体化させる。その結果、産業レベルでは、労働者の目的意識からの価値を引き出す加速度的な技術成長がもたらされ、大量失業が発生する以前に社会有害な結果——潜在的な雇用喪失と心理的被害を含む——が生じる可能性がある。(関連イベントには、Mark Duggan による Feldstein 講義および、2026年の Methods Lectures で Melissa Dell と Ashesh Rambachan の出演が含まれる。)

2026/09/08 4:06
Whistle シンセ MAC アプリケーション

Whistle シンセ MAC アプリケーション

## Japanese Translation: 著者は、技術的な課題を反復的なプロトタイピングおよび AI 支援によって解決した後、Mac App Store で無料のオープンソースホイッスルシンセサイザーを成功裏に公開しました。主な安定性向上策として、ロジックを独立したモジュールに分割し、Claude AI を用いてシステムコールバックを最適化することで、レイテンシを 80ms から 5ms に削減しました。最適な結果を得るためには引き続き有線ヘッドホンの使用が推奨されます。Claude の支援のもと新たに開発された音響機能には、ピッチに応じて和声ミックスが変化する斬新なオクターブレス・ベースや、以前の高域の可聴性の課題を克服した動作可能なハンモンド様式のトレブルボイスが含まれます。フルート、シンセリード、ローデスピアノなどのフィジカルモデリング試みはまだ成功していませんが、回転スピーカエフェクトを用いたアコーディオン様の代替案が作成されました。本リリースには Apple の検証プロセスの対応が必要となり、著者の姓「Kaufhan」に基づく本人確認上の課題や、アイコンデザインの Gemini および Claude による貢献も含まれていました。さらに、新しい設定により、ホイッスルピッチから 5 度下げて演奏でき、これによりユーザーの声域に合わせて演奏しやすくなっています。このアイデアは Ugo Conti に由来します。最終製品は、ミュージシャン向けに広告なしの創造的ツールを提供しており、5 年前から復活された証明済みの設計アーキテクチャを採用しており、楽器ライブラリの将来の拡張の可能性も秘めています。

2026/09/04 18:44
彼女も映画館で見つけた

彼女も映画館で見つけた

## Japanese Translation: ポールライン・ケールは、自身の自伝を評論に直接織り交ぜることで映画批評の在り方を根本的に変革し、標準的な映画批評ではなく、1冊分の長編自伝を創出しました。ジェームス・エッジのような同時代人(『Our Lives の最良の年々』へのレビューで軽視から深い崇拝へと移行)や、『ニューヨーカー』紙のアンソニー・レーン(ユーモアと魅力で賞賛される評論家)とは異なり、ケールは「自分自身全体」を作品に持ち込みました。ショアに対する否定的な批評からレオン・ワイセルタイアーによって「道徳的な白痴」と称されたにもかかわらず、その仕事は映画という機会を通じた自伝の新たな形態として再定義されています。「ニューヨーカー」誌でペンエロー・吉利ャットが春と夏に執筆活動を行っていた当時、ケールは 1968 年から 1979 年まで評論を寄稿し、1989 年 8 月にブライアン・デパルマ監督の『Casualties of War』(ロバート・ストアビー氏の回想に基づいた作品)の評論で復帰しました。スレートドットコム社のデイヴィッド・エドゥールスタインは、25 年以上にわたり映画鑑賞の可否を視聴者に指導してきたことで非常に影響力があると評されています。一方、デビッド・トムソンは、ケールが映画が社会に対して「我々のもの」として語ることを確立したと主張しています。しかし、トムソンの 2026 年に出版された書籍『A Sudden Flicker of Light: A Revisionist History of Movies』では、映画鑑賞の習慣が人々を「白痴化」させ、ドナルド・トランプの登場を可能にしたと論じています。記事では、ロバート・ストアビー氏が 2026 年に故郷ミネソタで死去したことが記されています。2022 年、フランスの映画監督オドリ・ディワンは、自分の映画よりもソーシャルメディア上のショートフォーム「リール」を好むという彼女の思春期の子どもたちを観察しました。ポールライン・ケールはパーキンソン病との闘いによる困難さのため主に引退し、『For Keeps』という作品集への序言として最後の作品を発表しました。トムソンは、ドナルド・トランプの台頭以降、映画が社会に語りかけるという現象が再興していないと嘆き、分断されたデジタルランドスケープにおいて、共有的な物語伝達から孤立した個々の娯楽へ移行していることを示しています。

2026/09/04 23:04
Linux カーネルを新しいプラットフォームでビルドする手順

Linux カーネルを新しいプラットフォームでビルドする手順

## 日本語翻訳: 本記事では、カスタム物理ハードウェアを使用せず、完全な Linux カーネルをユーザー空間で起動することに成功した、約 2,000 行の C++ コードで構築された最小限の RISC-V エミュレーターについて説明している。通常のセットアップが U-Boot などのブートローダーを使用してストレージからファイルをロードするのとは異なり、このエミュレーターは重要な周辺機器(RAM、UART8250)およびリソースを特定のアドレスに直接メモリマッピングする。これらは RV32IMA 命令セットをサポートし、タイマーについては SBI を介してインターフェースしており、MMU を備えた CPU、十分な RAM、およびシステムクロックタイマーが必要とされる。 Linux を起動するには、エミュレーターバイナリ内にカーネルイメージ、デバイスツリーブロッブ(DTB)、およびイニトラムフス(initramfs)の 3 つのコンポーネントを埋め込む。カーネルは不要な機能が無効化されたオプションを使用して crosstool-ng で最小限の 32 ビット RISC-V イメージとしてコンパイルされ、イニトラムフスには静的にリンクされた「Hello World」イニシャルプログラムおよび/dev/kmsg などの必須デバイスが含まれる。DTS ファイルから生成された DTB は初期コンソール出力を構成し、イニシャルプロセスの場所を指定する。 重要なのは、エミュレーター全体を WebAssembly にクロスコンパイル可能なことであり、これにより複雑なビルド環境や新しい PCB デザインなしに Linux ディストリビューションをブラウザ上で直接実行できる。生産用途には最適化されていない(コールドブートには最大 1 分かかる可能性がある)が、この軽量ツールは組み込み Linux 開発への参入障壁を下げ、RISC-V アーキテクチャの学習のためのアクセス可能なプラットフォームを提供する。

2026/09/04 2:57
ベルギーの公共交通機関のライブマップ

ベルギーの公共交通機関のライブマップ

## Japanese Translation: ベルギーは、De Lijn、STIB-MIVB、TEC および NMBS が運営する全バス、路面電車、地下鉄および鉄道路線のデータを統合した統一デジタル旅行プラットフォームを立ち上げます。本イニシアチブは、ブリュッセル首都圏、アントワープ、東フランドル、西フランドル、フランドル=ブランタン、リムбург、ワロン=ブランタン、エノー、ナムール、リエージュおよびルクセンブルクの 10 の特定の地域をカバーします。本プラットフォームは、遅延、停車、出発時刻に関するリアルタイム情報を提供し、乗換者に対してこれらの地域間で旅程を計画するためのシームレスな手段を提供します。個別の地域システムをナビゲートする必要がなくなります。

2026/09/07 18:02
DOS 用の Schemy Lisp

DOS 用の Schemy Lisp

## Japanese Translation: SLED(Schemy Lisp en DOS)は、Scheme を灵感とする記号 Lisp 方言であり、元々は Kilo LISP から派生したもので、マクロ機能を強化されたものです。本システムは、レガシーな DOS システム(FreeDOS、MS-DOS など)および DOSBox-X、DOSBox-Staging、DOSBox などの現代的なエミュレータに特化して設計されており、現代のオペレーティングシステムを必要とせずにアンティークハードウェアやコンシューマーマシン上で実行可能となります。SLED は S 式表現をデータとコードの両方として扱い、数字には tally numeral を、`lambda` クロージャを用い、`let`、`if`、`cons` などの特定の形式に対して eager evaluation と tail-call 最適化を実装しています。動作は厳格な制約の下で行われ、固定されたヒープ制限(ノード数 12288)、シンボルテーブル容量(文字数 2048)、DOS の 8.3 ファイル命名規則への準拠(例:スクリプト用`.scm`拡張子)が適用されます。プログラミングにはリポジトリから取得されたコンパイル済みバイナリとソースコードをサポートしており、組み込み関数、標準関数とは区別される特殊形式、不変のコアを備えています。ユーザはコマンドラインよりソースファイルをロードし、バッチモード(`/B`)やエラー無視実行(`/I`)などのオプションを利用でき、`(exit)` で終了させ、エラー発生時に式内部で捕捉されずトップレベルにジャンプするエラー処理を行います。コメントはセミコロン(`;`)で示し、ブロックコメントは括弧の一致を要求します。

2026/09/06 21:58