Tachは、モジュール式モノリスアーキテクチャに触発された、Rustで記述されたPythonツールで、依存関係とインターフェースを強制します。段階的な採用が可能で、ランタイムへの影響はなく、既存のシステムと相互運用可能です。インタラクティブなインターフェースでプロジェクトを構成し、`tach check`コマンドを使用して依存関係違反を検出します。Tachは依存関係グラフの視覚化も提供し、モジュールの依存関係と使用方法を示すレポートを生成します。要するに、Tachは開発者がよりクリーンで保守しやすいPythonプロジェクトを構築するのに役立ちます。
この記事は、ホアール論理を用いた長除算アルゴリズムの詳細な形式的検証を示しています。著者は、ホアール三つ組、代入公理、合成公理、条件公理、whileループ公理を用いて、アルゴリズムの正しさを丁寧に説明しています。この記事は、ホアール論理の応用について明確に説明し、具体的な例を用いて証明プロセスの複雑さを示し、ソフトウェア開発における形式的検証の重要性を強調しています。
Goliothは最近、複雑なセルラー接続の問題に遭遇しました。特定のベンダのチップセットを使用する一部のデバイスが、OTAファームウェアアップデート後に接続障害が発生しました。調査の結果、この問題は、一部のNB-IoTネットワークが3GPP仕様に準拠していないことが原因で、モデムがDNSサーバアドレスを正しく取得できないことが判明しました。Goliothチームは、3GPP仕様、モデムトレースデータ、ネットワークプロトコルを詳細に分析することで、最終的に回避策を見つけ出しましたが、閉じたエコシステムと透明性の欠如という欠点も露呈しました。セルラー接続の信頼性を向上させるために、業界全体の透明性向上を求める声が高まっています。
AtomixDBはGo言語で完全に記述されたミニリレーショナルデータベースであり、データベースの動作、ストレージ管理、トランザクション処理の実装と理解に重点を置いています。B+ツリーストレージエンジンとインデックスサポートを使用し、フリーリストノードの再利用、トランザクションサポート、同時読み取りなどの機能を備えています。現在、CREATE、INSERT、GET、UPDATE、DELETE、BEGIN、COMMIT、ABORTコマンドをサポートしています。このプロジェクトはオープンソースであり、貢献を歓迎します。
Linuxカーネルコミュニティでメンテナの変更がありました。Christoph Hellwigがdma-mappingツリーのメンテナンスをMarek Szyprowskiに引き継ぎました。この変更はMAINTAINERSファイルの更新によって行われ、関係者によって承認されました。
Asahi LinuxのリードデベロッパーであるHector Martin氏の辞任は、オープンソース開発の非持続可能な性質を浮き彫りにしています。Apple SiliconへのLinux移植に費やした長年の無償の作業は、ユーザーからの絶え間ない要求と報酬の不足によって燃え尽き症候群につながりました。この記事では、オープンソースの壊れた経済性を考察し、開発者が適切な報酬を得ることなく数えきれないほどの時間をプロジェクトに費やし、結果として燃え尽き症候群やプロジェクトの放棄につながっていることを示しています。将来の悲劇を防ぐために、オープンソースへの貢献の価値付けとサポート方法を根本的に変えるよう訴えています。
この記事は、ばかげていて、面白く、ひどいオープンソースライセンスのコレクションをまとめたものです。ソフトウェアのコピーは許可するが実行は禁止するライセンスから、人種や性的指向に基づいて使用を制限するライセンスまで、その不条理さは際限がありません。中には、ゲイであることと犯罪を犯すことを要求するライセンスや、NFTやブロックチェーンとの使用を禁止するライセンス、聖書道徳を引用するライセンスなどがあります。著者の免責事項：これらのライセンスを使用しないでください！
arXivLabsは、arXivの新しい機能をウェブサイト上で直接開発・共有するためのフレームワークです。オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有する個人や組織との協力を促進します。arXivコミュニティを改善するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
vscliは、Visual Studio Code Dev Containerの起動を簡素化するために設計されたコマンドラインツールです。VS Code、VS Code Insiders、Cursorなどのエディターをサポートし、プロジェクトがDev Containerを使用しているかどうかを自動的に検出して、適切なコンテナを起動します。`open`コマンドでプロジェクトを開き、`recent`コマンドで最近使用したプロジェクトのリストを表示します。柔軟な起動動作（コンテナ強制、クラシック強制、検出）、カスタム設定のサポート、エディターへの追加引数の渡しなどが可能です。vscliは、簡潔なコマンドと豊富なオプションにより、開発者の生産性を大幅に向上させます。
コードのインデントスタイルをめぐる議論は、プログラマーの間で今もなお続いています。Allmanスタイル、K&Rスタイル、GNUスタイルなど、様々なスタイルがあり、それぞれに支持者がいますが、どれが優れているかについては、明確なコンセンサスはありません。この記事では、様々なインデントスタイルの長所と短所を詳しく調べ、適切なインデントがコードの可読性を大幅に向上させ、読む時間を短縮することを示す最近の研究結果を引用しています。結局のところ、選択したスタイルに関わらず、一貫性が重要です。
Telescopeは、ClickHouseに保存されたログデータを探索するための直感的なインターフェースを提供するWebアプリケーションです。様々な種類のログをサポートし、ユーザーは簡単に接続を構成して、クエリを使用してログを効率的にフィルタリング、検索、分析できます。現在ベータ版ですが、主要機能を紹介するライブデモが利用可能です。今後の計画には、クエリのプリセットの追加、生のSQLのサポートなどが含まれます。
この記事では、新しい実数符号化フォーマットである反復対数符号化を紹介します。従来の浮動小数点表現とは異なり、このフォーマットは、一連の符号ビットを使用して数を表現します。各符号ビットは、特定の範囲内の数の正負を示します。このアプローチにより、従来の浮動小数点フォーマットでは表現できない非常に大きく、または非常に小さな値を含む、驚くほど広い範囲の数を表現できます。また、ユニークな辞書式順序付け特性を備えています。精度の分布は均一ではありませんが、この方法は特定の範囲の数を表現する際に利点があり、特に非常に大きく、または非常に小さな値を扱う必要があり、精度要件が厳しくない場合に有効です。
この記事では、Windowsにおける奇妙な現象について説明します。タスクマネージャーに、名前の中に奇妙な四角形を含む小さな実行ファイルが多数表示されるというものです。これらのファイルは悪意のあるものではなく、ファイル名にUTF-16サロゲートペアが使われていることが原因で表示の問題が発生しています。UTF-16は、拡張Unicode文字を扱うために、基本多言語面を超える文字を表すサロゲートペアを使用します。文字列処理によって孤立した、または不正なサロゲートペアが生成されると、ファイル名がレンダリングされなくなります。この記事ではサロゲートペアについて説明し、レンダリングできないファイル名を持つファイルを作成するPythonスクリプトを提供することで、この現象を再現します。
DeepGEMMは、DeepSeek-V3で提案されているように、ファイングレインスケーリングを備えた、NVIDIA Hopperテンソルコアでクリーンで効率的なFP8汎用行列乗算（GEMM）を行うためのライブラリです。通常のGEMMとMix-of-Experts（MoE）グループ化GEMMの両方をサポートし、軽量なJust-In-Time（JIT）コンパイラを使用するため、インストール時のコンパイルは不要です。FP8テンソルコアの累算の不正確さを、CUDAコアの2レベル累算（プロモーション）で解決します。簡潔な設計（コアコードは約300行）にもかかわらず、DeepGEMMのパフォーマンスは、さまざまな行列形状で専門家がチューニングしたライブラリに匹敵するか、それを上回ります。
データベーススタートアップのEdgeDBが正式にGelに改名し、バージョン6.0でSQLを完全にサポートすることを発表しました。PostgreSQLプロトコルをネイティブにサポートします。Gelは、JavaScriptに対するTypeScriptのように、PostgreSQLのフロントエンドレイヤーとして位置付けられており、インテリジェントコンパイラを通じてデータスキーマとクエリ効率を向上させます。今回の改名は、ブランドの明確性とシンプルさを高め、繁栄するPostgreSQLエコシステムへの統合を促進することを目的としています。Gel 6.0のリリースは、独自のクエリ言語EdgeQLのみをサポートしていたことからSQLへの対応へと大きく転換し、魅力を高め、参入障壁を下げることを意味します。
MyCoderは、コマンドラインベースの強力なAIエージェントシステムであり、任意のタスクを実行でき、特にコーディングタスクに焦点を当てています。モジュール型のツールベースアーキテクチャを使用して、ファイルとのやり取り、コマンドの実行、ネットワークリクエストの実行、および並列タスク実行のためのサブエージェントの生成を行います。Anthropic APIキーを使用すると、MyCoderはビルドエラーの修正、依存関係の更新、コードのリファクタリング、新機能の追加などを実行できます。インタラクティブモードとファイルからのプロンプトの読み取りをサポートし、スマートなロギングと自己修正機能を備えています。MyCoderはClaude APIを活用し、Conventional CommitsとGitHub Actionsを使用してCI/CDを行います。
ggwaveは、軽量なオープンソースライブラリであり、音を使用してエアギャップデバイス間で少量のデータを通信できます。8～16バイト/秒の帯域幅を持つ単純なFSKベースの転送プロトコルを使用し、堅牢な復調のために誤り訂正コードを組み込んでいます。IoTやオーディオQRコードからデバイスのペアリングまで、幅広い用途があります。このライブラリはクロスプラットフォームで、さまざまなシステムで例と簡単なインストールを提供します。ユーザーはニーズに応じてさまざまなオーディオバックエンドを利用できます。
この説明では、ウェブインタラクションに関する新しい提案であるInvokerコマンドについて詳しく説明します。``要素に`commandfor`属性と`command`属性を追加することで、よりアクセシブルで宣言的な方法でボタンに動作を割り当て、必要なJavaScriptの量を削減します。この提案では`CommandEvent`を定義し、開発者がインタラクションをカスタマイズできるようにします。``要素と``要素に対する組み込みサポートが含まれており、アクセシビリティとセキュリティに重点が置かれています。カスタムコマンドもサポートしており、この提案を使用してウェブインタラクション開発を簡素化する方法を示す豊富なサンプルコードを提供しています。
ブラウザ上でのPythonの速度制限を克服するため、AnacondaとCloudflareのエンジニアがSPyを開発しました。SPyは単純なPython移植ではなく、コンパイル時と実行時のコードを混在させることができる新しい言語です（それぞれ青コードと赤コード）。Pythonに似た青コードは、コンパイル時に事前計算を実行でき、パフォーマンスを劇的に向上させます。SPyコードは解釈実行することも、Cコードにコンパイルし、さらにネイティブバイナリやWebAssemblyにコンパイルすることもできます。生成アートのデモでは、PyScriptからSPyに移行することで、100倍以上の速度向上を実現しました。まだ初期段階ですが、SPyは将来、ブラウザ上でRust並みの速度でPythonを実行できる可能性を示唆しています。
このブログポストでは、PyPyのための低オーバーヘッド統計メモリプロファイリングの新規アプローチについて説明します。すべてのメモリ割り当てを記録する代わりに、n番目の割り当てられたバイトごとにサンプリングを行い、PyPyのガベージコレクタ（GC）のバンプポインタアロケータチェックにサンプリングロジックを巧みに統合します。これにより、メモリサンプリングのオンオフに関わらず、高速パスが同一になり、オーバーヘッドが最小限に抑えられます。実験の結果、さまざまなサンプリングレートで良好なパフォーマンスを示し、メモリプロファイリングにおいてより精密な制御と低いオーバーヘッドを提供します。
本論文は、大規模言語モデル（LLM）をリストワイズ文書ランキングに効果的に使用できること、そして驚くべきことに、いくつかの複雑な問題を文書ランキングの問題に変換することで解決できることを主張しています。著者は、パッチの差分を使用してN日目の脆弱性を特定することにより、これを示しています。セキュリティアドバイザリ（クエリ）との関連性に基づいて、パッチの差分（ドキュメント）をランク付けする問題として再構成することで、LLMは脆弱性を修正する特定の関数を効率的に特定できます。この手法は、複数のセキュリティカンファレンスで検証されており、ファジングターゲットの選択や優先順位付けなど、他のセキュリティ問題にも適用できます。今後の改善としては、ランキング結果の分析や、自動的にテスト可能な概念実証型エクスプロイトの生成などの検証可能な証拠の生成などが挙げられます。
この記事では、堅牢なOCamlエコシステムの主要コンポーネントを紹介します。Dune（旧Jbuilder）はコンポーザブルなビルドシステムです。Baseは、パフォーマンスと移植性を向上させるために、OCamlの標準ライブラリに取って代わります。Coreは、拡張された機能でBaseを拡張します。Asyncは非同期プログラミングを可能にします。Bonsaiは、宣言的な増分ステートマシンを構築します。Incrementalは、自己調整計算を容易にします。Base_quickcheckは、ランダムなプロパティベースのテストを提供します。Patdiffは、コードと設定ファイルに最適化されたdiffツールです。これらのライブラリは、OCaml開発の強力な基盤を形成し、効率性とコードの品質を向上させます。
GoogleのGemini Code Assistが、個人開発者向けに無料で利用可能になりました。Visual Studio CodeとJetBrains IDEに統合されており、コード補完、コード生成、チャット機能を提供します。他の無料コーディングアシスタントと比べて90倍も多いコード補完回数の制限があり、最大128,000トークンのコンテキストウィンドウにより、大きなファイルでもシームレスに作業できます。様々な言語で自然言語プロンプトを使用し、コードを生成（シンプルなHTMLフォームなど）、コードスニペットを説明し、デバッグを行うことができます。この強力なツールにより、開発者は創造的な作業に集中でき、繰り返し作業はGeminiが処理します。
GoatDBは、DenoとReactのプロジェクトに最適な、リアルタイムでバージョン管理されたデータベースであり、シームレスなデプロイメントを提供します。プロトタイピング、セルフホスティング、シングルテナントアプリケーション、複雑なバックエンドのない軽量マルチテナント設定に最適です。クライアントサイド処理、オフラインファースト機能、リアルタイムコラボレーションなどの機能を備えています。Reactフックは状態管理を簡素化し、効率的なインクリメンタルクエリ、ビルトイン同期、堅牢なセキュリティモデルにより、迅速なプロトタイピングと共同作業プロジェクトに最適です。
AIがあなたのブラウザをシームレスに操作し、情報を検索したり、リンクをクリックしたり、複雑なウェブタスクを実行したりすることを想像してみてください。Browser-Useは、AIエージェントがブラウザを直接制御し、Redditの検索、ショッピングカートへの商品の追加、Salesforceへの連絡先の追加などのアクションを自動化できるようにする強力なPythonライブラリです。このプロジェクトは、使いやすいAPI、すぐに利用できるUI例、包括的なドキュメントを提供しています。ブラウザエージェントのUI/UXデザインのベストプラクティスを定義するために、専用の委員会も設立されています。開発者であろうとAI研究者であろうと、Browser-Useは大きなメリットをもたらします。
ベテラン開発者のJohn Siracusa氏が、APFSファイルシステムのクローン機能を巧みに活用して貴重なディスク容量を解放するMacアプリ「Hyperspace」をリリースしました。重複ファイルを削除する他のアプリとは異なり、Hyperspaceは同じ内容のファイルを、単一データインスタンスを共有するクローンに変換することで、損失なく容量を節約します。この記事では、Hyperspaceの開発経緯、SwiftUIとSwift 6を使用する際の経験と課題について詳しく説明しています。Hyperspaceはファイル操作にリスクが伴いますが、その強力な機能と使いやすさから、Macユーザーにとって大きな恩恵となるでしょう。
データサイエンス分野におけるElixirと既存のPythonエコシステムの統合という課題に対処するために、この記事ではPythonxプロジェクトを紹介します。PythonxはPythonインタープリターをErlang VMに埋め込み、ElixirとPython間の自動データ変換とコード評価を実現し、仮想環境の管理を簡素化します。Pythonxを使用することで、開発者はLivebookノートブック内でElixirとPythonのコードをシームレスに混合することができ、開発効率の大幅な向上とLivebookの実用性の向上につながります。この記事では、GILロックなどの潜在的な問題点と代替案についても議論し、NIF開発を簡素化するC++ライブラリであるFineプロジェクトも紹介します。
ブログ記事では、プログラミング言語の将来の方向性を探り、いくつかの革新的な機能を提案しています。これには、リファインメント型に基づいた関数オーバーロード、Cライクな構造体におけるユニオン型とリファインメント型を用いたメモリ最適化が含まれます。また、コンパイル時のメモリ安全性についても議論し、「assume」関数の概念を紹介しています。これは、デバッグを容易にするために、特定の条件下でプログラマが安全性のチェックを回避することを可能にします。これらのアイデアは、プログラミング言語の型安全性と効率性を向上させることを目指しています。
この記事では、あまり知られていないがGitのエクスペリエンスを大幅に向上させることができるGitの設定について詳しく説明します。著者は、「春の掃除」実験でGitコア開発者によって発見された最適な設定を共有し、3つのカテゴリに分類しています。Gitを明らかに改善する設定（ブランチのソートの改善、diffアルゴリズム、pushとfetch操作など）、無害で時折役立つ設定（自動修正の提案、コミット時のdiffの表示、競合解決の再利用など）、個人の好みに基づく設定（マージの競合処理の改善、rebaseのデフォルト設定、ファイルシステムの監視など）です。それぞれの設定の機能とその対応するコマンドについて詳細に説明することで、読者が自分のGit設定を最適化し、効率性を向上させるのに役立ちます。
著者は、TCPとUDPをバイパスするカスタムネットワーク転送プロトコルを作成し、異なるOSとネットワーク環境での動作を調査しようと試みました。実験の結果、カスタムプロトコルはローカルループバックテストでは部分的に成功しましたが、ネットワークを跨いでの環境では、AWSを除くほとんどのクラウドサーバーとネットワーク機器がカスタムプロトコルパケットを廃棄し、クロスプラットフォームの互換性に問題があることがわかりました。最終結論：必要がない限り、TCPまたはUDPを使用しましょう！