xPongは、LLMによるリアルタイムAI実況解説を搭載したPongゲームです。開発者は5年の歳月をかけ、OpenAIのgpt-4o-mini-ttsを用いてこのビジョンを実現しました。15年間のトーナメントシミュレーション、様々なスキルレベルのAIプレイヤー、試合開始、試合中、試合終了の3段階の実況解説システムを搭載し、試合展開に合わせて動的に変化します。過去の試合との比較やユーモラスな要素も取り入れています。xPongは、LLMがゲーム業界にもたらす可能性を示すものです。
続きを読む
このオープンソースプロジェクトは、スイッチバウンスの動作を示すオシロスコープトレースのコレクションを提供します。さまざまなスイッチの種類（ロッカースイッチ、プッシュボタンなど）が、さまざまな作動力と速度でテストされています。データは、回路とファームウェアのデバウンスアルゴリズムの設計とシミュレーションに使用できるCSVとPWL形式で提供されます。データセットには、テスト方法と機器の詳細な説明が含まれており、エンジニアにとって貴重なリソースとなります。
続きを読む
Elvishは、インタラクティブなシェル機能を備えた強力なスクリプト言語です。Linux、BSD、macOS、Windows向けに静的リンクバイナリとして提供されています。1.0以前のバージョンであるため、破壊的な変更が発生する可能性がありますが、スクリプトとインタラクティブな両方の用途に十分な安定性を備えています。インストール方法、チュートリアル、ニュースなど、ユーザー向けドキュメントはelv.shでホストされています。開発者向けドキュメントは、./docsディレクトリにあります。また、Elvishのパッケージやツールも増加しています。
続きを読む
DotnetSnes は、C# を使用して動作する SNES ROM を作成できる画期的なプロジェクトです！SNES ゲーム開発で一般的に使用される関数とグローバル変数を抽象化する .NET ライブラリを提供することで実現しています。コンパイルされた DLL は C に変換され、PvSnesLib SDK を使用して ROM にコンパイルされます。SNES の制約（動的メモリ割り当てがないなど）により、C# の慣用的なスタイルを完全に維持することはできませんが、完全に機能するゲームを作成することは可能です。この記事では、開発プロセス、依存関係のインストール、プロジェクトの設定、ビルド手順について詳しく説明し、HelloWorld（基本的なテキスト出力）と LikeMario（より複雑なタイルマップベースのゲーム）の 2 つの例を示します。
続きを読む
同じ古いGRUBブートローダーに飽きていませんか？この記事では、高品質のGRUBテーマを選りすぐったリストと、それらを簡単にカスタマイズする方法を説明するガイドを提供します。背景画像やフォントの変更から、配色調整、さらには背景のローテーションの作成まで、ブート体験をパーソナライズできます。GitHubファイルのダウンロードやGRUB設定の調整など、便利なツールも推奨します。
続きを読む
この簡潔なJプログラミング言語入門は、ある程度のプログラミング経験を持つプログラマを対象としています。データ型、関数、修飾子、配列、制御構造、エラー処理といったコアコンセプトを、実践的な適用に重点を置いて解説しています。読者には、提供された例を実行し、コメントを読むことが推奨されています。迅速な学習を支援するために、重要なリンクとリソースが含まれています。
続きを読む
serverless-dnsはPi-Holeに似たサーバーレススタブDNS-over-HTTPS (DoH)およびDNS-over-TLS (DoT)リゾルバーです。Cloudflare Workers、Deno Deploy、Fastly Compute@Edge、Fly.ioで動作し、低トラフィックのユースケースでは無料層を利用できます。ミリ秒単位の応答時間を実現し、簡潔なラジックスツリーを使用して190以上のブロックリストから約1300万のエントリを効率的に管理します。オープンソースプロジェクトでは、カスタム設定、ログのアップロードが可能で、軽量で高性能なDNSソリューションを提供します。
続きを読む
ANEMLLは、AppleのNeural Engine（ANE）から始まるテンソルプロセッサへの大規模言語モデル（LLM）の高速化に焦点を当てたオープンソースプロジェクトです。Hugging Faceからのモデル変換からANEでの推論まで、完全なオープンソースパイプラインを提供し、低電力エッジアプリケーションでのシームレスなオンデバイス推論を可能にし、プライバシーとセキュリティを最大化します。現在、LLaMA 3.1などのモデルをサポートしており、SwiftとPythonのサンプルコード、iOS/macOSアプリケーションを提供しています。これはアルファリリースであるため、量子化の改善が期待されます。
続きを読む
John Friel III (1960-2024) が作成したMS-DOS通信プログラムQModem 4.51のソースコードが公開されました。1992年の「試用版」で、様々なモデムプロトコル、スクリプティング、カスタマイズ、自動設定、さらにはホストモードなどの機能を備えています。通信愛好家、レトロコンピューティング愛好家、そして古典的なDOSソフトウェアに興味のある人にとって貴重な歴史的資料となります。ただし、コンパイルにはTurbo Pascal 5.x/6.0と様々な依存ライブラリが必要であり、オーバーレイ管理にも対処する必要があり、困難な作業となります。
続きを読む
pipaskはpipのより安全な代替手段であり、Pythonパッケージのインストール前にセキュリティチェックを追加します。可能な限り、PyPIメタデータの使用を優先し、コードのダウンロードと実行を回避します。サードパーティコードの実行が必要な場合、pipaskはユーザーの同意を求めます。リポジトリの人気、パッケージの年齢、既知の脆弱性、PyPIダウンロード数、メタデータ検証などのチェックを実行した後、フォーマットされたレポートを表示し、承認を求めます。承認されると、標準のpipにインストール処理を引き継ぎます。
続きを読む
JetBrains AIアシスタントの無料枠が制限されているため、作者はKotlin/Ktorアプリケーションを開発しました。これは、OpenAI、Claude、Geminiなどの複数のLLM APIをLM StudioおよびOllama APIとしてプロキシし、JetBrains IDEで使用できるようにします。反射を使用しない機能を利用して、GraalVMネイティブイメージとして構築されており、クロスプラットフォームと高速起動を実現しています。ストリーミングチャットをサポートし、構成が容易で、ホットリロードも可能です。
続きを読む
Connomore64は、複数の安価なRP2040/RP2350マイクロコントローラを並列に使用して、Commodore 64のサイクル正確なエミュレーションを実現するプロジェクトです。当初はRP2040のPIOの能力を探求するための休日のプロジェクトでしたが、今ではほとんどのゲームと一部のデモを実行し、フロッピーディスクドライブなどのオリジナルのC64ハードウェアとインターフェースする正確なエミュレータに進化しました。開発中ですが、低コストのハードウェア上で計算集約的なソフトウェアを実行する可能性を示しており、複数のRP2040/RP2350を使用した並列エミュレーションのためのフレームワークを提供します。
続きを読む
このプロジェクトは、Pi0、Lerobot、Rerunを用いたロボットトレーニングを探求しています。Linuxをサポートし、Pixiパッケージマネージャーを利用します。カメラキャリブレーション、ヒューマンポーズと運動学の分析、多視点画像からの3D関節位置と角度情報の抽出が含まれます。最終的な目標は、時間同期されたマルチカメラ映像を、ロボットがモーションリターゲティングと微細運動スキルの学習に使用できる軸角関節パラメータと3D位置に変換することです。ヒューマンポーズと運動学、ボディとハンドポーズのリターゲティング、模倣学習と遠隔操作を網羅したJupyter Notebookチュートリアルを提供します。
続きを読む
BLASTは、OpenAI互換APIと組み込みの同時実行およびストリーミング機能を備えた、高性能なウェブブラウジングAIサービングエンジンです。コストを抑え、インタラクティブなレイテンシを実現するために、タスクの自動キャッシングと並列化を行います。`pip install blastai && blastai serve`という簡単なコマンドでローカルで実行でき、予算やメモリ消費を心配する必要はありません。OpenAI互換APIにより、簡単に統合でき、ブラウザ拡張LLM出力をリアルタイムでストリーミングできます。
続きを読む
この印象的なプロジェクトは、GPT-2スモールモデル（1億1700万パラメータ）の完全な順伝播をWebGL2を使ってブラウザに実装しています。GPU計算にWebGL2シェーダー、BPEトークナイゼーションにjs-tiktokenを使用し（WASMは不要）、ブラウザ上で直接GPT-2を実行します。Pythonスクリプトで事前学習済み重みをダウンロードし、フロントエンドはViteで構築されており、ホットモジュールリプレイスメントをサポートしています。これは、高度なAIモデルをブラウザにもたらす素晴らしい例であり、ウェブ技術の最先端能力を示しています。
続きを読む
OSleは、ブートセクターに完全に収まる、小さな（510バイト）リアルモードオペレーティングシステムです。x86アセンブリ言語で記述されており、驚くべきことに、シェル、ファイルシステム、プロセス管理、プリビルドソフトウェア、そして独自のプログラムを作成するためのSDKを備えています。この記事では、OSleのインストール、ビルド、ローカルでの実行（BochsまたはQEMUを使用）、そして実機での実行（強い警告付き！）に関する詳細な手順が提供されています。オンラインデモとチュートリアルも利用可能です。これは、オペレーティングシステムと低レベルプログラミングに興味のある人にとって魅力的なプロジェクトです。
続きを読む
Kubetailは、Kubernetesのためのリアルタイムロギングダッシュボードであり、マルチコンテナワークロードのログ監視を簡素化します。ブラウザまたはターミナルを介してアクセスできる、単一のタイムラインにログを統合します。Kubernetes APIを直接利用することで、外部ログ転送サービスを必要とせず、シームレスなログ表示のためにコンテナライフサイクルイベントを追跡します。クリーンなインターフェースは、ワークロード、時間範囲、ノードプロパティ、grepによるフィルタリングを提供します。インストールは柔軟で、CLI、Helm Chart、Glasskubeをサポートしています。Kubetailは、最も強力でユーザーフレンドリーなKubernetesロギングプラットフォームを目指しており、貢献とフィードバックを歓迎しています。
続きを読む
Changesetsは、特にマルチパッケージリポジトリにおいて、バージョン管理と変更ログの管理を簡素化するツールです。コントリビューターは変更のリリース方法を宣言でき、パッケージバージョン、変更ログの更新、および新バージョンの公開を自動化します。Changesetsは、マルチパッケージリポジトリにおけるバージョン管理の複雑さを解決し、相互依存するパッケージを最新の状態に保ち、複数パッケージへの変更を簡素化します。changesetファイルを使用してリリースの意図を記録し、CLIツールを使用して複数のchangesetを単一のリリースに統合し、内部依存関係を処理し、変更ログを更新し、単一のコマンドでモノレポからすべての更新されたパッケージをリリースします。包括的なドキュメント、CI統合の推奨事項、バージョン管理プルリクエストと公開を自動化するGitHub Actionも提供されています。
続きを読む
Agent Reinforcement Trainer (ART)は、エージェントワークフローにおける大規模言語モデル（LLM）のパフォーマンス向上を目的とした、オープンソースの強化学習ライブラリです。強力なGRPOアルゴリズムを利用して、モデル自身の経験から学習します。ほとんどのRLライブラリとは異なり、ARTは既存のコードベースにシームレスに統合され、RLトレーニングループの複雑さをバックエンドにオフロードします。ARTはクライアント（コードとのインタラクションを担当）とサーバー（推論とトレーニングを担当）で構成されています。トレーニングループには、推論（データの収集と報酬の割り当て）とトレーニング（GRPOを使用してモデルのトレーニングとLoRAの更新を行う）が含まれます。ARTは、vLLM/HuggingFace Transformersと互換性のあるほとんどの因果言語モデルをサポートしています。現在アルファ版であり、貢献を歓迎しています。
続きを読む
DeepSeek-Prover-V2は、Lean 4における形式的定理証明のために設計されたオープンソースの大規模言語モデルです。DeepSeek-V3による再帰的定理証明パイプラインと強化学習を活用して、非公式と公式の数学的推論を統合しています。このモデルは、DeepSeek-V3を使用して複雑な問題を部分目標に分解し、これらの部分目標の証明を合成して、強化学習の初期データを作成することから始めます。DeepSeek-Prover-V2-671Bは、MiniF2F-testで88.9％の合格率を達成し、PutnamBenchから49の問題を解決しました。また、高校の競技会や教科書から325の形式化された問題を含む新しいベンチマークデータセット、ProverBenchも導入されました。
続きを読む
Ravenは、OCamlに機械学習とデータサイエンスをもたらす包括的なエコシステムです。NumPy（Ndarrayを使用）、Jupyter（Quillを使用）、JAX（Runeを使用）といった人気のPythonツールを反映したライブラリを提供し、OCamlの型安全性とパフォーマンスを活かしながら、Pythonのような使いやすさを目指しています。現在プレアルファ版ですが、数値計算、可視化（Hugin）、その他多くのツールを備えており、より安全で高速な言語を求めるデータサイエンティストにとって魅力的な選択肢となります。
続きを読む
丁寧な断りに苦労していませんか？この軽量API「No as a Service」は、あらゆる状況に合わせた何千もの創造的でユーモラスな断りの理由を提供します。アプリ、ボット、ランディングページなどに簡単に統合でき、気の利いた断りの手紙の作成にも役立ちます。オープンソースコードは簡単に実行でき、スタイリッシュに「ノー」と言うための楽しく効率的なツールです。
続きを読む
Xiaomiは、推論能力に特化した70億パラメータの巨大言語モデルMiMo-7Bを発表しました。最適化された事前学習データと戦略、そして革新的な強化学習トレーニング手法により、MiMo-7Bは数学とコードの推論タスクにおいて優れた性能を示し、320億パラメータのモデルをも凌駕しています。このオープンソースモデルには、ベースモデル、SFTモデル、強化学習でトレーニングされたモデルなどの複数のチェックポイントが含まれており、強力な推論能力を持つLLMの開発に貴重なリソースを提供します。
続きを読む
開発者がMicrosoft Excel内でLinuxシステムを実行することに成功しました！mini-rv32imaという軽量エミュレータを使用して、DLLとしてコンパイルし、VBAマクロを介して呼び出すことで、Excelセルに直接Linuxの出力を表示することに成功しました。プロジェクトにはバグがあることは認められており、開発者はVBAやExcel数式でエミュレータを書き直す代わりに外部DLLを使用していることを認めていますが、これは創意工夫とプログラミングスキルを示す創造的で楽しい実験です。
続きを読む
AgenticSeekは、完全にローカルで、音声対応のAIアシスタントです。ウェブを自律的に閲覧し、コードを書き、タスクを計画しますが、すべてのデータはデバイス上に保持されます。ローカル推論モデル用に設計されており、完全なプライバシーとクラウドへの依存ゼロを保証します。複数のプログラミング言語をサポートし、各タスクに最適なAIエージェントを自動的に選択します。このプロジェクトはオープンソースであり、積極的に貢献者を募集しています。
続きを読む
Neuroxは、Kubernetes GPUクラスタ上で実行されているAIワークロードの監視を簡素化します。そのHelmチャートは、サブドメイン、イメージレジストリの認証情報、IdP、TLS証明書のプロビジョニングを自動化します。事前に構築されたダッシュボードとレポートは、メトリクスとリアルタイムのKubernetesランタイムデータを組み合わせて、管理者、開発者、研究者、監査担当者に関連するインサイトを提供します。最大64個のGPU（NVIDIA GPUのみ）まで無料で利用でき、エンタープライズライセンスも用意されています。前提条件として、Kubernetesクラスタ、cert-manager、ingress-nginx、NVIDIA GPU Operator、Kube Prometheus Stackが必要です。
続きを読む
Beatsyncは、マルチデバイス再生用に構築された高精度Webオーディオプレーヤーです。NTPにインスパイアされた時間同期プリミティブを使用してミリ秒単位の正確な同期を実現し、クロスプラットフォーム互換性（Chrome推奨）、仮想リスニングソースによるユニークなサウンドエフェクトを実現する空間オーディオ機能、洗練されたインターフェースを備えています。また、最小限のセットアップで自己ホストすることも可能です。現在開発初期段階にあり、完全なサポートはデスクトップChromeブラウザに限定され、モバイルデバイスの同期は実験的であり不安定な可能性があります。
続きを読む
CoRT（Chain of Recursive Thoughts）は、モデルに繰り返し応答を洗練させることで、AIのパフォーマンスを大幅に向上させる技術です。モデルは複数の代替回答を生成し、それらを評価して最適なものを選択します。これは、自己疑問と反復的な改善を模倣しています。Mistral 3.1 24Bを用いたテストでは、プログラミングタスクにおいて劇的な改善が見られました。その魔法は、自己評価、競合的な代替案の生成、反復的な改良、そして動的な思考の深さにあります。このプロジェクトはオープンソースであり、貢献を歓迎します。
続きを読む
ArkFlowはRustとTokioで構築された高性能ストリーム処理エンジンであり、強力なデータストリーム処理機能を提供します。Kafka、MQTT、HTTP、ファイルなど、複数の入出力ソースと、JSON、SQL、Protobufなど複数のプロセッサをサポートし、柔軟なYAML設定が可能です。SQLクエリ、JSON処理、Protobufエンコード/デコードなどの機能が組み込まれています。ArkFlowは高度に拡張可能であり、バックプレッシャー処理のためのバッファリングと様々なエラー出力オプションが含まれています。リポジトリをクローンして、簡単なビルドと実行手順に従って開始してください。
続きを読む
ROSplatは、Gaussian splattingを利用して複雑な3Dシーンをリアルタイムでレンダリングする、初のオンラインROS2ベースのビジュアライザーです。カスタムROS2メッセージとGPUアクセラレーションによるソートとレンダリング技術を使用して、数百万個のガウシアンを効率的に処理します。PLYファイルからのデータ読み込みと、bag recordingなどのROS2ツールとの統合をサポートしています。最適なパフォーマンスにはNVIDIA GPUが必要です。インストール方法はpipまたはDockerがあります。Shady Gmiraによって開発され、Qihao YuanとKailai Liの指導に感謝しています。
続きを読む