Category: 開発

GitHub Actionsワークフローを介したPyPIトークンの流出攻撃

2025-09-20
GitHub Actionsワークフローを介したPyPIトークンの流出攻撃

最近の攻撃キャンペーンでは、GitHub Actionsワークフローを標的にしてPyPI公開トークンを盗もうとしました。攻撃者は様々なリポジトリのワークフローを変更し、GitHubシークレットとして保存されているPyPIトークンを外部サーバーに送信しました。一部のトークンは流出しましたが、PyPIでは使用されなかったようです。影響を受けたすべてのトークンは無効化され、影響を受けたプロジェクトのメンテナに通知されました。今後の攻撃を軽減するために、GitHub ActionsのTrusted Publishersを使用することをお勧めします。

MapSCII:ターミナルで世界を探検

2025-09-20
MapSCII:ターミナルで世界を探検

MapSCIIは、Node.jsベースのベクトルタイルレンダラーで、xterm互換ターミナルで点字とASCII文字で地図を表示します。マウスによるドラッグとズーム、カスタマイズ可能なレイヤースタイル(Mapbox Styles対応)、公開またはプライベートベクトルタイルサーバーへの接続、ローカルVectorTile/MBTilesを使用したオフライン使用などが特徴です。インストールは簡単で、さまざまなOSとターミナルをサポートしています。高度に最適化されたアルゴリズムにより、スムーズな体験を実現します。オープンソースで無料、ODbLとCC BY-SAライセンスの下でOpenStreetMapデータを使用しています。

開発

スクリーム暗号:Unicode文字の斬新な活用法

2025-09-20
スクリーム暗号:Unicode文字の斬新な活用法

この記事では、ユニコード文字の 'A' の多数のバリエーションを利用してテキストを暗号化する、面白い暗号化アルゴリズム「スクリーム暗号」を紹介します。簡単な辞書マッピングにより、標準的な文字を異なる 'A' 文字に置き換えて暗号化と復号化を行います。Pythonコードは、このアルゴリズムの実装を示しており、「SCREAM CIPHER」というサンプルテキストを正常に暗号化および復号化します。これは、ユニコード文字集合の豊富さを示しており、シンプルながらもユニークな暗号化手法を提供します。

AIコーディングアシスタント:コードレビューが重要

2025-09-20

大規模言語モデルはコード生成に優れていますが、熟練したソフトウェアエンジニアのような判断力に欠け、しばしば悪い設計決定につながります。著者は、AIコーディングアシスタント(CodexやClaude Codeなど)は強力ですが、誤った方向に進まないよう綿密な監視が必要であることを、自身の経験を元に説明しています。著者は、コードレビュー、特にコード構造と改善の可能性に焦点を当てることが、これらのツールを効果的に活用する鍵であると主張しています。盲目的な信頼や過剰な干渉は生産性を低下させます。最終的に、著者は、現在のAIコーディングは「人間と機械の協調」であり、人間の完全な代替ではないと述べています。

開発

XMonad、Waylandへの移植開発者を募集

2025-09-20

XMonad開発チームは、Waylandへの移植作業を行う開発者を雇用するため、過去2年間寄付を募ってきました。現在は十分な資金が集まりましたが、適任の開発者が見つかりません。既存の移植プロジェクトは古く、バグが多く、wlrootsの古いバージョンを使用しています。Waylandプログラムはウィンドウ管理フックで使用できる固有の識別子を設けていないため、移植が困難です。チームはDiscourseフォーラムで協力を求めており、提案を歓迎しています。

開発

RMCP:自然言語による統計分析の革命

2025-09-20
RMCP:自然言語による統計分析の革命

RMCPは、回帰分析、時系列分析、機械学習などを網羅する40種類以上の統計分析ツールを提供する強力なモデルコンテキストプロトコル(MCP)サーバーです。ユーザーは自然言語でAIアシスタントと対話することで、複雑な統計モデリングやデータサイエンスのタスクをシームレスに実行できます。RMCPは様々なデータ形式のインポート/エクスポートをサポートし、インテリジェントなエラーリカバリ機能を備え、分析ワークフローを大幅に簡素化します。自然言語式ビルダーは自然言語の説明をR言語の式に変換し、視覚化された結果を提供します。ビジネスアナリスト、エコノミスト、データサイエンティストなど、あらゆる分野で効率性を劇的に向上させます。

開発

arXivLabs:コミュニティとの協働による新しいarXiv機能の開発

2025-09-20
arXivLabs:コミュニティとの協働による新しいarXiv機能の開発

arXivLabsは、開発者がarXivウェブサイト上で直接、新しいarXiv機能を開発・共有できるフレームワークです。参加者は、arXivのオープン性、コミュニティ、卓越性、ユーザーデータプライバシーといった価値観を遵守する必要があります。arXivコミュニティを改善するアイデアをお持ちですか?arXivLabsについて詳しく学びましょう!

開発

Archy:THEにインスパイアされたプログラマブルテキストエディタ

2025-09-20
Archy:THEにインスパイアされたプログラマブルテキストエディタ

Archyは、コマンドが事前に定義されておらず、ユーザー定義のPythonスクリプトである強力なテキストエディタです。これにより、Web検索(GOOGLEコマンド)やメール送信(EMAILコマンド)などのアクションを実行するカスタムコマンドを作成できる柔軟性が実現します。THEとは異なり、Archyのコマンドはワークスペース内にドキュメントとして存在し、エディタを再起動せずにオンザフライで編集および変更できます。Archyはバージョン管理機能も備えており、ワークスペースのバージョンを保存して、変更を簡単にロールバックできます。この記事では、カスタムコマンドの作成と実行を示し、Archyの設計思想と最新のプラットフォームでの潜在的なアプリケーションを探ります。著者は、ますますロックダウンされた現代システムで同様のアプローチがないことを嘆いています。

Rustにおける浮動小数点数のargminを求める4つの方法(とパフォーマンス)

2025-09-20

この記事では、Rustで大きな浮動小数点数の配列の中で最小値のインデックスを高速に求める4つの方法について解説します。1つ目の方法は`min_by`と`total_cmp`を使用し、511マイクロ秒かかります。2つ目の方法は`reduce`を使用し、489マイクロ秒かかります。3つ目の方法は`partial_cmp`を使用し、470マイクロ秒かかります。4つ目の方法は、正の浮動小数点数のビット表現を利用して`u32`に変換して比較を行い、わずか370マイクロ秒で完了し、30%の高速化を実現します。4つ目の方法は、正の数のみを含む配列に対して最も効率的で、浮動小数点数の内部表現を巧みに利用することで、複雑な比較を回避します。

開発

継続渡しスタイルによるコンパイル:回顧とレビュー

2025-09-20

この記事では、アペルによる1992年の著書『Compiling with Continuations』を再検討します。著者は、継続渡しスタイルを用いたコンパイル技術について、MiniML言語、字句解析、構文解析、CPS言語、クロージャ変換、レジスタ・スピリング、仮想マシンといったトピックを網羅して詳細に解説しています。演習問題がないことや、一部の内容が時代遅れになっている点を除けば、この本はStandard MLと継続渡しスタイルに関する貴重な洞察を提供しており、特にコンパイラ設計と関数型プログラミングを学ぶ人にとって有益です。しかし、実装の詳細における曖昧性や、現代のコンパイラ技術に関する議論の欠如により、読み解くのが難しい部分もあります。

C0:オブジェクトストレージの高性能リードスルーキャッシュ

2025-09-20
C0:オブジェクトストレージの高性能リードスルーキャッシュ

C0は、オブジェクトストレージにおける不変のblobをキャッシュするために設計された高性能HTTP APIです。メモリとディスクのハイブリッドキャッシュ(foyerを使用)を活用し、S3互換のバックエンドであればどれでも動作しますが、正確なRangeヘッダーを必要とする独自の/fetch APIを使用します。16MiBの固定ページサイズを使用するC0は、要求されたバイト範囲をページアラインされたルックアップにマッピングし、同じページに対する同時リクエストを統合し、オブジェクトストレージのテールレイテンシを管理するためにヘッジリクエストを使用します。冗長バケットを試行することもできます。C0は、タイムアウト設定、再試行メカニズム、バケットの優先順位付けなど、広範な構成オプションを提供し、/statsと/metricsエンドポイントを介してパフォーマンス監視を提供します。Dockerイメージも利用可能です。

開発

CRANのリバース依存関係チェック:ソフトウェア保守へのユニークなアプローチ

2025-09-20
CRANのリバース依存関係チェック:ソフトウェア保守へのユニークなアプローチ

ベテランソフトウェアエンジニアが、RのパッケージマネージャーであるCRANとそのリバース依存関係チェックに当初戸惑った経験を共有しています。npmやPyPIとは異なり、CRANは提出されたパッケージに依存するすべてのパッケージを公開前にチェックします。CRANのアプローチがソフトウェア保守にどのように影響するか、そしてそれがRエコシステムの安定性にどのように貢献するかを、著者は自身の経験を通して説明しています。この経験は最終的に、著者のソフトウェア保守に対する見方を変化させ、「モノレポの考え方」—自分のコードに依存するすべてのプロジェクトの責任を開発者が負うこと—への理解につながりました。

開発

Obsidianのサプライチェーンセキュリティ:慎重なアプローチ

2025-09-20
Obsidianのサプライチェーンセキュリティ:慎重なアプローチ

Obsidianは、サプライチェーン攻撃を軽減するために、厳格なセキュリティ戦略を採用しています。これは、サードパーティの依存関係の最小化、ロックファイルを使用したすべての依存関係の厳格なバージョン固定、綿密なアップグレードプロセス(変更ログの行単位でのレビューと包括的なテストを含む)、postinstallスクリプトの回避、依存関係のアップグレードとリリース間の大きな遅延の実装(コミュニティと研究者が悪意のあるバージョンを検出するための時間確保)を含みます。これらの対策により、Obsidianのサプライチェーン攻撃に対する脆弱性が大幅に軽減され、ユーザーデータのセキュリティとプライバシーが確保されます。

開発

Zedis:Zigで書かれたRedis互換インメモリデータストア

2025-09-19
Zedis:Zigで書かれたRedis互換インメモリデータストア

Zedisは、学習と実験のために設計された、Zigで記述されたRedis互換のインメモリデータストアです。Redisプロトコルとデータ構造のコアを実装し、シンプルさ、パフォーマンス、およびスレッドセーフティに重点を置いています。コアRedisコマンド(GET、SET、INCRなど)、複数のデータ型、ディスク永続化(RDB)をサポートしており、最近ではPub/Sub機能も追加されました。Zedisは構築と使用が容易で、コードベースはZigの慣例に従い、型安全な操作、明示的なエラー処理、包括的なロギングを備えています。

GameMakerシェーダーにおけるHDRとトーンマッピング

2025-09-19
GameMakerシェーダーにおけるHDRとトーンマッピング

この記事では、GameMakerシェーダーにおけるハイダイナミックレンジ(HDR)カラーの処理について解説しています。GameMakerのデフォルトの8ビットunormカラーフォーマットは、太陽シェーダーなどの高輝度シーンを処理する際に、カラークリッピングや不正確さが発生する可能性があります。著者は、6ビットカラーと浮動小数点カラーを比較し、いくつかの一般的なトーンマッピング関数(ACES、Uncharted2、Unreal、tanh)を紹介することで、カラークランプによるアーティファクトを軽減する方法を示しています。MandelBotsプロジェクトを例に、複雑なライティングシステムにおいてHDRサーフェス(surface_rgba16float)を使用する必要性、カラー精度とブレンド効果の向上について説明しています。

開発

ソフトウェア開発におけるエラー処理に費やされる時間の謎

2025-09-19

あるソフトウェアエンジニアが、開発者がエラー検出と処理コードに費やす時間を定量化する研究を見つけるのに苦労しています。これは、生産コードの3分の2以上を占める可能性があると広く信じられていますが、信頼できる数値がありません。これは、現在のAI研究における様々な指標の正確な定量化とは対照的で、ソフトウェアエンジニアリングの基本的な側面に関する理解のギャップを浮き彫りにしています。

RFC: Linuxカーネルがマルチカーネルアーキテクチャをサポート

2025-09-19

Cong Wangは、Linuxカーネルにマルチカーネルアーキテクチャのサポートを追加するRFCパッチシリーズを提出しました。これにより、単一の物理マシン上で複数の独立したカーネルインスタンスが共存し、通信できるようになります。各インスタンスは専用のCPUコア上で動作し、ハードウェアリソースを共有します。これにより、障害の分離が向上し、セキュリティが強化され、従来の仮想マシンよりもリソース利用率が向上し、潜在的にゼロダウンタイムのカーネルアップデートが可能になります。実装はkexecインフラストラクチャと、カーネル間の通信のための専用のIPIフレームワークを活用しています。これは基礎的なRFCであり、主に上位レベルのデザインに関するフィードバックを求めています。

700以上の壊れたフィード:購読サガ

2025-09-19

700以上のRSS/Atomフィードを管理する著者は、これらの重要な情報ストリームが壊れる様々な方法を詳しく説明しています。期限切れのSSL証明書やサーバータイムアウトから、誤って構成されたファイアウォール、サーバーの停止、変更されたフィードURL、パースエラー、フィードの削除、ウェブサイトの削除まで、投稿は一般的な問題の包括的なリストを提供しています。解決策には、SSLの自動更新、サーバーのパフォーマンス最適化、ファイアウォールルールの調整、ウェブサイトの監視、適切なURLのリダイレクト、定期的なフィードの検証が含まれます。RSSを存続させるための熱意のある訴えがなされています。

開発 フィード

好奇心の開発者の死?

2025-09-19
好奇心の開発者の死?

この記事は、開発者文化の変化を嘆いています。かつては好奇心と学習への情熱によって推進され、LinuxやGitなどの革新を生み出していましたが、開発者は現在、メトリクス、収益、スケールをますます優先するようになっています。これにより、彼らはしばしば自分が好きではないテクノロジーを使用し、気にしない製品を構築せざるを得なくなっています。著者は、この変化がイノベーションと創造性を阻害すると主張し、開発者に、自分の問題を解決するためだけでも、好奇心と創造への情熱を再発見するよう促しています。この記事は、プロジェクトが商業的に実行可能かどうかとは関係なく、喜びのために構築することの重要性を強調しています。

開発

EUデータ法がSaaSの年間経常収益(ARR)を終わらせる

2025-09-19
EUデータ法がSaaSの年間経常収益(ARR)を終わらせる

2025年9月施行のEUデータ法は、ヨーロッパにおけるSaaS業界の状況を劇的に変えます。同法は、EU顧客とのすべてのSaaS契約を「いつでもキャンセル可能」なサブスクリプションにすることを義務付けており、わずか2ヶ月前の通知でキャンセルできます。これは、年間経常収益(ARR)への依存を事実上終わらせるものです。SaaS企業は、価格モデル、顧客維持戦略、顧客の過失による不本意な解約の軽減に焦点を当て、適応する必要があります。成功は、強固な顧客関係管理と運用上の回復力にかかっており、契約条件ではありません。

Google、Android開発者検証を強化:オフラインサイドローディングが制限される可能性

2025-09-19
Google、Android開発者検証を強化:オフラインサイドローディングが制限される可能性

GoogleはAndroid開発者検証システムを強化し、開発者によるID登録を義務付け、未検証アプリのインストールを阻止します。ADBなどの回避策は存在しますが、最新のAndroid SDKコードは、検証済みのアプリでもオフラインでのインストールが不可能になる可能性を示唆しています。つまり、安全なアプリでもネットワーク接続なしではインストールできない可能性があり、一部ユーザーに不便が生じる可能性があります。このポリシーは1年後から施行され、詳細の調整と解決策の模索に時間があります。

開発

99の驚くべき物理デモンストレーション:オープンソースの教育リソース

2025-09-19

このオープンソースの書籍は、オランダの「ShowdeFysica」シリーズから厳選された99の最高の物理デモンストレーションをまとめたものです。様々な教育戦略を取り入れ、デモンストレーションを魔法的で教育的なものにすることを目指しています。ソフトウェアのインストールは不要で、すぐに実行できるPythonシミュレーションやビデオが含まれています。読者は、トピック別にデモンストレーションを検索し、オンラインプラットフォームを通じて提案に貢献できます。

Dynamo AI、エンタープライズAI展開のためのシニアKubernetesエンジニアを募集

2025-09-19
Dynamo AI、エンタープライズAI展開のためのシニアKubernetesエンジニアを募集

Dynamo AIは、エンタープライズ顧客を最初のエンゲージメントから本番環境への成功したロールアウトまで導くシニアKubernetesエンジニアを募集しています。この実践的で顧客対応型の役割には、Kubernetes、Helm、クラウドネイティブツールを使用して、安全でスケーラブルなAIシステムを展開することが含まれます。理想的な候補者は、Kubernetesとクラウドプラットフォームに関する豊富な経験、優れたコミュニケーションスキル、および米国政府のセキュリティクリアランスまたは米国市民権を有している必要があります。サンフランシスコまたはニューヨークのオフィスへの週2〜3日の勤務が求められます。

開発 AI展開

SLJITを用いたスタックマシンのJITコンパイル:最適化物語

2025-09-19

この記事では、SLJITを用いてスタックベースのuxn仮想マシン向けにJITコンパイラを実装した際の著者の経験について詳述しています。uxnの頻繁な動的ジャンプのため、最初の試みではパフォーマンスの向上がわずかでした。しかし、改良された呼び出し規約、スタックキャッシング、レジスタ割り当て戦略といった最適化を経て、30~46%の高速化を達成しました。この記事では、最適化プロセス、直面した課題、デバッグテクニックを綿密に記録しており、JITコンパイルとスタックベースの仮想マシンの最適化に関心のある方にとって貴重な洞察を提供します。

DenoがOracleのJavaScript商標と戦う:重要な発見段階

2025-09-19
DenoがOracleのJavaScript商標と戦う:重要な発見段階

JavaScriptランタイムであるDenoは、Oracleの「JavaScript」商標をめぐって争っています。広く署名された公開状に続く取消申請を提出した後、重要な発見段階に達しました。高額な訴訟費用に直面するDenoは、専門家の調査、専門家の証言、法的書類の作成に資金を充てるため、GoFundMeキャンペーンを開始しました。「JavaScript」が一般的な用語であり、Oracleのブランドではないことを証明するためです。結果は、商標が一般的な用語の所有権を主張するために使用できるかどうかを決定し、オープンソース開発の将来に影響を与えます。

開発

iTerm2内蔵ブラウザ:ターミナルとウェブの融合

2025-09-19

iTerm2に内蔵ブラウザが搭載されました。既存のウィンドウ、タブ、分割ペインのアーキテクチャにウェブブラウジングをシームレスに統合します。ユーザーは同じインターフェース内でターミナル操作とウェブブラウジングを同時に行うことができます。Cmd+クリックで新しいタブにリンクを開く、Cmd+Shift+クリックで新しい垂直分割ペインにリンクを開くなど、様々なキーボードショートカットをサポートしています。AIチャットの統合により、現在のページの要約、分析、質問が可能です。プライバシー機能には、シークレットモード、ポップアップブロック、広告ブロックなどが含まれます。主要なブラウザの代替としては意図されていませんが、ターミナルとウェブのワークフローを統合する強力なツールです。

時間配分と能力配分の切り離し:チーム効率向上への鍵

2025-09-19
時間配分と能力配分の切り離し:チーム効率向上への鍵

この記事では、チームの能力配分に関する誤解を探っています。多くの企業は時間配分と能力配分を同義語として扱いますが、チームの能力に影響を与えるシステム的な要因を見過ごしています。著者は、能力は単なる労働時間の合計ではなく、チームのスキル、ツール、プロセスなどを含むものであると指摘しています。システムの最適化を無視して時間配分だけに焦点を当てることは、非効率性を招きます。著者は、「時間配分」(チームが時間を費やす場所)と「能力配分」(チームが成果を達成する真の能力)を区別し、様々な妨げとなる要因を考慮することで、チームの効率性を向上させられると推奨しています。

開発 能力配分

LLaMA-Factory:100種類以上のLLMを効率的にファインチューニングするための統合フレームワーク

2025-09-19
LLaMA-Factory:100種類以上のLLMを効率的にファインチューニングするための統合フレームワーク

LLaMA-Factoryは、LLaMA、LLaVA、Mistralなど、100種類以上のLLM(大規模言語モデル)を効率的にファインチューニングできるオープンソースフレームワークです。LoRA、QLoRA、OFTなどの様々なファインチューニング手法を統合し、スケーラブルなリソースと高度なアルゴリズムを提供し、複数ターン対話や画像理解など幅広いタスクに対応します。LLaMA-Factoryは、様々な推論高速化技術もサポートし、ユーザーフレンドリーなインターフェースとAPIを提供します。最新のモデルと技術を常にサポートすることで、開発者にLLMのファインチューニングのための便利で効率的なツールを提供することを目指しています。

開発

Linux向けRust: 新しいUntrusted型がカーネルのセキュリティを強化

2025-09-19

Linuxカーネルは、ユーザー空間、ネットワーク、リムーバブルストレージなど、多くの信頼できないデータソースからのセキュリティ上の脅威に直面しています。セキュリティを強化するために、Benno Lossinは、信頼できないソースから来たデータに印を付ける`Untrusted`型を導入する新しいRust APIを提案しています。Rustの型システムを活用することで、検証されていないユーザー空間データに基づいて誤った判断をすることを防ぎ、潜在的な攻撃を軽減します。現在4回目の改訂版であるこのAPIは、スライスやベクターなどの一般的なデータ構造に対するユーティリティ関数とサポートを含んでいます。将来、ドライバの`ioctl()`関数での使用がカーネルのセキュリティ向上に繋がる見込みであり、今後のRust for Linuxプロジェクトに関するKangrejosカンファレンスでさらなる議論が期待されています。

SSH経由でのmacOS FileVaultのリモートロック解除

2025-09-19

macOSでFileVaultを有効にすると、パスワード認証が行われるまで、起動中および起動後もデータボリュームがロックされ、アクセスできなくなります。OpenSSHの設定ファイルはデータボリュームに格納されているため、標準的なSSH認証は利用できません。ただし、リモートログインが有効になっている場合、SSHパスワード認証を使用して、データボリュームをリモートでロック解除できます。ロック解除後、macOSはボリュームをマウントし、依存するサービスを起動するために、SSHを短時間切断し、その後SSHは完全に再開します。この機能はmacOS 26 Tahoeで登場しました。

開発
1 2 3 5 7 8 9 214 215