2026/02/21 2:34

リル・ファン・ランズ

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

元のHacker News記事へ ↗

要約▶

日本語訳:

以下は、各重要ポイントを要約に直接マッピングし、根拠のない推測を除去し、事実ベースのトーンを保った緊密なバージョンです。

要約

このテキストでは、12 の小規模〜中規模言語実装プロジェクトをカタログ化しており、それぞれがコンパクトなコードベースで異なる型システムまたはランタイム機能を示しています：

#	プロジェクト（重要ポイント）	サイズ（LOC）	コア機能
1	Hirrolot’s CoC – OCaml gist が Calculus of Constructions を双方向型付けと「type‑in‑type」ユニバースで実装	~60–80	従属型、双方向型付け
2	Harrop MiniML – Camlp4 と LLVM バインディングを使用した OCaml コンパイラ	~100	整数演算、条件分岐、一階関数
3	Algorithm W (Martin Grabmüller) – Hindley–Milner 型推論の literate Haskell 実装	~300	Hindley–Milner 推論
4	tomprimozic/type-systems – 複数の推論アルゴリズムを備えた OCaml リポジトリ	300–600	HM、行多相性、HMF
5	lambda‑calculus‑hs – 単一ファイルの Haskell ラムダ計算実装シリーズ	200–900	様々な型システム（HM、NbE、System T）
6	THIH – 完全な Haskell 98 型システムを実装したコア Haskell プログラム	429	種類、クラス、パターンマッチング、相互再帰
7	Simple‑sub – MLsub をアルジェブラ型付きに再実装した Scala	~500	ユニオン/交差型
8	PLZoo poly – パラメトリック多相性と HM 推論を備えた OCaml 遅延言語	400–600	パラメトリック多相性、HM
9	EYG – 行型推論とアルジェブラ効果を特徴とする JavaScript インタープリタ（Gleam）	~500	行型、効果ハンドラー、クロージャシリアライゼーション
10	Pico‑ml – OCaml の TypeScript サブセットで HM 推論を行い WebAssembly にコンパイル	–	ブラウザ向けの ML コンパイレーション
11	Eff – OCaml 構文で書かれたオリジナルのアルジェブラ効果言語	–	効果ハンドラー、ファーストクラス効果ランタイム
12	MicroHs – C から起動可能な Haskell コンパイラ（15–30 k LOC）	15–30 k	Haskell 2010 のほぼ全て、型クラス、do-ノーテーション、モジュール；JavaScript を対象

これらのプロジェクトは、従属型、行多相性、アルジェブラ効果、あるいは完全な Haskell 98 意味論といった洗練された型理論的アイデアが、控えめなコードベースで実装できることを示しています。主に教育ツールや研究プロトタイプとして機能し、高度な言語機能の実験障壁を下げます。

主要ポイント

プロジェクトは OCaml、Haskell、Scala、TypeScript、JavaScript など多様な言語で構成され、ネイティブバイナリ、WebAssembly、JavaScript を対象としています。
概念を教育や迅速プロトタイピングに適した形でアクセスしやすくするため、意図的に小規模です。
これらの実装が主流言語に直接影響を与えるという主張はしておらず、単に実現可能性を示しています。

本文

プログラミング言語実装 – コンパクト表

#	プロジェクト	ソース	LOC	言語	型システム	実行時	備考
1	Hirrolot’s CoC	src	~70	OCaml	✅	✗	インタプリタ（構成計算、依存型）
2	Harrop MiniML	src	~100	OCaml	✗	✗	LLVM → ネイティブ（クロージャ／GCなし）
3	Algorithm W	src	~300	Haskell	✓	✗	型チェッカーのみ
4	tomprimozic/type‑systems	src	~300	OCaml	✓	✗	行列多型等を含む推論バリエーション
5	lambda‑calculus‑hs	src	200–900	Haskell	✗	✓	インタプリタ（段階的 λ計算）
6	THIH	src	~429	Haskell	✓	✗	型チェッカーのみ（Haskell 98仕様）
7	Simple‑sub	src	~500	Scala	✓	✗	代数的部分型（和/積）
8	PLZoo poly	src	~400–600	OCaml	✓	✗	遅延・パラメトリックHM
9	EYG	src	~500	Gleam / JS	✓	✓	行列型推論＋効果；JSON AST
10	Pico‑ml	src	~500	TypeScript	✓	✗	WebAssemblyターゲット
11	TinyML	src	<700	SML	✓	✗	インタプリタ（HM + 字句解析/構文解析）
12	Eff	src	~1–2 K	OCaml	✓	✓	代数効果・ハンドラ
13	Frank	src	~1–2 K	Haskell	✓	✓	効果付き関数型言語
14	Grace	src	~1‑3 K	Haskell	✓	✗	行列多型、双方向型付け
15	Hackett	src	~1‑3 K	Racket	✓	✗	マクロで実装された型システム（Haskell風）
16	Scrapscript	src	~1‑3 K	Python	✓	✓	暗号ハッシュ、C/WASM/Cosmoネイティブ
17	MinCaml	src	~2 000	OCaml	✗	✓	ネイティブ（SPARC/PPC/x86）、厳格関数型
18	Ben Lynn	src	~2 000	Haskell / C	✓	✓	ブートストラップチェーン → WebAssembly
19	1ML	src	3‑5 K	OCaml	✓	✗	第一級モジュール、System Fωターゲット
20	mlml	src	3‑5 K	OCaml	✗	✓	自己ホスティング、型推論なし
21	Dhall	src	~4 K	Haskell	✓	✗	トータル言語、正規化保証
22	Ante	src	5‑10 K	Rust	✓	✓	Craneliftバックエンド、代数効果
23	Tao	src	5‑10 K	Rust	✓	✓	バイトコードインタプリタ、トータリティチェック
24	Austral	src	5‑10 K	OCaml	✗	✓	線形型・権限セキュリティ
25	AQaml	src	5‑8 K	OCaml	✗	✓	自己ホスティング、型推論なし
26	Borgo	src	5‑10 K	Rust	✓	✓	Goソースへコンパイル（Go風構文）
27	polytt	src	5‑10 K	OCaml	✗	✗	多項式関数型、依存型
28	Newt	src	~7 K	Newt	✓	✓	自己ホスティング、依存型、LSP
29	HaMLet	src	10‑15 K	SML	✓	✗	完全なSML ’97実装
30	SOSML	src	10‑15 K	TypeScript	✓	✗	ブラウザベースのSMLコア
31	MicroHs	src	15‑30 K	Haskell/C	✓	✓	ほぼ完全なHaskellコンパイラ、Cからブートストラップ可

主なハイライト

最小限のインタプリタ／コンパイラ – MinCaml, TinyML, Pico‑ml
型システム研究 – Algorithm W, Simple‑sub, EYG, Tao, Dhall
ブートストラップチェーン – Ben Lynn, MicroHs
自己ホスティング言語 – Newt, HaMLet, SOSML
ドメイン固有DSL – Grace, Scrapscript, Borgo

すべてのプロジェクトはGitHub（または最小規模のものはGist）で公開され、簡潔なREADME/概要ドキュメントが付属しています。言語実装を学習・拡張したい際に、この表をクイックリファレンスとしてご活用ください。

同じ日のほかのニュース

一覧に戻る →

2026/02/21 2:58

「Androidをオープンに保つ」

## 日本語訳: F‑Droidは、GoogleのAndroidポリシーの変化についてコメントしながら、新しい **Basic 2.0‑alpha3** ビルドを公開しました。 - **FOSDEM26** でユーザーは、GoogleがAndroidをロックダウンする計画を中止したと聞き安心しましたが、8月の発表ではその計画がまだ有効であることが示されています。 - 記事は、Google の「advanced flow」主張の曖昧さと、Android 16 QPR2/3 や Android 17 Beta 1 の明確なリリース日が設定されていない点を批判しています。 - **バナー警告** は、Google がゲートキーパーになる前に時間がなくなることをユーザーに知らせ、IzzyOnDroid、Obtainium、および他のダウンローダーでも同様のバナーが表示されます。 - 新しい Basic リリースには、更新された翻訳、インストール済みアプリの CSV エクスポート、インストール履歴、ミラー選択器、スクリーンショット防止機能、ツールチップ、新しいオーバーフローメニュー、永続的な並べ替え順序、Material 3 スタイル、およびさまざまなバグ修正が含まれています。 Basic 1.23.x を使用しているユーザーは、このアルファを受け取るために「Allow beta updates」を手動で有効にする必要があります。 - **いくつかのアプリが更新されました**：Buses 1.10、Conversations/Quicksy 2.19.10+、Dolphin Emulator 2512、Image Toolbox 3.6.1（AIツール）、Luanti 5.15.1、Nextcloud ファミリー（Nextcloud 33.0.0、Cookbook 0.27.0、Dev 20260219、Notes 33.0.0、Talk 23.0.0）、ProtonVPN 5.15.70.0（WireGuard のみ）、Offi 14.0、QUIK SMS 4.3.4、および SimpleEmail 1.5.4。 - **5 つのアプリが削除されました**：Chord Shift、OpenAthena™ for Android、Tibetan Keyboard、Tibetan Pad、Tomdroid。 - **新しいアプリが追加されました**：NeoDB You（Material 3/You を採用した NeoDB のネイティブ Android アプリ）。 - 280 件を超えるアプリが更新され、注目すべきものとして Aurora Store 4.8.1、Bando.js Gadgetbridge 0.89.1‑banglejs、DuckDuckGo Privacy Browser 5.266.0、Element X 26.02.0、OpenTracks v4.26.0、Proton Pass 1.37.2 などがあります。 - F‑Droid は読者に RSS フィードの購読、TWIF フォーラムスレッドへの参加、および寄付ページでの寄付を促しています。この改訂された概要はリストから主要なポイントをすべて保持し、不必要な推測を避け、明確なメインメッセージを提示し、曖昧または混乱する表現を除去しています。

2026/02/21 6:25

Dependabot をオフにします。

## Japanese Translation: ## 要約 DependabotはGoプロジェクトで細かいパッケージフィルタリングが不足しているため、頻繁に無関係なセキュリティアラートを生成します。著者はDependabotを停止し、最新の依存関係に対して`govulncheck`とテストスイートを実行するスケジュール済みGitHub Actionで置き換えることで、ノイズを劇的に減らしながらも実際の脆弱性は検出できることを示しています。重要な例として、`filippo.io/edwards25519`（v1.1.1）の修正が挙げられます。このパッチはDependabotのデフォルト動作により、関連しないリポジトリ―例えばWycheproof―でも何千件ものPRを生成しました。対照的に、`govulncheck`は静的解析後に脆弱なシンボルが到達不能であると判断し、著者のプロジェクトでは「脆弱性なし」と報告します。 Go Vulnerability Database はモジュール、バージョン、シンボル、CVE参照などの詳細メタデータを提供しており、こうした精密なフィルタリングを可能にしています。著者は毎日実行されるワークフロー（`go get -u -t ./...`）と10:22 UTCに実行される`govulncheck`を組み合わせ、真の脅威に対してのみアラートが上がるようにしています。 CI環境を潜在的なサプライチェーン攻撃から保護するため、ワークフローではgVisorを使用したサンドボックス化ステップ`geomys/sandboxed-step`を採用しています。この手法は、各依存関係のスケジュールではなくプロジェクト自身のリリースサイクルに合わせて依存関係を更新することを推奨し、継続的なバンプなしで早期検出を実現します。この戦略は、Go Security Team が2020–21年にデータベース品質と静的解析フィルタの改善に焦点を当てたものと一致しており、Geomys のリテーナー契約（Ava Labs、Teleport、Tailscale、Sentry）によって支援されています。著者は他の開発者にも同様のワークフローを採用するよう促し、Bluesky（@filippo.abyssdomain.expert）または Mastodon（@filippo@abyssdomain.expert）でフォローしてもらうことを読者に呼びかけています

2026/02/20 22:51

**Ggml.ai、Hugging Faceと提携しローカルAIの長期的進展を確保** - 軽量機械学習モデルのリーディングプロバイダーであるGgml.aiが、Hugging Faceとパートナーシップを結びました。 - 本協業は、世界中におけるローカルAIソリューションの継続的な開発・展開を確実にすることを目的としています。 - 両社は資源やベストプラクティス、コミュニティサポートを共有し、デバイス上で動作するインテリジェンスのイノベーションを加速させていきます。

## 日本語訳： > ggml.ai の創設者は、AI を真にオープンに保ちつつ、ggml/llama.cpp スタックのメンテナンスに専念するため、Hugging Face に参加します。このパートナーシップはプロジェクトの長期的な持続可能性を保証し、ユーザーと貢献者に新たな機会を提供します。これまでの 3 年間の協力により、コア機能・ユーザーインターフェース・マルチモーダルサポート・GGUF 対応が追加されました。Llama.cpp は多くのコンシューマーハードウェア上で動作するプライベート AI プロジェクトに不可欠となっており、コミュニティは依然として独自に構成設計を行い、Hugging Face はリソースを提供しつつコードを 100 % オープンソースのまま保ちます。今後、チームはユーザー体験を優先し、ggml/llama.cpp を Hugging Face の Transformers ライブラリに「ワンクリック」で統合し、ローカル推論がクラウドソリューションと競合できるようパッケージングを改善します。これらの取り組みは、使いやすいエッジ推論スタックを構築し、開発者に日常デバイス上でプライベート AI を構築するための安定した基盤を提供するとともに、世界中でオープンソーススーパインテリジェンスエコシステムを拡大することを目的としています。