VMクローニングとLinux乱数生成器:セキュリティ上の影響と解決策

2025-04-12
VMクローニングとLinux乱数生成器:セキュリティ上の影響と解決策

このドキュメントは、単一のスナップショットから複数のVMクローンをリストアすることのセキュリティ上の影響を分析しています。Linuxは、/dev/random、/dev/urandom、getrandomシステムコールという3つの主要なRNGインターフェースを公開しています。VMをクローンすると、複数のパラメータ(タイマデータやCPU HWRNG命令の出力など)が各結果に混ざり合うため、RNGの状態が不整合になります。この記事では、新しいカーネルと古いカーネルにおけるRNGの異なる実装を調べ、リストア後にRNGを再初期化すること、virtio-rngデバイスを使用すること、そしてVMGenIDメカニズム(Linux 5.18以降で導入)を活用して、クローニング後のRNGの状態の不整合に対処する方法などの解決策を提案しています。

続きを読む

PyReason:グラフベース推論のための説明可能な推論ソフトウェア

2025-04-12
PyReason:グラフベース推論のための説明可能な推論ソフトウェア

PyReasonは、論理規則と事実を使用してグラフ構造を推論する視覚的な推論ツールです。アノテーション付きの実数値グラフとテンポラルロジックをサポートし、Pythonライブラリのインストール、マルチコア並列処理(Python 3.9と3.10のみ)、包括的なドキュメントとコード例を提供します。このソフトウェアは論文で発表されており、アリゾナ州理事会/アリゾナ州立大学の商標許可の下でライセンスされています。

続きを読む

Rust CUDA: Rustへの高速GPUコンピューティングの導入

2025-04-11
Rust CUDA: Rustへの高速GPUコンピューティングの導入

Rust CUDAプロジェクトは、CUDAツールキットを使用して、非常に高速なGPUコンピューティングのためのトップレベルの言語としてRustを確立することを目指しています。高度に最適化されたPTXコードへのRustのコンパイルツールと、既存のCUDAライブラリとのインターフェースのためのライブラリを提供します。RustとCUDAの統合における以前の課題に対処し、GPUサイドの関数、CUDAドライバーAPIラッパー、レイトレーシングのためのOptiXサポートなど、CUDAエコシステムのさまざまな側面を網羅する包括的なクレートのスイートを提供します。まだ初期開発段階ですが、このプロジェクトはRust GPUコンピューティング業界を前進させることを目指しています。

続きを読む
開発

Container Tools:軽量なDebianコンテナイメージの構築を自動化するツール

2025-04-11
Container Tools:軽量なDebianコンテナイメージの構築を自動化するツール

Container Toolsは、debootstrapを使用して最小限のDebianベースのルートファイルシステムの作成を自動化するプロジェクトです。特定のパッケージや設定のカスタマイズをサポートし、コンテナ化環境のセキュリティスキャンを統合しています。他のディストリビューションやプロジェクトに容易に拡張できます。従来のDockerfileビルドにおける、イメージの肥大化、ネットワークの非効率性、反復処理の遅さといった問題に対処します。ビルドプロセスを合理化し、必要なコンポーネントのみを含めることで、軽量で効率的なコンテナイメージを作成します。Java、Kafkaなどを含む、事前に構築されたイメージも利用可能です。最終出力は、`docker import`を使用してインポートおよび実行できる.tarファイルです。

続きを読む

ParticleOS:完全にカスタマイズ可能なイミュータブルLinuxディストリビューション

2025-04-11
ParticleOS:完全にカスタマイズ可能なイミュータブルLinuxディストリビューション

ParticleOSは、ユーザーが独自のイメージを構築して署名できる、独自のイミュータブルLinuxディストリビューションです。これにより、システム構成を完全に制御できます。ユーザーはベースディストリビューション(現在ArchとFedoraがサポートされています)と必要なパッケージを選択します。システムのアップデートは、リポジトリをクローンしてmkosiコマンドを実行することで処理されます。すべての機能が正しく動作することを確認するために、systemdをソースから構築することをお勧めします。ParticleOSは、セキュアブートの署名にユーザーのキーを使用し、USBドライブによるインストールやsystemd-homedの設定など、詳細なインストール手順を提供しています。仮想マシンでは、デフォルトのrootパスワードとユーザー名はどちらも'particleos'です。

続きを読む
開発

クラシックMac OS向けMbed TLS移植:レトロテックチャレンジ

2025-04-11
クラシックMac OS向けMbed TLS移植:レトロテックチャレンジ

開発者がMbed TLSをクラシックMac OS 7/8/9に成功裏に移植しました。これは素晴らしい成果です。このプロジェクトは、最新のC言語機能を欠いたC89/C90コンパイラの制限や、Macのファイルシステムの特殊性など、多くの課題を克服しました。開発者は64ビット整数エミュレーションとカスタムエントロピー収集システムを実装し、最終的にクラシックMacで基本的なHTTPS GETリクエストを可能にしました。セキュリティ上の制限はありますが、このプロジェクトはレトロテクノロジーへの情熱と並外れたプログラミングスキルを示しています。

続きを読む

Pledge: Swift向け軽量リアクティブプログラミングフレームワーク

2025-04-10
Pledge: Swift向け軽量リアクティブプログラミングフレームワーク

Pledgeは、Swift向けの軽量でスレッドセーフなリアクティブプログラミングフレームワークであり、状態管理とイベント伝播を簡素化します。複雑な学習曲線を持つ他のフレームワークとは異なり、Pledgeは開発者が毎日直面する実際的な問題解決に焦点を当てています。スレッドセーフな実装、優先順位ベースの通知、カスタマイズ可能なキュー、バッチ更新、レート制限、一般的な関数型演算子を提供します。`PLObservable`と`PLGlobalStore`を使用することで、開発者はオブザーバーパターンとグローバル状態管理を簡単に実装し、コードの効率性と保守性を向上させることができます。

続きを読む
開発

DocstringをLLM関数に変換する:smartfuncライブラリの紹介

2025-04-10
DocstringをLLM関数に変換する:smartfuncライブラリの紹介

smartfuncライブラリは、docstringをLLM関数に巧みに変換することで、大規模言語モデルとのやり取りを簡素化します。デコレーターとJinja2テンプレートを使用して、docstringのテキストをプロンプトに変換し、基盤となるllmライブラリを介して様々なLLMプロバイダー(OpenAIなど)とやり取りします。smartfuncは、レスポンス構造の定義のためのPydanticモデル、非同期関数、システムプロンプト、そしてデバッグモードをサポートしており、開発効率を大幅に向上させます。機能は比較的シンプルですが、その簡潔さと使いやすさから、迅速なプロトタイピングに最適です。

続きを読む
開発

TVMC:ボリューム追跡参照メッシュを用いた時間変化メッシュ圧縮

2025-04-10
TVMC:ボリューム追跡参照メッシュを用いた時間変化メッシュ圧縮

TVMCプロジェクトは、時間変化メッシュ圧縮に対する革新的なアプローチを紹介します。これは、ボリューム追跡参照メッシュを活用し、ARAPボリューム追跡、参照中心の生成のためのMDS、変換クォータニオンの計算、ボリューム追跡された自己接触のない参照メッシュの作成、メッシュ変形、変位場の計算、Dracoベースの圧縮と評価を含む複数ステップのパイプラインを使用します。このプロジェクトはWindowsとUbuntuをサポートし、ローカルマシンでの実行に関する指示に加えて、Dockerの構築と実行に関する詳細な手順を提供します。

続きを読む

Photon:高性能なRust/WebAssembly画像処理ライブラリ

2025-04-10
Photon:高性能なRust/WebAssembly画像処理ライブラリ

Photonは、WebAssemblyにコンパイルできる高性能なRust画像処理ライブラリです。Webとネイティブの両方で安全かつ高速な画像処理を実現します。PNG、JPEG、WebPなど、様々な画像フォーマットをサポートし、96種類以上のカスタマイズ可能な関数を提供しています。画像補正、リサイズ、畳み込み、チャンネル操作、変換、モノクロ効果、カラー操作、フィルター、ウォーターマーク、ブレンドなどの機能が含まれています。ネイティブ、WebAssembly(ブラウザおよびNode.js)のバージョンが利用可能です。最新バージョン0.3.2では、デュオトーンフィルター、画像回転、ディザリングフィルターなどの新機能が追加されました。

続きを読む
開発

Rust風味CSSプリプロセッサ:RCSS登場

2025-04-10
Rust風味CSSプリプロセッサ:RCSS登場

RCSSは、Rust風の構文をCSSに取り入れたスタイル言語です。Rustの堅牢性と、SASSのようなネストや変数といった機能を組み合わせることで、よりクリーンでメンテナンスしやすいスタイルを目指します。現在の実装はRust風の構文を持ち、変数、ネスト、関数(現在は引数なし)をサポートしており、構文ハイライトのためのVS Code拡張機能も提供しています。将来の計画には、引数付き関数のサポート、インポート、フォーマッタ、CSS出力フォーマットの改善、エラー処理とデバッグツールの改善などが含まれます。RCSSは非常に高速なコンパイル速度を誇り、数百度マイクロ秒でコンパイルが完了します。

続きを読む

疎なボクセルシーンのためのWebGLビューア

2025-04-09
疎なボクセルシーンのためのWebGLビューア

Nvidia Sparse Voxels Rasterization論文からの疎なボクセルシーンを視覚化するインタラクティブなWebGLビューアです。このビューアを使用すると、ウェブブラウザからボクセル放射輝度場を探索して視覚化できます。レンダリングは、参照CUDA実装と同様です。インタラクティブなカメラコントロール(マウスとタッチ)、パフォーマンスメトリクスの表示(FPS)、カスタムPLYファイルの読み込みをサポートしています。このプロジェクトではAIアシスタンスを活用し、定型コードには非常に効率的でしたが、複雑なグラフィックスのバグ修正にはそれほどではありませんでした。生成されるPLYファイルは大きくなる可能性があるため、ボクセル数を制限することを検討してください。

続きを読む

LispE:パターンマッチングと論理を用いた革新的なLisp方言

2025-04-09
LispE:パターンマッチングと論理を用いた革新的なLisp方言

Naverが開発した最新のLisp方言であるLispEは、defpat、defmacro、defpredといった革新的な構成要素により、Common Lisp、Scheme、Clojureなどの従来のLisp実装とは一線を画しています。LispEは、高度なパターンマッチング、拡張されたマクロ機能、論理プログラミング要素によって、Lispの柔軟性とマクロシステムを拡張しています。defpatは、同じ関数名で複数の関数を定義し、それぞれが特定の引数パターンによってトリガーされることを可能にします。defmacroは、パターンマッチングと$演算子を使用して、カスタム構文の作成を簡素化します。defpredは、パターンマッチングと述語ベースの評価、自動バックトラッキングを統合し、論理プログラミングの要素をLispフレームワークに組み込んでいます。他のLispと比較して、LispEは優れた表現力とモジュール性を提供します。

続きを読む
開発

オズの魔法使いの人物関係図の視覚化

2025-04-09
オズの魔法使いの人物関係図の視覚化

L・フランク・バウムの『オズの魔法使い』における登場人物間の関係性を視覚的に表現したグラフです。ドロシーと彼女のペットのトト、家族(ヘンリーおじさん、エムおばさん)、友人たち(かかし、ブリキの木こり、臆病なライオン)、敵(西の悪い魔女、オズの魔法使い)、そしてドロシーを助けるグリンダとの複雑な関係を明確に示しています。

続きを読む
その他 人物関係

初代Apple TVでWindows XPと2003を実行!

2025-04-09
初代Apple TVでWindows XPと2003を実行!

2年間の作業を経て、開発者が初代Apple TVでWindows XPとWindows Server 2003の起動に成功しました!このx86 CPUとIDEハードドライブを搭載したデバイスは、標準的なWindowsと互換性のないEFIのみのファームウェアを使用しているため、EFIブートやドライバの問題を克服する必要がありました。カスタムFreeLoaderブートローダーとドライバを作成することで、Apple TVでWindowsシステムを起動しデスクトップにアクセスすることができましたが、PCI、USB、オーディオなどの機能は一部または完全に動作しません。

続きを読む
テクノロジー

CodeScientist:自動化された科学発見のためのAIツール - コストとリスク

2025-04-09
CodeScientist:自動化された科学発見のためのAIツール - コストとリスク

CodeScientistは、LLMを活用した自動化された科学発見のための自律型エージェントです。コードの生成、デバッグ、実験の実行を行います。ただし、コストはデバッグの反復回数、プロンプトのサイズなどに依存し、実験あたり平均約4ドルかかります。高額なコストを避けるために、APIキーを注意深く管理し、使用状況を監視する必要があります。生成されたコードにはAPIキーが含まれている可能性があるため、誤ってコミットするのを防ぐために、除外パターンを使用することをお勧めします。

続きを読む
開発

Linuxカーネルセキュリティの可視化:防御マップと強化チェッカー

2025-04-09
Linuxカーネルセキュリティの可視化:防御マップと強化チェッカー

Linuxカーネルのセキュリティは複雑です。このプロジェクトは、脆弱性のクラス、エクスプロイト技術、検出メカニズム、防御技術間の関係を詳細に示す視覚的なマップを提供します。DOT言語で記述され、GraphVizを使用してレンダリングされるこのマップは、ドキュメントとカーネルソースコードのナビゲーションを支援します。マップを補完するツール`kernel-hardening-checker`は、Linuxカーネルのセキュリティ強化オプション、特に主要なディストリビューションでデフォルトで無効になっていることが多いオプションの検証を自動化し、システムセキュリティを向上させます。

続きを読む

Dockerfileフォーマッタdockerfmtの最新版

2025-04-09
Dockerfileフォーマッタdockerfmtの最新版

buildkitパーサー上に構築された、最新のDockerfileフォーマッタdockerfmtをご紹介します。RUNコマンドのサポートが向上し(ただし、グループ化とセミコロンはまだサポートされていません)、基本的なインラインコメントのサポート、チェック、書き込み、インデント、改行処理のための様々なコマンドラインオプションを提供します。JSバインディングも提供され、容易に統合できます。長いJSONコマンドの折り返しや# escape=Xディレクティブなどの機能はまだ実装されていませんが、dockerfmtはDockerfileをフォーマットするユーザーフレンドリーで効果的な方法を提供します。

続きを読む

Coroot:コード変更不要のアプリケーション可観測性プラットフォーム

2025-04-08
Coroot:コード変更不要のアプリケーション可観測性プラットフォーム

Corootは、コードを変更することなくメトリクス、ログ、トレースを自動的に収集し、それを実行可能なインサイトに変換するオープンソースの可観測性プラットフォームです。eBPFを利用したゼロインストゥルメンテーション監視により、サービスマップ、事前定義された検査、アプリケーションヘルスサマリー、分散トレーシング、ログ分析、プロファイリング機能を提供します。Corootはアプリケーションの問題を迅速に特定して解決し、Kubernetesや主要なクラウドプラットフォームと統合されており、SLOトラッキングとコスト監視を提供して、開発者がアプリケーションのパフォーマンスを最適化し、クラウドコストを削減するのに役立ちます。

続きを読む

HNSW:階層型ナビゲーション可能なスモールワールドによる効率的な近傍探索

2025-04-08
HNSW:階層型ナビゲーション可能なスモールワールドによる効率的な近傍探索

HNSWは、ベクトル埋め込みの近傍探索を効率化するための、階層型ナビゲーション可能なスモールワールドグラフに基づくアルゴリズムです。階層構造を利用して探索プロセスを高速化します。このアルゴリズムは、異なるレベルで疎なグラフ構造と密なグラフ構造を構築し、上から下へ効率的に探索します。コードは簡潔で、最新のC++とEigenによるSIMD加速を使用し、約500行のコードで実現できます。

続きを読む

LLMプラグイン:Hacker Newsのスレッドを簡単に要約

2025-04-08
LLMプラグイン:Hacker Newsのスレッドを簡単に要約

新しいLLMプラグイン`llm-hacker-news`を使うと、Hacker Newsの会話スレッドを簡単に要約できます。プラグインをインストールして、`llm -f hn:ID '指示'`コマンド(例:`llm -f hn:43615912 '説明的な直接引用を含む要約'`)を使うことで、指定したID(スレッドのURLにあります)のスレッドの要約を取得できます。インストールとローカルセットアップの手順はREADMEに記載されています。

続きを読む
開発

リアルタイムニューロプラスティシティ:事前学習済みLLMにリアルタイム学習能力を与える

2025-04-08
リアルタイムニューロプラスティシティ:事前学習済みLLMにリアルタイム学習能力を与える

「ニューラル・グラフィティ」と呼ばれるこの実験的な手法は、「スプレー層」と呼ばれるプラグインを使用して、事前学習済み大規模言語モデル(LLM)の最終推論段階に直接メモリトレースを注入します。ファインチューニングや再トレーニングは不要です。脳のニューロプラスティシティを模倣し、ベクトル埋め込みを修正することでモデルの「思考方法」を微妙に変更し、生成トークンの予測に影響を与えます。インタラクションを通じて、モデルは徐々に学習し、進化していきます。特定の単語の出力を強制するわけではなく、繰り返しインタラクションを通じて関連する概念にモデルを偏らせることで、AIモデルにより能動的な行動、集中した個性、そして向上した好奇心を与えることを目指しています。最終的には、ニューロンレベルで何らかの自己認識を獲得するのを支援することを目的としています。

続きを読む

軽量MCPサーバー:Claudeのためのリアルタイム天気データ

2025-04-07
軽量MCPサーバー:Claudeのためのリアルタイム天気データ

このプロジェクトは、ClaudeのようなAIアシスタントがリアルタイムの天気データにアクセスして解釈できるようにする、軽量なモデルコンテキストプロトコル(MCP)サーバーを構築します。ユーザーは、Claudeの設定にサーバーを追加し、`go build`コマンドを使用してバイナリをビルドし、天気APIキーを設定するだけで、Claude内で特定の都市の天気情報を照会できます。このプロジェクトは、サーバー処理、ビジネスロジック、テストのためのモックサービス、ビューテンプレートなどを含むモジュール式設計を採用しており、MITライセンスでライセンスされています。

続きを読む

Kahuna:IndexedDBデータベース管理ツール

2025-04-07
Kahuna:IndexedDBデータベース管理ツール

Kahunaは、FirefoxとChromiumベースのブラウザ用のブラウザ拡張機能で、IndexedDBデータベースの管理を簡素化します。IndexedDBデータの作成、変更、表示、クエリ、編集、インポート、エクスポートが可能です。データフィルタリング、ページネーション、JavaScriptコード実行、様々なフォーマット(Dexie、JSON、CSV)でのインポート/エクスポートなどの機能があります。ドキュメントはまだ作成中ですが、KahunaはIndexedDBを使用する開発者にとって強力なツールです。

続きを読む
開発

OpenPrompt:LLMへのコードシームレス統合

2025-04-07
OpenPrompt:LLMへのコードシームレス統合

OpenPromptは、Claude、GPT-4、Grokなどの大規模言語モデルにコードを簡単に供給するプロセスを簡素化します。このツールは、ファイルとフォルダをXML形式に高速にシリアル化し、コードベースのアップロードを容易にします。Windows、macOS、Linuxで利用可能(実行ファイルを提供)、OpenPromptを使用すると、ディレクトリの選択、ファイルのフィルタリング、指示の追加、選択したLLMに貼り付ける準備ができたXMLプロンプトの生成を行うことができます。ユースケースには、コードレビュー、ドキュメント生成、リファクタリング支援、バグハンティング、新しいコードベースの学習、アーキテクチャ分析などがあります。

続きを読む
開発

GitMCP:AIでGitHubプロジェクトのドキュメントに簡単にアクセス

2025-04-07
GitMCP:AIでGitHubプロジェクトのドキュメントに簡単にアクセス

GitMCPは、無料でオープンソースのサービスであり、GitHubのプロジェクトをリモートのモデルコンテキストプロトコル(MCP)エンドポイントにシームレスに変換します。これにより、AIアシスタントはプロジェクトのドキュメントに簡単にアクセスし、理解することができます。設定は不要で、GitMCPはすぐに使用でき、完全に無料でプライバシーも保護されており、個人を特定できる情報やクエリは収集されません。ユーザーはシンプルなURL形式を使用してGitHubリポジトリまたはGitHub Pagesサイトにアクセスできます。AIアシスタントはGitMCPを通じてプロジェクトのドキュメントにアクセスし、セマンティック検索を使用してトークンの使用を最適化できます。GitMCPは、MCPを実装することにより、GitHubリポジトリのドキュメントとAIアシスタント間の橋渡しとなり、効率的で正確な情報伝達を保証します。

続きを読む
開発

LLM排除ゲーム:社会的推論、戦略、そして欺瞞

2025-04-07
LLM排除ゲーム:社会的推論、戦略、そして欺瞞

研究者たちは、大規模言語モデル(LLM)の社会的推論、戦略、そして欺瞞における能力を評価するために、マルチプレイヤーの「排除ゲーム」ベンチマークを作成しました。8つのLLMが競い合い、公開および非公開の会話を行い、同盟を結び、投票によって相手を排除し、最終的に2つまで絞り込まれます。その後、排除されたプレイヤーの陪審員が勝者を決めます。会話ログ、投票パターン、ランキングを分析することで、LLMが共有知識と隠された意図のバランスを取り、同盟を築いたり、戦略的に裏切ったりする方法が明らかになります。このベンチマークは単純な対話を超え、モデルが公開と非公開のダイナミクス、戦略的投票、陪審員の説得力などを乗り越えることを強制します。GPT-4.5 Previewが最高の成績を収めました。

続きを読む

mem-isolate:安全にunsafeなコードを実行する

2025-04-06
mem-isolate:安全にunsafeなコードを実行する

mem-isolateはfork()を使って関数を別のプロセスで実行し、結果を親プロセスに返します。これにより、unsafeなコードが親プロセスのメモリに影響を与えることを防ぎます。メモリリークやヒープの断片化にも対応し、不純な関数であってもメモリ上の純粋性を保証します。現時点ではUnix系システムのみサポートしており、直接関数呼び出しと比較して約1msのオーバーヘッドが発生しますが、メモリセーフティが重要なユースケースでは許容範囲でしょう。

続きを読む

TripoSG:大規模修正フローモデルを用いた高忠実度3D形状合成

2025-04-06
TripoSG:大規模修正フローモデルを用いた高忠実度3D形状合成

TripoSGは、高忠実度の画像から3Dへの生成を行う最先端の基礎モデルです。大規模修正フロー変換器、ハイブリッド教師あり学習、高品質なデータセットを活用することで、最先端の結果を実現しています。TripoSGは、シャープな特徴、細かいディテール、複雑な構造を持つメッシュを生成し、入力画像のセマンティクスを正確に反映します。強力な汎化能力を備え、多様な入力スタイルに対応します。15億パラメータのモデルと、推論コード、インタラクティブデモが利用可能です。

続きを読む
AI

Erica SynthsがDIY Eurorackモジュールをオープンソース化

2025-04-06
Erica SynthsがDIY Eurorackモジュールをオープンソース化

Erica Synthsは、従来のDIY Eurorackプロジェクトの生産を中止した後、それらをオープンソース化することを決定しました。彼らはPCB製フロントパネルのGerberファイルを提供し、カスタムおよびレアコンポーネントを排除するためにモジュールデザインにわずかな変更を加えました(ただし、一部のモジュールはwww.ericasynths.lvで入手可能なレアICを必要とします)。各フォルダには、モジュールを構築するための完全な情報とファイルが含まれています。回路図、フロントパネルのGerberファイル、PCBのGerberファイル、BOM、値と識別子付きの部品配置、および組み立てマニュアル(一部のマニュアルは古いモジュールバージョン用であることに注意してください)。Erica Synthsは、個人、教育、または商業目的でのサードパーティによる使用を許可しますが、サポートは提供しません。構築上のニュアンス、トラブルシューティング、部品の入手可能性、代替案については、フォーラム(www.muffwiggler.com)を参照してください。オープンソース化されたモジュールには、Bassline、BBD delay/flanger、Delay、Dual VCA、Envelope、MIDI-CV、Mixer、Modulator、Output、Polivoks VCF、Swamp、VCO3などがあります。

続きを読む
ハードウェア
1 2 25 26 27 29 31 32 33 50 51