Tilckは、バイナリレベルでLinuxとの互換性を備えた教育用のモノリシックカーネルであり、現在i686とRISCV64アーキテクチャ上で動作しています。その小型でシンプルな設計により、カーネルプログラミングの学習に最適であり、LinuxとTilckの間で同じユーザーモードコードの実行を比較できます。Tilckはカスタムアプリケーションを必要とせず、BusyBoxスイートなどの一般的なLinuxプログラムを実行します。将来の用途としては、決定性と超低遅延が必要な組み込みシステムがあり、組み込みLinuxとFreeRTOSやZephyrなどのリアルタイムOSとのギャップを埋める可能性があります。
続きを読む
Cogencyは、AIエージェントの作成を簡素化する複数ステップの推論フレームワークです。OpenAI、Anthropic、Googleなどのプロバイダーを自動検出し、ツールをインテリジェントにルーティングし、透明性の高い推論をストリーミングします。わずか3行のコードで機能するエージェントを作成できます。Cogencyには、電卓、天気予報、タイムゾーンツール、Web検索などの組み込みツールと、デバッグのための詳細な実行トレースが含まれています。カスタムツールとLLMで拡張可能です。
続きを読む
本研究では、Memcache、Redis、Valkey、Dragonfly、Garnetの5つの分散キャッシュについて包括的なベンチマークテストを実施しました。測定指標には、スループット、レイテンシ、CPUサイクルが含まれます。テスト環境はAWS c8g.8xlargeインスタンスを使用し、memtier_benchmarkツールを用いて、パイプラインサイズ（1、10、25、50）を変化させてテストを行いました。結果は、様々な指標においてパフォーマンスの違いを示しており、開発者がアプリケーションのニーズに最適なキャッシュを選択するのに役立ちます。
続きを読む
aiosqlitepoolは、asyncio SQLiteアプリケーションのための高性能な接続プールです。データベース接続を再利用することで、接続オーバーヘッドを解消し、クエリ速度を大幅に向上させます。aiosqliteなどのasyncioドライバと連携して動作し、代替品ではありません。テストでは、高負荷下でパフォーマンスが72%向上し、平均待ち時間が41%短縮されました。高スループットのアプリケーションや低レイテンシが求められるアプリケーションに最適で、書き込み競合によるSQLITE_BUSYエラーを効果的に軽減します。
続きを読む
Voilは、テキストバッファのようにファイルシステムを管理できるVS Code拡張機能です。マウス操作やキーバインドの暗記に別れを告げましょう。エディタで直接ファイルやディレクトリの作成、名前変更、移動を行い、テキスト編集と同じ効率で作業できます。Voilはファイルの追跡に隠しIDを使用し、再帰的なリスト表示、ソート、フィルタリング、カスタムシェルコマンドの実行など、豊富なコマンドとカスタマイズオプションを提供します。Vim拡張機能と互換性があり、詳細な設定手順と例を提供します。デモビデオをご覧ください。
続きを読む
CallFSは、超軽量で高性能なREST APIファイルシステムであり、ローカルストレージ、Amazon S3、分散型ピアツーピアネットワークなど、さまざまなバックエンドで正確なLinuxファイルシステムセマンティクスを提供します。速度、信頼性、水平方向のスケーラビリティを目的として設計されており、APIサーバー、コアエンジン、プラグ可能なストレージバックエンド、PostgreSQLメタデータストア、Redisベースの分散ロックマネージャー、リンクマネージャーなどのコンポーネントを持つモジュール型のアーキテクチャを採用しています。CallFSは、豊富なファイルとディレクトリの操作、安全な使い捨てダウンロードリンク、包括的なセキュリティ、堅牢な可観測性を提供します。
続きを読む
このテキストは、GitHubのコードレビューで提案を適用する際に遭遇する可能性のある様々な制限事項をリストアップしています。これには、コードの変更がない、プルリクエストが閉じている、変更の一部のみを表示している、行ごとに1つの提案のみ、削除された行への適用、既に適用済みまたは解決済みとしてマークされている提案、保留中のレビューからの提案、複数行のコメント、およびマージ待ち行列にあるプルリクエストなどが含まれます。これらの制限事項は、コードレビューの整合性と効率性を維持するために設計されています。
続きを読む
気が散るアプリに時間を無駄にするのにうんざりしていませんか？この軽量Bashスクリプト「ban」を使用すると、特定のコマンドを指定した日付までブロックでき、オプションで理由とフレンドリーなリマインダーを設定できます。インストールが簡単で、使いやすく、禁止期間もカスタマイズ可能です（デフォルトは40日）。さあ、集中力を取り戻しましょう！
続きを読む
Archは、エージェントアプリケーションの構築を簡素化するために設計された、モジュール型のエッジとAIゲートウェイのプロキシサーバーです。ガードレールの実装、曖昧なユーザー入力の明確化、適切なエージェントへのプロンプトのルーティング、任意のLLMへのアクセスの一元化など、面倒な低レベルの作業を処理し、開発者がエージェントアプリケーションをより迅速に構築およびリリースできるようにします。Envoy上に構築されたArchは、ルーティング、ガードレール、オブザーバビリティなどの機能を提供し、さまざまな言語とフレームワークをサポートしています。通貨変換エージェントの簡単なデモがその使いやすさを示しており、curlコマンドを使用してやり取りできます。Archは、モデルベースとプリファレンスベースの2つの主要なLLMルーティング戦略をサポートし、詳細なログとオブザーバビリティを提供します。
続きを読む
オープンソースプロジェクトであるRaycast Linuxは、人気のmacOSランチャーであるRaycastをLinuxに持ち込みます。拡張可能なコマンドパレット、拡張機能のサポート（OSの違いによる互換性の制限あり）、強力な電卓、クリップボード履歴、スニペット管理、OpenRouter経由のAI統合を備えています。Raycast拡張機能との幅広い互換性を目指していますが、macOS固有のAPIや依存関係のために、一部の拡張機能は動作しない可能性があります。Rust、Node.js、Tauri、Swiftを使用して構築され、AppImageとして入手可能で、ソースコードからのコンパイルも可能です。
続きを読む
APKLabは、Quark-Engine、Apktool、Jadxなどの強力なオープンソースツールをVS Codeにシームレスに統合し、包括的なAndroidリバースエンジニアリングエクスペリエンスを提供します。リソースのデコード、Smaliへの逆アセンブル、Javaへのデコンパイル、マルウェア分析レポートの生成、HTTPS検査の実行など、お気に入りのIDE内ですべてを実行できます。カスタムキーストア署名、Gitリポジトリの初期化、クロスプラットフォーム互換性（Linux、Windows、macOS）などの機能が含まれています。
続きを読む
OpenCutは、ウェブ、デスクトップ、モバイルに対応した無料のオープンソースビデオエディターです。ユーザーのプライバシーを重視し、すべてのビデオはユーザーのデバイス上に保存されます。基本機能は現在有料ですが、使いやすさは実証済みです。タイムラインベースの編集、マルチトラックサポート、リアルタイムプレビューを備え、ウォーターマークやサブスクリプションはありません。Next.jsで構築されており、UIコンポーネント、カスタムReactフック、ユーティリティとAPIロジック、状態管理、TypeScript型などが含まれています。詳細なセットアップと開発ガイドラインが提供されており、コントリビューションは大歓迎です。
続きを読む
TorchLeetは、PyTorchの基本から高度な概念までを網羅した演習問題集です。基礎編では、線形回帰、カスタムデータセット、CNNなど、段階的に難易度が上がります。LLM編では、アテンション機構や埋め込みなど、LLMをゼロから構築することに焦点を当てています。各問題は不完全なコードと解答が提供され、実践的な学習を促します。初心者から上級者まで幅広く対応できます。
続きを読む
GhidrAssistMCPは、標準化されたAPIを介してAIアシスタントやその他のツールがGhidraのリバースエンジニアリング機能と対話できるようにする強力なGhidra拡張機能です。MCP（Model Context Protocol）サーバーを提供します。関数、データ、クロスリファレンスなどを網羅する31個のビルトインツール、設定可能なUI、リアルタイムログ、動的なツール管理などを備えています。この拡張機能により、AI駆動の分析ツールやカスタムスクリプトをシームレスに統合し、リバースエンジニアリングの効率を大幅に向上させることができます。
続きを読む
pattrnsは、Rustで記述され、動的な音楽作成のためのLuaスクリプティングインターフェースも提供する、実験的な命令型の音楽シーケンスジェネレーターエンジンです。ライブコーディングに最適で、リズム、ゲート、エミッターの3段階アーキテクチャを使用し、リズムと音色の側面を分離することで、柔軟な作曲と再結合を可能にします。Tidal Cyclesミニ記譜法にも対応しています。ただし、pattrnsは生の音楽イベントのみを生成し、オーディオ出力には互換性のあるアプリケーションが必要です。
続きを読む
Aeronは、UDPユニキャスト、マルチキャスト、およびIPCをサポートする高性能・低遅延のメッセージングシステムです。Java、C、C++、および.NETクライアントを提供し、マシン間またはIPCを介して効率的なメッセージ交換を実現します。Aeronは、優れたスループットと予測可能な低遅延を誇り、Simple Binary Encoding（SBE）を利用してメッセージ処理を最適化します。機能には、永続的なメッセージストレージのためのAeron Archiveと、フォールトトレラントサービスのためのAeron Clusterが含まれます。Adaptive Financial Consultingが所有・運営しており、トレーニング、コンサルティング、カーネルバイパスや高速暗号化などのパフォーマンス向上策などのプレミアムサービスも提供しています。高頻度取引システムやその他の要求の厳しいアプリケーションの構築に最適です。
続きを読む
Chromeは最近、いくつかの新しいHTTPヘッダーを追加しました。その中でも`x-browser-validation`は特に興味深いものです。この記事では、その機能を明らかにするリバースエンジニアリングのプロセスを詳述します。ハードコードされたプラットフォーム固有のAPIキーとユーザーの完全なUser-Agent文字列を連結し、SHA-1でハッシュした後、Base64でエンコードします。このヘッダーは、整合性チェックとして機能し、User-Agentのスプーフィングを防ぎます。分析では、Chromeのソースコード内の関連する関数を解剖し、さまざまなプラットフォームのデフォルトのAPIキーを提供します。
続きを読む
Moonshot AIは、最先端の320億パラメーター混合専門家（MoE）言語モデル「Kimi K2」を発表しました。総パラメーター数は1兆に及びます。Muon最適化器でトレーニングされたKimi K2は、最先端の知識、推論、コーディングタスクにおいて優れた性能を発揮し、エージェント機能向けに綿密に最適化されています。研究者向けの基盤モデルであるKimi-K2-Baseと、すぐに使える指示に従うモデルで、強力なツール呼び出し機能を備え、ツールをいつどのように呼び出すかを自律的に決定するKimi-K2-Instructの2つのバージョンがあります。モデルと重みはオープンソースで公開され、APIも提供されています。
続きを読む
JavaのWebSocketサーバーのパフォーマンス問題に悩まされた新卒エンジニアは、C++とuWebSocketsライブラリを使用して、高スループットのRPCフレームワークであるBinaryRPCを開発しました。Node.jsとExpress.jsに触発されたBinaryRPCは、最新のミドルウェアとセッション管理システムを備え、信頼性の高いメッセージングのために複数のQoSレベルをサポートしています。現在オープンソースであり、よく文書化されており、簡単に採用できる例が含まれています。
続きを読む
`dict-unpacking-at-home`というPythonライブラリは、辞書のアンパック機能を提供し、次のように辞書を直接アンパックできます。`{greeting, thing} = dct`。クールですが、作者はこれが重要なライブラリではないと述べており、現在のバージョンではスタックトレースの行番号が壊れます。修正版もありますが、それなりのコストがかかります… 月間100万ダウンロード近く、合計3000万ダウンロード以上という実績から、多くの人がこの一見信頼できないライブラリを使用していることがわかります。
続きを読む
父親が5歳の子供のために、Sonos Play:1スピーカーを簡単に操作できるシステムを作りました。M5Stack CardPuter v1.1 (ESP32S3)をコントローラーとして、Go言語でバックエンドロジックを実装。ボタンを押すだけで、好きなプレイリストの再生や再開ができます。緑色のライトが動作状況を示します。シンプルで遊び心のある、楽しい親子プロジェクトです。
続きを読む
Cactusは、FlutterとReact Nativeに対応したクロスプラットフォームフレームワークで、アプリ内で大規模言語モデル（LLM）、ビジョン言語モデル（VLM）、テキスト読み上げ（TTS）モデルをローカルにデプロイできます。Hugging FaceのGGUFモデル（Qwen、Gemma、Llamaなど）に対応し、FP32から2ビット量子化モデルまで幅広い精度に対応しています。Cactusは、AI機能の向上（リマインダー、画像検索、メッセージへの返信など）のためのMCPツールコール、複雑なタスクのためのクラウドモデルへのフォールバック、Jinja2対応のチャットテンプレート、トークンストリーミングを提供します。サンプルコード、さまざまなデバイスでのパフォーマンスベンチマーク、C++バックエンドが提供されています。
続きを読む
diffsitterは、ファイルの抽象構文木（AST）を比較することで、フォーマットの違いを無視し、意味のあるコード差分を生成するツールです。多くのプログラミング言語をサポートしており、設定可能なノードフィルタリング、ターミナルフレンドリーなフォーマット、詳細なログ記録などの機能を提供します。ソースコードからのビルド、プリビルドバイナリの使用、パッケージマネージャーなど、さまざまなインストール方法があります。
続きを読む
Pangolinは、分散ネットワーク上のプライベートリソースを安全に公開するために設計された、自己ホスト型のトンネリングリバースプロキシサーバーで、アイデンティティとアクセス制御機能を備えています。 制限付きファイアウォールの後ろにあるものも含め、孤立したネットワークを暗号化されたトンネルを介して接続する中央ハブとして機能し、ポートを開くことなくリモートサービスへの容易なアクセスを可能にします。 WireGuardを活用したPangolinは、中央認証（SSO、TOTP）、ロールベースのアクセス制御、柔軟な展開オプションなど、堅牢な機能を提供します。Traefikプラグインで機能を拡張できます。 ポート制限の回避、ビジネスアプリケーションの展開、IoTネットワークの管理など、さまざまなユースケースがあります。Cloudflare Tunnelsの自己ホスト型代替手段です。
続きを読む
ターミナルでの延々と続く`cd`と`ls`コマンドにうんざりしていませんか？cmdkはファイルナビゲーションに革命を起こします！⌘-kを押すと、ファイルシステム上の任意のファイルやディレクトリに瞬時にアクセスでき、開く前にプレビューが表示されます。fzfを活用したあいまい検索により、cmdkはファイルの種類に基づいて（テキストはvim、画像はプレビューなど）スマートにファイルを開きます。簡単なインストール、強力な機能で、Notion/Slackのようなアクセスをターミナルで体験できます。
続きを読む
Petrichorは、期待されるすべての機能を備えたmacOS向けの強力なオフライン音楽プレーヤーです。整理された音楽ライブラリの閲覧、インタラクティブなプレイリストと再生キューの管理、フォルダビューでの閲覧、サイドバーのお気に入りへのクイックアクセス、簡単なナビゲーション、ネイティブmacOS統合（メニューバーとDockコントロール、ダークモードサポート）、強力な検索、スマートプレイリストなどがあります。Swinsianの機能を惜しんでSwiftとmacOSアプリ開発を学びたかった開発者によって作成され、SwiftとSwiftUIで完全に構築されており、SQLiteデータベースを使用して音楽ファイル情報を管理しています。
続きを読む
Anna's Archiveからドキュメントを検索およびダウンロードするためのMCPサーバーです。指定された条件に一致するドキュメントの検索と、以前に検索ツールで返された特定のドキュメントのダウンロードが可能です。このソフトウェアは、著作権で保護されたコンテンツの無許可取得を支持するものではなく、単なるユーティリティとしてのみ見なされるべきです。ユーザーは著作権を尊重するよう求められます。APIキー（ANNAS_SECRET_KEY）とダウンロードパス（ANNAS_DOWNLOAD_PATH）の2つの環境変数が必要です。
続きを読む
Flopper Ziroは、Arduino IDEを使用して構築された、安価でDIYが容易な完全オープンソースのFlipper Zeroクローンです。プロフェッショナルなデバイスではありませんが、RubberDucky、RFID/NFC（開発中）、赤外線、RFなど、Flipper Zeroのコア機能を複製することを目指しています。Arduino IDEでプログラム可能で、SDカードからデータの保存/読み込みが可能です。このプロジェクトは開発中で、SDカード機能の改善、RFスキャンと送信の完成、さらに多くのRFID/NFC機能の追加を計画しています。
続きを読む
Biomniは、様々なバイオメディカル分野にわたる幅広い研究タスクを自律的に実行するように設計された、汎用バイオメディカルAIエージェントです。最先端の大規模言語モデル（LLM）推論、検索拡張型プランニング、コードベースの実行を統合することで、Biomniは科学者の研究生産性を劇的に向上させ、検証可能な仮説の生成を支援します。このオープンソースプロジェクトは、コミュニティからの貢献（新しいツール、データセット、ソフトウェア、ベンチマーク、チュートリアルなど）を積極的に求めており、次世代環境であるBiomni-E2の構築を目指しています。重要な貢献者には、一流のジャーナルや会議での論文の共同執筆が招待されます。
続きを読む
RN Maps Clusteringは、React Native向けのモダンで高性能、完全型付けされた地図クラスタリングライブラリです。supercluster上に構築されており、react-native-mapsコンポーネントに美しく効率的なマーカークラスタリングを簡単に追加できる、シンプルな宣言型APIを提供します。クラスタのレンダリングをカスタマイズしたり、クリックイベントを処理したり、マーカーの自動分散や高性能などの機能を利用できます。開発効率を大幅に向上させます。
続きを読む