Category: 開発

Firefoxユーザーからの要望:最適化、機能、デザインの刷新

2025-07-16
Firefoxユーザーからの要望:最適化、機能、デザインの刷新

Firefoxユーザーが、速度、機能、デザインの改善を強く求める要望を表明しました。PC版では、ページの読み込み速度の高速化、リソース消費量の削減、ワークスペース、画面分割機能、ポータブル版の追加を求めています。デザインの改善としては、アイコンの更新とインターフェースの刷新が挙げられます。モバイル版では、タブの再読み込み問題の修正、読み込み速度の高速化、カスタマイズ可能な壁紙、タブのグループ化、ワークスペースの追加を希望しています。また、機能開発のタイムラインに関する透明性も求められています。

開発

Bitvise、オープンソースプロジェクトPuTTYのドメイン制御で批判を浴びる

2025-07-16

商用SSHクライアントプロバイダーであるBitviseが、人気のオープンソースプロジェクトPuTTYと長年関連付けられてきたputty.orgドメインを制御している。これは、誤解を招くブランド化と、公開されている信頼の悪用として批判されている。非倫理的な行動の非難にもかかわらず、Bitviseはドメインの移転を拒否し、敵意をもって反応し、倫理的な懸念を回避している。中心的な問題は合法性ではなく倫理である。BitviseはPuTTYの評判を利用してユーザーを欺き、商業的に利益を得ているのだろうか?

Tilck:Linux互換性を備えたミニマルな教育用カーネル

2025-07-16
Tilck:Linux互換性を備えたミニマルな教育用カーネル

Tilckは、バイナリレベルでLinuxとの互換性を備えた教育用のモノリシックカーネルであり、現在i686とRISCV64アーキテクチャ上で動作しています。その小型でシンプルな設計により、カーネルプログラミングの学習に最適であり、LinuxとTilckの間で同じユーザーモードコードの実行を比較できます。Tilckはカスタムアプリケーションを必要とせず、BusyBoxスイートなどの一般的なLinuxプログラムを実行します。将来の用途としては、決定性と超低遅延が必要な組み込みシステムがあり、組み込みLinuxとFreeRTOSやZephyrなどのリアルタイムOSとのギャップを埋める可能性があります。

開発

Shoggoth Mini:表現力豊かなソフトな触手ロボット

2025-07-16

この記事では、表現力豊かなソフトな触手ロボットであるShoggoth Miniの開発について詳しく説明しています。著者はハードウェアを繰り返し改良し、ケーブルの絡まり問題を解決し、キャリブレーションスクリプトを追加しました。制御は、直感的な操作のための単純な2Dマッピングと、GPT-4および強化学習を組み合わせたもので、手動制御、ビジョンベースの追跡、オープンループ動作など、さまざまな制御モードを実現しています。著者は、ロボットの表現力と「生命感」の知覚との関係を探求し、将来の研究の方向性を示しています。

開発

Rust正規表現エンジンがキャプチャレス後方参照に対応

2025-07-15
Rust正規表現エンジンがキャプチャレス後方参照に対応

Rustの公式正規表現エンジンが、キャプチャレス後方参照をサポートするようになりました。これは、マッチをキャプチャせずに先行するテキストについてアサーションを行うことができる、強力な正規表現機能です。実装には、正規表現オートマトンとコンパイラの修正が含まれており、テキストの末尾まで不要にスキャンすることや、すべて一致検索での2次時間計算量といったパフォーマンス上の課題を克服しました。ベンチマークテストでは、良好なパフォーマンスが示され、ほとんどの場合、Pythonの`re`ライブラリと競合する結果となりました。

開発 後方参照

AI搭載翻訳ツール:言語の壁を簡単に克服

2025-07-15
AI搭載翻訳ツール:言語の壁を簡単に克服

外国の友人やパートナーとのコミュニケーションを言語の壁が妨げていることにうんざりしていませんか?このAI搭載翻訳ツールを使えば、簡単に解決できます!伝えたいことを入力し、不確かな単語を波括弧{}で囲むだけで、AIが正確な修正と解説、さらに音声による発音を提供します。リズムやイントネーションの習得にも役立ちます。すべての修正は保存され、復習することで継続的な学習が可能です。登録や購読は不要で、いつでもどこでも、目標言語で自然で流暢なコミュニケーションができます。

開発 AI翻訳

Crimson:AIで訴訟を改革 - フルスタックエンジニア募集

2025-07-15
Crimson:AIで訴訟を改革 - フルスタックエンジニア募集

Crimsonは、ハイステークスの訴訟向けのAIプラットフォームであり、英国と米国のトップ法律事務所と提携して、複雑な紛争の処理を合理化しています。同プラットフォームは、訴状の作成、判決の分析、議事録の要約、重要な証拠の特定を数秒で行います。現在、同社は最初の従業員の一人として、優れたフルスタックエンジニアを採用しています。採用されたエンジニアは、テクノロジースタック全体に貢献し、ユーザーと直接協力して、主要機能の構築と改善に携わります。これは、Y Combinatorやその他のトップ投資家から支援を受けている、リーガルテックの革新の最前線に参加するチャンスです。

開発

50万ドル相当の仮想通貨窃盗事件が、悪意のあるオープンソースパッケージの脅威の高まりを浮き彫りに

2025-07-15
50万ドル相当の仮想通貨窃盗事件が、悪意のあるオープンソースパッケージの脅威の高まりを浮き彫りに

ロシアのブロックチェーン開発者が、サイバー攻撃により50万ドル相当の仮想通貨を盗まれました。攻撃の起源は、Open VSXレジストリで上位にランクインし、5万4000回ダウンロードされた偽のSolidity言語拡張機能でした。この悪意のある拡張機能は、悪意のあるコードをダウンロードして実行し、最終的にScreenConnectリモート管理ソフトウェアをインストールして、攻撃者がデータを盗むことを可能にしました。攻撃者は、正規の拡張機能の名前を模倣した別の悪意のあるパッケージ「solidity」も公開しており、驚異的な200万回ものダウンロード数を記録しています。この事件は、悪意のあるオープンソースパッケージの脅威の高まりと、検索ランキングアルゴリズムがどのように悪用される可能性があるかを示しています。

開発

arXivLabs:コミュニティとの共同実験プロジェクト

2025-07-15
arXivLabs:コミュニティとの共同実験プロジェクト

arXivLabsは、共同研究者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと協力します。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか?arXivLabsについてさらに詳しく知りたい方は、こちらをご覧ください。

開発

PostgreSQLの論理レプリケーションスロット作成における厄介なバグとその修正方法

2025-07-15
PostgreSQLの論理レプリケーションスロット作成における厄介なバグとその修正方法

ClickPipesチームは、PostgreSQLで論理レプリケーションスロットを作成中に、厄介なバグに遭遇しました。数秒で完了するはずのクエリが何時間もかかり、終了させることができないというものです。調査の結果、Postgresのバグであることが判明しました。読み取りレプリカで論理レプリケーションスロットを作成すると、主トランザクションの完了を待つ間に長いスリープループに陥り、中断できなくなります。チームは、中断チェックを追加するパッチをPostgresコミュニティに提出しました。これにより、問題は効果的に解決されました。このケースは、成熟したデータベースシステムでさえ、予期せぬエッジケースが発生する可能性があり、オープンソースコミュニティの協力がその解決に不可欠であることを示しています。

分散キャッシュのベンチマーク:Memcache、Redis、Valkey、Dragonfly、Garnet

2025-07-15
分散キャッシュのベンチマーク:Memcache、Redis、Valkey、Dragonfly、Garnet

本研究では、Memcache、Redis、Valkey、Dragonfly、Garnetの5つの分散キャッシュについて包括的なベンチマークテストを実施しました。測定指標には、スループット、レイテンシ、CPUサイクルが含まれます。テスト環境はAWS c8g.8xlargeインスタンスを使用し、memtier_benchmarkツールを用いて、パイプラインサイズ(1、10、25、50)を変化させてテストを行いました。結果は、様々な指標においてパフォーマンスの違いを示しており、開発者がアプリケーションのニーズに最適なキャッシュを選択するのに役立ちます。

Bedrock:永遠に続くことを目指した小型で移植性の高い8ビットコンピュータシステム

2025-07-15

Bedrockは、コンパクトで移植性の高い8ビットコンピュータシステムであり、永遠に動作することを目指して設計されています。これは物理的なデバイスではなく、あらゆるコンピューティングデバイスのインターフェースを定義する仕様であり、基盤となるハードウェアの特性を気にすることなく、あらゆるデバイスでプログラムを実行できます。わずか32個の命令と12個のデバイスで構成されており、学習と使用が容易です。現在、Windows、Linux、Web、Nintendo DSなどで動作します。デモプログラムには、ピクセルアート描画プログラム、Snakeゲーム、電子レンジ風の時計などがあります。BedrockはUxn仮想マシンとVarvaraコンピューティングスタックをフォークしたもので、極めてリソースの限られたシステムでのパフォーマンス向上を目指しています。

std::futureからasio::awaitableへの効率的でスレッドセーフな変換

2025-07-15

この記事では、`std::future`を`asio::awaitable`に効率的かつスレッドセーフに変換する方法について詳しく説明します。Boost.Asioを使用する最新のC++非同期プログラミングにおいて特に役立ちます。`asio::async_initiate`とスレッドプールを使用することで、IOスレッドのブロックを巧みに回避し、堅牢な例外処理メカニズムを提供することで、高いパフォーマンスと安定性を確保します。この設計パターンは、他の非同期シナリオにも容易に拡張でき、高性能コルーチンアプリケーション構築の堅実な基盤となります。

開発

aiosqlitepool: Asyncio SQLiteのパフォーマンスを72%向上

2025-07-15
aiosqlitepool: Asyncio SQLiteのパフォーマンスを72%向上

aiosqlitepoolは、asyncio SQLiteアプリケーションのための高性能な接続プールです。データベース接続を再利用することで、接続オーバーヘッドを解消し、クエリ速度を大幅に向上させます。aiosqliteなどのasyncioドライバと連携して動作し、代替品ではありません。テストでは、高負荷下でパフォーマンスが72%向上し、平均待ち時間が41%短縮されました。高スループットのアプリケーションや低レイテンシが求められるアプリケーションに最適で、書き込み競合によるSQLITE_BUSYエラーを効果的に軽減します。

開発

Voil: テキストバッファのようにファイルシステムを編集

2025-07-15
Voil: テキストバッファのようにファイルシステムを編集

Voilは、テキストバッファのようにファイルシステムを管理できるVS Code拡張機能です。マウス操作やキーバインドの暗記に別れを告げましょう。エディタで直接ファイルやディレクトリの作成、名前変更、移動を行い、テキスト編集と同じ効率で作業できます。Voilはファイルの追跡に隠しIDを使用し、再帰的なリスト表示、ソート、フィルタリング、カスタムシェルコマンドの実行など、豊富なコマンドとカスタマイズオプションを提供します。Vim拡張機能と互換性があり、詳細な設定手順と例を提供します。デモビデオをご覧ください。

Android 15:16KBメモリページサイズによるパフォーマンス向上

2025-07-15
Android 15:16KBメモリページサイズによるパフォーマンス向上

Androidは、従来の4KBメモリページサイズから16KBメモリページサイズに移行し、ARM CPUのパフォーマンスを向上させます。2025年11月1日以降、Android 15以降をターゲットとするネイティブC/C++コードを含む新しいアプリとアップデートは、16KBページサイズをサポートする必要があります。この変更により、アプリの起動速度の向上(一部のアプリでは最大30%)、バッテリー寿命の延長、カメラ起動速度の向上、システム起動時間の短縮が期待されます。Android Studioは、APK Analyzerやアライメントチェックなどのツールを提供して、開発者が互換性の問題を特定し解決するのを支援します。開発者はネイティブコードを再コンパイルし、4KBページサイズをハードコーディングすることを避ける必要があります。エミュレータと一部のデバイスでは、16KBでのテストが可能です。

開発 16KBページ

PHPライセンス更新:長年の混乱を解消する

2025-07-15

長年のライセンスの混乱と意見の相違の後、このRFCはPHPのための実際的な解決策を提案しています。PHPライセンスとZend EngineライセンスをModified BSD License(BSD-3-Clause)に統一し、GPLとの互換性を確保し、OSI承認と互換性に関する長年の問題を解決することを提案しています。この変更により、既存のユーザーとコントリビューターの権利が維持され、Debianなどのディストリビューションとの競合が解決されます。PHP 9.0.0はこの簡素化されたライセンスを完全に採用します。

開発

Kiro:AIアプリケーションのための仕様駆動型開発

2025-07-15
Kiro:AIアプリケーションのための仕様駆動型開発

Kiroは、仕様駆動型アプローチによりAIアプリケーション開発に革命を起こすAI IDEです。あいまいなプロンプトを本番環境対応システムに変換します。Kiroは「仕様」を使用して要件を明確化し、ユーザーストーリー、設計ドキュメント(データフロー図やインターフェースを含む)、詳細なタスクリストを生成します。 「フック」はテスト、ドキュメントの更新、その他のタスクを自動化し、一貫したコード品質を保証します。VS Codeと互換性があり、複数の言語をサポートするKiroは、AIアプリケーションの開発とメンテナンスを合理化し、プロトタイプと本番環境のギャップを埋めます。

CallFS:高性能分散型REST APIファイルシステム

2025-07-15
CallFS:高性能分散型REST APIファイルシステム

CallFSは、超軽量で高性能なREST APIファイルシステムであり、ローカルストレージ、Amazon S3、分散型ピアツーピアネットワークなど、さまざまなバックエンドで正確なLinuxファイルシステムセマンティクスを提供します。速度、信頼性、水平方向のスケーラビリティを目的として設計されており、APIサーバー、コアエンジン、プラグ可能なストレージバックエンド、PostgreSQLメタデータストア、Redisベースの分散ロックマネージャー、リンクマネージャーなどのコンポーネントを持つモジュール型のアーキテクチャを採用しています。CallFSは、豊富なファイルとディレクトリの操作、安全な使い捨てダウンロードリンク、包括的なセキュリティ、堅牢な可観測性を提供します。

GitHubコードレビューの提案適用に関する制限事項

2025-07-15
GitHubコードレビューの提案適用に関する制限事項

このテキストは、GitHubのコードレビューで提案を適用する際に遭遇する可能性のある様々な制限事項をリストアップしています。これには、コードの変更がない、プルリクエストが閉じている、変更の一部のみを表示している、行ごとに1つの提案のみ、削除された行への適用、既に適用済みまたは解決済みとしてマークされている提案、保留中のレビューからの提案、複数行のコメント、およびマージ待ち行列にあるプルリクエストなどが含まれます。これらの制限事項は、コードレビューの整合性と効率性を維持するために設計されています。

開発 提案適用

Apache Parquetファイルへのユーザー定義インデックスの埋め込み

2025-07-15

Apache Parquetは基本的な統計とブルームフィルタのみに限定されているという誤解が一般的です。この記事では、互換性を損なうことなく、カスタムインデックスをParquetファイルに直接埋め込む方法を示します。フッターメタデータとオフセットベースのアドレス指定を活用することで、特定の列に対する一意の値リストなどのインデックスを追加でき、クエリのパフォーマンスが大幅に向上します。特に、非常に選択性の高い述語の場合に顕著です。著者は、このメカニズムの詳細と、Apache DataFusionを使用した実践的な例を示し、これらのカスタムインデックスのシリアライズ、保存、読み取り方法を説明しています。外部インデックスの複雑さとリスクに別れを告げましょう!

Active Storage Dashboard:Active Storageを管理するためのRails Engine

2025-07-14

10年間Railsアプリケーションを開発してきた著者にとって、Active Storageデータの管理は面倒な作業でした。そこで、Active Storage Dashboardという、Active Storageの監視と管理のためのモダンなインターフェースを提供する、マウント可能なRails Engineを開発しました。リアルタイムストレージ統計、ブラウズ可能なインターフェース、高度なフィルタリング、直接ダウンロード、孤立ファイルのクリーンアップ、複数のデータベースとRailsバージョンへのサポートなど、多くの機能を備えています。この記事では、Rails Engineの利点と、堅牢なEngineを構築するためのベストプラクティスについて詳しく説明し、名前空間、設定オプション、ドキュメント、依存関係の最小化、拡張性、エラー処理、セキュリティなどを網羅しています。

開発

プログラマの監獄:肥大化したソフトウェアツールの罠からの脱出

2025-07-14

この記事は、肥大化したソフトウェアツールのジレンマを探求しています。ユーザー離れを防ぐために、ツールは機能を絶えず拡張し、最終的には扱いにくくなってしまいます。著者は、いくつかの解決策を提案しています。ツールの成長を制限すること(非現実的)、切り替えコストを削減すること(後方互換性と標準化を通じて)、FFI(外部関数インタフェース)とIPC(プロセス間通信)を活用することです。UnixシェルはIPCを使用してツールの合成を可能にしますが、データフローは一方向であり、構造に欠けています。PowerShellやNuShellは構造化されたデータの導入を試みていますが、相互運用性とバージョン安定性に課題が残ります。RPC(リモートプロシージャコール)は構造化されたインターフェースを提供しますが、大規模なコード変更が必要になります。著者は、プログラム自体が監獄であり、データフローと相互運用性を制限していると結論づけ、脱出戦略を探求する続編を予告しています。

Purple Garden Lexerの最適化:0から580MB/sへの速度向上

2025-07-14

この記事では、著者がPurple Garden言語のlexerを最適化し、580MB/sという驚異的な速度を達成した過程を説明しています。計算済みgoto、ゼロコピーゼロアロケーション文字列、アロケータインターフェース、トークンインターニング、事前に計算されたキーワードハッシュなどのテクニックが使用され、lexerのパフォーマンスが大幅に向上しました。さらに、アーキテクチャの改善やmmapを使用した高速なファイル読み込みなども行われています。これらの最適化により、処理時間が数十ミリ秒から数ミリ秒へと劇的に短縮され、真の意味での高速化を実現しました。

開発

気を散らすものを禁止する:時間を浪費するコマンドをブロックするBashスクリプト

2025-07-14
気を散らすものを禁止する:時間を浪費するコマンドをブロックするBashスクリプト

気が散るアプリに時間を無駄にするのにうんざりしていませんか?この軽量Bashスクリプト「ban」を使用すると、特定のコマンドを指定した日付までブロックでき、オプションで理由とフレンドリーなリマインダーを設定できます。インストールが簡単で、使いやすく、禁止期間もカスタマイズ可能です(デフォルトは40日)。さあ、集中力を取り戻しましょう!

開発

OpenEXRを超える?浮動小数点画像の新しい無損失圧縮手法

2025-07-14

ArasPは、浮動小数点画像、特にマルチチャンネル画像の無損失圧縮手法について深く掘り下げています。OpenEXR(新しいHTJ2K圧縮を含む)、JPEG-XL、Mesh Optimizerベースのカスタム手法をベンチマークしました。結果は、ZIP圧縮によるOpenEXRが実用的であることを示しており、HTJ2Kは圧縮率がわずかに高いものの、パフォーマンスは劣ります。JPEG-XLは圧縮率が高いものの、非常に遅いです。驚くべきことに、Mesh Optimizerとzstdを使用したカスタム手法は、圧縮率と速度の両方において他の手法を凌駕し、浮動小数点画像圧縮の新たな選択肢として浮上しています。

開発

TIOBEインデックス2025年7月:ベテランプログラミング言語がトップ10を争う

2025-07-14

2025年7月のTIOBEインデックスは、上位7位は安定しているものの、8位から12位ではVisual Basic、SQL、Fortranなどの確立された言語が激しい争いを繰り広げていることを明らかにしています。レポートは、これらのベテラン言語に取って代わる形で、新しい言語がトップ10に食い込む可能性を示唆しています。セキュリティクリティカルな分野での強みから、Adaが潜在的な勝者として注目されています。熟練エンジニア数、コース、ベンダーなどを基にしたTIOBEインデックスは、「最高の」言語を決めるものではありませんが、スキル評価や戦略的な技術選択に役立つ貴重な洞察を提供します。

開発

Django 20周年記念:ウェブフレームワークの20年の歴史

2025-07-14
Django 20周年記念:ウェブフレームワークの20年の歴史

2005年7月13日、Jacob Kaplan-MossがDjangoとなる公開リポジトリへの最初のコミットを行いました。20年と400以上のリリースを経て、Djangoは20歳の誕生日を迎えました!この記念すべき日を祝して、世界中のイベントを紹介する記念ウェブサイトが立ち上げられ、20日間の寄付キャンペーンも開始されました。目標は、20ドル以上の寄付をする200人の新しい寄付者(そのうち少なくとも20人が月額寄付者)を獲得することです。現在、76,707ドルが集まり、300,000ドルの目標の25.6%に達しています。Djangoは、今後多くの新しいリリース、繁栄するエコシステム、そして強力なコミュニティを提供することで、進化を続けると約束しています。

開発

cURL、AI生成の脆弱性報告に溺れる

2025-07-14
cURL、AI生成の脆弱性報告に溺れる

cURLのセキュリティチームは、低品質の脆弱性報告の洪水に悩まされています。その多くはAIによって生成されたものです。これらの報告は、多大な時間とリソースを浪費します(1件の報告につき3~4人、30分から3時間)。そのため、真の脆弱性の発見効率が大幅に低下しています。2025年現在、提出された報告書の約20%がAI生成のゴミであり、有効な報告書の割合は大幅に減少しています。チームは、金銭的報酬の撤廃や、低品質な報告書の削減のための他の対策を検討しています。チームのメンタルヘルスとプロジェクトの安全性を維持するためです。

開発

並行プログラミングにおけるクリティカルセクション:失敗例からPetersonアルゴリズムへ

2025-07-14

この章では、並行プログラミングにおけるクリティカルセクションの実装について掘り下げて説明します。クリティカルセクションの概念と重要性を紹介した後、競合状態やデッドロックなどの問題点を浮き彫りにしながら、単純なロックやフラグベースのメカニズムなど、いくつかの失敗例を検討します。そして、相互排他と進歩を保証するエレガントな解決策であるPetersonアルゴリズムを紹介し、その正当性証明の複雑さや、非原子操作や命令の並べ替えといった実践的な課題についても考察します。

1 2 41 42 43 45 47 48 49 214 215