slowmo 2025-09-22 | 親コメント | トピック: 使い捨て電子タバコでWebサイトをホスティングする (bogdanthegeek.github.io) 私も非喫煙者なので知らなかったのですが、少し前に近所にできた無人カフェに使い捨て電子タバコの自販機があるのを見て知りました。下の Hacker News のコメントも、半分はあきれるような資源の無駄遣いについての内容ですね。はは。 slowmo 2025-09-22 | 親コメント | トピック: 41年ぶりに新しい最短経路アルゴリズムを発見 (arxiv.org) 2000年代末に車載ナビゲーションソフトウェア企業で働きながら経路探索モジュールを開発していた思い出(?)がよみがえりますね。 Dijkstraはナビゲーションの経路探索には遅すぎて使わず、ヒューリスティックを改良したバージョンであるA* (A Star) 探索を使います。調べてみると、A*はSSSPではなくSPSP (Single-Pair Shortest Path) アルゴリズムなんですね。 trr245 2025-09-22 | 親コメント | トピック: Learn Your Way: 生成AIで教科書を再構成する (research.google) これを実際に作ってみた立場から言うと、個別化のためには多ければ2ギガバイト以上の情報量が必要です。 kbumsik 2025-09-22 | 親コメント | トピック: markitdownとLLMを使ってPDFをMarkdownに変換する (velog.io) markitdown はフォーマット間の変換には便利ですが、PDF では絶対に使ってはいけませんね…。 すでに文書抽出では Gemini のようなマルチモーダル LLM を使う方法がたくさん出ており、ベンチマークでもかなり良い結果が出ています。ただし、問題はコストです。 docling のようなものも良いです。 kbumsik 2025-09-22 | 親コメント | トピック: pgschema - Terraformスタイルの宣言的なPostgresスキーマ移行ツール (github.com/pgschema) 機能やアプローチは Atlas と同じように見えますね: https://atlasgo.io/ zetbouaka 2025-09-22 | 親コメント | トピック: スタートアップの見えない殺し屋: 創業者の役割硬直化 (linkedin.com) 3つの主要な落とし穴にはとても共感します。ゲートキーパーが1人いるだけでも、よくない現象がいくつも起きるんですよね。 preserde 2025-09-22 | 親コメント | トピック: Reactはデフォルトとして勝っているが、フロントエンドの革新を遅らせている (lorenstew.art) 低レベル……というには……フォームを実装するなら html の input タグだけ使えば済むことなのに、state だの JSX だの非制御／制御コンポーネントだの、あまりに無駄に知っておくべきことが多く、たくさんのコードを生成しなければならないし、そういうことが本文の動機になったのではないかと思いますね preserde 2025-09-22 | 親コメント | トピック: 使い捨て電子タバコでWebサイトをホスティングする (bogdanthegeek.github.io) 私はたばこを吸わないので何の話かと思ったのですが、使い捨てであるにもかかわらず、あまりにも多くの資源が使われているということなのですね cosine20 2025-09-22 | 親コメント | トピック: RustGPT: Rustでゼロから完全実装された純粋なトランスフォーマーLLM (github.com/tekaratzas) karma -47の貫禄ｗｗ kayws426 2025-09-22 | 親コメント | トピック: Public static void main(String[] args) は死んだ (mccue.dev) 別の方法が新たに1つ増えたからといって、既存の方法が死んだと言っているように聞こえます。 本当に既存の方法は使えなくなり、新しい方法を使わなければならないのでしょうか？ heycalmdown 2025-09-22 | 親コメント | トピック: GitHubのSpec Kit - 高品質なソフトウェアをより速く開発する (github.com/github) コンセプトにはとても共感したので、新規プロジェクトで週末に少し試してみたのですが、思ったほどうまくはいきませんでした。まだ多くの改善が必要そうです。ひとまず大まかな動作はこれまで何度も紹介されているとおり、次のような流れです: 仕様原則の作成 → スペック作成 → タスク作成 → 実装 問題は、 constitution.md ファイルは「どう開発するか」に関する中核ガイドですが、「このアプリが最終的に何になるのか」は含まれていません spec.md は1つの機能を説明する文書です 「このアプリは何か」についてのマスター文書はありません GitHubで行われている議論を読んでみると、chain of specs が最終的に source of truth になる、ということのようです。首をかしげたくはなりますが、だいたいの意図は理解できました /specify と /tasaks コマンドを通じて多くの文書を成果物として生成するのですが（望んでいた結果です）、そのせいかコンテキストをすぐ消費します（Claude Codeを使用中） いったん実装に入ると、Spec Kitからはしばらく離れて、普段どおりClaude Codeとの対話を通じて実装を仕上げることになります コンテキストを使い切って compaction したり、新しくセッションを開始したりすると、Spec Kitが生成した文書の存在を忘れてしまいます tasks.md に定義された作業を進めていると、先にちゃんと作っていたものを上書きしてしまうこともありますし、バグ修正の過程で新しい機能を作ることもあって、tasks.md からだんだん離れていきます。tasks.md を永続保存する意味がよく分かりません ひとまず私が出した結論は次のとおりです 最初に考えていたものと違う結果が出ても、ひとまずスペックを最後まで仕上げて、新しいスペックを作りながら少しずつ直していくべきだ 最初のスペックはどうしても大きくなるので、アプリの機能についてはあえて説明せず、ボイラープレートだけ作るほうがよさそうだ PoCレベルで作るときは、Spec Kitは使わないほうがよさそうだ kandk 2025-09-22 | 親コメント | トピック: 3,000ドルのPi AIクラスターを作ったことを後悔している (jeffgeerling.com) wwwwwwwwwww openman 2025-09-22 | 親コメント | トピック: AIのためのデザイン - 見えない機能たち (brajeshwar.com) とても共感します。どれだけうまくできていても、干渉されるのは不快です。存在感を出さずにいて、必要だと思ったときに現れて助けてくれるのが理想ですが、その状況判断がどれだけ適切かが鍵になりそうです。人間でも上手な人とそうでない人がいますが、人工知能がこれを克服できるようになれば、革命が起きる気がします。 euphcat 2025-09-22 | 親コメント | トピック: 3,000ドルのPi AIクラスターを作ったことを後悔している (jeffgeerling.com) Vulkan について正確に言うと、「Pi 5 の iGPU がサポートする Vulkan API は、llama.cpp ではまだサポートされていない」が正しいですね。これがサポートされていたら、どれくらいの性能が出たのか気になりますね。 kaydash 2025-09-22 | 親コメント | トピック: markitdownとLLMを使ってPDFをMarkdownに変換する (velog.io) docling もいいですね joyfui 2025-09-21 | 親コメント | トピック: 超音波シェフナイフ (seattleultrasonics.com) わあ！超音波カッター！ lamanus 2025-09-21 | 親コメント | トピック: markitdownとLLMを使ってPDFをMarkdownに変換する (velog.io) markitdown は PDF パースのために https://github.com/pdfminer/pdfminer.six を使っていて、テキストや埋め込み画像はファイルからそのまま抽出します。OCR だなんて、くらくらしますね…… kuber 2025-09-21 | 親コメント | トピック: Grok 4 Fast (x.ai) gpt-oss より高くて遅いようですが、なぜこんなに多くの人が使っているのか気になります.. gongbuhow 2025-09-21 | 親コメント | トピック: 学生向けChatGPTプロンプト事例集を公開 (chatgpt.com) 韓国語のプロンプトが必要な方へ、こちらに韓国語訳されたプロンプトがあります。クリックするだけで、そのままChatGPTとClaudeに入力できます。 https://gongbuhow.com/posts/chatgpt-students-100-use-cases/ vmfovha 2025-09-21 | 親コメント | トピック: YouTubeが広告ブロッカーによる再生回数減少問題に公式言及 (9to5google.com) 5秒の広告を1〜2本流す程度なら共生する気持ちで最後まで見ていましたが、終わりのない連続広告や動画の途中途中に広告を入れるというやりすぎに出たので、すぐにAdBlockを入れました。ははっ コメントをさらに読み込む
私も非喫煙者なので知らなかったのですが、少し前に近所にできた無人カフェに使い捨て電子タバコの自販機があるのを見て知りました。下の Hacker News のコメントも、半分はあきれるような資源の無駄遣いについての内容ですね。はは。
2000年代末に車載ナビゲーションソフトウェア企業で働きながら経路探索モジュールを開発していた思い出(?)がよみがえりますね。
Dijkstraはナビゲーションの経路探索には遅すぎて使わず、ヒューリスティックを改良したバージョンであるA* (A Star) 探索を使います。調べてみると、A*はSSSPではなくSPSP (Single-Pair Shortest Path) アルゴリズムなんですね。
これを実際に作ってみた立場から言うと、個別化のためには多ければ2ギガバイト以上の情報量が必要です。
markitdownはフォーマット間の変換には便利ですが、PDF では絶対に使ってはいけませんね…。すでに文書抽出では Gemini のようなマルチモーダル LLM を使う方法がたくさん出ており、ベンチマークでもかなり良い結果が出ています。ただし、問題はコストです。
doclingのようなものも良いです。機能やアプローチは Atlas と同じように見えますね: https://atlasgo.io/
3つの主要な落とし穴にはとても共感します。ゲートキーパーが1人いるだけでも、よくない現象がいくつも起きるんですよね。
低レベル……というには……フォームを実装するなら
htmlのinputタグだけ使えば済むことなのに、state だの JSX だの非制御／制御コンポーネントだの、あまりに無駄に知っておくべきことが多く、たくさんのコードを生成しなければならないし、そういうことが本文の動機になったのではないかと思いますね私はたばこを吸わないので何の話かと思ったのですが、使い捨てであるにもかかわらず、あまりにも多くの資源が使われているということなのですね
karma -47の貫禄ｗｗ
別の方法が新たに1つ増えたからといって、既存の方法が死んだと言っているように聞こえます。
本当に既存の方法は使えなくなり、新しい方法を使わなければならないのでしょうか？
コンセプトにはとても共感したので、新規プロジェクトで週末に少し試してみたのですが、思ったほどうまくはいきませんでした。まだ多くの改善が必要そうです。ひとまず大まかな動作はこれまで何度も紹介されているとおり、次のような流れです: 仕様原則の作成 → スペック作成 → タスク作成 → 実装
問題は、
constitution.mdファイルは「どう開発するか」に関する中核ガイドですが、「このアプリが最終的に何になるのか」は含まれていませんspec.mdは1つの機能を説明する文書です/specifyと/tasaksコマンドを通じて多くの文書を成果物として生成するのですが（望んでいた結果です）、そのせいかコンテキストをすぐ消費します（Claude Codeを使用中）tasks.mdに定義された作業を進めていると、先にちゃんと作っていたものを上書きしてしまうこともありますし、バグ修正の過程で新しい機能を作ることもあって、tasks.mdからだんだん離れていきます。tasks.mdを永続保存する意味がよく分かりませんひとまず私が出した結論は次のとおりです
wwwwwwwwwww
とても共感します。どれだけうまくできていても、干渉されるのは不快です。存在感を出さずにいて、必要だと思ったときに現れて助けてくれるのが理想ですが、その状況判断がどれだけ適切かが鍵になりそうです。人間でも上手な人とそうでない人がいますが、人工知能がこれを克服できるようになれば、革命が起きる気がします。
Vulkan について正確に言うと、「Pi 5 の iGPU がサポートする Vulkan API は、llama.cpp ではまだサポートされていない」が正しいですね。これがサポートされていたら、どれくらいの性能が出たのか気になりますね。
docling もいいですね
わあ！超音波カッター！
markitdown は PDF パースのために https://github.com/pdfminer/pdfminer.six を使っていて、テキストや埋め込み画像はファイルからそのまま抽出します。OCR だなんて、くらくらしますね……
gpt-ossより高くて遅いようですが、なぜこんなに多くの人が使っているのか気になります..韓国語のプロンプトが必要な方へ、こちらに韓国語訳されたプロンプトがあります。クリックするだけで、そのままChatGPTとClaudeに入力できます。
https://gongbuhow.com/posts/chatgpt-students-100-use-cases/
5秒の広告を1〜2本流す程度なら共生する気持ちで最後まで見ていましたが、終わりのない連続広告や動画の途中途中に広告を入れるというやりすぎに出たので、すぐにAdBlockを入れました。ははっ