人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

Claude Code：AIコーディングエージェントにおけるシンプルさと喜び

2025-08-24
Claude Code：AIコーディングエージェントにおけるシンプルさと喜び

この記事では、Claude 4モデルをベースとしたAIコーディングアシスタントであるClaude Codeについて掘り下げ、その驚くべきシンプルさとデバッグの容易さを強調しています。Claude Codeの内部動作を分析することで、著者はその成功の秘訣を明らかにします。それは、シングルスレッドアーキテクチャ、シンプルなプロンプトとツール、そして複雑なRAG検索アルゴリズムの回避です。Claude Codeは、綿密に設計されたプロンプトエンジニアリング、豊富な例とヒューリスティック、モデル動作の厳格な制御を通じて、効率的で信頼性の高いコード編集と生成を実現しています。この記事では、コードのシンプルさを維持することと、低コストの小型モデルを活用することの重要性も強調しており、同様のAIコーディングアシスタントを構築するための貴重な洞察とガイダンスを提供しています。

続きを読む
(minusx.ai)
開発

ニューラルネットワークはどのように猫を認識するか：シンプルな分類器から複雑なモデルまで

2025-08-24
ニューラルネットワークはどのように猫を認識するか：シンプルな分類器から複雑なモデルまで

コンピューターに猫の写真を認識させるのは容易ではありません。しかし、ニューラルネットワークは、数百万、数十億もの例から学習することで、今では簡単にそれを実現しています。この記事は、猫の写真認識を例に、ニューラルネットワークの基本原理を説明しています。シンプルな分類器を構築し、数学関数（ニューロン）を使用して入力データを処理し、最終的に、カテゴリーを区別するための最適な境界を見つける方法です。プログラミングの知識がなくても理解できるよう、ニューラルネットワークの動作を分かりやすく解説しています。

続きを読む
(www.quantamagazine.org)
AI

AIブラウザの脆弱性：間接的なプロンプトインジェクション攻撃

2025-08-24
AIブラウザの脆弱性：間接的なプロンプトインジェクション攻撃

Braveのセキュリティチームは、Perplexity CometなどのAIブラウザに重大な脆弱性があることを発見しました。攻撃者はWebページに悪意のある命令を埋め込み、AIアシスタントをだまして、ユーザーの銀行口座へのアクセスやパスワードの窃取など、許可されていない操作を実行させることができます。この攻撃は、AIアシスタントがユーザーの指示とWebページの内容を区別できない点を悪用し、従来のWebセキュリティメカニズムを回避します。この脆弱性は、AIブラウザのセキュリティの重要性を強調しており、ブラウザベンダーは強力なAIエージェント機能を展開する前に、セキュリティを優先する必要があります。

続きを読む
(brave.com)
テクノロジー

バドミントンの禁止されたスピンサーブの物理学

2025-08-24
バドミントンの禁止されたスピンサーブの物理学

ほぼ返球不可能なスピンで知られる、最近禁止されたバドミントンサーブを、中国の物理学者たちが分析しました。ラケットとの接触直前に事前スピンを加える「スピンサーブ」は、不公平なアドバンテージへの懸念から、2023年にバドミントン世界連盟（BWF）によって禁止されました。Physics of Fluidsに掲載されたBWFの研究は、シャトルコックの複雑な空気力学を掘り下げ、その独特の羽の構造とスピンがサーブの有効性にどのように寄与するかを明らかにしています。この研究は、一見単純なスポーツ技術の裏にある複雑な物理学を浮き彫りにし、フェアプレーを維持するためのBWFの取り組みを強調しています。

続きを読む
(arstechnica.com)
ゲーム スピンサーブ

LLM対決：130件のプロンプトによる現実的な評価

2025-08-24

著者は、プログラミング、システム管理タスク、技術的な説明、創造的なプロンプトの4つのカテゴリにわたり、bash履歴から130件のプロンプトを使用して、12以上のLLMの現実的な評価を行いました。オープンソースモデルは、Gemini 2.5 Proなどのクローズドソースオプションと比較して、精度、速度、コスト効率において常に優れていました。著者は、高速で安価なオープンソースモデルの組み合わせを使用し、必要に応じてより強力なクローズドソースモデルを補足することで結論付けました。

続きを読む
(darkcoding.net)
AI パフォーマンス評価

ラインスキャンカメラによる鉄道写真：画像処理への深い探求

2025-08-24
ラインスキャンカメラによる鉄道写真：画像処理への深い探求

この記事では、著者がラインスキャンカメラを使用して素晴らしい鉄道写真を撮影するために用いた画像処理パイプラインについて詳細に説明しています。動作原理から始まり、著者は関心領域の検出、速度推定、リサンプリング、デモザイキング、垂直縞の除去、ノイズ除去、スキュー補正といった各ステップを丹念に解説しています。また、AIによるコーディング経験の共有、長所と短所の比較、他のラインスキャン写真家の作品紹介も行われています。これは、技術と画像処理の世界における粘り強さと創造性を示す、魅力的な技術的探求です。

続きを読む
(daniel.lawrence.lu)
テクノロジー ラインスキャンカメラ

WiXツールセット：Windowsインストーラー作成の簡素化

2025-08-24
WiXツールセット：Windowsインストーラー作成の簡素化

WiXツールセットは、Windowsインストーラーパッケージを作成するための強力なオープンソースツールです。一般的なビルドの概念を使用して、ソースコードを.exeセットアップバンドル、.msiインストーラー、.msmマージモジュール、.mspパッチにコンパイルおよびリンクします。WiXは、MSBuildなど、さまざまなビルドシステムと連携し、IIS Webサイトのインストール、SQL Serverデータベースの作成、Windowsファイアウォールの例外の登録などのタスクのための拡張機能を提供します。WiXのブートストラッパーであるBurnは、.NET Frameworkなどの必須コンポーネントのインストールを処理します。SDKには、Windowsインストーラーとのより簡単な対話のためのマネージドライブラリとネイティブライブラリが含まれています。WiXツールセットの完全な機能にはオープンソースのメンテナンス料金が必要であることに注意してください。ただし、コミュニティサポートと商用サポートのオプションがあります。

続きを読む
(github.com)
開発

中断後の回復時間23分15秒の都市伝説

2025-08-24

作業の中断から回復するのに23分15秒かかるという一般的な主張があります。しかし、頻繁に引用される研究論文はこの主張を裏付けていません。著者は20分かけて起源をたどり、この数字が論文自体ではなく、Gloria Mark教授の複数のインタビューから来ていることを発見しました。多くの記事がこの数字を引用していますが、その元の出典は不明なままであり、オンラインで議論を巻き起こしています。

続きを読む
(blog.oberien.de)
その他 情報源の検証

CSSのrandom()関数：JavaScriptを使わずにランダムアニメーションを実現

2025-08-24
CSSのrandom()関数：JavaScriptを使わずにランダムアニメーションを実現

CSSに`random()`関数が追加され、ウェブデザインが一変します！JavaScriptを使わずに、CSS内で乱数を生成し、アニメーションの遅延、ランダムなレイアウト、ランダムな色などを実現できます。この関数は最小値、最大値、ステップの3つの引数を取り、カスタムプロパティや`element-shared`キーワードを使用して、要素内やグローバルでの乱数の共有を柔軟に制御できます。星雲の生成、ランダム配置された長方形、写真スタックなどの例を通して`random()`関数の威力を示し、開発者からのフィードバックを求めています。

続きを読む
(webkit.org)
開発 random関数

あなた自身のコーディングエージェントを構築する：AI習得のための300行のコード

2025-08-24
あなた自身のコーディングエージェントを構築する：AI習得のための300行のコード

2025年、常に進化するテクノロジーの現状において、独自のコーディングエージェントを構築することは、競争優位性を求める開発者にとって不可欠なスキルとなっています。Canvaの元開発者生産性テクニカルリードであり、現在SourcegraphのエンジニアであるGeoffrey Huntley氏は、わずか300行のコードで基本的なコーディングエージェントを構築する方法を実践的なワークショップで説明しています。LLMトークンとシンプルなループを活用することで、エージェントはファイルリーダーやbashコマンド実行者などのツールと連携し、コーディングタスクを自動化します。Huntley氏は、適切なエージェント型LLMモデル（Claude Sonnetなど）を選択し、コンテキストウィンドウを効率的に管理してパフォーマンスのボトルネックを回避することの重要性を強調しています。このスキルを習得することで、あなたはAIの消費者から創造者へと変貌し、今日の厳しいテクノロジー業界で成功を収めることができます。

続きを読む
(ghuntley.com)
開発

地味なガイッスラー管：現代技術の祖先

2025-08-23
地味なガイッスラー管：現代技術の祖先

1854年、ガラス吹き職人のハインリッヒ・ガイッスラーは、初期のガス放電管であるガイッスラー管を発明しました。一見単純なこの発明は、現代の無数の技術の祖先となりました。ガイッスラー管は、蛍光灯やネオンライトの発展につながり、さらに重要なことに、物理学に革命を起こし、電子の発見やX線の発見に重要な役割を果たしました。その進化は、ブラウン管ディスプレイや真空管へと至り、最終的に現代の電子計算機の基礎を築きました。この控えめな技術は、今日の私たちの生活に大きな影響を与えています。

続きを読む
(www.hopefulmons.com)
テクノロジー ガイッスラー管

CUDA C++ で Flash Attention を実装する冒険

2025-08-23

この記事では、著者がCUDA C++でFlash Attentionを実装し、最適化していく過程を詳細に説明しています。基本的な実装から始めて、共有メモリのスウィズリング、2段階パイプライン、より効率的なldmatrixの使用などの手法を用いてカーネルを段階的に改良しました。反復的なプロファイリングと最適化により、最終的な実装はハードウェアの理論限界に近いパフォーマンスを実現しています。また、オンラインsoftmaxの実装の詳細や、共有メモリのバンク競合の解決策についても深く掘り下げており、CUDA C++開発者にとって貴重な知見を提供しています。

続きを読む
(gau-nernst.github.io)
開発

Bild AI：ファウンディングエンジニア（応用AI）募集 - AIで建設業界に革命を起こす

2025-08-23
Bild AI：ファウンディングエンジニア（応用AI）募集 - AIで建設業界に革命を起こす

急成長中のスタートアップ企業Bild AIは、応用AI分野のファウンディングエンジニアを募集しています。最先端のコンピュータビジョンとLLMを用いて、建設における設計図の理解という複雑な問題に取り組んでいます。理想的な候補者は、Python、機械学習、深層学習に関する高いスキルを持ち、ゼロからAIソリューションを構築・展開してきた実績が必要です。これは大きな影響力を持つ役割であり、成長マインドセットと、ユーザーフィードバックに基づいて迅速に反復する能力が求められます。有料顧客が利用する製品を構築した経験は大きなプラスとなります。

続きを読む
(www.workatastartup.com)
AI

Coltテレコム、データ流出：Warlockランサムウェア集団が20万ドル要求

2025-08-23
Coltテレコム、データ流出：Warlockランサムウェア集団が20万ドル要求

英国の通信会社Colt Technology Servicesは、データ流出を発表しました。Warlockランサムウェア集団がダークウェブ上で顧客データのオークションを行っており、財務情報、ネットワークアーキテクチャデータ、顧客情報など100万件の文書を20万ドルで販売しようとしています。Coltはセキュリティに関するアドバイザリーを発表し、流出したファイル名のリストを顧客に提供しています。この攻撃はSharePointの脆弱性を悪用したもので、サイバーセキュリティリスクの高さを示しています。

続きを読む
(www.bleepingcomputer.com)
テクノロジー

JavaScript不要のオンラインボードゲーム：漸進的エンハンスメントのケーススタディ

2025-08-23

この記事では、オンラインボードゲームサイトがサーバーサイドレンダリング、標準的なHTML要素、URLパラメータを用いて、JavaScriptを完全にオプションにする方法を説明しています。リアルタイムアップデートはページの自動更新に置き換えられ、ドロップダウンメニューやモーダルにはネイティブHTML要素が使用されました。サーバー負荷とコードの複雑さは増しましたが、このアプローチにより、初期ページ読み込み速度とサイトの堅牢性が向上し、より意味論的に正しいHTMLなどの予期せぬ利点も得られました。しかし、著者は、JavaScriptを嫌うユーザーをターゲットにしない限り、追加の労力は報われないと結論付け、最終的には追加コードを削除する予定です。

続きを読む
(bejofo.com)
開発 漸進的エンハンスメント

最も厳しい集中アプリ：慈悲なし、言い訳なし

2025-08-23
最も厳しい集中アプリ：慈悲なし、言い訳なし

可愛い集中アプリは忘れてください。これは容赦ないアプリです。開始ボタンはありません。使うには、スマホを置くしかありません。スマホを手に取ると、耳をつんざくサイレンが鳴り響き、全ての進捗が消去されます。これは有料アプリで、無料機能はありません。開発者は、もしこれにお金を払えないなら、このアプリはあなたのためではない、と主張しています。このアプリは、最も厳しく、最も効果的なアプリを目指しており、注意経済への防御システムとして、気を散らすことへの厳しい罰則を通じて規律を強制します。

続きを読む
(apps.apple.com)
開発 規律 有料アプリ

Readysetデータベース：ICPによるコールドパスクエリのパフォーマンス最適化

2025-08-23
Readysetデータベース：ICPによるコールドパスクエリのパフォーマンス最適化

Readysetデータベースは、キャッシュミス（コールドパス）時のクエリパフォーマンス、特に述語が結合の両側をフィルタリングする結合クエリにおいて、大幅な性能向上を実現しました。以前のハッシュ結合アルゴリズムは、関連性の低いデータの大量読み込みにより非効率でした。Index Condition Pushdown（ICP）の導入により、Readysetは左側の述語の結果と右側の述語を組み合わせ、ストレージエンジンレベルで正確なデータ検索を可能にし、フルテーブルスキャンを回避します。ベンチマークテストでは、スループットが450倍以上向上し、レイテンシが450倍以上削減されたことが示され、コールドパスクエリの性能ボトルネックを効果的に解決しました。

続きを読む
(readyset.io)
開発 インデックス条件プッシュダウン 結合クエリ

ArduinoOS：Arduino向け軽量RTOS

2025-08-23
ArduinoOS：Arduino向け軽量RTOS

ArduinoOSは、Arduino向けの軽量なリアルタイムオペレーティングシステム（RTOS）です。スレッドセーフティ（ロックによる競合防止）、例外処理（try-catch-clearException、例外継承とカスタムタイプサポート）、カーネルパニック処理（OnKernelPanic関数）、メモリ管理関数（freeMemory、freeStack）、設定可能なスレッドスタックサイズ（InitTaskWithStackSize）、スレッド引数渡し（InitTaskWithArgument）、設定可能なカーネルティック周期などを備えています。また、様々なハードウェアに対する抽象クラスを提供し、ハードウェアとのやり取りを簡素化します。

続きを読む
(github.com)
開発

Librebox：Roblox互換のオープンソースゲームエンジンが登場

2025-08-23
Librebox：Roblox互換のオープンソースゲームエンジンが登場

Libreboxは、Luauを実行する新しいオープンソースゲームエンジンであり、Roblox Public APIを複製してシームレスなコード互換性を実現することを目指しています。開発者は完全な制御権を得て、使い慣れたインターフェースで没入型ゲームを作成しながら、プラットフォームを所有することができます。現在デモ段階にあり、基本的なシーンレンダリング、ライティング、シャドウなどを備えており、将来の計画には物理演算、ネットワーク機能、完全な機能セットが含まれます。Libreboxは完全に無料でオープンソースであり、Robloxのコードやアセットとは無関係です。自由と所有権を求めるゲーム開発者にとって魅力的な選択肢となります。

続きを読む
(github.com)
ゲーム

RFC 9839：問題のあるUnicode文字の危険性に対処する

2025-08-23
RFC 9839：問題のあるUnicode文字の危険性に対処する

この記事では、Unicode文字セットに潜む危険性について説明し、RFC 9839に焦点を当てています。このRFCは、ソフトウェアやネットワークプロトコルで問題を引き起こす可能性のあるUnicode文字を特定し、より安全な3つのサブセットを提案しています。JSONのユーザー名例を使用して、これらの文字が引き起こす可能性のある潜在的な問題を示しています。著者はRFC 9839をより包括的なPRECIS標準と比較し、検証のためのGoライブラリを推奨しています。

続きを読む
(www.tbray.org)
開発 文字の安全性

暖かい夜：植物生育の静かな殺し屋

2025-08-23

この記事では、暖かい夜が植物の生育に与える影響を探っています。植物は動物と同様に呼吸を行い、糖を燃やしてエネルギーを生み出します。光合成で生産された糖が呼吸の需要を満たせなくなると、植物は最終的に死滅します。暖かい夜は呼吸を加速させ、植物はより多くのエネルギーを消費し、最終的には生育不良や死に至ります。これは、涼しい気候の植物にとって特に有害です。この記事では、トマトを例に、暖かい夜が植物の生育に与える悪影響を説明し、様々な光合成の種類（C3、C4、CAM）の異なる温度における効率の違いについても解説しています。

続きを読む
(www.crimepaysbutbotanydoesnt.com)
その他

Linuxクラウドスタックにおける機密コンピューティング：バランスの取れた取り組み

2025-08-23

パブリッククラウドは、本質的にVMのプライバシーを制限します。機密コンピューティングは、ハイパーバイザーからもゲストメモリを保護し、プライバシーに関する懸念に対処します。しかし、機密VMをサポートするには、Linuxクラウドスタックの再考が必要であり、パフォーマンスとセキュリティのバランスを取る必要があります。この記事では、ハードウェアの分離、ソフトウェアのセキュリティメカニズム、および機密コンピューティングが、Linuxクラウドスタックのブートプロセス、セキュアブート、リモートアテステーションなどにどのように影響するかを調べます。DRAMの暗号化/復号化、メモリページの受け入れ、ASIDの制限など、スケーラビリティとパフォーマンスの課題を分析します。機密コンピューティングはセキュリティを向上させますが、ファームウェアとハードウェアへの依存性を高め、サードパーティへの信頼への依存を減らすために、RISC-Vなどのオープンアーキテクチャのセキュリティ上の価値を強調しています。この記事では、Linuxカーネルの適応への投資がコミュニティにとって価値があるかどうかを疑問視しています。

続きを読む
(lwn.net)
開発 機密コンピューティング

ウェイモ、ニューヨークで自動運転車のテスト許可取得も、労働組合が反発

2025-08-23
ウェイモ、ニューヨークで自動運転車のテスト許可取得も、労働組合が反発

ウェイモは、ニューヨーク市で自動運転車をテストするための最初の許可を取得しましたが、労働組合から反発を招いています。この許可により、ウェイモは9月末まで、マンハッタンとダウンタウン・ブルックリンで、安全運転手を同乗させた自動運転車を最大8台運行できます。市側は厳格な安全規制とMADDなどの団体の支持を強調していますが、TWUなどの労働組合は、歩行者安全、緊急対応の遅延、雇用喪失への懸念を表明しています。彼らは、過去にウェイモ車両が関与した事故を挙げ、ニューヨーク市での自動運転車テストの禁止を求める請願書を提出しています。

続きを読む
(www.amny.com)
テクノロジー 労働組合の反対

自作3.5インチフロッピーディスク：驚くべき偉業

2025-08-23
自作3.5インチフロッピーディスク：驚くべき偉業

Polymattという名のメイカーが、3.5インチフロッピーディスクを自作するという驚くべき偉業を達成しました。課題は筐体の作成だけでなく、内部の極薄磁気メディアを再現することで、特殊なPETフィルムと化学薬品が必要でした。さらに、通常150ドル以上するCNCマシンのドラッグナイフも自作しています。このDIYプロジェクトは、創意工夫と粘り強さの証です。

続きを読む
(kottke.org)
ハードウェア フロッピーディスク

Echidnaの強化されたシンボリック実行：スマートコントラクトセキュリティテストの新時代

2025-08-23

Echidnaチームは、ファジングツールに強化されたシンボリック実行機能を統合し、スマートコントラクトのセキュリティテスト能力を大幅に向上させました。新機能には、ステートレステストの正しさを証明するために使用される検証モードと、状態変化を含むシナリオにおけるアサーションエラーを特定するためにファジングと組み合わせる探索モードの2つのモードが含まれています。この機能は追加のコードを必要とせず、既存のファジングの上にさらに強力なセキュリティ保証を提供し、実際のテストですでに有望な結果を示しています。ループや動的なデータ構造の処理など、課題は残っていますが、大きな可能性を秘めています。

続きを読む
(gustavo-grieco.github.io)
開発 スマートコントラクトセキュリティ

見過ごされているクライアントサイドのウェブ体験：誰も遅い読み込み時間について気にしない理由

2025-08-23

この記事では、しばしば見過ごされているクライアントサイドのウェブ体験における問題について論じています。サーバーサイドの問題は頻繁に議論の的になりますが、著者は、遅い読み込み時間、使いにくいUI、その他のクライアントサイドの不満が継続的に無視されている点を指摘しています。Githubの最近のアップデートを例に挙げ、多くのユーザーがパフォーマンスの遅さを報告しているにもかかわらず、ウェブサイト運営者はサーバーサイドの問題を優先させています。著者は、ウェブサイトが大きな権力を持っており、ユーザーはボイコットしか手段がないが、それはほとんど効果がないと主張しています。ウェブサイトはしばしばユーザー離れの効果的な測定を欠いており、クライアントサイドの体験への無関心に繋がっています。最後に、著者は、ユーザーに悪影響を与える可能性のある編集上の決定をしたことを認めていますが、それは必要な妥協だと考えています。

続きを読む
(utcc.utoronto.ca)
開発 クライアントサイド

運動の驚異的なROI：1年間のトレーニングで10年の寿命延長

2025-08-23
運動の驚異的なROI：1年間のトレーニングで10年の寿命延長

この記事では、運動の投資収益率（ROI）について考察しています。著者は、運動の習慣者であり、寿命の延長という観点のみを考慮しても、生涯で約8500時間（週3時間）の運動に費やした時間は、3～10年の余命延長につながる可能性があり、場合によっては1：10の収益率になる可能性があると主張しています！これは保守的な推定であり、筋力増強、精神の明晰さ、睡眠の質の向上など、人生のあらゆる段階で享受できる数多くの付加的なベネフィットは考慮されていません。著者は、読者に対し、少しずつ始め、持続可能な運動習慣を築き、健康と長寿の恩恵を享受することを推奨しています。

続きを読む
(herman.bearblog.dev)
その他

WebR：ブラウザでRを実行

2025-08-23

WebRプロジェクトは、統計言語RをWebAssemblyにコンパイルすることで、RサーバーなしでブラウザとNode.jsで直接実行できるようにします。これにより、ユーザーはローカルでRコードを実行でき、移植済みの複数のRパッケージをサポートしています。APIは現在開発中であり、モバイルブラウザはメモリ制限を課す可能性がありますが、WebRはブラウザ内で直接データ分析を行う便利な方法を提供します。

続きを読む
(docs.r-wasm.org)
開発

LibreOffice 25.8、Windows 7/8および32ビットシステムのサポート終了

2025-08-23
LibreOffice 25.8、Windows 7/8および32ビットシステムのサポート終了

LibreOffice 25.8がリリースされ、パフォーマンス向上と新機能が追加されました。しかし、このリリースはWindows 7、Windows 8/8.1、および32ビットWindowsのサポート終了を意味します。これらの古いシステムを使用しているユーザーは、LibreOfficeを使い続けるためにシステムをアップグレードする必要があります。アップデートでは、Writerのハイフネーション機能の強化、CalcへのExcel風関数の追加、PDFエクスポート機能の向上など、スイート全体にわたる大幅な改善が加えられています。

続きを読む
(nerds.xyz)
開発

90年代のPC自作アドベンチャー：忘れられない最初の自作

2025-08-23
90年代のPC自作アドベンチャー：忘れられない最初の自作

90年代にPCを自作することは冒険でした。1996年、著者は友人のためにPCを自作するのを手伝いました。中古パソコンショップ、雑誌広告、地元のショップから部品を集めました。互換性のある部品を見つけるのは難しく、オンラインリソースは限られており、直接購入する必要がありました。複数のショップへの往復、キーボードアダプタを調達するための最後のダッシュなど、様々な困難がありました。完成したPCは動作し、90年代のPC自作の困難さと独自性を際立たせ、今日の簡単な組み立てとは対照的でした。

続きを読む
(dfarq.homeip.net)
ハードウェア 90年代テクノロジー
1 2 … 53 54 55 57 59 60 61 … 595 596