Shift-To-Middle配列は、両端への挿入と削除において、std::deque、std::vector、連結リストを凌駕するように設計された動的配列です。連続したメモリを使用することで、キャッシュの局所性を向上させ、SIMDと並列最適化をサポートします。ベンチマークは、特にマルチコアCPUやSIMD命令セットをサポートするハードウェアにおいて、顕著なパフォーマンス向上を示しています。このプロジェクトはオープンソースで、完全なAPIドキュメントとベンチマークレポートが公開されています。貢献は大歓迎です！
続きを読む
`formal_verif_ml`プロジェクトは、Lean 4を用いて機械学習モデルの性質（堅牢性、公平性、解釈可能性など）を形式的に検証するためのフレームワークを提供します。Leanライブラリ、モデル変換ツール、Webインターフェース、CI/CDパイプラインを含み、様々なモデルタイプをサポートしています。インタラクティブなWebポータルでは、モデルのアップロード、生成されたLeanコードの表示、証明コンパイルのトリガー、モデルアーキテクチャの可視化などが可能です。
続きを読む
ttydは、Web経由でターミナルを共有するためのシンプルなコマンドラインツールです。ポート指定、ネットワークインターフェースのバインド、認証、ユーザー権限の設定、カスタム作業ディレクトリなど、多くのオプションを提供し、柔軟な設定が可能です。SSL暗号化、IPv6サポート、クライアント引数の渡しなどの高度な機能により、安全で信頼性の高いリモートターミナルアクセスを実現します。
続きを読む
CIパイプラインで使用するために、`security-audit.json`を`security-audit.md`に変換するシンプルなGoプログラムです。生成されるレポートの例と、CI統合の例（`dependency-audit.yml`と`dependency-audit-only-when-detected.yml`）が提供されています。後者は、脆弱性が検出された場合にのみGitHub issueを作成します。入力と出力ファイルのパスをカスタマイズでき、脆弱性が検出されなかった場合に失敗するように設定することもできます。
続きを読む
argpは、GNU標準に準拠した堅牢なコマンドライン引数パーサーを提供するGo言語ライブラリです。組み込みヘルプ、構造体フィールドのスキャン、複合型（配列、スライス、構造体）のサポート、ネストされたサブコマンドなどを備えています。argpはGNU引数ルールに従い、短いオプションと長いオプション、オプション値、複数の値、オプションの組み合わせを処理します。また、設定ファイルの読み込み、カウント、追加、MySQLデータベースなどのカスタムデータソースのサポートも提供します。開発者はargpを利用して、効率的に強力なコマンドラインツールを作成できます。
続きを読む
Landrunは、Landlock LSMを利用した軽量なLinuxサンドボックスで、カーネルレベルのセキュリティと最小限のオーバーヘッドを特長としています。ディレクトリへのきめ細かいアクセス制御が可能で、読み取りと書き込みのパスをサポートし、許可されたパスでの実行をオプションで許可します。TCPネットワークアクセス制御（バインドと接続）も含まれています。Landlock LSMが有効になっているLinuxカーネル5.13以降が必要です（ネットワーク制限にはカーネル6.8以降）。Landrunは、コマンドラインインターフェースを提供し、読み取り専用、読み取り/書き込み、実行、特定のTCPポートのバインドと接続など、サンドボックスの権限を簡単に設定できます。「ベストエフォート」モードにより、古いカーネルでもスムーズに動作します。信頼できない、または悪意のある可能性のあるコードを安全に実行するのに最適です。
続きを読む
研究者らは、R1-Zeroライクなトレーニングの謎を解き明かす論文、モデル、コードベースを発表しました。彼らは、高度にモジュール化され、効率的なLLM強化学習フレームワークであるOatを開発し、それを用いてQwen2.5などのモデルをR1-Zeroトレーニングしました。研究では、適切なベースモデルと改良された強化学習アルゴリズム（Dr. GRPO）が重要であり、不一致なテンプレートと質問セットによるバイアスされた最適化を回避できることが分かりました。最終的に、8台のA100 GPUでわずか27時間という計算時間で最先端の性能を達成しました。
続きを読む
FastOpenAPIは、Pydanticと様々なフレームワークを使用してOpenAPIスキーマを生成および統合するためのライブラリです。FastAPIに似た開発者フレンドリーなエクスペリエンスを目指しています。Falcon、Flask、Quart、Sanic、Starlette、Tornadoをサポートし、プロキシルーティングを通じてFastAPIスタイルのルーティングを提供します。pipによる簡単なインストールで、Swagger UIとReDoc UIで簡単にドキュメントを確認できます。包括的な例とベンチマークも提供されています。
続きを読む
macOS aarch64でバージョン1.8.2bのブラウザを使用しているユーザーが、プライバシーとテレメトリに関する複数の問題を報告しました。このブラウザはプライバシー重視として販売されていますが、ユーザーはテレメトリが有効になっているように見え、フィンガープリンティングやその他のプライバシー関連の慣行に関する詳細がドキュメントに不足していると主張しています。ユーザーは透明性を求めており、データ収集方法の詳細な説明、または主張が根拠のないものである場合はプライバシー重視のマーケティングの中止を要求しています。
続きを読む
このテキストは、GitHubのコードレビュープロセスでコード提案を適用する際に発生する可能性のあるさまざまな制限をリストしています。これらには、コードの変更がない、プルリクエストが閉じられているかマージされている、変更の一部のみを表示している、行ごとに1つの提案のみ適用可能、削除された行への提案の適用はサポートされていない、提案が既に適用されているか解決済みとしてマークされている、保留中のレビューからの提案は適用できない、複数行のコメントへの提案は許可されていないなどが含まれます。これらの制限により、コードレビュープロセスの整合性と正確性が確保されます。
続きを読む
このKritaプラグインを使用すると、キャンバスの任意の領域を、オプションでサイズ変更してエクスポートできます。インストール：`region_exporter`フォルダをKritaのリソースフォルダの`pykrita`サブフォルダに配置します。`region_exporter.desktop`をKritaのリソースフォルダのルートに、`region_exporter.action`を`actions`サブフォルダに配置します。使用方法：Ctrl+Shift+Eショートカットまたはツールメニューを使用します。座標、サイズ、回転、レイヤー選択オプションを入力して画像をエクスポートします。
続きを読む
Hyperbrowserは、モデルコンテキストプロトコル（MCP）サーバーを発表しました。これは、Webページのスクレイピング、構造化データの抽出、Webサイトのクロールを行うための強力なツールです。OpenAIのCUA、AnthropicのClaude Computer Use、Browser Useなど、汎用ブラウザエージェントへのアクセスも簡素化します。サーバーは、Webページのスクレイピング、Webクロール、構造化データの抽出、Bing検索、さまざまなブラウザの自動化機能などを備えています。インストールは簡単で、`npx hyperbrowser-mcp `を実行し、関連する設定ファイルを構成するだけです。
続きを読む
Screenは、純粋なPHPで記述されたターミナルエミュレータライブラリであり、あらゆるPHPアプリケーション内でリッチテキストベースのユーザーインターフェースを作成できます。当初、Laravel向けのSoloのマルチプロセスTUIにおけるANSIエスケープコードの競合を解決するために開発されました。Screenは、仮想ターミナルバッファを作成し、ANSI操作（カーソル移動、色の変更、画面クリアなど）を安全に処理することで、一貫したレンダリングを保証します。Unicode、マルチバイト文字、スクロール、幅広いANSIエスケープコードをサポートし、独自のビジュアル比較システムを備えた包括的なテストスイートにより、正確なエミュレーションが保証されます。
続きを読む
IronRDPは、Microsoftリモートデスクトッププロトコル（RDP）の安全な実装を提供するRustクレートのコレクションです。非圧縮の生ビットマップ、RLE、RDP 6.0ビットマップ圧縮、Microsoft RemoteFXなど、さまざまなコーデックをサポートしています。完全な非同期RDPクライアントと、統合を容易にするためのブロッキング例が含まれています。また、グラフィックスパフォーマンスを向上させるためにサーバーでRemoteFXを有効にする方法についても詳しく説明しています。
続きを読む
Manifestは、基本的なバックエンド機能のみを必要とするウェブサイトやアプリの80％の開発を簡素化するために設計された、軽量な単一ファイルのマイクロバックエンドフレームワークです。認証、検証、ストレージ、画像のリサイズ、管理パネル、動的なエンドポイント、REST API、JS SDK、Webhookなどの必須機能を提供します。迅速なプロトタイピング、マイクロサービス、CRUD中心のアプリ、ヘッドレスCMSに最適です。現在ベータ版であり、小規模なプロジェクトやMVPに適していますが、重要なプラットフォームでの使用は推奨しません。
続きを読む
PocketFlowは、TypeScriptベースのLLMフレームワークで、入れ子になった有向グラフ構造を採用しています。これにより、複雑なAIタスクを再利用可能なLLMステップに分解し、エージェントのような意思決定のための分岐と再帰を可能にします。このフレームワークは拡張性に優れ、様々なLLMやAPIを特別なラッパーなしで統合でき、ワークフローの視覚化と状態の永続化によるデバッグ機能も備えています。これにより、企業レベルのAIシステムの構築が加速されます。
続きを読む
Retro Boyは、Rustで記述され、Webブラウザでプレイ可能なサイクル正確なGame Boyエミュレータです。wasm-packを使用してRustコードをWebAssemblyに変換し、Web Audio APIとHTML Canvasをオーディオとグラフィックスに使用します。MBC1、MBC3、MBC5、HuC1カートリッジをサポートし、正確なCPU、オーディオ、グラフィックスエミュレーションを備え、GameShark/GameGenieチートコードもサポートしています。ユーザーフレンドリーなインターフェースには、フルスクリーンモード、一時停止/再開、選択可能なカラーモード、カスタマイズ可能なキーマッピングなどが含まれています。Retro BoyはBlarggのテストROMコレクションの大部分をパスし、その高精度を示しています。
続きを読む
GizmoSQLは、バックエンドデータベースとしてDuckDBまたはSQLiteを使用するApache Arrow Flight SQLサーバーの実装です。ミドルウェアによる認証を有効にし、TLSによる暗号化接続を許可します。このプロジェクトは、簡単な展開と使用のためにDockerイメージとCLI実行ファイルを提供します。ユーザーはJDBCまたはADBCドライバを介してサーバーに接続し、Pythonまたは`gizmosql_client` CLIツールを使用してクエリを実行できます。GizmoSQLは、カスタム初期化SQLコマンドをサポートし、異なるバックエンドデータベースの選択やTLSの有効化/無効化など、柔軟な構成オプションを提供します。スリムなDockerイメージも利用できます。
続きを読む
Minimalyticsは、SQLiteをベースとしたスタンドアロンのミニマリスト分析ツールで、リソース制約のある環境向けに設計されています。最小限のフットプリントで、イベントデータの追跡と視覚化のための軽量なソリューションを提供します。内部サービスの追跡や、シンプルな分析ツールが必要な場合に最適で、膨張することなく高性能を実現します。月間10億件以上のイベントを処理し、ストレージフットプリントは約20MBのみです。Web UIを使用してダッシュボードの管理とインタラクティブなグラフによるデータの視覚化が可能です。
続きを読む
これは、MCPクライアントエージェントがマインスイーパーをプレイできるようにするモデルコンテキストプロトコル（MCP）サーバーです。マインスイーパーゲームサーバーと連携して動作するように設計されています。高速化されたビデオデモはhttps://youtu.be/CXXMafVtlEQ（16倍速）でご覧いただけます。ゲームサーバーの説明に従ってローカルで起動してください。依存関係をインストールし、サーバーを構築し、MCPクライアントを構成してツールを追加します（例：Claude Desktopのclaude_desktop_config.json）。マインスイーパーゲームを開始し、すべての地雷にフラグを立ててみてください。座標は0から始まります。完全な会話ログは長く、フラグの配置ミスや数回試行した後のギブアップを示すスニペットが含まれています。
続きを読む
AgentKitは、決定論的ルーティング、複数のモデルプロバイダーのサポート、そしてMCPによる豊富なツールを提供する、マルチエージェントネットワークを構築するためのフレームワークです。Inngest Devサーバーとそのオーケストレーションエンジンと組み合わせることで、クラウドにデプロイされたエージェントのフォールトトレランスを実現します。主な概念には、エージェント（プロンプト、ツール、MCPと組み合わせたLLM呼び出し）、ネットワーク（共有状態を含むハンドオフでエージェントが共同作業するための簡単な方法）、状態（会話履歴と完全に型付けされたステートマシンを組み合わせ、ルーティングに使用）、ルーター（コードベースからLLMベース（例：ReAct）へのオーケストレーション）、トレース（組み込みトレースによるローカルおよびクラウドでのワークフローのデバッグと最適化）などがあります。AgentKitは、コードベースの決定論的ルーティングとエージェントベースの自律ルーティングを含む複数のルーティング戦略をサポートし、エージェント間の共同作業を容易にするための共有状態メカニズムを提供します。
続きを読む
Rubyプログラミング言語の高性能実装であるTruffleRubyが、パフォーマンスの大幅な向上と互換性の強化を伴う新バージョンをリリースしました。このリリースでは、Module#name、Module#const_added、ObjectSpace.undefine_finalizerなどのメソッドにおける多くのバグが修正され、OpenSSL 3.0.xおよび3.xとの互換性が向上しています。さらに、IO#{pread, pwrite}、Range#reverse_eachなど、多くの新しいメソッドと機能が追加され、エンコーディングネゴシエーションやいくつかのC拡張の性能が最適化されました。このアップデートにより、TruffleRubyの安定性とパフォーマンスが向上し、標準的なRuby実装であるMRIに近づきました。
続きを読む
Physix.goは、Go言語で記述されたシンプルで高速、そして使いやすい物理エンジンです。粒子ベースのシミュレーション、ベクトル演算、バネダイナミクスを含む効率的な物理計算を提供します。`go get github.com/rudransh61/Physix.go`でインストールでき、すぐに利用できるサンプルコードも用意されています。このエンジンは、運動量保存とエネルギー保存に基づいたバウンス効果のある長方形と円の間の衝突検出をサポートし、バネシミュレーション機能も備えています。
続きを読む
Stelvioは、AWSクラウドインフラストラクチャの管理とデプロイを簡素化するPythonライブラリです。純粋なPythonを使用し、複雑な設定に対してスマートなデフォルトを提供します。開発者は、使い慣れたPythonコードでクラウドリソースを定義し、インフラストラクチャコードとアプリケーションコードを明確に分離します。現在、Lambda、DynamoDB、API Gatewayをサポートしており（さらに多くのAWSサービスを計画中）、Stelvioはインフラストラクチャの複雑さよりも開発者の生産性を優先し、Terraform、Pulumi、AWS CDKよりも簡素化されたアプローチを提供します。注：Stelvioは初期アルファ版であり、実験に最適です。
続きを読む
このプロジェクトは、Playwright ヘッドレスブラウザを使用してウェブページコンテンツを取得するMCPサーバーを提供します。単一URLと複数URLの取得をサポートし、主要なコンテンツをインテリジェントに抽出してMarkdownに変換します。ユーザーは`npx`で直接実行でき、タイムアウト、待機戦略、コンテンツ抽出、最大長、HTMLまたはMarkdownの返却などのパラメーターを設定できます。Claude Desktopでのサーバーの設定、Playwrightブラウザのインストール、デバッグに関する手順も提供されています。
続きを読む
テンセントは、オープンソースのHunyuan3Dモデルのアップデート版をリリースしました。小型で高速な「mini」版が登場し、推論速度の向上に加え、テクスチャ生成機能も追加されました。これにより、3Dモデルの視覚効果が大幅に向上します。コードの変更点は、モデルの読み込み、パラメーター調整、テクスチャ生成パイプラインの最適化などに集中しており、幅広いファイル形式に対応しています。この強力な3Dモデリング技術が、より多くの開発者にとってアクセスしやすくなりました。
続きを読む
AdminerはPHPで記述された、単一ファイルで簡単に展開できる、フル機能のデータベース管理ツールです。MySQL、PostgreSQL、SQLiteなど多くのデータベースをサポートし、Elasticsearch、MongoDBなどへの機能拡張をプラグインで実現します。ユーザーは追加のプラグインでAdminerをカスタマイズし、シンプルなPHP設定ファイルで読み込み順序を管理できます。Adminer Editorは、データ操作のためのユーザーフレンドリーなインターフェースを提供します。
続きを読む
mcp-kafkaは、Model Context Protocol (MCP)サーバーであり、AIアシスタントとApache Kafka間のブリッジとして機能します。これにより、AIアシスタントはKafkaのトピックとメッセージを直接作成、管理、操作できます。このツールは、トピックの作成、一覧表示、削除、説明、メッセージの送受信をサポートし、SASL_PLAINTEXTとPLAINTEXT認証に対応しています。mcp-kafkaはインストールと使用が容易で、包括的なドキュメントと例が提供されています。
続きを読む
Focus Modeは、気を散らすウェブサイトをブロックすることで生産性を向上させるオープンソースのブラウザ拡張機能です。ユーザーは複数のサイトをブロックし、ブロック時間をスケジュールし、ワイルドカード（例：reddit.com/*）を使用して包括的なブロックを行うことができます。MITライセンスの下で貢献は大歓迎です。
続きを読む
Claudeのチャットウィンドウでコードをコピー＆ペーストするのにうんざりしていませんか？ codemcpプラグインを使えば、Claude Proが強力なペアプログラミングアシスタントに早変わり。IDE上で直接ファイルを編集し、バグを修正、コードをリファクタリング、テストを実行できます。codemcpは安全なエージェント型AIとGitバージョン管理をベースに構築されており、すべての変更はロールバック可能です。膨大なAPI請求額ともお別れ（時間ベースのレート制限が登場！）、Claudeとの効率的で協調的なコーディングを始めましょう！
続きを読む