このオープンソースプロジェクトは、Emergeのツールスイートを使用して、サイズ分析、スナップショットテスト、デッドコード検出、パフォーマンステストを行う方法を、AndroidとiOSのサンプルアプリを使用して示しています。アプリはApp StoreとGoogle Playで利用可能で、リポジトリには包括的なドキュメントとGradle/fastlane設定の例が含まれています。
続きを読む
Pantographは、従来のテキスト解析と型チェックを行うエディタとは異なり、型付き構文木を直接操作する革新的な構造化コードエディタです。ツリー選択と「ジッパー編集」の概念を導入することで、既存プログラムの編集を簡素化し、プログラマは複雑なコード変更を容易に行いながら、型安全性を維持できます。型の違いを巧みに処理し、プログラムにいくつかのエラーが存在することを許容することで、段階的なデバッグを容易にします。Pantographの設計は言語に依存せず、開発者はそのフレームワークに基づいて新しいエディタを定義できます。
続きを読む
このプロジェクトは、Unreal Engine 5のNaniteに似た動的LODシステムをThree.jsで再現しようとする試みです。メッシュをメッシュレットにクラスタリングし、隣接するメッシュレットをグループ化し、マージ（共有頂点）、meshoptimizerを使用してメッシュを簡素化（三角形を半分に、最大128）、最後に分割（現在は2、目標はN/2）します。プロジェクトはまだ初期段階であり、今後の作業にはLOD、DAGカット、GPUへのジオメトリストリーミングの改善が含まれます。研究には、Nanite、マルチレゾリューション構造、バッチマルチトライアングレーションが含まれます。
続きを読む
TRREは、より直感的なテキスト編集とパターンマッチングのために設計された、正規表現の試作拡張です。従来の正規表現とは異なり、TRREは`:`記号を使用して変換を定義することで、テキストの置換、挿入、削除を簡素化します。`grep`に似たコマンドラインツールを提供し、単語の置換、文字の挿入/削除、さらには単純な暗号化/復号化など、効率的なテキスト操作タスクを可能にします。まだプロトタイプ段階ですが、特に複雑なタスクにおいて、そのパフォーマンスは`sed`を凌駕する可能性を示しています。
続きを読む
r1-computer-useプロジェクトは、ファイルシステム、Webブラウザ、コマンドラインなど、人間のようにコンピューターを操作できるAIエージェントを訓練することを目指しています。DeepSeek-R1の強化学習技術に触発されたこのプロジェクトは、従来のハードコーディングされた検証器の代わりに、エージェントのアクションの正しさや有用性を評価するためのニューラル報酬モデルを使用しています。トレーニングパイプラインは、専門家のデモンストレーションから報酬モデルによるポリシー最適化とファインチューニングまで、複数の段階を含み、最終的には複雑なタスクを実行できる安全で信頼性の高いAIエージェントを目指しています。
続きを読む
`explore_heap`は`LD_PRELOAD`を介してロードされるglibcヒープデバッガーであり、プログラムのヒープメモリの対話的な検査と操作を可能にします。`libheap_explorer.so`をロードし、SIGINTシグナル（Ctrl+C）でプログラムを中断することで、ユーザーはREPLに入り、チャンクの割り当てと解放、フリーリスト、tcache、fastbin、binリストの表示を行うことができ、メモリ関連の問題のデバッグに役立ちます。現在、Arch Linuxのglibc 2.41+でテスト済みで、他の最新のglibcバージョンへの適応には定数の調整が必要です。
続きを読む
Gordon Kamerは、AIプラットフォームAbbeyをサポートするために、堅牢なWebスクレイピングAPIを開発しました。このAPIはローカルで実行され、URLを入力として受け取り、ウェブサイトデータとスクリーンショットを返します。PlaywrightとDockerによって構築されており、JavaScriptを実行し、メモリ制限やプロセス分離などのセキュリティ機能を備えています。JSONデータ、ページコンテンツ、最大5枚のスクリーンショットを含むマルチパートレスポンスを返します。APIキーによるアクセス制御、メモリ割り当てとスクリーンショットパラメータのカスタマイズが可能です。
続きを読む
redbeanで構築された小さなGUIアプリケーションで、SQLiteデータベースをSQLiteと同じようにページ単位で閲覧できます。Windows、Linux、macOSなど、様々なOSで動作する6.5MBの単一実行ファイルで、インデックスの保存方法、データのコンパクト性、Bツリー構造などの内部構造を理解するのに役立ちます。多言語対応実行ファイルを使用しているため、ウイルス警告が表示される可能性がありますが、信頼できるプロジェクトであり、開発者にとってユニークな視点が得られます。大規模なデータベースでは速度が遅くなる可能性があります。
続きを読む
OpenLDKは、Common Lispで完全に実装されたJavaのJust-In-Time (JIT)コンパイラとランタイム環境です。Javaバイトコードを段階的にLispに変換し、ネイティブマシンコードにコンパイルすることで、JavaとCommon Lispのギャップを埋めます。この独自のアプローチにより、JavaクラスをCommon Lisp Object System (CLOS)クラスにシームレスにマッピングできるため、JavaとCommon Lispのコードベースを容易に統合できます。高性能を目的とはしていませんが、OpenLDKはLispワークフローにJavaライブラリを統合するための実用的なソリューションを提供します。現在、主にLinuxとSBCLをサポートしており、開発中であり、Java 8以降のクラスファイルのサポートやバイトコード検証など、多くの機能がまだ実装されていません。
続きを読む
depthvizはオープンソースツールで、ダイビングログ（Apnealizer、Garmin、Suuntoなどに対応）を滑らかなリアルタイム深度表示動画に変換します。Windows、macOS、Linuxで動作し、フォント、色、小数点以下の桁数などの幅広いカスタマイズオプションを提供します。生成された動画は、CapCut、Premiere Proなどの編集ソフトに簡単に統合できます。depthvizは深度データをインテリジェントにスムージングし、ログデータが欠落していても自然な表示を実現します。ダイビングテクニックの分析や水中冒険の共有など、depthvizは強力なツールです。
続きを読む
T1は、Cray X1ベクトルマシンに着想を得たRISC-Vベクトルプロセッサの実装です。レーンベースのマイクロアーキテクチャを採用し、集中的なチェイニングサポートとSRAMベースのVRFを備えています。T1は標準的なZve32fとZve32xをサポートし、VLEN/DLENは64Kまで拡張可能です。レーン、チェイニング、大規模LSUなどの重要なベクトルマシン機能を備えており、MMIO DSAの汎用プラットフォームとしても機能します。Chiselを使用して設計されており、T1Emulatorを提供しています。任意のRISC-Vスカラーコアと統合でき、スループット、面積、周波数などのトレードオフを考慮して、高効率または高性能のいずれかを実現できます。
続きを読む
Parは、線形論理の表現力を実践に応用しようとする、実験的な並行プログラミング言語です。独自の特性として、プロセスはチャネルを介して通信し、各チャネルは最大2つのエンドポイントを持ち、デッドロックは発生しません。すべての値はチャネルであり、リスト、関数、無限ストリームなどを含みます。現在、Parはプリミティブ型や非決定性など、いくつかの機能を欠いていますが、すでに豊富な並行性を表現しています。この記事では、Parの構文、セマンティクス、そしてチャネル、シグナル、再帰、式構文などを網羅した例を詳しく説明します。インタラクティブなプレイグラウンドにより、ユーザーはParの並行性を体験できます。
続きを読む
go-multikeymapは、複数のキーを持つマップデータ構造を実装した、高性能なGoライブラリです。MultiKeyMapとBiKeyMapの2つのタイプを提供します。MultiKeyMapは1つの主キーと複数の文字列副キーを許可し、BiKeyMapは両方のキーが一意である必要があります。どちらもコンカレントとノンコンカレントのバージョンがあり、ベンチマークはO(1)に近いアクセス時間を示しています。このライブラリは使いやすく、よく文書化されており、パフォーマンス評価のためのベンチマーク結果が含まれています。
続きを読む
Vulnerability-Lookupは、様々なソースからの脆弱性を迅速に関連付け、調整された脆弱性開示（CVD）プロセスを簡素化する強力なオープンソースプラットフォームです。NIST NVDやCISAなど、多くのソースからのインポートをサポートし、ユーザーは脆弱性の発見状況の追加、コメントの追加、バンドルの作成を行うことができます。APIとPythonライブラリにより、他のツールとの統合が容易になり、開発者は独自の発見状況ツールを簡単に作成できます。Vulnerability-LookupはGNU Affero GPL v3.0ライセンスの下で提供され、CIRCL、Alexandre Dulaunoy、Raphaël Vinot、Cédric Bonhommeによって開発されています。
続きを読む
Discord Messengerは、驚くべきことにWindows 2000以降と互換性のある非公式のDiscordクライアントです。MITライセンスで公開されているこのオープンソースプロジェクトはベータ版であり、Discordの利用規約に違反するリスクがあります。メッセージング、添付ファイルの処理、絵文字のサポートなど、主要な機能を備えていますが、ビルドには技術的なスキルが必要です。このプロジェクトはMinGWとVisual Studioのビルドをサポートしており、OpenSSLライブラリのコンパイルまたは取得が必要です。
続きを読む
PulseBeamは、新しいWebRTCピアツーピア通信SDKである@pulsebeam/peerを開発者プレビュー版としてリリースしました。このSDKは、リアルタイムアプリケーションの開発を簡素化し、接続確立、メディアとデータの送受信のシグナリングプロトコルを処理し、インフラストラクチャを提供します。オーディオ、ビデオ、データチャネルの送受信、自動再接続をサポートし、オプションでサーバー中継通信も可能です。npm、deno、yarnを使用して簡単にインストールできます。APIキーなどの詳細は、PulseBeamの公式ドキュメントを参照してください。
続きを読む
Raspberry Pi用のベアメタルMIDIシンセサイザーであるmt32-piプロジェクトが、開発者への継続的なオンライン嫌がらせにより終了しました。開発者は、個人的な攻撃、コードの盗用、3Dプリントデザインの盗難販売などを理由にプロジェクトを放棄したと述べています。コミュニティからのサポートがあったにもかかわらず、ネガティブな経験が開発者のメンタルヘルスに大きな影響を与えました。mt32-piは様々なRaspberry Piモデルに対応しており、I²S Hi-Fi DACサポートやネットワークMIDIなどの機能を提供していました。
続きを読む
j8cuは、高性能なRingBuffer実装を備えたJava 8コレクションユーティリティライブラリです。このRingBufferは、順序付きと順序なしの2つの読み取りモードをサポートしています。順序付きモードはFIFOであり、最新のN個のオブジェクトのバッファを維持するのに最適です。追加機能には、イベントリスナー、バルクコピー、クリア/リセット機能が含まれており、Java 8でのRingBufferの使用を簡素化します。
続きを読む
この記事では、Terraform ワークスペースを使用してマルチアカウント AWS アーキテクチャを管理する方法を示します。モジュール化、セキュリティ、リモート状態の保存などの詳細には触れず、アカウントとワークスペースの関連付けに焦点を当てています。Localstack を使用したローカル環境でのテスト方法、および OpenTofu を Terraform のオープンソース代替手段として使用する方法が提示されています。異なるワークスペースを作成し、変数ファイルを動的にロードすることで、異なる環境（開発と UAT など）の構成を管理します。
続きを読む
LSD-MCPサーバーは、Claudeがインターネットに接続し、ウェブ向けのDSLであるLSD SQLを使用して、ウェブサイトから直接高品質な情報を集約することを可能にします。PostgreSQLデータベースのように、開発者がインターネットをアプリケーションに接続できるようにします。ブラウザ向けに設計されたLSDは、強力な並列処理とJust-in-Timeテーブルを提供し、事前にテーブルを作成する必要性を排除します。簡単なコマンドラインインストールとLSD_USERとLSD_API_KEYの設定により、ClaudeはLSDクエリを実行できます。エラーのトラブルシューティングには、uvパスとclaude_desktop_config.jsonファイルの確認が含まれます。
続きを読む
VSCodeマーケットプレイスの拡張機能のダウンロードリンクが壊れています。新しいインストール手順では、ユーザーは「バージョン履歴」リンクからOSに適したバージョンをダウンロードするよう指示されていますが、このリンクが存在しません。以前のサイドバーのダウンロードリンクも削除されており、ユーザーは拡張機能をダウンロードできません。これは、すべてのオペレーティングシステムとブラウザに影響します。
続きを読む
nv_cluster_lod_builderは、幾何学的詳細を細かく制御できる連続レベルオブディテール（LOD）メッシュライブラリです。三角形のクラスタを事前に計算し、レンダリング時にカメラの位置に基づいて適応的に詳細レベルを選択することで、離散LODと比較して高速なレンダリングと低メモリ消費を実現します。特にレイトレーシングに有効です。独自のデシメーション戦略により、隙間や重複のないスムーズなLOD遷移が保証されます。空間階層によりクラスタの選択が高速化され、ジオメトリストリーミングによりメモリ消費がさらに削減されます。
続きを読む
arXivへの論文提出のためのLaTeXコードのクレンジングに苦労していませんか？Google Researchの`arxiv-latex-cleaner`を使えば簡単に解決できます！このツールは、補助ファイル、コメント、未使用のコードと画像を自動的に削除し、画像のサイズ変更、PDFの圧縮を行い、arXivのサイズ制限を満たすように論文を準備します。カスタム正規表現置換ルールをサポートし、TikZ画像の外部化にも対応しています。わずか数ステップで論文の提出準備が完了します！
続きを読む
Auto-AVSRは、視覚的な音声（唇読み）に焦点を当てた、エンドツーエンドのオーディオビジュアル音声認識（AV-ASR）のためのオープンソースフレームワークです。LRS3ベンチマークで、視覚音声認識（VSR）で20.3％、音声認識（ASR）で1.0％の単語誤り率（WER）を達成しました。トレーニング、評価、APIの使用に関するコードとチュートリアルを提供し、マルチノードトレーニングをサポートしています。ユーザーは、事前トレーニングされたモデルを利用するか、ゼロからトレーニングし、必要に応じてハイパーパラメータをカスタマイズできます。
続きを読む
Mailspringは、元の作者の1人によってメンテナンスされているNylas Mailの新しいバージョンです。より高速で軽量になり、本日リリースされました！Nylas MailのJavaScript同期コードを、Mailcore2ベースの新しいC++同期エンジンに置き換え、RAMとCPUの使用率は約半分になりました。アイドル状態でのCPUウェイクアップはほぼゼロなので、バッテリー駆動時間が大幅に向上します。また、完全に改良されたコンポーザーとその他の素晴らしい新機能も備えています。MailspringのUIはオープンソース（GPLv3）で、TypeScript、Electron、Reactを使用して記述されており、拡張しやすいプラグインアーキテクチャ上に構築されています。Mailspringの同期エンジンはElectronアプリケーションによって生成され、ローカルのコンピューター上で実行されます。これもオープンソース（GPLv3）で、C++とCで記述されています。ただし、開発環境の設定時には、プラットフォーム向けに提供されている最新の同期エンジンバージョンが使用されるため、ソースコードを取得したり、コンパイル時の依存関係をインストールする必要はありません。
続きを読む
この論文では、s1というシンプルなテスト時スケーリング手法を紹介しています。わずか1000個のサンプルと予算制約だけで、o1-previewに匹敵する強力な推論性能を実現します。この手法は、巧妙なテスト時戦略により、大規模言語モデルのパフォーマンスを大幅に向上させます。コードとデータはオープンソース化されており、再現性とさらなる調査を容易にします。
続きを読む
Googleのセキュリティチームは、AMD Zen CPU（Zen 1～4）における重大な脆弱性を発見しました。ローカル管理者権限を持つ攻撃者は、安全でない署名検証を回避して悪意のあるマイクロコードパッチをロードし、AMD SEV-SNPによって保護されている機密計算ワークロードの機密性と整合性を損なう可能性があります。また、Dynamic Root of Trust for Measurement（DRTM）も危険にさらされる可能性があります。AMDは12月17日に修正プログラムをリリースし、ユーザーにSNPのTCB値を確認するよう促しています。Googleは、修正のための時間を確保するため、3月5日に詳細情報とツールを公開します。
続きを読む
httptap は、root 権限なしで、あらゆるプログラムが実行する HTTP および HTTPS リクエストを監視する Linux 用コマンドラインツールです。独立したネットワークネームスペースでターゲットプログラムを実行し、ネットワークトラフィックをインターセプトすることで実現しています。Go 言語で記述されており、依存関係がなく、すぐに実行できます。URL、HTTP ステータスコード、リクエストボディ、レスポンスボディなど、リクエストの詳細情報を表示し、データを HAR ファイルにエクスポートする機能もサポートしています。httptap は DoH（DNS over HTTPS）にも対応し、HTTP リダイレクトを処理します。
続きを読む
Klarityは、生成モデルの出力における不確実性を分析するためのツールです。生の確率分析と意味理解を組み合わせることで、テキスト生成中のモデルの動作に関する深い洞察を提供します。このライブラリは、二重エントロピー分析、意味クラスタリング、構造化されたJSON出力、そして人間が読める洞察を提供するAI駆動型分析を提供します。現在Hugging Face Transformersをサポートしており、より幅広いフレームワークとモデルのサポートを計画しています。
続きを読む
GarminDbは、Garmin Connectのヘルスデータを解析し、軽量なSQLiteデータベースに保存するように設計された、強力なPythonスクリプトのスイートです。毎日のモニタリングデータ（心拍数、アクティビティ、上昇/下降、ストレス、強度分）、睡眠、体重、安静時心拍数の情報を自動的にダウンロードしてインポートします。さらに、データを日次、週次、月次、年次のレポートに要約し、コマンドラインまたはJupyter Notebookを使用してグラフを作成できます。プラグインシステムにより、データタイプの拡張が容易になります。つまり、GarminDbはGarminデータ管理のための包括的で使いやすいツールであり、ヘルスデータの分析をより効率的で便利にします。
続きを読む