2026/05/19 1:31

【Show HN】主権を持ったオペレーティングシステム、L1 ブロックチェーン、AI エージェント、そして独自の言語を構築しました。

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

要約は、重要点リストから得られるすべての要点を正確に反映しており、推論や欠落をもたらすことなく、主なメッセージを明確に伝達し、曖昧な表現を避け、理解しやすい内容です。したがって、改善の余地はありません。

サマリー:

本稿では、プライバシーとユーザーの独立性を従来のコンピューティング基準よりも優先する、高信頼環境向けに設計された包括的なセキュリティ重視の開発プロジェクトのスートを紹介しています。このエコシステムの核心には、決定論的な実行を保証するために Rust および TypeScript を使用して構築された主権型オペレーティングシステムを動力源とする IONA プロトコルがあり、そのアプローチではポスト量子暗号を採用し、EVM 互換性を維持することで、安全なブロックチェーンインフラストラクチャーとしての実現可能性を確保しています。主要な提供内容は、ARM64 モバイルハードウェア向けに開発された IONA OS Phone および、開発者の制御と安全性のバランスを取りながら、険しい学習曲線なしで構築されたプログラミング言語である Carpel です。

Ex Nihilo チームの後援のもと、このイニシアチブは「Flux」という方法を用いて、個人の意向に基づいてデジタル現実を再構成する開発のアプローチを提示します。システムエラーを失敗とみなすのではなく、これらのプロジェクトではミスを並行宇宙を探求するための生材料であり、構造的データポイントとして扱うという立場をとっています。その結果、ユーザーはデバイス上で完全なプライバシーを実現し、企業は再現可能な状態遷移を必要とする堅牢なカーネルを採用できるようになります。究極の目的は、重大なパラダイムシフトを待たず、慎重かつ安全性最優先の意向を通じてユーザーが自らのデジタル環境を能動的に再構成していく段階的な進化にあります。

本文

主なリポジトリ一覧

IONA: 高信頼性のブロックチェーンインフラの探求を目指す「セキュリティを最優先とした決定論的実行プロトコル」です。このシステムは、再現可能な状態遷移と、再生（リプレイ）に基づく正しさを重視しています。
- ランタイム言語：Rust
- Stars: 3
IONA OS: Rust でゼロから記述された主権型オペレーティングシステムカーネルです。ポスト量子暗号に対応し、EVM 互換かつメモリ安全性を確保しています。
- ランタイム言語：Rust
- Stars: 1
Carpel: 現代的なシステム言語には制御性と安全性の両立が求められますが、その学習曲線は緩やかではありません。Carpel はこのトレードオフを再考します。
- ランタイム言語：Python
Flux: Flux は単なるプログラミング言語ではなく、意図を一つずつ積み重ねながら現実自体を再形成する「あり方」です。「Ex Nihilo」開発チーム——いつでも、決して終わらない活動。
- ランタイム言語：Python
Nihilo OS: Nihilo OS は単なるオペレーティングシステムではありません。間違いは失敗ではなく、並行宇宙を生み出すための素材であるという証明です。
- ランタイム言語：FLUX
IONA OS Phone: プライバシー、セキュリティ、自律性のために設計されたスマートフォン用完全なオペレーティングシステムです。自前のカーネル、ドライバ、ユーザーインターフェースを持ち、モバイルハードウェア（ARM64）上で直接動作します。
- ランタイム言語：TypeScript

同じ日のほかのニュース

一覧に戻る →

2026/05/19 10:30

LLM による「過去六ヶ月の要約」――わずか五分で読み解く

## Japanese Translation: PyCon US 2026 における「2025 年 11 月の転換点」に関する振り返りは、AI ランドスケープが標準ハードウェア（例：Mac Mini）上で動作する実践的なローカルツールおよび個人用 AI アシスタントへと劇的に移行していることを示しました。2025 年後期から 2026 年初頭にかけての期間は、「最良」という称号を巡る過激な競争によって特徴づけられていました。11 月単独でわずか 2 ヶ月の間にトッププロバイダーにおけるリーダーシップは 5 回交代し、Claude Sonnet 4.5、GPT-5.1、Gemini 3、Codex Max などを経由した後、最終的に Claude Opus 4.5 に落ち着きました。この時代は、コーディングエージェントにおいて OpenAI や Anthropic の検証可能な報酬に基づく強化学習（Reinforcement Learning from Verifiable Rewards）への取り組みにより、単発的な動作から信頼できる日常利用ツールへと移行したことで推進されました。顕著な技術的進展としては、Google が実用的なオープンウェイトモデルとして Gemma 4 シリーズをリリースしたことや、中国の研究所が GLM-5.1（1.5TB モデル）を公開したことが挙げられます。これらのモデルは、動物がエスクーターに乗っている様子やバージニア北部のカナザが自転車に乗っているような不可能なタスクのアニメーション生成といった驚くべき能力を発揮しました。特定のコミュニティプロジェクトは「Warelay」として始まりましたが、「OpenClaw」という名称を最終的に採用し、人気のあるローカル「個人用 AI アシスタント」の代名詞となりました。2026 年 2 月には新規モデルに対する需要が高まりシリコンバレーで Mac Mini が品切れになった一方で、一部のプロジェクトはセキュリティ懸念とパフォーマンスの問題のため廃止されました。全体のテーマは、自律的にホストされる知能のブームであり、ラップトップ搭載のモデルが業界リーダーと比較して期待を大きく上回る性能を発揮し始めた点にあります。

2026/05/17 1:49

Android スマートフォンを业余無線局トランシーバーに変えてください。

## Japanese Translation: kv4p HT は、Android スマートフォンとの統合を目的として設計されたオープンソースの VHF/UHF アマチュア無線トランスceiver です。専用バッテリーや外部充電器の必要性を排除するため、スマートフォンから電力を供給します。カスタム PCB（v2.0e）、SA818-V/U または DRA818V/U モジュール、SMA メスアンテナなどの部品の使用により構成され、SMS 風のメッセージングおよび位置情報ビーコン機能（APRS）を含む高度なデータ通信タスクをサポートします。法的に運用するためには、少なくとも技師級のアマチュア無線免許証を保有している必要があります。製品には保証がありません。フルデザインと GPL3 ライセンスの ESP32 ファームウェアは GitHub 上に公開されており、3D プリンター用ファイルも用意されているため、DIY による組み立てが可能で、モジュール/PCB のハンダ付け、接着ゲルパッドによる装着、3D プリント製ケースの取り付けを伴います。新規ユーザーは、事前に組み立て済みのベンダーキットを購入しない場合は、ソフトウェアを手動でフラッシュする必要があります。本システムは、2017 年以降の Android 8 以上のデバイスとのみ互換性があります。リアルタイムクローズドキャプション、PTT 用のハプティックフィードバック、アニメーション制御など、アクセシビリティ機能により、多様なユーザーにとって使いやすさが向上しています。

2026/05/19 13:24

コーデックス・マキシング（Codex-maxxing）

## Japanese Translation: この文は、短命なチャットセッションから、複雑な知識労働に適した耐久性のある長時間稼働型コーディングエージェントへの転換を描いています。これらのエージェントは、「compaction（コンパクト化）」という機能を用いて古いのメッセージを剪定し、コスト超過やコンテキスト制限を防ぎつつ不可欠な履歴を保持しながら、数ヶ月間自動化された動作を持続させます。ユーザーは「Chief of Staff」のようなメガスレッドをピン留めして好みを蓄積し、Command-1 から Command-9 などのショートカットを通じてワークストリームを舵取りできますが、オフキャッシュのスレッドは新規の短寿命スレッドよりも高いコストを支払う可能性があります。エージェントは Codex および Wispr Flow を通じて音声入力を受付けることができ、システム全体での口述が可能になり、タイピング単独よりも豊富なコンテキストを実現します。ユーザーはツール呼び出し後（steering）に新たな方向性を注入し、ステップが完了するのを待たずにエージェントを誘導できます。共有メモリシステムはチャット外に Obsidian クォート内にアーティファクト（AGENTS.md を含む）を保存しており、これらを検証、編集、差分表示することを可能にします；GitHub でリポジトリとしてホストされる場合、クラウドツールを通じてメモリの更新内容を確認でき、審査されていない対話の「vibes（雰囲気）」が蓄積するのを防ぎます。$slack、$gmail、$calendar、$browser、@chrome、および@computer といったコネクタは、ローカルのウェブ表面、認証済みのブラウザ状態、Twitter やデスクトップアプリなどの GUI アプリケーションなど、追加機能を提供します。Hatch Pet などのインストール可能なスキルは再利用可能なワークフローをパッケージ化し、エージェントが再教育なしでタスクを繰り返せるようにします。リモートコントロール機能により、ユーザーは作業マシン上で長時間稼働するタスクを開始し、モバイルデバイスからステップを承認することで進捗を持続させつつ管理できます。スレッドローカルハートビートは、Slack/Gmail を 30 分ごとに、フィードバックを 15 分ごとにといった再帰的なチェックをスケジュールし、ユーザーの常在なしでループを稼働させます。ゴールはエージェントに明確な仕上げラインと成功基準を与え、例えば元の単一テストを全てパスしながら Python Rich を Rust に移行する場合などに適用されます。サイドパネルはアーティファクト（Markdown、PDF、スプレッドシート）を検証し、ウェブ表面（index.html、Storybook、Slidev）を操作し、ループを壊さずに変更を確認する作業領域として機能します。