softer 2025-07-28 | 親コメント | トピック: GPTの使用は認知的負債を引き起こすのか:エッセイ作成実験の分析 (media.mit.edu) 要約さえもllm.. roxie 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) 理解しました、ありがとうございます regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) Adaの利点は、おおむね「Cよりはましだ」という方向です。Cでは開発者を信頼して許容されるものが広く、その制約の少なさが大きいですね。暗黙的な型変換のようなものです。でも、ほとんどの開発者は慣れているからか、Cのほうを好むようです... 私が扱っているコードベースの特徴かもしれませんが、ほとんどすべてを別個の型として宣言して使っています。基本型を使うのは配列のインデックスくらいですね。 roxie 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) 興味があってお聞きします。ほかの一般的な型付き言語と比べて、異なる利点もあるのでしょうか?(kotlin, rust, typescript, ...) harris 2025-07-28 | 親コメント | トピック: AIの進歩に追いつくための私なりの方法(そしてあなたも必ずやるべき理由) (blog.nilenso.com) 同感です brain1401 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) Rustもこういう形で使っていますし、確かに良いと思います mstorm 2025-07-28 | 親コメント | トピック: アプリをダウンロードせず、Webサイトを使おう (idiallo.com) アプリの最大の理由は、マーケティングのためのプッシュ通知にある。 oninepa 2025-07-28 | 親コメント | トピック: 24時間で10億ページをクロールした、2025年版大規模クローラー構築記 (andrewkchan.dev) すごいですね..パチパチパチ... regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) 型システムがしっかりしている言語を使っていれば、こういうことも防げたのではないでしょうか.. 1999年9月 NASA火星気候オービター消失 力の大きさを表す際に、ポンド単位を使うモジュールとニュートン単位を使うモジュールの間でデータ連携の問題が起き、探査機が誤って制御されて墜落。 regentag 2025-07-28 | 親コメント | トピック: 型システムを活用しよう (dzombak.com) Ada言語は、この点で非常に優れた型システムを持っています。種類の異なる値は簡単に別の型として宣言でき、混在した場合もコンパイラがうまく検出してくれます。 laeyoung 2025-07-27 | 親コメント | トピック: ベクター地図タイルのOpenStreetMap.orgでの配信が開始 (blog.openstreetmap.org) ベクターをやりたくて Mapbox みたいなものを使う必要がありましたが、これで自前運用したいならできなくはなさそうですね depth221 2025-07-27 | 親コメント | トピック: ベクター地図タイルのOpenStreetMap.orgでの配信が開始 (blog.openstreetmap.org) リンクにアクセスできない場合は、以下のリンクからアクセスしてください。 日本語: https://blog.openstreetmap.org/2025/07/22/vector-map-tiles-are-being-deployed-on-openstreetmap-org/?lang=ko 英語: https://blog.openstreetmap.org/2025/07/22/vector-tiles-are-deployed-on-openstreetmap-org/ spp00 2025-07-27 | 親コメント | トピック: モダンCSSがSPAに取って代わる時代です (jonoalderson.com) 同意します。Google Docsのような複雑なWebアプリでなければ、Rails陣営が作ったHowiredでも十分ですし、静的ページならAstroでも十分だと思います。 changheeoh 2025-07-27 | 親コメント | トピック: 「国家代表AI」候補は10社に絞り込み…ネイバー・カカオ・LG・SKT・KTなどが通過 (korea.kr) このようなやり方で何かを成功させた事例はほとんどないと認識しているので、懸念が先に立つのが正直なところ。 たとえ成功したとしても、税金が投入される以上、公共の利益のために活用するための契約条件も重要だと思う。 dogtree 2025-07-27 | 親コメント | トピック: ゲームにおける車両プログラミング (wassimulator.com) 「車両で車両をプログラミングする」と読み間違えて、これはちょっと危険なんじゃないか?と思いましたね 3ae3ae 2025-07-27 | 親コメント | トピック: Conductor - 複数のClaude Codeを同時実行できるMacアプリ (conductor.build) 200ドルのプランでClaude Squadを使って1回に8セッションずつ作業することがありますが、Opusさえ使わなければ使用量はなんとか持ちこたえられます。 3ae3ae 2025-07-27 | 親コメント | トピック: AIコーディングエージェントがプログラミング言語の壁を壊しつつある (railsatscale.com) 不慣れな言語を実際に書くことはできなくても、ざっと読むことならできる場合が多いので、以前より時間が短縮されるのは確かだと思います howudoin 2025-07-27 | 親コメント | トピック: モダンCSSがSPAに取って代わる時代です (jonoalderson.com) 強く同意します 端的な例として、React自体もフロントエンド版のSpringです 重くて複雑で、業務は便利になったように見えますが、実際には軽い仕事をするためにより複雑な手順を設定し、そのうえでわざわざ複雑になった手順を便利にしているという、妙な便利さです howudoin 2025-07-27 | 親コメント | トピック: アプリをダウンロードせず、Webサイトを使おう (idiallo.com) まったくその通り。 アプリの目的は、明らかに企業にとって権限の獲得を優先することだ kaydash 2025-07-27 | 親コメント | トピック: QueryPieコミュニティエディション:SQL、サーバー、Kubernetes、Webの統合アクセス制御を無料で体験 (dailysecu.com) でも、開発者は結局、applicationとの連携テスト目的でサーバーに入ってDBアクセスを直接しなければならないこともあるのですが.. コメントをさらに読み込む
要約さえもllm..
理解しました、ありがとうございます
Adaの利点は、おおむね「Cよりはましだ」という方向です。Cでは開発者を信頼して許容されるものが広く、その制約の少なさが大きいですね。暗黙的な型変換のようなものです。でも、ほとんどの開発者は慣れているからか、Cのほうを好むようです...
私が扱っているコードベースの特徴かもしれませんが、ほとんどすべてを別個の型として宣言して使っています。基本型を使うのは配列のインデックスくらいですね。
興味があってお聞きします。ほかの一般的な型付き言語と比べて、異なる利点もあるのでしょうか?(kotlin, rust, typescript, ...)
同感です
Rustもこういう形で使っていますし、確かに良いと思います
アプリの最大の理由は、マーケティングのためのプッシュ通知にある。
すごいですね..パチパチパチ...
型システムがしっかりしている言語を使っていれば、こういうことも防げたのではないでしょうか..
1999年9月 NASA火星気候オービター消失
Ada言語は、この点で非常に優れた型システムを持っています。種類の異なる値は簡単に別の型として宣言でき、混在した場合もコンパイラがうまく検出してくれます。
ベクターをやりたくて Mapbox みたいなものを使う必要がありましたが、これで自前運用したいならできなくはなさそうですね
リンクにアクセスできない場合は、以下のリンクからアクセスしてください。
日本語: https://blog.openstreetmap.org/2025/07/22/vector-map-tiles-are-being-deployed-on-openstreetmap-org/?lang=ko
英語: https://blog.openstreetmap.org/2025/07/22/vector-tiles-are-deployed-on-openstreetmap-org/
同意します。Google Docsのような複雑なWebアプリでなければ、Rails陣営が作ったHowiredでも十分ですし、静的ページならAstroでも十分だと思います。
このようなやり方で何かを成功させた事例はほとんどないと認識しているので、懸念が先に立つのが正直なところ。
たとえ成功したとしても、税金が投入される以上、公共の利益のために活用するための契約条件も重要だと思う。
「車両で車両をプログラミングする」と読み間違えて、これはちょっと危険なんじゃないか?と思いましたね
200ドルのプランでClaude Squadを使って1回に8セッションずつ作業することがありますが、Opusさえ使わなければ使用量はなんとか持ちこたえられます。
不慣れな言語を実際に書くことはできなくても、ざっと読むことならできる場合が多いので、以前より時間が短縮されるのは確かだと思います
強く同意します
端的な例として、React自体もフロントエンド版のSpringです
重くて複雑で、業務は便利になったように見えますが、実際には軽い仕事をするためにより複雑な手順を設定し、そのうえでわざわざ複雑になった手順を便利にしているという、妙な便利さです
まったくその通り。
アプリの目的は、明らかに企業にとって権限の獲得を優先することだ
でも、開発者は結局、applicationとの連携テスト目的でサーバーに入ってDBアクセスを直接しなければならないこともあるのですが..