Category: 開発

arXivLabs:コミュニティとの協働による実験プロジェクト

2025-04-28
arXivLabs:コミュニティとの協働による実験プロジェクト

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

開発

Sim Studio:エージェントワークフロー構築のための強力なプラットフォーム

2025-04-28
Sim Studio:エージェントワークフロー構築のための強力なプラットフォーム

Sim Studioは、エージェントワークフローの構築、テスト、最適化のための強力で使いやすいプラットフォームです。クラウドホスト版とセルフホストオプションの両方を提供しています。セルフホストはDockerをサポートしており、Docker Composeを使用した設定に関する詳細な手順が提供されています。このプラットフォームはローカルモデルにも統合されており、CPUとGPUの使用オプションを提供しています。VS Codeリモートコンテナとnpmにより開発が合理化されます。このプロジェクトはApache License 2.0の下でオープンソースであり、貢献を歓迎しています。

operative.sh: MCPサーバーによるWebアプリの自律デバッグ

2025-04-28
operative.sh: MCPサーバーによるWebアプリの自律デバッグ

operative.shは、ブラウザベースのエージェントを利用して、コードエディタ内でWebアプリケーションを自律的にデバッグするツール、MCPサーバーを発表しました。'Cursor agent'はコードを実行しデバッグし、ネットワークトラフィック、コンソールログ、時系列のタイムラインを含む詳細なレポートを提供します。無料のAPIキーを取得してインストールした後、開発者はデバッグワークフローを自動化し、効率を大幅に向上させることができます。macOS、Linux、Windowsに対応しています。

AIコーディングアシスタント:スタートアップがリード、自動化が急上昇

2025-04-28
AIコーディングアシスタント:スタートアップがリード、自動化が急上昇

Anthropicの調査によると、AIコーディングアシスタント(Claudeなど)の利用は、特にスタートアップ企業において、コンピュータ関連職種で異常に高いことが明らかになりました。50万件のコーディング関連インタラクションを分析した結果、専門的なコーディングエージェントであるClaude Codeは、79%の自動化率を達成しており、汎用的なClaude.ai(49%)を大きく上回っています。これは、フロントエンド開発(JavaScript、HTML)分野がAIによる破壊の影響を受けやすいことを示唆しています。自動化率が高い一方で、「フィードバックループ」パターンは依然として一般的であり、人間の介入が必要です。また、スタートアップ企業がClaude Codeの主要な早期採用者である一方、大企業は遅れを取っていることもわかりました。これは、AIが将来の開発者の役割と雇用市場に及ぼす影響に関する疑問を提起し、ソフトウェア開発分野が、ますます高度化するAIモデルによって他の職業がどのように変化するかを示す先行指標となる可能性があることを示唆しています。

開発

Autarkie:Rustマクロを使った即時構文ファジング

2025-04-28
Autarkie:Rustマクロを使った即時構文ファジング

AutarkieはRustで書かれたネイティブな構文ファジングツールです。手続き型マクロを使用して、ほぼ自動的に構文ファザーを作成します。AFL++とcargo-fuzzの両方をサポートし、C/C++とRustのプロジェクトのファジングに使用できます。Autarkieのユニークな機能には、メンテナンス不要の構文、網羅的な構文カバレッジ、再利用可能なコーパス、他のファザーからの学習能力(開発中)などがあります。2つの例では、SQLite3とSolanaのsbpfインタープリターのファジング方法を示し、その使いやすさと効率性を強調しています。現在ベータ版であり、nightly版のRustコンパイラーが必要です。

開発

tiny-llm: 1週間でLLMサービング - 実践的なチュートリアル

2025-04-28
tiny-llm: 1週間でLLMサービング - 実践的なチュートリアル

tiny-llmは、1週間でLLMサービングインフラストラクチャを構築する方法を説明するチュートリアルです。高レベルのニューラルネットワークAPIではなく、MLXの配列/行列APIに焦点を当て、ゼロから構築し、最適化を理解することに重点を置いています。このチュートリアルは、アテンションメカニズム、RoPE、グループ化されたクエリアテンションなどのコアコンセプトを網羅し、モデルのロードとレスポンスの生成へと進みます。現在、アテンション、RoPE、モデルのロードは完了しています。今後の章では、KVキャッシュ、量子化された行列乗算、Flash Attentionなどの最適化技術を深く掘り下げ、Qwen2などのモデルに対応する効率的なLLMサービングを目指します。

PyXL:ハードウェアでPythonを実行、GPIOラウンドトリップ時間480ナノ秒

2025-04-28
PyXL:ハードウェアでPythonを実行、GPIOラウンドトリップ時間480ナノ秒

PyXLは、シリコン上で直接Pythonコードを実行するカスタムハードウェアプロセッサであり、インタープリタやJITコンパイラは不要です。Pythonコードをカスタムアセンブリにコンパイルし、カスタムパイプラインプロセッサ上で実行します。テストでは、驚くべき480ナノ秒のGPIOラウンドトリップ時間が測定され、MicroPythonよりも30倍以上高速です。これは、リアルタイム応答と決定論的なタイミングを必要とする高性能アプリケーション(リアルタイム制御システム、ML推論、ロボティクスなど)にPyXLが最適であることを示しています。

開発

巨大プログラムにおける理論の幻想:LLMとコード理解の限界

2025-04-28

ピーター・ナウアの論文は、巨大プログラムの「理論」はコードそのものではなく、それを構築したプログラマーが持つ深い理解であると主張しています。ライルのアナロジーを用いると、コードは道であり、プログラムを理解することはその道を歩くことに相当します。LLMは一見理論的に詳しいテキストを生成できますが、これは表面的なものに過ぎず、真の理解を欠いています。ナウアは、巨大プログラムを理解するには、その開発と保守に継続的に関与する必要があると強調しています。これは、コードやドキュメントを読むだけでは得られない知識です。

学術会議の危機:形式主義がイノベーションを阻害する?

2025-04-28

コンピュータサイエンスにおいて、トップレベルの学術会議は研究の価値を測る主要な指標となっていますが、その官僚化と形式主義の増大は、学術的イノベーションの活力を脅かしています。この記事は、会議が年次の「昇進試験」と化し、査読が研究の本質的な価値よりも形式的な規則に重点を置くようになり、多くの有望な革新的な研究が阻害されていると主張しています。著者は、会議の査読文化を変える必要性を訴え、学術的イノベーション自体に焦点を戻すことを提言しています。不要な官僚主義的な規則を廃止し、意思決定を当該分野のベテラン専門家に委ねることで、学術的進歩を促進すべきだと主張しています。

開発 学術会議

arXivLabs:コミュニティとの協働による実験プロジェクト

2025-04-28
arXivLabs:コミュニティとの協働による実験プロジェクト

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

開発

平均性能をめぐる大論争:幾何平均 vs. 調和平均

2025-04-27
平均性能をめぐる大論争:幾何平均 vs. 調和平均

コンピュータアーキテクチャにおいて、平均性能の計算方法をめぐる長年の議論がある。HennesseyとPattersonの画期的論文は、その望ましい数学的特性から幾何平均を提唱している。しかし、最近の論文では幾何平均の物理的意味に疑問を呈し、「等時間調和平均速度向上」を代替案として提案している。著者は、調和平均は、ワークロードを逐次実行した場合の総速度向上に等しいため、現実世界のシナリオをより適切に反映すると主張する。しかし、これは実際にはワークロードの実行時間の偏りを無視しており、その物理的意味は多くの場合無関係となる。論文は、ワークロードの正確な組み合わせと重みがわからない限り、単一の数字による平均値ではマシンを完全に比較することはできず、幾何平均は比較の容易さと広く認知されていることから妥当な選択肢として残ると結論付けている。

私の肩の上の天使と悪魔:プログラマーのジレンマ

2025-04-27

プログラマーが、楽しみのためにコーディングすることを推奨する天使と、富と成功を求めることを促す悪魔との間の内なる葛藤を語ります。子供の頃のコンピューターゲームへの情熱から大学卒業まで、彼のプログラミングの旅は常に学習と探求を伴っていました。しかし、「ハッスル」文化の影響を受け、彼はしばしばスタートアップの魅力に誘惑され、情熱と利益の間で揺れ動きます。最終的に彼は、両方のバランスを取り、燃え尽き症候群を避け、持続可能な成長のためにいつ悪魔の声を聞くべきかを判断することが重要だと気づきます。

開発

arXivLabs:コミュニティとの協働による実験プロジェクト

2025-04-27
arXivLabs:コミュニティとの協働による実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能を直接当社のウェブサイトで開発および共有できるフレームワークです。arXivLabsに携わる個人および組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか?arXivLabsの詳細をご覧ください。

開発

NetBSDのi486SX向けFPUエミュレーション復活

2025-04-27
NetBSDのi486SX向けFPUエミュレーション復活

このレトロコンピューティングプロジェクトは、ハードウェアFPUを持たないレガシー486SXプロセッサ向けに、NetBSDカーネルへのx87浮動小数点ユニット(FPU)エミュレーションのサポートを復活させます。NetBSD 10.x以降で元のMATH_EMULATEオプションを復活させ、FPUエミュレーションサポートをカーネルから削除したコミットdfe83e0で導入された変更を元に戻し、修正します。このプロジェクトは開発中であり、バグや機能の不完全さが含まれている可能性があります。自己責任で使用してください。

AIによるコード生成:実態よりも過大評価?

2025-04-27

この記事は、AIによるコード生成ツールの限界を批判しています。著者は、AI生成コードは一見うまく見えるかもしれませんが、実際には潜在的な危険が潜んでいると主張しています。AIは単に言語のパターンを予測してコードを生成するだけであり、真のエンジニアリング思考や実行環境の理解を欠いているため、生成されたコードは理解しにくく、デバッグが困難で、再利用性も低いのです。対照的に、モジュール化プログラミング、優れたオープンソースプロジェクトやドキュメントを参照することは、高品質なコード作成に役立ちます。最終的に著者は、ソフトウェアエンジニアリングの中核は思考と理解であり、単なるコード記述ではないと述べています。

iOSゼロデイ:Darwin通知によるサービス拒否攻撃

2025-04-27

セキュリティ研究者が、Darwin通知を送信することで、サービス拒否攻撃を実行し、システムの再起動を引き起こす可能性のある、重大なiOSの脆弱性を発見しました。Darwin通知メカニズムにおける送信元検証の欠陥を利用し、研究者は「VeryEvilNotify」というアプリを作成し、「復元中」ループをトリガーして再起動を強制しました。Appleは、iOS 18.3で、機密性の高い通知に対する制限付きの権限を導入することで、この問題を修正しました。

OpenBSD 7.7 クイックインストールガイド

2025-04-27

OpenBSD 7.7のインストール方法は、ハードウェアアーキテクチャによって異なります。このドキュメントは、さまざまなアーキテクチャ(amd64、arm64、i386など)のインストール方法の概要を簡単に説明しており、CD、USB、またはネットワークからのインストール方法が含まれています。デュアルブート設定については、対応するINSTALL.*ファイルを参照してください。さらに、このドキュメントではOpenBSD portsシステムについても簡単に説明しています。初めての方は、関連ドキュメントを参照することをお勧めします。

Logchef:軽量で高性能なログ分析プラットフォーム

2025-04-27
Logchef:軽量で高性能なログ分析プラットフォーム

Logchefは、ClickHouseを利用した軽量で強力なログ分析プラットフォームです。高性能なログの保存とクエリを実現します。単一バイナリとして動作し、ログデータの探索のための直感的なインターフェースを提供します。スキーマ非依存のログ探索、柔軟なクエリオプション(簡単な検索構文と完全なClickHouse SQL)、高性能、チームベースのアクセス制御などの機能を備えています。Docker Composeコマンド一つで簡単に展開でき、堅牢でスケーラブルなロギングソリューションが必要な開発チームに最適です。

開発

パフォーマンスレビューにおけるコンテキスト崩壊:なぜあなたのキャリブレーション会議は失敗するのか?

2025-04-27
パフォーマンスレビューにおけるコンテキスト崩壊:なぜあなたのキャリブレーション会議は失敗するのか?

この記事では、パフォーマンスレビューにおける「コンテキスト崩壊」という現象について探求しています。これは、異なるマネージャーが同じ仕事内容を異なって解釈し、不公平な評価や才能の損失につながる現象です。 ドメイン固有の盲点、テクノロジーバイアス、可視性バイアス、マネージャーの擁護、アンカーバイアス、不一致な評価尺度、時間制約、成長とインパクトへの異なる重点など、様々な要因を分析しています。 ドメイン固有のキャリブレーション、クロスファンクショナルな事前レビュー、エンジニアによるパフォーマンスナラティブの共著、標準化された成果フォーマット、専用の表彰トラック、継続的なキャリブレーション、フィードバックと評価の分離など、解決策が提案されています。 最終的に、この記事は、パフォーマンスレビューシステム全体を見直す必要性を訴え、エンジニアの貢献を正確に反映し、貴重な人材の損失を防ぐ、より公正で包括的なプロセスを目指しています。

Ruby Ractorのパフォーマンス向上:`object_id`ボトルネックへの対処

2025-04-27

RubyのRactorによる並行処理モデルは、グローバルロックのためにパフォーマンスが制限されています。この記事では、`object_id`メソッドによって引き起こされるパフォーマンスボトルネックについて深く掘り下げています。これは、歴史的な設計上の選択とガベージコレクションの改善に起因します。`object_id`の実装を最適化し、グローバルハッシュテーブルのルックアップではなくオブジェクト内に直接格納することで、著者はRactorのパフォーマンスを大幅に向上させ、JSONベンチマークでは速度が2倍になりました。特別なオブジェクトタイプの処理など、課題は残っていますが、この作業はRactorを真に並列化するための重要な一歩です。

開発

snapDOM:超高速、高精度DOMキャプチャツール

2025-04-27
snapDOM:超高速、高精度DOMキャプチャツール

snapDOMは、スムーズなズームベースのビュー遷移のためのフレームワークであるZumly向けに開発された、高精度のDOMキャプチャツールです。任意のHTML要素をスケーラブルなSVG画像に変換し、スタイル、フォント、背景、Shadow DOM、擬似要素などを保持します。ベンチマークテストでは、特に大きなDOM構造において、modern-screenshotやhtml2canvasなどの競合製品を大幅に上回る性能を示しています。軽量で依存関係がなく、SVG、PNG、JPG、WebP、canvasへのエクスポートに対応しています。フルページビュー、モーダル、複雑なレイアウトのキャプチャに最適です。

Wiiホームブルーチャネルのソースコード、著作権侵害のためアーカイブ化

2025-04-27
Wiiホームブルーチャネルのソースコード、著作権侵害のためアーカイブ化

Wiiホームブルーチャネルのソースコードリポジトリはアーカイブ化され、これ以上の貢献を受け付けなくなりました。これは、ホームブルーチャネルが依存する重要なライブラリであるlibogcに、任天堂のSDKとオープンソースRTOSであるRTEMSから盗まれた相当量のコードが含まれていることが判明したためです。libogcの開発者は著作権侵害に対処することを拒否しました。この暴露は、Wiiホームブリューコミュニティにおける長年の著作権侵害問題を明らかにし、倫理的なソフトウェア開発慣習について省みるきっかけとなっています。ソースコードは現在公開されていますが、開発者はその合法性を保証できないと述べており、Dolphinエミュレータでのみテストされています。

開発

OpenBenchesの住所の難問:4万基のベンチをスマートにジオロケーションする

2025-04-27
OpenBenchesの住所の難問:4万基のベンチをスマートにジオロケーションする

約4万基の記念ベンチのクラウドソーシングデータベースであるOpenBenchesは、緯度経度座標を人間が読める住所に変換するという課題に直面しています。多くのベンチは正式な住所がなく、公園などに位置しています。既存のジオコーディングAPIは、詳細すぎるか、または無関係な情報を提供します。著者は、複数のAPIとPoints of Interest(POI)を使用して住所を自動生成することを検討していますが、言語のローカリゼーション、住所形式の不一致、POIの精度に関する問題に遭遇しています。住所の精度と使いやすさ、そして国際化のバランスを取ることが、大きな課題となっています。

Alisp:Common Lisp準拠を目指す単独開発のオープンソースLispインタプリタ

2025-04-27

Alispは、Common Lisp準拠を目指す単独開発のオープンソースLispインタプリタプロジェクトです。既にCommon Lispの多くの機能が実装されており、デバッガとプロファイラも含まれています。C89で記述され、GPLv3ライセンスで公開されています。Savannahでホストされています。バグレポートや提案は大歓迎ですが、パッチは現在受け付けていません。

開発

RailsにおけるエレガントなSQLiteマルチテナント

2025-04-27

この記事では、Railsを使用してマルチテナントアプリケーションを構築する際の経験について説明しています。各テナントは、独自の独立したSQLiteデータベースを持っています。著者は当初、従来のデータベース接続管理方法を使用していましたが、高負荷下で接続エラーが発生しました。様々な調査の結果、Rails 6以降の`connected_to`メソッドとカスタムミドルウェアを組み合わせることで、安全で効率的なテナントデータベースの切り替えを実現し、マルチスレッドと接続プールの管理問題を巧みに解決しました。さらに、Rackストリーミングレスポンスボディの処理に関するヒントも共有しています。この記事は、高性能でスケーラブルなマルチテナントアプリケーションを構築する上で貴重な参考資料となります。

驚き!こんなものがチューリング完全だったなんて!

2025-04-27

C++テンプレートからマジック:ザ・ギャザリング、さらにはPowerPointまで!この記事では、一見単純に見えるものの、実はチューリング完全である驚くべきシステムの数々を紹介しています。プログラミング言語やハードウェア命令セットから、ゲームの仕組み、さらには画像圧縮技術まで、チューリング完全性の驚くべき普及とその意外な応用事例が示されています。中には、バグや脆弱性を活用して思いもよらない計算能力を実現しているものもあります。驚きの連続です!

開発

Elmコンパイラのレマインダー:保守可能なコードのための強力なツール

2025-04-27
Elmコンパイラのレマインダー:保守可能なコードのための強力なツール

Elmのコンパイラのリマインダーは、しばしば見過ごされていますが、コードの保守性を維持するための重要な機能です。コードの変更が他の箇所の同時変更を必要とする場合、コンパイラエラーを発生させ、開発者を必要な調整に導きます。「コンパイルできれば動作する」という原則を体現し、シンプルなカウンターの例を用いて、コンパイラのヒントに従うことで堅牢で動作するコードを作成する方法を示しています。この「コンパイラ駆動開発」のアプローチは、型チェックと網羅性チェックと相まって、保守性を大幅に向上させます。議論は、リンターのヒントなど、他の種類のレマインダー、およびカスタムルールによってコンテキスト固有のレマインダーを作成する方法にまで広がります。最終的に、この論文は、高度に保守可能なコードベースでさまざまなレマインダーメカニズムを活用することの重要性を強調しています。

Linus Torvalds、大文字小文字を区別しないファイルシステムを批判

2025-04-27

Linuxカーネルの生みの親であるLinus Torvaldsは、大文字小文字を区別しないファイルシステムに対する痛烈な批判を展開しました。彼は、この機能は根本的に間違っており、不適切な実装から生じる多くのセキュリティ上の脆弱性を指摘しました。多くのプログラムは、セキュリティチェックにおいてファイル名の大小文字を区別することに依存しており、大文字小文字を区別しない実装の欠陥によってこれらのチェックを回避され、深刻なセキュリティリスクにつながる可能性があると主張しました。Torvaldsは、ファイルシステム開発者にこの欠陥のあるアプローチを放棄し、大小文字の区別が正しい設計上の選択であることを強調しました。

開発

9front OS 11091リリース:大幅な改善と新機能

2025-04-27

9frontオペレーティングシステムのバージョン11091がリリースされました。このバージョンには、多くのアップデートが含まれています。これには、改良されたスナップショットスケジューラ、新しいIntel i225 2.5 GbEドライバ、AMD RyzenのCPU温度サポート、libcのUnicode 16.0正規化インターフェース、および複数のアーキテクチャ(x86、amd64、arm64)のサポートが含まれます。さらに、コンパイラ、ライブラリ、プログラムへの広範な改善が含まれており、AWKの新しいrc-quote形式のサポート、さまざまなプログラムのバグ修正とパフォーマンスの最適化などが挙げられます。PC、Raspberry Pi、MNT Reform、QEMU向けの複数のインストールメディアが提供されています。

開発

ベテラン開発者が新たな機会を求めて:転職活動とコンサルティング

2025-04-27
ベテラン開発者が新たな機会を求めて:転職活動とコンサルティング

オラクルで4年間勤務した後、著者は転職活動を行い、新たな道を模索しています。彼はRuby/JavaScript、製品ドキュメント、開発者リレーションズに精通したベテラン開発者であり、積極的に仕事を探しつつ、特にMac/Unixの自動化においてコンサルティングサービスを提供しています。彼はブログのスポンサーシップを再開する計画で、確立された読者層と高いGoogleランキングを活用して、適切な仕事やコンサルティングプロジェクトを見つけようとしています。

開発
1 2 102 103 104 106 108 109 110 214 215