Show HN デイリーセレクション (2025-04-26)
- OpenAIの新しい画像APIを使ったパーソナライズ塗り絵サービス
- Leanを使った『プリンキピア・マテマティカ』の形式化
- Magnitude – Webアプリ向けオープンソースのAIネイティブテストフレームワーク
- Python統合のモダンスプレッドシート
- BugStalker - モダンなRustデバッガー
- RSS Lookup – 任意のURLからRSSフィードを検索（無料、オープンソース）
- Faasta – WASM-wasi-HTTP用のセルフホスト型サーバーレスプラットフォーム（Rust製）
- StackHound - リポジトリの技術スタックを数秒で分析
- SnipFast – 物理書籍からハイライトされたテキストを抽出
- QRコードの誤り訂正機能を体験できるインタラクティブデモ
- Claude Code – GUIとブロックベースのプロンプトエディタを備えたツール（MITライセンス）
- Loat – 自動化メールでMRRを成長させる
- AWSコストを理解するためのMCPサーバー
- OpenWrt Configurator – OpenWrtデバイスのシンプルな設定管理ツール
- Rails REST APIをModel Context Protocol（MCP）サーバーに変換
- Pomo – コード不要でStripeプロモコードを管理
- Mailfrom.dev – MailTrapのより安価な代替品
- Python製テキストベースのダンジョンクローラーゲームエンジン
- TSCE – LLM向け2段階コンテキスト強化（発言前に考える）
- Mermaid Open Editor 2.0
- Turbine – Markdown風構文のC/C++向けスクリプト言語
OpenAIの新しい画像APIを使ったパーソナライズ塗り絵サービス [画像]
46ポイント, 26コメント
家族写真からパーソナライズされた塗り絵帳を生成するサービス。OpenAIの画像APIを使用。
- OpenAIの画像APIでアップロード写真から塗り絵ページを自動生成
- 印刷サービスと連携して物理的な塗り絵帳を配送
- 大人から子供まで楽しめる創造的でカタルシス効果のある体験
- 早期ユーザー向けに10%割引を提供
Leanを使った『プリンキピア・マテマティカ』の形式化 [研究]
84ポイント, 21コメント
バートランド・ラッセルの『プリンキピア・マテマティカ』をLean定理証明器で形式化するプロジェクト。元の証明を忠実に再現。
- Lean4で『プリンキピア・マテマティカ』第1巻を形式化
- ラッセルの証明を最小限の追加文で厳密に再現
- 高い正確性を目指し、不正確さに関するフィードバックを歓迎
- 既存のCoqベース形式化から着想を得つつも独自のアプローチ
- GitHubでオープンソース公開、コラボレーション可能
Magnitude – Webアプリ向けオープンソースのAIネイティブテストフレームワーク [開発者ツール]
113ポイント, 30コメント
Webアプリ向けのオープンソースAIネイティブテストフレームワーク。視覚的LLMエージェントで高速・低コスト・高信頼性のテストを実現。
- エラーが発生しやすい「マークセット」システムではなく純粋な視覚を使用
- OpenAI/Anthropicよりも高速・低コストな小型VLM（Moondream）を採用
- テストケース適応用プランナーと迅速な実行用エグゼキュータの2エージェントシステム
- 効率化のためテストプランを保存・再利用、問題発生時はプランナーにフォールバック
- 完全オープンソース、Webテストに特化して最適化
Python統合のモダンスプレッドシート [生産性]
44ポイント, 6コメント
大規模データセットを効率的に処理するPython統合型モダンスプレッドシートツール。
- 大規模データセット（4GB以上）を処理、GB/3200万行ファイルを秒単位でロード
- 500GBのRAM使用までクラッシュなしで対応
- CSV/テキストファイルの編集、分割、結合、クレンジング（最大3200万行×100万列）
- Python関数をUDF式として使用可能、画像やCSVファイルを返すことも可能
- 統計的ピボットデータ関数と事実上無制限の変数制限のソルバー関数を搭載
- 数百万データポイントでも即座にチャート生成
- ユーザーフィードバックを積極的に取り入れて改善
BugStalker - モダンなRustデバッガー [開発者ツール]
103ポイント, 15コメント
Rustで書かれたモダンなRustデバッガー。
- Rustアプリケーション向けモダンデバッガー
- Rust言語自体で記述
- Rustアプリケーションのデバッグに特化
RSS Lookup – 任意のURLからRSSフィードを検索（無料、オープンソース） [開発者ツール]
4ポイント, 3コメント
メタタグ、フォールバックパス、ハードコードされたフィードを分析して任意のURLからRSSフィードを検索する無料オープンソースツール。
- 任意のウェブサイトURLからRSSフィードを自動検索
- メタタグ、フォールバックパス、人気サイト向けハードコードフィードを使用
- 広告なし、URLトラッキングなしのオープンソース
- 悪用防止にCloudflare Turnstile、分析にPlausibleを採用
Faasta – WASM-wasi-HTTP用のセルフホスト型サーバーレスプラットフォーム（Rust製） [開発者ツール]
86ポイント, 30コメント
FaastaはWASI-HTTP準拠のセルフホスト型サーバーレスプラットフォーム。Rust製で効率的なマルチテナンシーと高並列性を実現。
- オープンソースで標準準拠のWASI-HTTPホスティング
- 単一プロセスで数千の関数呼び出しを同時実行可能
cargo install cargo-faastaでCLIユーティリティをインストール可能- GitHub OAuthデプロイメントで無料ホスティングインスタンスを提供（アカウントあたり10関数制限）
- AWS Lambdaなどの従来型VMベースサーバーレスソリューションよりも効率的
StackHound - リポジトリの技術スタックを数秒で分析 [開発者ツール]
5ポイント, 1コメント
StackHoundはGitHubリポジトリをスキャンし、依存関係ファイルから実際の技術スタックを明らかにします。
- ツール、フレームワーク、言語を特定するため依存関係ファイルをスキャン
- React、Next.js、Tailwind、Flask、Spring Bootなどに対応
- GitHubユーザー名とリポジトリを入力するだけで即時分析
- カスタムツール統合用のAPIエンドポイントを提供
- オープンソース、ライブデモ付き
SnipFast – 物理書籍からハイライトされたテキストを抽出 [教育]
9ポイント, 0コメント
ページ写真からハイライトされたテキストを自動検出・抽出するツール。
- ページ写真からハイライトテキストを自動検出・抽出
- 正確なコピーのため文を手動選択可能
- ハイライト検出用カスタムMLモデルを使用
- 悪用防止のため無料トライアル後に少額課金
- 読者、学生、研究者向けに設計
- Kotlinバックエンド、Postgresデータベース
- UIと使い勝手に関する初期段階のフィードバックを募集
QRコードの誤り訂正機能を体験できるインタラクティブデモ [コンシューマーテック]
10ポイント, 2コメント
QRコードに描画してリアルタイムで損傷影響を確認できる誤り訂正機能のインタラクティブデモ。
- ヘルスバーとダメージカウンターでQRコードの誤り許容度を可視化
- 詳細分析のため描画モードと検査モードを切り替え可能
- 正確なリアルタイムフィードバックのためWebAssemblyコンパイルC++デコーダーを使用
- ブレークポイント確認のため電話スキャンでの検証を推奨
- 最小データ領域損傷チャレンジでQRコードの回復力を実証
Claude Code – GUIとブロックベースのプロンプトエディタを備えたツール（MITライセンス） [開発者ツール]
3ポイント, 1コメント
Claude CodeはClaudeを使ったコーディング向けにGUIとブロックベースのプロンプトエディタを提供します。
- グラフィカルユーザーインターフェース（GUI）を備える
- ブロックベースのプロンプトエディタを含む
- MITライセンスのオープンソース
Loat – 自動化メールでMRRを成長させる [マーケティング]
4ポイント, 2コメント
Loatは専用CRM不要で成長とオンボーディングのためのメールキャンペーンを自動化するプラットフォーム。
- 製品別にメールシーケンスを自動化
- 教育用育成キャンペーンとニュースレターをサポート
- リーンチームがメールを成長チャネルとして最大化できるよう設計
- 高信頼税務製品で使用された内部ツールから構築
AWSコストを理解するためのMCPサーバー [金融]
14ポイント, 3コメント
Vantage API経由でAWSコストと使用量データにClaudeやCursorなどのLLMを接続し、AI駆動のクラウドコスト管理を可能にするMCPサーバー。
- LLM（Claude、Cursor、近日中にChatGPTとGemini予定）と統合
- 20以上のクラウドプロバイダー（AWS、Datadog、MongoDBなど）をサポート
- アドホックなコストクエリ、アクションプラン、マルチツールワークフローを可能に
- APIアクセスのためVantageアカウントが必要
- オープンソース（GitHubリポジトリあり）
OpenWrt Configurator – OpenWrtデバイスのシンプルな設定管理ツール [開発者ツール]
3ポイント, 0コメント
複数OpenWrtデバイス間での設定プロビジョニングを簡素化するCLIツール。Web UIとオープンソースUniFi Controller代替の計画あり。
- 複数OpenWrtデバイスでの設定管理を簡素化
- 迅速でスクリプト可能な管理のためCLIベース
- 将来的に使いやすさ向上のためWeb UIを計画
- UniFi Controllerのオープンソース代替を目指す
Rails REST APIをModel Context Protocol（MCP）サーバーに変換 [開発者ツール]
3ポイント, 0コメント
Rails REST APIをModel Context Protocol（MCP）サーバーに変換します。
- Rails REST APIをMCPサーバーに変換
- モデルコンテキストプロトコルでAPI機能を拡張
Pomo – コード不要でStripeプロモコードを管理 [ビジネス]
4ポイント, 6コメント
Stripeプロモコードをバッチ作成・管理する無料ツール。コーディング不要。
- Stripeプロモコード作成のためのノーコードソリューション
- カスタマイズ可能なプレフィックス付きバッチ生成
- Stripe APIキーを使った簡単セットアップ
- マーケティングキャンペーン用にプロモコードをエクスポート可能
Mailfrom.dev – MailTrapのより安価な代替品 [開発者ツール]
3ポイント, 2コメント
開発/ステージング環境で実際のメール送信なしにメールフローをテストするシンプルで手頃な価格のサンドボックスSMTPサーバー。
- MailTrapのより手頃な価格の代替品
- チーム/クライアントとの簡単なセットアップと共有
- リセット、オンボーディング、検証などのメールフローテストをサポート
- Laravel、Vue 3、shadcnで構築、k3s（Hetzner）でホスティング
- ストレージとメール処理にAWS S3とSESを使用
Python製テキストベースのダンジョンクローラーゲームエンジン [エンターテインメント]
3ポイント, 0コメント
手術後の回復期間中に作成されたPythonベースのテキストダンジョンクローラーエンジン。
- JSONで定義されたゲームワールド
- 部屋、戦利品、モンスターを含む
- GitHubでオープンソース公開
[ディスカッションリンク](