ESP32-BlueJammerは、ESP32とnRF24モジュールをベースとした2.4GHzジャマーで、Bluetooth、BLE、WiFi、RCデバイスなど、さまざまなデバイスの動作を妨害できます。多数の妨害パケットを送信することで干渉を実現し、広い範囲（30メートル以上）を誇ります。このプロジェクトは、DIYキットとプリソルダーバージョンを提供しており、組み立てとファームウェアの書き込みに関する包括的なチュートリアルも付属しています。重要なのは、信号の妨害は違法であるということです。このプロジェクトは教育目的のみに限定され、違法行為に使用しないでください。
続きを読む
CF-Shieldは、Cloudflare上でのDDoS攻撃を自動的に検知し軽減するPythonスクリプトです。Cloudflareのメールアドレス、APIトークン、ゾーンID、アカウントIDが必要です。インストール後、スクリプトはCPU使用率の閾値、チャレンジタイプ、オプションのDiscord、Slack、Telegram通知の設定を求めます。CPU使用率を監視し、閾値を超えるとCloudflareのWAFルールを自動的に有効化し、攻撃終了後に無効化します。この強力なツールは、DDoS攻撃からウェブサイトを保護するのに役立ちます。
続きを読む
Polystateは、型の合成を通じて合成可能な有限状態マシンを構築するためのZigライブラリです。プログラミングの慣習を強制し、型レベルで状態マシンの状態を記録し、型の合成によって合成可能性を実現します。これにより、命令型プログラム構造の正確性が向上し、型と合成の観点からプログラムの状態を再設計することが促され、コードの合成可能性が向上します。Polystateは状態図を自動生成するため、ユーザーはプログラムの動作を直感的に理解できます。例として、ATMでのPIN入力試行回数の制限やraylibゲームでの選択メカニズムの再利用など、型の合成を通じて単純な状態マシンと複雑な状態マシンの構築方法を示しています。
続きを読む
Bunge Bitsは、ケニアの議会における議事録の簡潔な要約を提供し、複雑な立法情報をより理解しやすくします。透明性とアクセシビリティを向上させることで、Bunge Bitsはケニア国民がより積極的に民主主義に参加することを目指しています。このプロジェクトは、クラウドホスティング、データベース、AI技術に依存しており、運営を継続するためにスポンサーシップを歓迎しています。
続きを読む
50年の歳月を経て（Makefileの長きにわたる歴史を指します）、mbakeがついに登場しました！このMakefileフォーマッター＆リンターは、インデント、スペース、改行などのフォーマット問題を自動的に修正するだけでなく、.PHONYターゲットをインテリジェントに検出し、カスタムルールやプラグイン拡張にも対応しています。豊富なコマンドライン引数により、フォーマット、検証、バージョン管理を容易に行え、CI/CDワークフローにもシームレスに統合できます。初心者から上級者まで、mbakeはMakefile作成の効率性と可読性を大幅に向上させます。
続きを読む
SAPFは、純粋な形としてのサウンドを探求するためのインタプリタです。その言語は主に関数型、スタックベースであり、FORTHに似た後置記法を使用します。オーディオと制御イベントは、遅延評価され、無限の可能性のあるシーケンスを使用して表現されます。これは、遅延シーケンスに対してAPLが配列に対して行うこと、つまり、遍在する自動マッピング、スキャン、およびリダクション演算子を持つ非常に高レベルの関数を提供することを目的としています。これにより、短いプログラムで、そのサイズに比べて不釣り合いな結果を得ることができます。ほぼすべてのプログラマがアクセス可能なデータ型が不変であるため、この言語はデッドロックや破損なしに複数のスレッドを簡単に実行できます。APL、Joy、Haskell、Piccola、Nyquist、SuperColliderに触発され、簡潔で表現力豊かなことを優先しています。
続きを読む
Rustで記述され、fasmをバックエンドとして使用するBプログラミング言語コンパイラが利用可能になりました！このプロジェクトには、./tests/フォルダにあるテストをビルドして実行し、サポートされているターゲット全体でマトリックスレポートを生成するbtestというテストユーティリティが含まれています。btestでは、ターゲット(-t)と個々のテストケース(-c)を指定でき、ターゲットを絞ったテストが容易になります。開発中ですが、hello_world.bなどの基本的な例は正常にコンパイルおよび実行されます。
続きを読む
to-userscriptは、ChromeまたはFirefoxの拡張機能を、任意のユーザースクリプトマネージャーで実行可能なスタンドアロン.user.jsファイルに変換するコマンドラインツールです。Chromeウェブストア、Firefoxアドオン、ローカルディレクトリ、アーカイブファイルなど、さまざまなソースに対応しています。このツールは、一般的なWebExtension APIを巧みに置き換え、CSS、画像、その他のリソースを埋め込み、バックグラウンドスクリプトと国際化をエミュレートします。npm、pnpm、bunなどのパッケージマネージャーを使用して簡単にインストールできます。
続きを読む
このプロジェクトは、AWS Lambda関数とNATホールパンチングを使用してサーバーレスQUICプロキシを実装します。S3を調整に、UDPトラバーサル技術を利用することで、専用のサーバーを必要とせずに暗号化されたプロキシ接続を作成します - 必要に応じてLambda関数が起動されます。このシステムは3段階のアプローチを使用します：調整（クライアントはSTUN経由でパブリックIPアドレスを発見し、セッション情報をS3に書き込みます）、NATホールパンチング（クライアントとLambdaは双方向のホールを作成するためにUDPパケットを交換します）、そしてQUICトンネルの確立（クライアントはQUICサーバーを起動し、Lambdaは接続します）。結果は、SOCKS5プロキシを介してインターネットに接続するブラウザで、Lambda関数がトラフィックを転送する出口ノードとして機能します。
続きを読む
AtomicOSは、ゼロから構築された教育用のオペレーティングシステムで、パフォーマンスよりもセキュリティを優先しています。決定的なプログラミング言語Tempoを使用し、真のメモリ保護、暗号化（AES-128、SHA-256）、完全なMMUを実装しています。現在、ネットワークスタック、ファイルシステム、ドライバなどの機能が不足していますが、セキュリティ重視の設計と実装は注目に値します。このプロジェクトはオープンソースですが、クレジット表示と変更の開示が必要です。
続きを読む
TuxRacer.jsは、クラシックなペンギンレースゲームであるTux Racerとその続編であるExtreme Tux Racerをブラウザでプレイできるオープンソースの移植/書き換え版です。デスクトップとモバイルブラウザでプレイでき、プレイヤーはキーボード/マウス（デスクトップ）またはタッチ入力（モバイル）でTuxを操作し、さまざまな地形や環境を移動します。複数のコースと環境を選択でき、URLパラメータを使用してカスタマイズできます。開発初期段階ですが、すでに楽しめるゲームです。
続きを読む
ChromiumをベースとしたオープンソースブラウザであるNxtscapeは、クローズドソースのブラウザに対するプライバシー重視の代替手段を提供します。Manusのようなエージェントをローカルで実行でき、AIアシスタントによって生産性を向上させることができます。Chromeとは異なり、NxtscapeはAI機能をローカルに維持し、ユーザーのプライバシーを優先します。タブの多すぎる問題や煩雑なフォーム入力などの問題に対処することを目指しています。将来的な機能には、MCPストアやAI広告ブロッカーの搭載が予定されています。このプロジェクトはオープンソースで、コミュニティ主導型であるため、ユーザーの参加が促進されます。
続きを読む
Rustで記述された最小限の自動微分エンジンです。小さな多層パーセプトロンを訓練してXOR関数を学習し、単一パーセプトロンの計算グラフをgraph.htmlにレンダリングできます。コアはScalar構造体で、値、オプションの勾配、そしてそれを生成した操作を記述するEdgeを格納します。演算子のオーバーロードとヘルパー関数は、有向非巡回グラフを構築し、各エッジの局所的な導関数をキャッシュします。`backward()`は出力ノードから再帰的に勾配を伝播し、`Scalar::new_grad`で作成されたリーフノードに蓄積します。グラフは`plot::dump_graph`で視覚化できます。
続きを読む
cursorは、AIを使用してPostgreSQLデータベースを数秒で探索できるローカルデスクトップアプリケーションです。スキーマを認識したクエリを瞬時に生成し、任意のPostgreSQLデータベースをサポートし、独自のOpenAIキーを使用できます。プリコンパイルされたバイナリは近日公開予定ですが、現時点ではユーザーがソースからビルドする必要があります。
続きを読む
ts-sshは、Tailscaleネットワークを利用した効率的なコマンドラインSSH/SCPクライアントです。フルTailscaleデーモンを必要とせず、強力なマルチホスト操作、バッチコマンド実行、真のtmux統合を提供します。Tailscaleインフラ全体で高速かつ信頼性の高いSSHアクセスを必要とするDevOpsチームに最適です。ts-sshは、複数の認証方法、対話型SSHセッション、安全なホストキー検証、直接的なSCP転送をサポートしています。高度なマルチホスト機能には、バッチコマンド実行、同時コマンド実行、マルチホストファイル配布が含まれます。クロスプラットフォーム対応で複数の言語をサポートするts-sshは、効率的なネットワーク管理に不可欠です。
続きを読む
Hurlは、シンプルなプレーンテキスト形式を使用してHTTPリクエストを定義および実行する強力なコマンドラインツールです。リクエストのチェーン、値のキャプチャ、レスポンスヘッダーと本文のクエリ評価をサポートしており、REST、SOAP、GraphQLなどのさまざまなAPIでのデータ取得とHTTPセッションテストに適しています。Rustで構築され、libcurlを活用したHurlは軽量で高速であり、さまざまなレポート形式を通じてCI/CDパイプラインとシームレスに統合されます。
続きを読む
Rustの組み込み浮動小数点型は、10進数の表現において精度が不足しています。`primitive_fixed_point_decimal`クレートは、整数型とスケールファクターを使用して10進数を正確に表現し、小数点以下の精度を保証するソリューションを提供します。コンパイル時にスケールファクターを指定する`ConstScaleFpdec`型と、実行時に指定する`OobScaleFpdec`型の2つの型を提供します。後者は柔軟性が高い反面、複雑さも増します。また、このクレートは、乗算と除算の繰り返しによる累積誤差の問題にも対処し、`cum_error`メカニズムを提供しています。要約すると、これは金融システムなど、高精度が求められるアプリケーションに最適な、効率的で正確なRustの固定小数点型ライブラリです。
続きを読む
PR前にコミット履歴を整理するのに30分も費やしていませんか？Git Smart SquashはAIを使用して、変更を論理的でよく構造化されたコミットに自動的に整理します。わずか数秒で完了します。diffを分析し、関連する変更をグループ化し、従来のコミット標準に従うクリーンなコミットメッセージを作成します。ローカルAI（Ollama）とクラウドAI（OpenAI、Anthropic、Gemini）をサポートし、安全で信頼性の高いバックアップメカニズムを提供することで、元のコミットが常に保存されます。大きなdiffでも、作業を小さな塊に分割したり、クラウドAIプロバイダーに切り替えたりすることで処理できます。
続きを読む
ExTrackerはElixirで記述された高性能BitTorrentトラッカーです。低メモリ使用量、ゼロ設定、利用可能なすべてのCPUコアの使用を特長としています。現在、HTTPSサポートとデータベースバックアップを備え、ソースコード、プリビルド版、Dockerイメージの3つの展開方法を提供しています。テストインスタンスはライブ統計と共に既に稼働していますが、プロジェクトはまだ開発中です。今後の計画には、ホワイトリスト/ブラックリスト、高度なピア管理、GeoIPサポートなどの機能が含まれます。
続きを読む
ドナルド・クヌースが考案したリテラートプログラミングは、コードの機械実行よりも人間の可読性を優先するプログラミングパラダイムです。これにより、プログラマはより自然で、思考主導的な順序でプログラムを開発できます。リテラートプログラムは、自然言語による説明とコードスニペットを織り交ぜることで、理解と協調を促進します。ここに説明されているLiterateツールは、クヌースとレヴィの元のCWEBシステムを簡素化し拡張することを目指しています。複数の言語、構文の強調表示、HTMLへの整形出力、Markdownベースのオーサリングをサポートし、コードのコンパイルとHTMLドキュメントの生成のためのコマンドラインインターフェースを提供します。このプロジェクトはオープンソースであり、貢献を歓迎しています。
続きを読む
EnrichMCPは、AIエージェントがデータモデルをORMのように理解し、操作することを可能にするPythonフレームワークです。モデルコンテキストプロトコル（MCP）上に構築され、セマンティックレイヤーを追加することで、データモデルを型付きで検出可能なツールに変換します。SQLAlchemyモデル、REST API、カスタムロジックに対応し、型付きツールの自動生成、リレーションシップの処理、スキーマ検出、Pydanticによる検証を行います。AIエージェントは、開発者がORMを使用する場合と同様に、自然にデータモデルの探索、データのクエリ、リレーションシップのナビゲーションを実行できます。
続きを読む
RoureXOSオペレーティングシステムがRustで書き直された第2版を迎えました。この軽量OSは、提供されているISOイメージを使用してQEMUエミュレータで実行でき、x86_64ベアメタル環境（USBからのブート）でも動作します。依存関係のインストール、カーネルのコンパイル、ISOイメージの作成、QEMUエミュレーション、そしてSLIPを使ったネットワーク接続まで、詳細な手順が網羅されています。明確な手順により、この新しいOSを簡単に体験できます。
続きを読む
このターミナル監視ツール、Claude Code Usage Monitorは、Claude AIトークンの使用状況をリアルタイムで追跡します。トークンと残りの時間に対する視覚的なプログレスバー、バーンレート計算、トークン枯渇予測機能を搭載しています。Pro、Max5、Max20、カスタムMaxプランに対応し、Proの制限を超えると自動的にカスタムMaxモードに切り替わり、アラートとカスタマイズ可能なリセット時間なども備えています。すっきりとしたインターフェースでユーザーエクスペリエンスが向上します。
続きを読む
Unregistryは、Dockerデーモンのストレージから直接イメージを保存および提供する軽量コンテナイメージレジストリです。`docker pussh`コマンドを使用すると、SSH経由でリモートDockerサーバーにイメージをプッシュでき、欠落しているレイヤーのみを転送するため、高速で効率的です。Docker Hubや自己ホスト型レジストリの複雑さを回避し、`docker pussh myapp:latest user@server`という簡単なコマンドで直接、簡単に転送できます。SSHトンネルを確立し、一時的なUnregistryコンテナを実行し、欠落しているレイヤーのみをプッシュし、その後トンネルを閉じます。本番環境へのデプロイ、CI/CDパイプライン、そして隔離された環境に最適です。
続きを読む
fangは、CobraベースのCLIアプリケーションにすぐに使える機能強化を提供する、小型で実験的なライブラリです。完全にスタイル化されたヘルプと使用方法のページ、スタイル化されたエラー、自動--version処理、manページの生成（mangoを使用）、シェル補完、テーマ、サイレントな使用出力などの機能を備えています。統合は簡単で、CLIのユーザーエクスペリエンスを大幅に向上させるために、最小限のコード変更が必要です。
続きを読む
Bentoは、コモドール64とサイバーデッキのデザインからインスピレーションを得た、ユニークなコンピューターです。キーボードの下にぴったり収まるように設計されており、キーボードが蓋として機能します。これにより、内部へのアクセスと周辺機器の収納が容易になります。主にXREAL Oneなどの空間ディスプレイで使用することを目的としていますが（USB-Cモニターにも対応）、BentoはSteam Deck OLEDのメインボード、クーラー、バッテリーを使用し、最適なパワーとポータビリティを実現しています。基本的な機能に限定される大型XRデバイスとは異なり、Bentoは真の作業のために設計されており、空間コンピューティングのための強力でポータブルなソリューションを提供します。このプロジェクトはオープンソースであり、貢献を歓迎します。
続きを読む
Delveは、現在アルファプレリリース版であるエンタープライズグレードのデータ分析プラットフォームで、AGPL-3.0ライセンスの下で提供されています。様々なデータソースからのデータの取り込み、分析、視覚化のための堅牢な機能を備えています。インタラクティブな検索インターフェース、パイプラインベースのクエリ言語、カスタムダッシュボード、リアルタイムアラートなどの機能があります。ロールベースのアクセス制御、カスタムアプリ開発、拡張可能な検索コマンドなどのエンタープライズ機能も含まれています。インストールは簡単で、ダウンロード、解凍、そしていくつかのコマンドを実行するだけで開始できます。初期段階ではありますが、Delveの強力な機能と使いやすさは、エンタープライズデータ分析のための有望なソリューションとなっています。
続きを読む
DSCは、機械学習モデルのためのPyTorch互換のテンソルライブラリと推論フレームワークです。C互換の低レベルAPIを、NumPy/PyTorchに似た最新のPython APIでラップしており、使いやすさが向上しています。主な機能には、直感的なAPI、ビルトインニューラルネットワークサポート、複数バックエンドサポート（CPUとCUDA）、最小限の外部依存関係、ランタイムアロケーションなしなどがあります。インストールは簡単で、C++20コンパイラとGNU Makeのみが必要です。CUDAアクセラレーションをサポートしており、環境変数を設定するだけで有効にできます。pytestを使用して単体テストを実行し、正確性を確保しています。
続きを読む
Workout.coolは、前身であるworkout.lolの灰の中から復活した、現代的なオープンソースフィットネスコーチングプラットフォームです。ビデオライセンスの問題により元のプロジェクトが放棄された後、開発者Snouzyが引き継ぎ、プラットフォームをゼロから再構築しました。包括的なエクササイズデータベース、進捗状況の追跡、そしてパーソナライズされたトレーニングプランを提供しています。Next.js App RouterとFeature-Sliced Designアーキテクチャを使用して構築されており、コミュニティからの貢献を歓迎しています。これはコミュニティによる、コミュニティのためのプロジェクトであり、オープンソースフィットネスコミュニティに信頼性が高く、メンテナンスしやすいプラットフォームを提供することを目指しています。
続きを読む
MiniMax-M1は、4560億パラメーターを持つ、オープンウェイトの大規模ハイブリッドアテンション推論モデルです。混合専門家（MoE）アーキテクチャと高速なアテンションメカニズムを組み合わせることで、100万トークンのコンテキスト長をネイティブにサポートします。大規模強化学習によってトレーニングされ、数学的推論、ソフトウェアエンジニアリングなどの複雑なタスクにおいて、DeepSeek R1やQwen3-235Bなどの他の強力なモデルを凌駕しています。テスト時の計算効率の高さから、次世代言語モデルエージェントの強力な基盤となります。
続きを読む