develosopher 15 일 전 | 親コメント | トピック: アジャイルに別れを告げて (lewiscampbell.tech) コードを読む必要がまったくないわけではないので、その観点では「ドキュメントよりコード」という言葉は有効な気がしますし、指示文としてのドキュメントは実装主体であるLLMが読むべきなので、その観点では同意できます。したがって、結論としては両方が同時に重要なのではないかと思います。 今のLLM生産物の問題は、運用段階で蓄積される負債です。継続的な運用のためには開発者がコードに関与しなければならず、そのためには少なくとも今のところ、コードはドキュメントの代わりを果たせるべきだと考えています。 djfxod 15 일 전 | 親コメント | トピック: オープンソース HWP/HWPX 処理ツール一覧 (ko.wikipedia.org) 決定的な理由が libhwp だったというより、むしろゴミみたいな集団のほうが問題だったんですよね。主語はありません。これを見て腹が立つなら、それはあなたのほうです nvkzrx 15 일 전 | 親コメント | トピック: アジャイルに別れを告げて (lewiscampbell.tech) ウォーターフォールのサイクルが1日で回るとしたら？ xguru 15 일 전 | 親コメント | トピック: SuperGemma4 - Google Gemma 4 26Bの無検閲・高速化・量子化モデル (huggingface.co) Ollama にもあります https://ollama.com/0xIbra/supergemma4-26b-uncensored-gguf-v2 もう少し大きい 31b モデルもあります https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-mlx-4bit https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-GGUF sea715 15 일 전 | 親コメント | トピック: SuperGemma4 - Google Gemma 4 26Bの無検閲・高速化・量子化モデル (huggingface.co) へえ、国内コミュニティで作られたモデルだなんて面白いですね eggplantiny 15 일 전 | 親コメント | トピック: AIが専門性を圧縮してくれるとき、それでも最後に人間に残るもの (eggp.dev) ああ、先生のご指摘はその通りです。ステートマシン自体は決定論的である、という点はその通りです。私が manifesto で導入したのは非チューリング完全ベースのもので、DSL の内部にはループが存在しません。そのおかげで、プログラムを実行する前にプログラムがどのように動作するかを計算でき、なぜそのような結果になったのかも説明できます。 ご指摘ありがとうございます！ snisper 15 일 전 | 親コメント | トピック: AIが専門性を圧縮してくれるとき、それでも最後に人間に残るもの (eggp.dev) DSL を1つ作られたのはわかるのですが、決定論的状態機械がどういう内容なのかはよくわかりませんでした。非決定論的状態機械もあるのかなと思ったり……。ともあれ、興味深く拝見しました。今後もうまく育てていかれることを願っています。 eggplantiny 15 일 전 | 親コメント | トピック: AIが専門性を圧縮してくれるとき、それでも最後に人間に残るもの (eggp.dev) いいえ、state diagram をお見せしたのは、Manifesto 内部の状態遷移を可視化する方法の一つであり、 決定論的ステートマシンをフレームワークとして作りました。 Manifesto Core 内部の計算は、同じ状態と命令に対して常に同じ結果だけが得られるように設計されています。 snisper 15 일 전 | 親コメント | トピック: AIが専門性を圧縮してくれるとき、それでも最後に人間に残るもの (eggp.dev) 要するに、state diagram を描いてくれる mini language を作ったということですか？ claudemd 15 일 전 | 親コメント | トピック: vibeコーディングで作られた患者管理アプリのセキュリティ惨事 (tobru.ch) AIを通じて専門家のふりをする人たちが増え、彼らが好き勝手に語り始めたことで、あまりにも混乱した世の中になりました ... minhoryang 15 일 전 | 親コメント | トピック: imweb障害 (imweb.com) お、もう復旧したそうですね。 keepworking 15 일 전 | 親コメント | トピック: ホームラボ 2026 の現状: セルフホスティング趣味の進化 (mrlokans.work) 市販のルーターにMACアドレスを変換してくれる機能があるか確認して、通信会社のルーターのものに変換してみれば、それも回避できそうです。 dhlee0305 15 일 전 | 親コメント | トピック: Claude Code（約100時間） vs. Codex（約20時間）の比較 (reddit.com) rhwp、活用させていただきます。 respect minhoryang 15 일 전 | 親コメント | トピック: imweb障害 (imweb.com) 10分ほど経ちました。Status pageを探しています。 jimmy2056 15 일 전 | 親コメント | トピック: damn-my-slow-kt - KTインターネットのSLA未達を自動測定＆料金減額申請するツール (github.com/kargnas) ようやく隅にしまい込んでいたMac miniの使い道を見つけましたね（笑） carnoxen 15 일 전 | 親コメント | トピック: すべての初等関数を単一の二項演算子から生成 (arxiv.org) 式で表すと、$eml(x, y) = e^x - ln(x)$ということですね。 ただ、$e^x$や$ln(x)$を一度に計算できるプロセッサが登場してこそ真価を発揮しそうです ggobp 15 일 전 | 親コメント | トピック: BOJサービス終了 (acmicpc.net) ミニマムトークンのような銘柄も追加されるといいなと思っていたのですが……残念ですね carnoxen 15 일 전 | 親コメント | トピック: vibeコーディングで作られた患者管理アプリのセキュリティ惨事 (tobru.ch) だからこそ、計算機科学を学ぶべきだという警鐘を感じますね。 heycalmdown 15 일 전 | 親コメント | トピック: openai-oauth - ChatGPTアカウントでOpenAI APIを無料で使う (github.com/EvanZhouDev) opencode や hermes agent のようなところでは Claude OAuth は削除されたかサポートされていませんが、OpenAI OAuth は今のところ引き続き提供されています。自分も openclaw を買収したから止めないだろう、と思ってあちこちで使っています。 一つ知っておくべき点は、Codex が対応している API しか使えないため、画像生成のように ChatGPT ではできても Codex ではできない機能は使えないと考えてください。 xguru 15 일 전 | 親コメント | トピック: openai-oauth - ChatGPTアカウントでOpenAI APIを無料で使う (github.com/EvanZhouDev) 私も**「個人的な実験用途」**として試してみましたが、あまりにも簡単にうまく動きますね。 Claude はこういうのを全部できないように塞いでいますが、 OpenClaw のようなものを比較的許容している OpenAI なら、個人的にだけ使う分には止めないんでしょうか……？ こういうものがあるという紹介だけですので、自己責任で使ってください コメントをさらに読み込む
コードを読む必要がまったくないわけではないので、その観点では「ドキュメントよりコード」という言葉は有効な気がしますし、指示文としてのドキュメントは実装主体であるLLMが読むべきなので、その観点では同意できます。したがって、結論としては両方が同時に重要なのではないかと思います。
今のLLM生産物の問題は、運用段階で蓄積される負債です。継続的な運用のためには開発者がコードに関与しなければならず、そのためには少なくとも今のところ、コードはドキュメントの代わりを果たせるべきだと考えています。
決定的な理由が
libhwpだったというより、むしろゴミみたいな集団のほうが問題だったんですよね。主語はありません。これを見て腹が立つなら、それはあなたのほうですウォーターフォールのサイクルが1日で回るとしたら？
Ollama にもあります
https://ollama.com/0xIbra/supergemma4-26b-uncensored-gguf-v2
もう少し大きい 31b モデルもあります
https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-mlx-4bit
https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-GGUF
へえ、国内コミュニティで作られたモデルだなんて面白いですね
ああ、先生のご指摘はその通りです。ステートマシン自体は決定論的である、という点はその通りです。私が manifesto で導入したのは非チューリング完全ベースのもので、DSL の内部にはループが存在しません。そのおかげで、プログラムを実行する前にプログラムがどのように動作するかを計算でき、なぜそのような結果になったのかも説明できます。
ご指摘ありがとうございます！
DSL を1つ作られたのはわかるのですが、決定論的状態機械がどういう内容なのかはよくわかりませんでした。非決定論的状態機械もあるのかなと思ったり……。ともあれ、興味深く拝見しました。今後もうまく育てていかれることを願っています。
いいえ、state diagram をお見せしたのは、Manifesto 内部の状態遷移を可視化する方法の一つであり、
決定論的ステートマシンをフレームワークとして作りました。
Manifesto Core 内部の計算は、同じ状態と命令に対して常に同じ結果だけが得られるように設計されています。
要するに、state diagram を描いてくれる mini language を作ったということですか？
AIを通じて専門家のふりをする人たちが増え、彼らが好き勝手に語り始めたことで、あまりにも混乱した世の中になりました
...
お、もう復旧したそうですね。
市販のルーターにMACアドレスを変換してくれる機能があるか確認して、通信会社のルーターのものに変換してみれば、それも回避できそうです。
rhwp、活用させていただきます。
10分ほど経ちました。Status pageを探しています。
ようやく隅にしまい込んでいたMac miniの使い道を見つけましたね（笑）
式で表すと、$eml(x, y) = e^x - ln(x)$ということですね。
ただ、$e^x$や$ln(x)$を一度に計算できるプロセッサが登場してこそ真価を発揮しそうです
ミニマムトークンのような銘柄も追加されるといいなと思っていたのですが……残念ですね
だからこそ、計算機科学を学ぶべきだという警鐘を感じますね。
opencode や hermes agent のようなところでは Claude OAuth は削除されたかサポートされていませんが、OpenAI OAuth は今のところ引き続き提供されています。自分も openclaw を買収したから止めないだろう、と思ってあちこちで使っています。
一つ知っておくべき点は、Codex が対応している API しか使えないため、画像生成のように ChatGPT ではできても Codex ではできない機能は使えないと考えてください。
私も**「個人的な実験用途」**として試してみましたが、あまりにも簡単にうまく動きますね。
Claude はこういうのを全部できないように塞いでいますが、
OpenClaw のようなものを比較的許容している OpenAI なら、個人的にだけ使う分には止めないんでしょうか……？
こういうものがあるという紹介だけですので、自己責任で使ってください