clickin 2025-03-27 | 親コメント | トピック: Dokploy - Vercel、Heroku、Netlifyのオープンソース代替 (github.com/Dokploy) Docker Desktopですら Kubernetes を使う時代に、Docker Swarm しかサポートしていないのは少し残念ですね。 halfenif 2025-03-27 | 親コメント | トピック: Dokploy - Vercel、Heroku、Netlifyのオープンソース代替 (github.com/Dokploy) > ERROR: Unsupported distribution 'manjaro' 試しにテストしてみようとしたら、Manjaro はサポートされていないのですね。少し残念ですが。 xguru 2025-03-27 | 親コメント | トピック: OpenAI、Agents SDKにMCPサポートを追加 (openai.github.io) Anthropic、Model Context Protocolをオープンソースとして公開 Model Context Protocol (MCP) の開発方法 MCPとAPIの比較説明 Awesome MCP Servers - Model Context Protocolをサポートするサーバー一覧 junghan0611 2025-03-27 | 親コメント | トピック: LLMを活用してコードを書く際の14の注意点 (simonwillison.net) この方のブログは本当にすごいですね。ありがとうございます。 madnix 2025-03-27 | 親コメント | トピック: AIが開発者をバカにしている (eli.cx) うーん……そもそもAIを道具として見るのか、知能として見るのかという観点の違いのようです。私はこの記事に同意できないのですが、下のコメントでも話したように、開発者をコードレベルだけで見ること自体が誤った考えですし、かつて英国で産業革命が起きたときも、農民たちは自分たちは飢え死にすると大騒ぎしていましたが、結果的にはより多くの雇用が生まれ、人類に多くの恩恵をもたらしました。また、過去にコンピュータが登場したときも、コンピュータのせいで人々はだんだん馬鹿になると言われていましたが、結果的にはより多くのことをより短時間で解決できるようになり、人々はより賢くなりました。 wowfoot 2025-03-26 | 親コメント | トピック: Google、Gemini 2.5をリリース (blog.google) ClaudeやGPT-4.5を圧倒しているが、Grok 3を何度も試したときの強さには勝てないね。 Grok 3はすごい。 wowfoot 2025-03-26 | 親コメント | トピック: 2025年にはどのAIモデルを選ぶべきか? (creatoreconomy.so) ClaudeやChatGPTはGrokより20ドル分の価値を提供してくれないので、 そのままGrokを使っています。 nemorize 2025-03-26 | 親コメント | トピック: Polypane - 意欲的なWeb開発者のためのブラウザー (polypane.app) https://responsiveviewer.org/ Chrome拡張として配布されているものもあります。一部の機能をあきらめるなら、拡張なしですぐに使うこともできます。 ohyecloudy 2025-03-26 | 親コメント | トピック: [GeekNight 2024] 認知科学研究で実証された学習補助ツール Anki:10倍効果的に活用する方法 (stdy.blog) 『プログラマーの脳』という本を読んで、flashcardを積極的に使ってみたいと思っていたところ、こういう記事を見つけて参考になりました。Spaced repetition という用語も知ることができました。 gera1d 2025-03-26 | 親コメント | トピック: TLA+ - プログラムおよび並行/分散システムをモデリングするための高水準言語 (lamport.azurewebsites.net) https://cacm.acm.org/research/… AWSでもうまく活用されていますね。 redcrash0721 2025-03-26 | 親コメント | トピック: AIの主な価値はR&Dよりも広範な自動化から生まれる (epoch.ai) https://freederia.com/%ed%94%84%eb%a1%ac%ed%94%84%ed%8a%b8-%ea%b0%a4%e… R&D自動化をテスト中です。簡単ではありませんが、遠い未来の話ではないでしょう。 clickin 2025-03-26 | 親コメント | トピック: GitHub Copilot - Agentモードを公開 (github.blog) ついにJetBrainsプラグインにも入りましたね! haung921209 2025-03-26 | 親コメント | トピック: argp - Go向け GNU スタイルのコマンドライン引数パーサー (github.com/tdewolff) cobraを使っていましたが、それに比べてargpはフラグに対していろいろなオプションを指定できますね(笑) ryj0902 2025-03-26 | 親コメント | トピック: TLA+ - プログラムおよび並行/分散システムをモデリングするための高水準言語 (lamport.azurewebsites.net) 私もこの記事で初めて見て、調べていましたね bluekai17 2025-03-26 | 親コメント | トピック: Cursor(AI IDE)はどのように動作するのか (blog.sshh.io) 試してみないといけませんね xguru 2025-03-26 | 親コメント | トピック: コーディングはプログラミングではない (socallinuxexpo.org) 私も気になって調べてみました。 TLA+ - プログラムおよび並行/分散システムをモデリングするための高度な言語 xguru 2025-03-26 | 親コメント | トピック: TLA+ - プログラムおよび並行/分散システムをモデリングするための高水準言語 (lamport.azurewebsites.net) コーディングはプログラミングではありません この記事で言及されていたので調べてみました。 aer0700 2025-03-26 | 親コメント | トピック: コーディングはプログラミングではない (socallinuxexpo.org) TLA が何なのか気になりますね。 調べてみます xguru 2025-03-26 | 親コメント | トピック: ドイツ議会、Git Contributionグラフで投票結果を表示 (abstimmung.eu) いえ、表示だけがそうなっているだけで、投票はサイトに登録して認証してから行う必要があるようです。 要約が投票議案だけを表示しているようだったので、Aboutページの要約に差し替えました。 qyurila 2025-03-26 | 親コメント | トピック: Polypane - 意欲的なWeb開発者のためのブラウザー (polypane.app) 微妙に見つけにくいのですが、GitHub Student アカウントを連携すると無料で利用できます。おかげで以前の個人プロジェクトでとても役立ちました。 コメントをさらに読み込む
Docker Desktopですら Kubernetes を使う時代に、Docker Swarm しかサポートしていないのは少し残念ですね。
> ERROR: Unsupported distribution 'manjaro'
試しにテストしてみようとしたら、Manjaro はサポートされていないのですね。少し残念ですが。
Anthropic、Model Context Protocolをオープンソースとして公開
Model Context Protocol (MCP) の開発方法
MCPとAPIの比較説明
Awesome MCP Servers - Model Context Protocolをサポートするサーバー一覧
この方のブログは本当にすごいですね。ありがとうございます。
うーん……そもそもAIを道具として見るのか、知能として見るのかという観点の違いのようです。私はこの記事に同意できないのですが、下のコメントでも話したように、開発者をコードレベルだけで見ること自体が誤った考えですし、かつて英国で産業革命が起きたときも、農民たちは自分たちは飢え死にすると大騒ぎしていましたが、結果的にはより多くの雇用が生まれ、人類に多くの恩恵をもたらしました。また、過去にコンピュータが登場したときも、コンピュータのせいで人々はだんだん馬鹿になると言われていましたが、結果的にはより多くのことをより短時間で解決できるようになり、人々はより賢くなりました。
ClaudeやGPT-4.5を圧倒しているが、Grok 3を何度も試したときの強さには勝てないね。
Grok 3はすごい。
ClaudeやChatGPTはGrokより20ドル分の価値を提供してくれないので、
そのままGrokを使っています。
https://responsiveviewer.org/
Chrome拡張として配布されているものもあります。一部の機能をあきらめるなら、拡張なしですぐに使うこともできます。
『プログラマーの脳』という本を読んで、flashcardを積極的に使ってみたいと思っていたところ、こういう記事を見つけて参考になりました。Spaced repetition という用語も知ることができました。
https://cacm.acm.org/research/… AWSでもうまく活用されていますね。
https://freederia.com/%ed%94%84%eb%a1%ac%ed%94%84%ed%8a%b8-%ea%b0%a4%e… R&D自動化をテスト中です。簡単ではありませんが、遠い未来の話ではないでしょう。
ついにJetBrainsプラグインにも入りましたね!
cobraを使っていましたが、それに比べてargpはフラグに対していろいろなオプションを指定できますね(笑)私もこの記事で初めて見て、調べていましたね
試してみないといけませんね
私も気になって調べてみました。
TLA+ - プログラムおよび並行/分散システムをモデリングするための高度な言語
コーディングはプログラミングではありません
この記事で言及されていたので調べてみました。
TLA が何なのか気になりますね。
調べてみます
いえ、表示だけがそうなっているだけで、投票はサイトに登録して認証してから行う必要があるようです。
要約が投票議案だけを表示しているようだったので、Aboutページの要約に差し替えました。
微妙に見つけにくいのですが、GitHub Student アカウントを連携すると無料で利用できます。おかげで以前の個人プロジェクトでとても役立ちました。