2026/08/12 19:06

Show HN：Woxi —— オープンソースの Mathematica/Wolfram Language リイムプレメンテーション

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

要約▶

Japanese Translation:

Woxi は、Rust で実装された画期的なローカル構築 Wolfram Language interpreter です。ユーザーはデータをどこにも送信することなく、完全に自分のデバイス上で計算を実行できるようになります。それは、相互作用的なプレイグラウンド、コマンドラインツール、Jupyter カーネル、ネイティブノートブックエディターなどの複数のフロントエンドを、一貫性とセキュリティのために単一のコア実装の下で統合します。主な利点は、

wolframscript

などの従来のツールに比べてはるかに高速な起動速度であり、ブラウザ（例：JupyterLite）や

woxi eval

のような CLI コマンドを通じた即時アクセスを可能にします。プラットフォームには、複雑な表現およびグラフィックス向けの並列編集機能を備えた「拡張プレイグラウンド」、さらに

.nb

ファイルのネイティブエディターである「Woxi Studio」が搭載されており、内联グラフィックスや PDF、Markdown、LaTeX などのエクスポートをサポートしています。複雑なサーバーインストールの必要性を排除することで、Woxi はハードウェアの障壁を下げ、フルスクリーンの探索から

.wls

ファイルへのスクリプト作成までワークフローを簡素化します。

本文

Rust で実装された Wolfram言語インタプリタ「Woxi」

Woxi は Rust を使用して実装された高性能な Wolfram言語インタプリタです。主な特徴は以下の通りです：

すべてが ブラウザ内でローカル に動作します
データは一切送信されません（プライバシー保護）

Woxi の利用方法

Woxi は単一のインタプリタコアを共有しつつ、多様なフロントエンドを提供しています。以下に主な使用方法を整理します。

1. 拡張プレイグラウンド

サイドバイサイドの編集エリアと出力領域を搭載しており、より広いスペースでの探索・実験が可能です。

用途: 多行式の記述やグラフィックスの実験に最適
特徴: フルスクリーンモード対応

→ フルプレイグラウンドを開く

2. コマンドラインツール

woxi

コマンドを使用して、インタプリタをサーバーサイドで利用できます。

動作:
```
woxi eval
```
で式を評価可能
機能:
```
.wls
```
スクリプトの直接実行や、シバン（SIP）インタプリターとしての利用が可能
性能: Wolfram Script よりも起動が高速です

→ スクリプティングガイドを見る

3. Jupyter と JupyterLite

Woxi は標準的な Jupyter カーネル として提供されています。

ローカルインストール:
```
woxi install-kernel
```
コマンドを使用
ブラウザ利用: 追加のインストールなしに、バンドルされた JupyterLite インスタンスを通じてノートブック体験を楽しめます

→ Jupyter ガイドを読む

4. Woxi Studio

Wolfram言語

.nb

ファイル専用のネイティブノートブックエディタです。

編集機能: セル単位での編集、インライングラフィックス表示
エクスポート対応:
- ```
.ipynb
```
  (Jupyter Notebook)
- Markdown
- LaTeX
- Typst
- PDF

→ 文書を見る

同じ日のほかのニュース

一覧に戻る →

2026/08/13 1:04

DeepSeek V4 プロ 0813

## Japanese Translation: 現時点でソーステキストが提供されていないため、コンテンツ固有のポイントに焦点を当てた 120 から 200 ワード程度の要約を作成することはできません。要約をご希望の記事、抜粋または文書をお提供ください。受け取った段階で、主要なメッセージを抽出し、技術用語を定義するとともに、最も重要な洞察を最初に提示することで明確性と関与性を確保します。元の論旨を反映しつつ外部の意見や逸話を追加することなく、簡潔な概要を提供することが目標です。素材をご共有いただくことで、すぐに作業を進めることができます。

2026/08/13 3:19

デルタ

## Japanese Translation: Delta は、今日より公開のプライベートベータ招待状付きの画期的な新世代マルチプレイヤーコーディング環境です。人間と AI エージェントの双方に対してコードと対話をリアルタイムで緊密に連携させるよう、専用設計されています。既存のワークフローを阻害する従来のツールとは異なり、Delta は Zed や Git といった現在の開発環境の隣に立ち、数百万人の毎日のユーザーのワークフローを乱さないよう、Zed に機能を追加するのではなく新規アプリケーションとして構築された専用コンパニオンです。Rust ベースの技術、WebAssembly、WebGL を活用することで、ローカルのインストールなしでどのブラウザ内でも開発者と AI エージェントが協働することを可能にしています。本プラットフォームは、カスタムデータベース「DeltaDB」を用いて、対話とワークツリーをリアルタイムで即座に複製し、招待されたすべてのファーストクラス参加者に同期させることで、リモートコラボレーションにおける決定的なギャップを解消します。チームはワンクリックでメンバーを招待でき、プライベートスレッドは招待された者だけに共有されるため、クラウドランナーによるバックアップによりローカルデバイスが閉じられていてもコードと対話が同期して維持されます。注釈は、著者（人間またはエージェント）や時間を問わずコード行や対話ステップに正確にアンカーされ、プロジェクトが進化する過程で陳腐化することを防ぎます。Delta はフルディフ、全体トランスクリプトを表示し、モデル速度でコンテンツをレンダリングし、対話をナビゲ可能なドキュメントとして扱うことで、ユーザーは任意の場所（ディフ、プラン、思考ブロックなど）にカーソルを置けば、正確な意図をもってコメント付けられます。今後のアップデートによりさらに機能は拡張されますが、究極的には Delta は、既存の Git リポジトリと第 3 者のエージェントハネス（例：Claude Code）とのシームレスな統合を通じて、端末セッションを実時間同期して共同レビューを行うことで、プライバシーを維持しながら透明性のあるナビゲ可能な対話履歴を実現し、チーム全体の課題解決効率を大幅に向上させることを可能にします。

2026/08/12 23:22

Tailscale のトレースデータベースが、16 歳向けの SQLite WAL リセットバグに汚染されました。

## Japanese 翻訳: Tailscale は、SQLite の希少な、16 年間にわたるバグである「WAL-Reset bug」により引き起こされた深刻なデータベース腐敗の 6 ヶ月を解決することに成功しました。この問題は、標準的なオープンソースソフトウェアが Tailscale の非標準的手動チェックポイント構成下で機能不全に陥った際に発覚し、しばしば退屈とみなされる技術内に潜んでいた欠陥を露呈させました。修正には、Tailscale のエンジニアとコア SQLite 開発者の間での唯一の協力が求められ、ソースコードへのパッチ適用と同時に内部設定を調整して特定の丸め動作を排除する必要がありますでした。エンジニアらは、「tmstmpvfs shims」（シミュレートされたファイルシステム）というフォレンジックツールを用いてデータレースを分離し、初期パッチが失敗した後にタイムスタンプの精度を浮動小数点数テキストから整数秒に切り替えました。2 ヶ月のカニアリーロールアウトで安全性が確認された後、Tailscale は 4 ヶ月間インシデントフリーで稼働しています。この事例は、類似のデータベース構成に依存する他の組織に対する重要な警告であり、手動最適化機能は複雑な長期リスクを招くことがあり、深刻な問題の解決には公式アップデートを待つだけでなく、アプリケーションチームとメンテナンス担当者の共同努力が必要であることを示しています。