CubeCLは、Rustを使ってGPUコンピューティングカーネルを記述できるようにする画期的なRust言語拡張です。メンテナンス性、柔軟性、効率性に優れたコンピューティングカーネルを開発するために、ゼロコスト抽象化を活用しています。WGPU、CUDA、ROCm/HIPランタイム（CPUランタイムも計画中）をサポートしており、自動ベクトル化、コンパイル時計算、自動チューニングといった機能を備え、高性能カーネルの開発とクロスプラットフォームの移植性を簡素化します。独自の2段階プロセス（構文解析と展開）により、コンパイル時最適化とRustとのシームレスな統合を実現しています。現在アルファ版ですが、Rustにおける高性能コンピューティングの礎となる大きな可能性を秘めています。
続きを読む
Indexは、複雑なWebタスクを自律的に実行できる最先端のオープンソースブラウザエージェントです。AnthropicのClaudeやOpenAIのモデルなど、強力なLLMを活用しており、ユーザーは「ycombinator.comにアクセスし、W25バッチの上位3社を要約して、Googleスプレッドシートに新しいスプレッドシートを作成する」などのプロンプトを発行できます。Indexは、本番環境での使用のためのサーバーレスAPI、ローカル開発のためのインタラクティブなCLI、ブラウザ状態の永続化などを提供します。使いやすさと強力な機能により、Webデータの抽出と複雑なWebインタラクションの自動化に最適です。
続きを読む
このGitHubリポジトリは、詳細なMarkdownコメント付きのApache Luceneの例のコレクションを提供します。各例は独立して実行可能であり、学習者はコードの閲覧、デバッグ、またはインタラクティブなWebドキュメント（https://msfroh.github.io/lucene-university/docs/SimpleSearch.html）を通じてLuceneを探索できます。このリポジトリはLucene 10を使用しており、JDK 21以降が必要です。貢献は大歓迎です！
続きを読む
このドキュメントでは、オンラインインタラクションの新しい方法を探求するために設計された実験的なプロトコルであるSpring83を紹介します。これはユーザー向けではなく、共同研究者による探求と開発への招待です。すでに様々なプログラミング言語でいくつかの実装が存在しており、作者はさらなる貢献を奨励しています。
続きを読む
c/ua（「クーア」と発音）は、高性能で軽量な仮想コンテナ内でAIエージェントが完全なOSを制御できる軽量フレームワークです。Apple Siliconでは最大97％のネイティブ速度を実現し、あらゆるビジョン言語モデルと連携します。高性能仮想化（Lume CLIとAppleのVirtualization.Frameworkを使用してApple Silicon上でmacOS/Linux仮想マシンを作成および実行）とコンピュータ使用インターフェース＆エージェントを統合し、AIシステムが仮想環境を観察および制御し、Webブラウジング、コード記述、複雑なワークフローの実行を可能にします。セキュリティ、分離、高性能、柔軟性、再現性を確保し、様々なLLMプロバイダーをサポートしています。
続きを読む
Advanced Alchemyは、SQLAlchemyのために注意深く設計され、徹底的にテストされ、最適化されたコンパニオンライブラリです。一般的なCRUD操作と高度に最適化されたバルク操作を備えた同期および非同期リポジトリを提供します。Litestar、Starlette、FastAPI、Sanicなどの主要なWebフレームワークと統合され、カスタムビルドのAlembic構成とCLIを備えています。組み込み機能には、さまざまなストレージバックエンド（fsspecとobstore）をサポートするファイルオブジェクトデータ型、最適化されたJSON型、UUID6とUUID7のサポート、および事前設定された基本クラスが含まれています。Advanced Alchemyは、SQLAlchemyモデルのCRUD操作を簡素化し、ページング、ソート、フィルタリングなどの機能を提供します。
続きを読む
GitHubのコードレビューでは、いくつかの制限によりコード提案を適用できない場合があります。これには、コードの変更がない、プルリクエストが閉じている、変更の一部のみを表示している、1行につき1つの提案のみが適用可能、削除された行への適用、既に適用済みまたは解決済みとしてマークされている提案、保留中のレビューからの提案、複数行のコメント、プルリクエストがマージキューに入っている、またはシステムの制限などが含まれます。
続きを読む
高価なEASクラウドビルドにうんざりしていませんか？eas-like-local-builder Dockerイメージは、Expo Androidアプリをローカルでビルドするためのソリューションを提供します。Ubuntu 22.04、JDK 17、NDK r26bなどの必要なコンポーネントを含むEASのビルド環境をミラーリングし、開発者はローカルまたはCI/CD環境でビルドできます。このイメージはカスタムビルドプロファイル（例：production）をサポートし、環境変数を使用してバージョン管理チェックをスキップできます。開発者は単純なDockerコマンドを実行し、プロジェクトディレクトリをマウントするだけでビルドでき、ローカルビルドプロセスを大幅に簡素化します。
続きを読む
AutoKittehは、Pythonをベースとした、開発者フレンドリーなワークフロー自動化とオーケストレーションプラットフォームであり、ノーコード/ローコードプラットフォームに代わるコードベースの代替手段を提供します。無限の柔軟性を誇り、Temporalを活用して永続的な実行プラットフォームを提供し、インフラストラクチャとコーディングの複雑さを隠蔽します。AutoKittehはセルフホスティングとクラウド展開をサポートし、DevOps、FinOps、MLOps、SOARなどに適しており、ビルトインインテグレーションとスケーラブルな「サーバーレス」アーキテクチャを備えています。
続きを読む
マイクロソフトは、WinFileプロジェクトを2025年3月1日にアーカイブすると発表しましたが、朗報です。このクラシックなWindowsファイルマネージャーが、ネイティブx86、x64、arm64デスクトップアプリとして復活し、Windows 11を含む現在サポートされているすべてのWindowsバージョンで動作します。開発者はバグ修正と機能改善の提案を歓迎しますが、新しいブランチは開発しません。WinFileプロジェクトのソースコードには、可能な限りオリジナルを維持した`original_plus`ブランチと、積極的に開発されている`master`ブランチの2つの主要バージョンが含まれています。ユーザーは、Microsoft Storeまたはプロジェクトページからプリコンパイル版をダウンロードできます。
続きを読む
Sapphireは、Homebrewにインスパイアされた、Rust製の試験的なパッケージマネージャーです。コマンドラインツール、ライブラリ、言語、デスクトップアプリケーションなどをインストールおよび管理するように設計されています。並列ダウンロード、自動依存関係解決、ソースからのビルドなどの機能を備えています。現在ARMのみ対応で、将来的にはx86のサポートも検討されています。アルファ版ソフトウェアであるため、自己責任でご利用ください。
続きを読む
Parcomは、HaskellのParsecやRustのNomと同様のスタイルの、Common Lisp用の簡潔なパーサーコンバイナーライブラリです。依存関係なしで文字列を直接操作し、幅広いCommon Lisp実装をサポートし、カスタムパーサーを構築するための豊富なパーサーとコンバイナーを提供します。Parcomには、UnicodeをサポートするオプションのJSONパーサーも含まれています。既存のパーサーを組み合わせて複雑な構文解析ロジックを作成し、クリーンなAPIで強力な機能を提供する点が強みです。
続きを読む
このPythonコードは、Rowboatライブラリを使用してAIチャットAPIとやり取りする方法を示しています。ローカルでホストされているAPIサービスに接続するクライアントを初期化します。そして、状態を持つ会話のための`StatefulChat`クラスと、メッセージ配列を直接送信するための低レベルの`client.chat`メソッドの2つの方法でやり取りする方法を示します。どちらの方法でも、AIからの応答を正常に取得して出力し、PythonプロジェクトにAIチャット機能を迅速に統合するためのRowboatの使いやすさを示しています。
続きを読む
MemoTTLは、TTL（Time-To-Live）とLRU（Least Recently Used）による要素の削除をサポートする、Ruby用のスレッドセーフなメモ化ユーティリティです。一定期間後にキャッシュされた値が期限切れになり、メモリ使用量を制限する必要があるシナリオに最適です。`include MemoTTL`と`memoize`を使用して簡単に統合でき、キャッシュをクリアするメソッドも提供されています。Railsコントローラーでの使用例では、高コストなメソッドの繰り返し呼び出しを回避することで、パフォーマンスの大幅な向上を示しています。
続きを読む
Morphikは、高度に技術的で視覚的なドキュメントのために、従来の検索拡張生成（RAG）を超える画期的な文書検索エンジンです。マルチモーダル検索（画像、PDF、ビデオなど）、ナレッジグラフの作成、高速なメタデータ抽出、Google Suite、Slack、Confluenceなどのツールとの統合を提供します。無料ティアとオープンソースバージョンを備え、Python SDKとREST APIにより、ドキュメントの取り込みとクエリを簡素化します。開発者はシンプルなコードと使いやすいWebコンソールで迅速に開始できます。オープンソースバージョンには制限がありますが、Morphikは速度の向上、より多くのツールの統合に取り組んでおり、コミュニティからの貢献を歓迎しています。
続きを読む
ElatoAIは、OpenAIリアルタイムAPI、ESP32、セキュアなWebSocket、Deno Edge関数を使用して、10分を超える途切れないグローバルな会話を実現するオープンソースプロジェクトです。Next.jsフロントエンド、Denoエッジサーバー、ESP32クライアントで構成され、カスタムAIエージェント、音声選択、パーソナライズが可能です。高音質オーディオのためのOpusコーデック、低遅延、WebSocketによる安全な通信、ユーザー認証とデータストレージのためのSupabaseを使用しています。現在も開発中で、コントリビューションを歓迎しています。
続きを読む
このプロジェクトは、Feastを使用して検索拡張生成（RAG）アプリケーションを構築する方法を示しています。基本的なRAGデモを拡張し、Doclingを使用してPDFをLLMで使用できるテキストデータに変換する方法、Milvusをベクトルデータベースとして使用してRAGの埋め込みを保存および取得する方法、そして取り込み中にDoclingを使用してPDFを変換する方法を示しています。さらに、オンライン特徴検索、宣言的な特徴定義、ベクトル検索、構造化および非構造化コンテキスト、バージョン管理と再利用可能性などの機能も示しています。このプロジェクトには、サンプルデータ、Feastの特徴ビューとエンティティ構成を定義するPythonファイル、オフラインおよびオンラインストアを構成するYAMLファイル、そして2つの主要なノートブックが含まれています。1つはDoclingを使用してPDFからテキストを抽出し、Parquetファイルに保存する方法を示し、もう1つはFeastを使用してテキストデータをインジェストし、オンラインストアから保存および取得する方法を示しています。
続きを読む
Libroは、読書履歴を追跡するためのシンプルなコマンドラインツールで、データをローカルのSQLiteデータベースに保存します。新しい本の追加、年または著者による読書履歴の表示、年間レポートの生成、GoodreadsエクスポートCSVファイルからのデータのインポートが可能です。使いやすく、強力なLibroは、読書好きに最適です。
続きを読む
Verusは、Rustで記述されたコードの正当性を検証するための静的解析ツールです。開発者はコードが実行すべきことを記述し、Verusは実行可能なRustコードが、コードのあらゆる実行において常に仕様を満たすことを静的に検査します。実行時チェックを追加する代わりに、Verusは強力なソルバーを使用してコードの正当性を証明します。Verusは現在、Rustのサブセットをサポートしており（拡張中です）、場合によっては、標準のRust型システムを超えて、生のポインタを操作するコードなどの正当性を静的に検査できます。Verusは現在開発中であり、機能が壊れている、または欠落している可能性があり、ドキュメントも不完全です。
続きを読む
この記事は、BASIC-PLUS、EduSystem、DECsystem 10、HPなど様々なコンピューターシステムで動作した、1980年代のBASICゲームのリストを紹介しています。単純な数字当てゲーム（Acey-Ducey、Bagles）から、複雑な戦略ゲーム（Gomoko、Civil War）、シミュレーションゲーム（HMRABI、KING）まで、その多様性は当時のプログラミングの創造性と独創性を示しています。シンプルながらも奥深いこれらのゲームは、多くのプレイヤーに懐かしさを呼び起こすでしょう。
続きを読む
Evertopは、80186プロセッサと1MB RAMを搭載したIBM XTをエミュレートするポータブルPCで、DOS、Minix、そしてWindows 3.0などの古いオペレーティングシステムを実行できます。低消費電力マイクロコントローラー、電子インクディスプレイ、2つの10,000mAhバッテリー、そして極端な省電力対策により、単一の充電で数百時間、場合によっては数千時間もの動作が可能です。内蔵ソーラーパネルと組み合わせることで、バッテリー寿命を気にすることなく、オフグリッドで無期限に使用できます。キーボード、PS/2ポート、様々なグラフィックスとオーディオサポート、シリアルポート、イーサネット、Wi-Fi、LoRa無線など、豊富な周辺機器も搭載されています。ソーラー、DC入力、micro USBの3つの方法で充電でき、複数の電源からの同時充電も可能です。軽量版のEvertop Minも提供されています。
続きを読む
Open Codexは、OpenAI Codexにインスパイアされた、完全にオープンソースのAIコマンドラインアシスタントです。APIキーは不要で、ローカルで動作します。phi-4-miniなどのローカル言語モデルを使用して、自然言語をシェルコマンドに変換します。ワンショットモードとインタラクティブモード（近日公開予定）、コマンドの確認、クリップボードへのコピー、カラーターミナル出力などをサポートし、macOS、Linux、Windowsに対応しています。
続きを読む
gtk-llm-chatは、大規模言語モデル（LLM）とやり取りするための、GTKで構築されたシンプルで使いやすいグラフィカルインターフェースです。独立したウィンドウで複数の同時会話をサポートし、様々なLLMモデルとチャットするためのpython-llmライブラリを統合しています。モダンなインターフェース、リアルタイムストリーミング応答、Markdownレンダリング、会話管理、キーボードショートカット、フラグメントサポート、アプレットモードなどの機能を備えています。インストールは簡単で、pipxでllmをインストールし、`llm install gtk-chat`を実行するだけです。
続きを読む
Nari Labsは、16億パラメーターのテキスト音声変換モデル「Dia」を発表しました。このモデルは、テキストから非常にリアルな会話を直接生成でき、音声で感情やトーンを制御することも可能です。笑い声や咳などの非言語的なコミュニケーションも生成できます。研究の加速化のため、事前学習済みモデルのチェックポイントと推論コードがHugging Faceで公開されています。デモページでは、DiaをElevenLabs StudioとSesame CSM-1Bと比較しています。約10GBのVRAMとGPUが必要です（CPUサポートは近日追加予定）。A4000 GPUでは、1秒あたり約40トークンを生成します。メモリ効率を向上させるために、量子化バージョンも計画されています。このプロジェクトはApache License 2.0ライセンスに従い、なりすまし、誤解を招くコンテンツの生成、違法または悪意のある活動への使用は固く禁じられています。
続きを読む
この記事では、一般的に使用されるいくつかのC言語文字列操作関数を簡単に説明します。`strlen()`は文字列の長さを取得します。`strcpy()`は文字列をコピーします。`strcat()`は文字列を連結します。`strncat()`は指定した数の文字を安全に連結します。`strcmp()`は文字列を比較します。`strcspn()`は指定された集合に含まれない最初の文字を見つけます。`strerror()`はエラーコードのエラーメッセージを取得します。`memchr()`はメモリブロック内で値を見つけます。`strrev()`（非標準）は文字列を反転します。これらの関数をマスターすることは、効率的なCプログラミングに不可欠です。
続きを読む
Nerdlogは、タイムラインヒストグラムを備え、中央サーバーを必要としない、高速でリモート優先、マルチホストのTUIログビューアです。Graylog/Kibanaを参考にしていますが、無駄を省いています。設定も最小限で済みます。複数のリモートマシンから同時に効率的にログをクエリし、時間範囲とパターンでフィルタリングし、タイムラインヒストグラムを表示して迅速な視覚的分析を行います。主に、1つまたは複数のリモートホストからシステムログ(/var/log/messagesまたは/var/log/syslog)を読み取るように設計されており、大規模なログファイル(1GB以上)でも非常に効率的です。他のログ形式もサポートしていますが、そのコア機能は、多数のWebサービスバックエンドインスタンスからのログを効率的に監視する必要性から生じています。NerdlogはSSH経由で接続し、接続をバックグラウンドでアイドル状態に保ちます。ログ分析はリモートで行われ、クエリごとに最小限のデータのみをダウンロードし、帯域幅効率のためにgzip圧縮を使用します。Vimライクなコマンドラインインターフェースとキーバインドを備えており、直感的なナビゲーションと制御が可能です。
続きを読む
このプロジェクトは、webmssdk.js内にあるTikTokのカスタム仮想マシン（VM）のリバースエンジニアリングの詳細を説明しています。VMは、TikTokの難読化とセキュリティの重要な部分です。このプロジェクトには、webmssdk.jsの難読化解除、VM命令の可読なコードへの逆コンパイル、難読化解除されたバージョンでwebmssdk.jsを置き換えるスクリプトの注入、認証済みリクエスト（コメントの投稿など）のための署名付きURLの生成を行うツールが含まれています。著者は、ブラケット表記や偽装された関数呼び出しなど、重要な難読化技術を克服し、VMを正常に難読化解除および逆コンパイルし、最終的に認証済みリクエストの署名を生成することができました。
続きを読む
大規模言語モデルのロード時間は開発を大幅に遅らせる可能性があります。このプロジェクトは、PyTorchトレーニングコードのホットスワップソリューションを紹介します。バックグラウンドプロセスを使用してモデルをVRAMに常駐させることで、ほぼ瞬時の起動を実現します。スクリプトの終了後もモデルはロードされたままなので、次回の実行ですぐに使用できます。リモートデバッグとDear ImGui UIの統合もサポートされており、開発効率が向上します。`from_pretrained`呼び出しを置き換えるだけで、瞬時の実行と容易なデバッグを体験できます。
続きを読む
この記事では、大規模言語モデル（LLM）を用いた再帰の実装に関する新しいアプローチを探求しています。内部状態を繰り返し更新する再帰的なプロンプトを作成することで、LLMが解に収束する一連のプロンプトを生成できることを示し、コードにおける再帰関数の動作を反映しています。フィボナッチ数列を例に、再帰的プロンプトによる計算方法を示し、LLMの出力が不正確になることや、LLMの既存の知識ベースを活用すること、人間が暗算を行う際に記憶された代数的および原子的なルールを使用する方法との類似点を議論しています。この研究は、ReActやACT-Rなどの関連研究と関連しており、LLMが生成した結果におけるエラーを軽減するための戦略にも取り組んでいます。
続きを読む
Tiniは、考えられる限り最もシンプルなinitです。Tiniが行うのは、単一の子プロセスを生成すること（Tiniはコンテナ内で実行されることを目的としています）、その終了を待つこと、そしてゾンビプロセスを回収し、シグナル転送を実行することだけです。Tiniを使用することにはいくつかの利点があります。偶然にゾンビプロセスを作成してしまうソフトウェアから保護されます。Dockerイメージで実行するソフトウェアに対して、デフォルトのシグナルハンドラが機能することを保証します。Docker 1.13以降ではTiniが組み込まれています。それ以前のバージョンでは、手動でインストールする必要があります。
続きを読む