← 2026-09-18 の一覧へ戻るホーム
CCC がモデル市民に 40C3 を招待します。

2026/09/17 17:03

CCC がモデル市民に 40C3 を招待します。

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

改修は厳密には必須ではありませんが、会場や具体的な日程に関する完全性を確保するため、不足していた事実を統合しつつ流れを保った以下の少し調整されたバージョンを提示します：

改善されたサマリー：

カオス・コンピューター・クラブは、2026 年 12 月 27 日から 30 日までハンブルクで開催されるヨーロッパ最大級のボランティア運営ハッカー大会「40C3」を開催します。テーマは「モデル市民（Model Citizens）」で、この非営利の集いは、過去のモデルが地球の危急迫る状態に対応しきれず失敗したことを踏まえ、新たな社会構造を探求することを目的としています。1 万 6,000 人を超える来場者が見込まれる本イベントでは、民主的な連帯を強調しており、差異を負債ではなく貴重な資産として捉える姿勢を取り、権威主義の高まりへの直接の対抗策となっています。無報酬で活動する数千人のボランティアによって支えられ、利益追求を超えた批判的議論の伝統を継承しています。現在、「参加への招待（Call for Participation）」がスピーカー、アーティスト、ミュージシャン、デザイナーを対象として募集しており、「芸術への招待（Call for Art）」（ステージ以外の展示作品向け）や「パンクスパティ（Punk-Späti）」など特定のトラックにおいて、アンアナキズム的で反ファシスト的なパフォーマンスに貢献する方を募っています。結局のところ、このコミュニティ主導のイベントは、テクノロジー分野および市民活動分野の両方に関連する社会変動に関する本質的な議論を行うための重要なプラットフォームを提供します。

本文

第 40 回 CCC（カオス・コミュニケーションズ・カンファレンス）開催要項：「モデル市民」への挑戦と新たな創造の場へ

イベント概要

  • イベント名: 第 40 回 CCC（Chaos Communication Congress）
  • 開催期間: 2026 年 12 月 27 日 〜 30 日
  • 開催場所: ハンブルク・エキジビション・ハル（欧州最大級の会場へ移転）
  • 主催組織: カオス・コンピューター・クラブ（CCC）
  • テーマ: 「モデル市民（Model Citizens）」
    • かつての模範が地球を不安定なまま去っていった今、社会における新たな模範となるあり方を共に探求する。

イベントの特徴と規模

  • 巨大な共有の舞台: トークプログラム、エンターテインメント、芸術表現、パンク、音楽など多岐にわたる分野での参加募集を開始。
  • 非営利・ボランティア主導:
    • 何千人もの無報酬でのご支援者。
    • 1 万 6,000 名以上の来場者。
  • 能動的な参加: 単なる観客ではなく、イベント形成にご協力いただく「共犯者」としての姿勢を重視。

現在の社会課題と CCC のスタンス

時代は厳しさを増しており、以下の問題が浮き彫りになっています：

  • 威権主義への傾斜: 強者が弱者に価値観を押し付ける国家モデルへと取って代わろうとする動き。
  • 防衛的姿勢: リベラル勢力は現状維持（事態の悪化を防ぐこと）しか考えておらず、新たな創造を試みない。
  • 個人の委縮: コミットメントや責任感が、「再び全てを『偉大にする』」ことを目指す強力な統制に後回しにされている。

CCC の見方:

  • 「異なるあり方」を示すモデルであり続ける。
  • 差異は資産とし、未知はインスピレーションの源とする。
  • 相互のニーズを共同体意識醸成の機会と捉え、心地よく歓迎される場を提供する。

参加募集・企画内容

本カンファレンスでは以下の分野にてクリエイティブな参加者を広く募集中です：

🎤 コンテンツ参加要請（Call for Content）

  • ラウンジおよびパーティーステージへの登壇依頼。
  • スピーカーや DJ、ミュージシャンの募集。

🎨 芸術参加要請（Call for Art）

  • ステージを必要としない展示物。
  • 彫刻。
  • パフォーマンス。
  • アーティストおよびデザイナーの皆様へのお誘い。

✊ パンク・スパーティ（Punk-Späti）

  • 温かみがあり素朴な雰囲気を持つ空間での活動。
  • 無政府主義的かつ反ファシズム的なパフォーマンスの実行者。
  • 同様の問題提起者の方々をお探しです。

詳細情報の確認先

さらに詳しい情報は以下のリンク先をご確認ください：

同じ日のほかのニュース

一覧に戻る →

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/18 1:25

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

## 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` ドキュメントを通じて利用可能です。