BeamはSSHプロトコルを使用してファイルとパイプを転送するツールであり、SSHクライアントのみで利用でき、バイナリインストールは不要です。パイプ転送をサポートし、公開鍵認証による高いセキュリティを提供し、シンプルでSSHコマンドを使用してデータの送受信を行います。ランダムなチャネル名を使用することでセキュリティを強化できます。Beamサーバーはドイツに配置されているため転送速度が制限される可能性があり、エンドツーエンドの暗号化はサポートされていません（データはサーバー上で短時間復号化されます）が、軽量性と簡単な自己ホスティングにより、便利なファイル転送ソリューションとなっています。
続きを読む
このGitHubプロジェクトは、Jean-Yves Girardによる「超越構文」を実装しています。これは、低レベルで論理に依存しない言語から論理的抽象化を構築する方法です。「恒星分解」と呼ばれる基本言語を使用し、基本オブジェクト（プログラム）を「星座」と呼びます。これらの星座は、より高レベルの言語「Stellogen」（星座のためのメタプログラミング言語）で使用され、証明と式を定義します。このプロジェクトは開発中であり、ガイドは現在フランス語のみです。
続きを読む
swc4jは、JVM上で動作する超高速なJavaScriptおよびTypeScriptのコンパイルとバンドリングツールです。Javetポートフォリオの一部であり、Node.jsまたはV8がJVM上でコードを実行する前に、JavaScriptおよびTypeScriptコードを処理します。AST解析、プラグインサポート、コード変換、ミニファイ、複数のターゲットESバージョン、ソースマップなどを備え、堅牢なコードサニタイゼーション（キーワード制限、オブジェクト保護など）を提供します。MavenまたはGradleを使用してプロジェクトに簡単に統合でき、コンパイルとバンドリングの効率的なワークフローを実現します。
続きを読む
このプロジェクトは、F-DroidのAPK署名検証における脆弱性を示す概念実証です。攻撃者はこれらの欠陥を利用して署名を偽造し、F-Droidの証明書固定機構を回避することで、悪意のあるアプリを正規アプリとして偽装できます。脆弱性は、F-DroidがAPK署名ブロック内の証明書の順序と検証を処理する方法の矛盾に起因します。これらの矛盾を操作することで、攻撃者は偽の証明書情報を挿入し、F-Droidをだまして有効な署名として受け入れさせることができます。修正が提案され、実装されてきましたが、さらなる脆弱性と回避策が発見されており、APK署名検証のセキュリティにおける継続的な課題が浮き彫りになっています。
続きを読む
このプロジェクトは、1992年のゲーム『Comanche』で使用されていたVoxel Space地形レンダリングアルゴリズムを再現しています。20行以下のコードで実装されたこのアルゴリズムは、高さマップとカラーマップを利用して、レイキャスティングに似たアプローチで地形をレンダリングします。記事ではアルゴリズムの詳細と、パフォーマンス向上のための最適化戦略（バックトゥフロントレンダリング、フロントトゥバックレンダリング、LOD調整など）について説明しています。このプロジェクトはオープンソースで、コードと実行可能なウェブデモが含まれています。
続きを読む
SQLFlowはDuckDBをベースとしたストリーム処理エンジンで、KafkaやWebhookなどのソースからのリアルタイムデータに対してSQLベースの処理を可能にします。データ変換、エンリッチメント、集約、タンブリングウィンドウ集約などをサポートし、Kafka、データベース、ローカルファイルなど様々な出力先への出力に対応しています。SQLFlowは高いスループットを誇り、毎秒数万件のメッセージを処理でき、カスタムシリアライゼーションとエンコーディングにも対応しています。Dockerによるデプロイも容易です。
続きを読む
Org-Supertagは、EmacsのOrg-modeプラグインで、Org-modeのタグ機能を強化します。タグはノードに属性を割り当てるだけでなく、ノードを直接操作することも可能になり、より柔軟な知識管理を実現します。Tanaに着想を得ており、非侵入型で、Org-modeの既存機能とシームレスに共存します。ノードの構造と動作を定義する「スーパータグ」を導入し、構造化されたプロパティと自動化されたアクションのためのフィールドとビヘイビアシステムをサポートしています。クエリシステムは、ノード、タグ、フィールド全体で統一された検索を可能にし、複数のエクスポートオプションを提供します。
続きを読む
PWCT2は、Ring言語で記述された第2世代のビジュアルプログラミング言語で、楽しくビジュアルプログラミングとインタラクティブな視覚化を行うために設計されています。Ringコードのインポートとエクスポートをサポートし、Windows、Linux、macOSで動作します。Steamでも入手可能で、Web開発、2Dゲーム開発など幅広い機能を備え、多くのチュートリアルビデオとドキュメントが用意されています。
続きを読む
Ergo S-1は、Cherry/GateronスイッチとCherry/OEM/DCSキーキャップに対応した、オープンソースのワイヤレス分割エルゴノミクスキーボードで、ZMKファームウェアを使用しています。失業中に設計されたこのキーボードは、DIYでの組み立てやすさを重視しており、より幅広いユーザーにアクセスできるようにしています。このプロジェクトでは、包括的な組み立て手順、部品表、Fusion 360設計ファイル、カスタムキーマップのサポートを提供しています。完全なキットはまだ入手できませんが、組み立て済みのキーボードはEtsyで販売されており、作成者はより簡単に組み立てられるキットの開発に積極的に取り組んでいます。
続きを読む
Gourceはオープンソースソフトウェアで、バージョン管理リポジトリの履歴を息を呑むようなアニメーションで視覚化します。リポジトリのルートは中央に配置され、ディレクトリは枝、ファイルは葉となり、開発者はコードツリー内を動き回るダイナミックなキャラクターになり、貢献はアニメーション化された軌跡として表示されます。GourceはOpenGLレンダリングを使用し、3Dアクセラレーション対応ビデオカードが必要です。Git、SVN、Mercurialなど、さまざまなバージョン管理システムをサポートしており、多くのカスタマイズパラメーターを提供することで、コードベース履歴の印象的な視覚化を簡単に作成できます。
続きを読む
HandiRokuRemoteを使うと、ハンドジェスチャーでRokuを操作できます！このPythonプロジェクトは、GoogleのMediaPipeを用いてリアルタイムでハンドトラッキングを行い、ジェスチャーをRokuの外部制御プロトコル（ECP）を介して送信されるコマンドに変換します。直感的なインターフェースは、自動デバイス検出、カスタマイズ可能な設定（デバッグモード、自動開始、スケルトンビュー）、ナビゲーションやメディアコントロールのための様々なジェスチャーをサポートしています。現状、ハンド検出距離に制限がありますが、将来の開発では、他のスマートTVやHDMI-CEC対応デバイスへの互換性の拡張を目指しています。
続きを読む
このGitHubリポジトリ、awesome-donationsは、多数のフリー/オープンソースソフトウェア(FLOSS)プロジェクトへの寄付方法をまとめた厳選リストです。Linux FoundationやMozilla Foundationといった大規模な団体から、LibreOffice、GIMP、QEMUなどの個々のプロジェクトまで、幅広くサポートできます。PayPal、クレジットカードなど、お好みの方法で簡単にオープンソースコミュニティに貢献し、重要なフリーソフトウェアの継続的な開発を支援できます。
続きを読む
XiangShanは、中国科学院計算技術研究所と鵬程研究所が共同で開発した、オープンソースの高性能RISC-Vプロセッサプロジェクトです。複数の安定版がリリースされており、包括的なドキュメント、チュートリアル、マイクロアーキテクチャの概要が提供されています。最新の昆明湖バージョンは開発中で、様々なシミュレーションツールとIDEをサポートしています。XiangShanは、アジャイル開発手法を用いてRISC-Vプロセッサ技術の進歩を目指しており、その成果は査読付き論文として発表され、国際的な評価を得ています。
続きを読む
Connetは、ngrok、frp、ratholeを参考に開発された、NATトラバーサルに対応したピアツーピアのリバースプロキシです。公開IPアドレスなしで、ローカルサービスをインターネット上の他のデバイスに公開できます。従来のツールとは異なり、Connetクライアントはサービスプロバイダー（宛先）とサービスリクエスト側（送信元）の両方にインストールされ、プライバシーと効率性を確保します。現在アルファ版であり、直接接続と中継サーバー接続の両方をサポートし、TLSで暗号化された通信を行います。
続きを読む
HtmlSliceは、Rubyクラスが動的に再利用可能なHTMLスニペットを生成できるようにするRuby gemです。Markabyのインスタンススコープの問題など、既存のHTMLジェネレーターの制限に対処します。HtmlSliceは幅広いHTMLタグ（空タグを含む）をサポートし、XSS脆弱性を防ぐためにHTMLコンテンツを安全にエスケープします。軽量で使いやすいので、アプリケーション全体のHTMLまたはHTMLの一部を生成するのに適しています。Railsとの統合も示されています。
続きを読む
mitmproxy2swaggerは、mitmproxyでキャプチャされたトラフィックをOpenAPI 3.0仕様に自動的に変換する強力なツールです。これにより、アプリケーションを実行してトラフィックをキャプチャするだけで、REST APIを自動的にリバースエンジニアリングできます。mitmproxyのフローファイルと、ブラウザの開発者ツールからエクスポートされたHARファイルの両方をサポートしています。使用方法としては、mitmproxyでトラフィックをキャプチャし、ファイルを保存してから、mitmproxy2swaggerを実行し、入力ファイル、出力ファイル、APIプレフィックスを指定します。最初の実行では、初期スキーマが生成されますが、不要なパスを削除するために手動で編集する必要があります。2回目の実行では、編集されたスキーマに基づいて、完全なOpenAPI仕様が生成され、オプションでサンプルデータを含めることができます。
続きを読む
Zasperは、データサイエンスのためにゼロから構築された新しいIDEで、大規模な並行処理、最小限のメモリフットプリント、そして比類のない速度を誇ります。REPLスタイルのデータアプリケーションに最適で、Jupyter Notebookはその一例です。現在、Macでは完全にサポートされており、Linuxでは限定的なサポートがあります。ベンチマークによると、JupyterLabと比較してRAMとCPUの使用量が75％削減されています。Prasun Anandによって作成され、無料でオープンソースのローカル実行可能なソリューションを目指しており、最新のコンピューターのリソースを最大限に活用します。
続きを読む
Kotaemonは、独自のドキュメントとチャットできるオープンソースのRetrieval-Augmented Generation（RAG）ベースのツールです。クリーンで使いやすいインターフェースを備え、OpenAI、Azure OpenAIなどの様々な大規模言語モデル（LLM）とローカルLLMをサポートしています。ドキュメントのQAを行うエンドユーザーや、独自のRAGパイプラインを構築する開発者のどちらにとっても、Kotaemonは便利なツールとカスタマイズ可能なUIを提供します。複数のファイルタイプをサポートし、マルチモーダルQA、複雑な推論、設定可能な設定などの高度な機能を提供します。
続きを読む
Mercureは、Webブラウザやその他のHTTPクライアントにデータ更新をプッシュするための、オープンソースで、使いやすく、高速で、信頼性が高く、バッテリー効率の良いソリューションです。Web APIを通じて提供されるリソースの非同期およびリアルタイム更新の公開に最適で、リアクティブなWebおよびモバイルアプリを強化します。プロトコルと本番環境対応のGo実装、ライブラリ、DockerイメージはGitHubで入手可能です。管理された、高スケーラビリティなバージョンもMercure.rocksで提供されています。
続きを読む
DeepSeek-VL2は、その前身であるDeepSeek-VLを大幅に改良した、高度な大規模混合専門家（MoE）ビジョン言語モデルシリーズです。視覚的な質問応答、光学文字認識、ドキュメント/表/グラフの理解など、さまざまなタスクで優れた能力を発揮します。このシリーズは、DeepSeek-VL2-Tiny、DeepSeek-VL2-Small、DeepSeek-VL2の3つのバリアントで構成され、それぞれ10億、28億、45億のアクティブパラメータを持っています。DeepSeek-VL2は、既存のオープンソースの密なモデルやMoEベースのモデルと比較して、類似またはより少ないアクティブパラメータで、競争力のある、または最先端の性能を達成します。このプロジェクトはオープンソース化されており、モデルのダウンロード、クイックスタートガイド、デモ例を提供しています。
続きを読む
ShredOSは、Buildrootを使用して構築された軽量でブート可能なLinuxディストリビューションであり、安全なディスク消去を目的として設計されています。強力なツールであるnwipeを搭載し、DoD 5220.22-M準拠を含む様々な消去方法を提供し、32ビットと64ビット両方のプロセッサをサポートしています。USBまたはCDからブート可能で、インストールは不要であり、ユーザーフレンドリーなインターフェースを提供します。また、smartmontoolsやhdparmなどのユーティリティも含まれており、ディスクの診断とメンテナンスが容易になります。
続きを読む
Facebook Researchは、文表現空間で動作する言語モデリングへの新しいアプローチである、大規模概念モデル（LCM）を発表しました。SONAR埋め込み空間を利用して、LCMは最大200のテキスト言語と57の音声言語をサポートしています。文を「概念」として扱い、LCMは自己回帰的な文予測のためにシーケンスツーシーケンスモデルを使用します。このプロジェクトは、16億パラメーターのモデルのトレーニングとファインチューニングのためのレシピを提供し、MSE回帰と拡散ベースの生成を検討しています。
続きを読む
Tirrenoは、ウェブサイト、アプリケーション、SaaS、コミュニティ、IoTデバイスなど、さまざまなオンラインプラットフォームを監視するために設計されたオープンソースのセキュリティユーザー分析ソフトウェアです。アカウント乗っ取り、悪意のあるボット、ユーザー行動に起因する一般的な脆弱性から検出し、防御します。PHPとPostgreSQLを使用して構築されており、インストールと使用が容易で、リアルタイム分析を提供します。有料サブスクリプションにより、IPアドレス、メールアドレス、電話番号の追加検証を提供することで、不正防止機能が強化されます。Tirreno Technologies Sàrlによって開発され、プライバシーとデータセキュリティを優先しています。コードはオープンソースですが、商標はオープンソースではありません。
続きを読む
ArnisはRustで記述されたオープンソースプロジェクトで、現実世界の任意の場所を高精度でMinecraft Java Editionに再現します。OpenStreetMapの地理空間データとRustのパワーを活用することで、Arnisは現実世界の地理と建築を反映した、複雑で正確なMinecraftの世界を効率的に作成します。ユーザーはエリアを選択し、Arnisはデータを処理して、座標0,0,0を中心としたMinecraftの世界を生成します。元々はPythonで開発されましたが、パフォーマンス向上のためRustに移行されました。
続きを読む
Agentariumは、AI搭載エージェントで構成されたシミュレーションを簡単に作成および管理するための、強力なオープンソースPythonフレームワークです。エージェントが行動、学習、進化できる複雑なインタラクティブ環境を設計するための、柔軟で直感的なプラットフォームを提供します。主な機能には、高度なエージェント管理、堅牢なインタラクション管理、状態の保存と復元のためのチェックポイントシステム、合成データ生成、拡張可能なアーキテクチャなどがあります。環境はYAMLファイルを使用して構成されます。
続きを読む
Ruby Refrigeratorは、すべてのRubyコアクラスとモジュールを凍結し、実行時にコアクラスへの予期しない変更を防ぐツールです。コアクラスを凍結する`freeze_core`メソッドと、コアクラスへの変更についてライブラリをチェックする`check_require`メソッドを提供します。`check_require`は、モジュールとクラスの事前定義、特定クラスの除外、依存関係の指定などのオプションをサポートしています。使いやすいコマンドラインツール`bin/check_require`も提供されています。このツールは、本番環境とテスト環境でのコードの安定性を確保するために非常に役立ちます。
続きを読む
単純なボタンによる4つのモードしか制御できないDucoBox換気システムの限定的な制御オプションに不満を持った著者は、本質的にESP32である高価な公式Duco接続ボードをリバースエンジニアリングすることにしました。ロジックアナライザとDucoのウェブサイトの情報を使用して、ボードと換気システム間の通信プロトコルを分析しました。それはModbusではなく、カスタムプロトコルであることが判明しました。プロトコルをデコードした後、著者はESPhomeコンポーネントを作成し、Home Assistantとのシームレスな統合を実現しました。これにより、制御が大幅に向上し、CO2センサデータなどの情報を読み取ることができます。
続きを読む
lua-matchは、Sum型とSwitch機能を提供するミニマルなLuaライブラリです。様々なデータ型と条件分岐をクリーンかつ効率的に処理するために、タグ付け関数を活用しています。シンプルなタグ付け関数とswitchテーブルを使用することで、Sum型のような動作とパターンマッチングを容易に実装でき、Luaコードを大幅に簡素化できます。このライブラリはオープンソースで、MITライセンスを使用しています。
続きを読む
Panel Graphic Walkerは、Jupyter NotebookやPanelアプリケーション内でインタラクティブなデータ探索を行うためのPythonライブラリです。Graphic Walkerの機能をHoloViz Panelに統合し、Tableauに似たインターフェースを提供します。最小限のコードで動的な可視化とテーブルを迅速に作成できます。様々なデータバックエンドとレンダラーに対応し、サーバーサイド計算を利用して大規模なデータセットを処理できます。プロジェクトはまだ初期段階にあるため、特定のバージョンを固定することをお勧めします。
続きを読む
lexiforest/curl-impersonateはcurl-impersonateのアクティブなフォークであり、ブラウザの擬態機能を強化し、より多くのバージョンとビルドターゲットをサポートしています。このプロジェクトはcurlを修正して、TLSおよびHTTPハンドシェイク中に主要なブラウザ（Chrome、Edge、Safari、Firefox）の動作を模倣し、フィンガープリンティングに基づくWebサイトの制限を回避します。更新には、ECH、ZSTD圧縮、X25519Kyber768曲線、およびより多くのブラウザバージョンのサポートが含まれており、改良されたコマンドラインツールとライブラリ関数が提供されます。
続きを読む