2026/09/18 1:25

ヒスター：閲覧したページや保存したファイルのためのプライベート検索エンジン

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

要約▶

Japanese Translation:

Hister は、ユーザーのプライバシーをデフォルトで最優先する、訪問した Web ページおよびローカルファイルを対象とした、プライベートでローカルホストされた検索エンジンです。フルコンテンツをインデックス化し、必要不可欠なファビコンのみをダウンロードしますが、クラウドやテレメトリサービスにデータを送信することはありません。Hister は Linux、macOS、Windows、Docker、Nix 環境をシームレスにまたいで動作し、バイナリ（必要に応じて名義を変更）、Homebrew、Docker、または Nix を通じてインストールできます。プロジェクトは Go 1.26、npm、C コンパイラーの構築（

./manage.sh build

）を必要とし、AGPLv3 ライセンスの下で公開されています。Hister を使用するには、

./hister.exe listen

（Windows）または Linux/macOS における同等のコマンドを実行してローカルサーバーを開始し、ターミナルを開いたまま

http://127.0.0.1:4433

でインターフェースにアクセスします。Firefox または Chrome の拡張機能を通じてブラウザと統合して訪問したページを自動的に保存でき、Web インターフェース、TUI、コマンドライン、MCP を介した AI アシスタントを含む代替クライアントもサポートしています。高度な検索機能には、フィールドフィルタ、フレーズ、ワイルドカード、否定、エイリアス、結果の優先順位、および履歴またはディレクトリ用のインポートオプションが含まれ、設定された埋め込みエンドポイントによるオプショナルな意味検索も提供します。共有サーバー上での多ユーザー構成をサポートし、厳格なローカルデータ主権を遵守しています。開発者はビルド指示を

asciimoo/hister

リポジトリで確認でき、コミュニティサポートは Discord、IRCNet（

#hister

）、バグ報告用の GitHub issues、および

CONTRIBUTING.md

と

SECURITY.md

ドキュメントを通じて利用可能です。

本文

Hister: あなたのプライベート検索エンジン

Hister は、あなたが閲覧したページと保管しているファイルをインデックス化するプライベートな検索エンジンです。ウェブインターフェース、ターミナル、または MCP（Model Context Protocol）を介して接続された AI アシスタントからでも、保存したコンテンツを検索できます。

クイックスタート

最新リリースのバイナリをダウンロードし、

hister

（Windows 版は

hister.exe

）として実行します。

Linux / macOS の設定

以下の手順でサーバーを起動し、ブラウザ拡張機能をインストールしてください。

サーバー起動
- ターミナルを開いたままにしてください。
- サーバーが動作中である必要があります。
```
hister listen
```
ブラウザの設定
- ブラウザで
```
http://127.0.0.1:4433
```
  を開きます。
- Firefox または Chrome 用の拡張機能をインストールして有効にします。
検索の実行
- 拡張機能を有効な状態でウェブページを訪問します。
- Hister のインターフェースに戻り、ページのフレーズを検索すると、インデックスされた結果を確認できます。

注: ローカルな個人用セットアップには追加の設定は不要です。既存コンテンツ（ブラウザ履歴やローカルディレクトリ）をインデックス化する方法については、完全版クイックスタートを参照してください。
他のインストール方法：Homebrew (
brew install hister
)、Docker、Nix

主な機能

プライバシー重視: テレメトリや必須のクラウドサービスを使用せず、ローカル環境または自己管理のインフラストラクチャーで動作します。
全文インデックス化: タイトルや URL に限らず、実際のテキスト内容も含めて検索可能です。
自動的なブラウザインデックス化: 拡張機能を介して新規訪問ページを自動的に保存します。
強力なクエリ機能:
- フィルタフィルタ、フレーズ検索、ワイルドカード
- 否定表現、エイリアス、結果の優先順位など高度な検索が可能
オプションのセマンティック検索: 埋め込みエンドポイントを使用し、文書の意味に基づいて検索できます。
柔軟なインデックス化: クローラーによるウェブサイトインデックス化や、既存ブラウザ履歴の読み込みが可能です。
多様なアクセス方法: ブラウザ内、TUI（ターミナル）、コマンドライン、AI アシスタントから利用可能です。
マルチユーザサポート: 共有サーバーでも各ユーザーのドキュメントと検索結果を個別に管理できます。

プライバシーについて

デフォルトでは Hister は以下の設定で動作します：

テレメトリ機能: オフ
クラウド同期: なし
データ送信範囲: ブラウザ拡張機能は、ページファビコン（アイコン）を除き、インデックスされたページの内容のみをユーザーが設定した Hister サーバーへ送信します。
保存場所: ドキュメントと検索インデックスはすべてローカルサーバー上に保存されます。

注意点: セマンティック検索オプションを使用する際は、文書テキストが埋め込みエンドポイントに送信されるため、プライバシー概説と構成設定を必ず確認してください。

なぜ Hister を選ぶべきか？

従来の検索エンジンとは異なり、Hister はあなたが選択して保存したいウェブページやファイルから個人用の検索インデックスを構築します。コンテンツはあなたのサーバー上に留まるため、第三者の検索プロバイダーに依存せず、すでに発見した情報を効率的に再発見できます。

開発環境への要件

Go バックエンドを開発・構築するには、以下の環境が必要です：

Go: 1.26
npm
C コンパイラ (CGO 依存関係のため)

ビルド手順

git clone https://github.com/asciimoo/hister.git
cd hister
./manage.sh build

ホットリロード機能: 上記のビルドコマンドにより、Vite 開発サーバーが起動し、
air
を介して Go バックエンドを自動的に再構築する環境が整います。

コミュニティとコントリビューション

参加方法: IRCNet の
```
#hister
```
チャンネルまたは Discord に参加してください。
コントリビューション: 提出前に CONTRIBUTING.md をお読みください。
バグ報告・機能要望: Issue トッカーを利用してください。
セキュリティレポート: SECURITY.md を参照してください。

ライセンス

AGPLv3 またはそれ以降のバージョン

同じ日のほかのニュース

一覧に戻る →

2026/09/18 5:36

Bend：CPU と GPU で証明により AI のミスをブロックする言語

## Japanese Translation: ## まとめ： Bend は、数学的証明をネイティブマシンコードに直接コンパイルすることで AI 生成のエラーを排除することを目的とした高性能プログラミング言語です。従来のランタイムチェックに依存する言語とは異なり、Bend は論理検証をコンパイル段階に統合し、速度を損なうことなく安全性を確保します。Python の構文の利便性と C レベルのパフォーマンス（1 コアでほぼ C と同じ速度、GPU では最大 100 倍高速）を統合し、CPU および GPU 双方での並列性を自動的に管理しつつ、スレッドやロックを必要とせず実行します。これは、アフィン依存型理論（BendTT）と専用の証明システムである `LAWS.bend` を組み合わせるユニークなアーキテクチャによって実現されています。これらのルールは人工知能エージェントが従う絶対的制約を定義し、一般的なバグが実行前に統合されることを数学的に防止します。Lean や Rocq に似る専門の型チェッカーである `PROOF.bend` が使用され、中規模なコードベースでは 1 秒未満でこれらの法の遵守を確認します。高度な証明アシスタントに着想をうけながら実行向けに最適化された Bend は、Linux および macOS 上でバックエンドタスク向けの安全かつ高速な AI 開発を可能にします。この技術を効果的に導入するためには、`curl -fsSL https://bend-lang.com/install.sh | sh` を使用してインストールし、`bend guide` コマンドを利用し、プロジェクトのドキュメント（例：`AGENTS.md`）に特定の検証指示を統合し、コードが宣言された法に準拠していることを確認するために `PROOF.bend` を実行する必要があります。主な機能には C 相当の速度、CUDA 並列性、Lean スタイルの証明、Python 構文が含まれます。プロジェクトが進化するにつれて、バグ報告を通じてその成長に貢献することをユーザーは推奨されます。

2026/09/18 6:13

bonsai 2 27B：サイズが 9 倍小さくても損失のない圧縮を実現

## 日本語翻訳: PrismML は、Qwen3.8 27B をベースとした現時点で最も高性能なモデルである Ternary Bonsai 2 27B をリリースしました。このモデルは、NVIDIA RTX 5090（最大 143 トークン/秒）や Apple M5 Max（46.8 トークン/秒）のようなコンシューマー向けハードウェアでの効率的なデプロイを目的として設計されています。モデルは{-1, 0, +1}の値を持つトライナリ重みと FP16 グループ別スケーリングを採用しており、フルプレシジョン版よりも 5.9GB のフットプリントで 9 倍以上小さく、かつ論理推論、数学、コーディング、指示に従うこと、ビジョン、エージェント型ツールの使用にわたる総合ベンチマークスコア（83.9 ポイント）において Qwen3.8 27B の 98.2% を達成しています。 262K トークンのコンテキストウィンドウとテキストおよび画像入力のネイティブサポートを備えた改良されたアーキテクチャに基づいた Ternary Bonsai 2 は、論理推論、コーディング、マルチモーダルワークフローにおいて強力なパフォーマンスを発揮しながら、通常誤差が累積しやすい領域でフルプレシジョンの能力を保持します。CUDA を通じて NVIDIA GPU や MLX を通じて Apple デバイス上で動作し、カスタムロービットカーネルを活用することで、小型モデルに比べエネルギー効率（RTX 4090 で 0.714 mWh/トークン）が優れており、運用コストを大幅に削減します。Apache 2.0 ライセンスの下でリリースされており、今日から完全な重みとホワイトペーパーが利用可能です。カリフォルニア工科大学の研究者らによって設立され、Khosla Ventures、Cerberus、Google の支援を受けた PrismML では、contact@prismml.com で連絡し、チーム協力によるモデルの適応化をサポートしています。

2026/09/16 21:35

ワックスモーター

## Japanese Translation: 改良されたサマリー：ワックスモーターは、熱エネルギーを滑らかな機械的な力に変換する信頼性の高い受動型直動アクチュエータであり、精製炭化水素、植物抽出物、パラフィンなどの特定ワックスの 5–20% の体積膨張を利用して、加熱時にピストンを押し出す。磁性ソレノイドが電気を常時必要とするのに対し、これらのデバイスは電気 PTC サーミスタから環境熱や太陽エネルギーまでの熱源を使用し、ワックスが収縮して固化する際にスプリングまたは重量によるバイアス力（通常作動力の 20–30%）によってメカニズムを後退させる。この熱相変化は最大 4000 N の大きな油圧力を発生させ、航空宇宙システムの安全クリティカルな流体規制や HVAC スタットスのような用途に適した穏やかで段階的な動きを確保する。さらに抵抗負荷であるため、トライアックにより制御でき、スナバ回路を必要とせず、設計をより簡素化できる。堅牢性により、前面積載型洗濯機など過酷な環境でもドアロックを安全に作動させることが可能。現在温室やヒドロナニック加熱での利用に加え、低コスト、高信頼性、専門的な MEMS 製造への対応能力は、排気バルブ制御や洗剤ラッチ解放などの技術における役割拡大を示唆する。結局のところ、ワックスモーターは受動作動に優れた安全性と耐久性を組み合わせることで、電磁気的ソリューション以上の優れた代替手段を提供し、多様な産業において適用可能である。