Webtagr - テクノロジーニュースダイジェスト

エチオピア人ソロファウンダー、話題の認証ツールを開発、500万ドルのシード資金調達

2025-06-26

エチオピア出身の独学プログラマー、Bereket Engida氏は、開発者からこれまでで最高の認証ツールと称賛されているオープンソースの認証フレームワーク「Better Auth」を静かに開発してきました。このソロファウンダーのスタートアップは、最近500万ドルのシード資金調達を行いました。Better Authは既存ツールの制限に対処し、柔軟性とオンプレミスデータストレージを提供することで、AIスタートアップやデータセキュリティを重視する企業に魅力を提供しています。毎週15万回以上のダウンロードと1万5千回以上のGitHubスターを獲得したBetter Authは、Engida氏のスキルと、アフリカの起業家を志す人々へのインスピレーションの源です。

(techcrunch.com)

開発アフリカ人ファウンダー

オープンソースメンテナの反乱：Libxml2のケーススタディ

2025-06-26

広く利用されているXMLパーサーであるLibxml2は、オープンソースモデルの成功と失敗を浮き彫りにしています。Apple、Google、Microsoftなどの大手企業に長年頼られてきたにもかかわらず、十分なサポートが得られなかったため、メンテナのNick Wellnhoferは、セキュリティに関する情報公開差し止めを拒否し、セキュリティ上の脆弱性を通常のバグとして扱うことにしました。これは、燃え尽き症候群と資金不足を背景とした決定であり、オープンソースにおける企業の責任と、持続可能なメンテナンスモデルの必要性に関する議論を引き起こしました。Wellnhoferの行動は、オープンソースコミュニティにおける増大するフラストレーションを示唆しており、メンテナと大企業の関わり方に変化をもたらす可能性があります。

(lwn.net)

開発ソフトウェアメンテナンス企業の責任

QEMUがAI生成コードの貢献を拒否

2025-06-26

QEMUプロジェクトは、AIによって生成されたコードパッチの提出を禁止すると発表しました。AIモデルのトレーニングデータの著作権とライセンスに関する不確実性、および潜在的な法的リスクのため、QEMUはAI生成コードのコンプライアンスを保証することが困難であると考えています。このポリシーは、ChatGPTやCopilotなどの様々なAIツールを対象としていますが、調査、静的解析、デバッグなどの他の目的でのAIの使用は禁止していません。

(github.com)

開発

AccessOwl 採用：シニア Elixir エンジニア (リモート、AI駆動型 SaaS)

2025-06-26

Y Combinatorから資金提供を受けている収益性の高いSaaSスタートアップであるAccessOwlは、Elixirに特化したシニアソフトウェアエンジニアを募集しています。この完全リモートの役割は、ベルリンから±3時間圏内を必要とします。あなたは少人数の緊密なチームと協力して、AIを使用して企業がSaaSツールを管理する方法に革命を起こします。理想的な候補者は、5年以上のWebソフトウェア開発経験を持ち、Elixirに精通し、現実の問題解決に熱心です。競争力のある給与、ストックオプション、柔軟な勤務時間が提供されます。

(www.ycombinator.com)

開発

Let's EncryptがIPアドレスSAN証明書を間もなくサポート

2025-06-25

Let's Encryptは、IPアドレスのSubject Alternative Names (SANs)をサポートする証明書を間もなくリリースする予定です。最初は、有効期間が6日間の短期的なプロファイルと、許可リストのみの方式に限定されます。この機能はまだ開発中で、公開リリースのタイムラインはまだありません。投稿には、サンプル証明書と、その証明書を使用するWebサイトへのリンクが含まれており、IPアドレスSANに関連するFirefoxとDiscourseで発見されたバグについても議論されています。さらに、SANにIPアドレスをDNS名として使用することの妥当性、およびDNS-01チャレンジがIPアドレス証明書に適用できるかどうかについても議論されています。

(community.letsencrypt.org)

開発 IPアドレスSAN

魅力的なソフトウェアリリースアナウンスメントの作成

2025-06-25

この記事では、魅力的なソフトウェアリリースアナウンスメントを作成するための秘訣を明らかにします。著者は、機能の羅列ではなく、ユーザーエクスペリエンスの向上に焦点を当てることを強調しています。例を通して、技術的な詳細をユーザーが認識できるメリットに変換する方法を示しています。バグ修正をユーザーエクスペリエンスの改善として提示し、単なるバグの解消としてではありません。この記事では、明確なスクリーンショット、簡潔なアニメーションデモ、そしてユーザーの価値に直接関連するアナウンスメントを作成するために開発の初期段階でアナウンスメントを計画することの重要性を提唱しており、「様々な改善とバグ修正」といった曖昧な表現を避けることを推奨しています。

(refactoringenglish.com)

開発

OpenAI転写ハック：音声の速度を上げてコスト削減

2025-06-25

より安く、より速いOpenAI転写が欲しいですか？音声の速度を上げましょう！この驚くほど効果的なハックは、転写前にffmpegを使って音声の速度を2倍または3倍にすることを含みます。著者はyt-dlp、ffmpeg、LLMを組み合わせたスクリプトを共有し、40分の講演の音声を高速化することで、処理時間とコストを大幅に削減し、転写精度の影響は最小限に抑えられたことを示しています。YouTubeの自動字幕の代替手段を探っていた中で、この予期せぬ発見により、最大67％のコスト削減が明らかになり、長時間の音声転写に取り組むすべての人にとって価値のある最適化となっています。

(george.mand.is)

開発

並列プログラミングについて考えるのをやめよう！（透明に）

2025-06-25

Guy L. Steele Jr. は、プログラマは並列プログラミングの細部に気を遣う必要はないと主張しています。言語は、タスクを並列に実行するための透明な方法を提供するべきです。そのためには、問題の線形分解ではなく、独立性と分割統治の原則に基づいたアルゴリズムをサポートする、言語設計への新しいアプローチが必要です。彼のプレゼンテーションは、Strange Loop カンファレンスで行われました。

(www.infoq.com)

開発

Gemini CLI：AI搭載コードワークフローアシスタント

2025-06-25

Google Gemini CLIは、ツールに接続し、コードを理解し、ワークフローを高速化するコマンドラインAIツールです。大規模なコードベースのクエリと編集、PDFやスケッチからの新しいアプリの生成、運用タスクの自動化、メディア生成（Imagen、Veo、Lyriaなど）のためのツールやMCPサーバーとの統合が可能です。Google検索との統合や複数の認証方法も提供しています。コマンドラインプロンプトを使用して、Geminiの機能をコーディング、変更の要約、ドキュメントの生成などに活用し、生産性を大幅に向上させることができます。

(github.com)

開発

Qodo Gen CLI：AIエージェントによるSDLC自動化

2025-06-25

Qodo Gen CLIは、AIエージェントの構築、管理、実行のための強力なコマンドラインインターフェースです。開発者はカスタムエージェントを作成し、ソフトウェア開発ライフサイクル（SDLC）全体のワークフローを自動化し、AI機能をあらゆるIDEに統合できます。主要なLLMと柔軟なデプロイオプションをサポートするQodo Gen CLIは、ターミナルとブラウザの両方のインターフェースを提供します。コードレビュー、ドキュメント生成、テストカバレッジなどのタスクを自動化し、効率性を向上させ、開発者が機能構築に集中できるようにします。

(www.qodo.ai)

開発 SDLC自動化

AIが動画制作を革命的に変革：Yarnがトップエンジニアを募集

2025-06-25

スタートアップのYarnは、AIを活用して動画制作に革命を起こしています。革新的な技術により、AIと動画制作を組み合わせ、魅力的な動画作成速度を100倍向上させました。Y Combinatorなどの投資家から資金提供を受け、ClayやShopifyなどの企業と協力して、Yarnはニューヨークで経験豊富なエンジニアを募集しています。彼らは、コアエージェントワークフローの構築、AIによる共同編集ツールの開発、最先端AIモデルのプロトタイピングなどに携わってくれる人材を求めています。

(www.ycombinator.com)

開発

PythonでパスポートのNFCチップデータを読む

2025-06-25

著者は、Pythonライブラリpypassportを使用して、失効したパスポートのNFCチップデータの読み取りを試みました。パスポートが失効しているため、MRZ（機械可読領域）の一部が欠けています。著者はパスポート上の他の情報からMRZを再構築し、生体認証データを含むパスポート情報を正常に読み取りました。この記事では、MRZの構成、チェックサム計算方法、読み取りプロセスについて詳しく説明し、MRZに対するブルートフォース攻撃の可能性と実際的な価値について議論しています。最終的に、著者は、理論的には可能ですが、実際にはブルートフォース攻撃は非常に困難であり、パスポートから直接情報を取得する方がはるかに便利で効率的であることを示しています。

(shkspr.mobi)

開発パスポート

Chrome for Androidがついに下部アドレスバーに対応

2025-06-25

Googleはついに、Android版Chromeに待望の機能である下部アドレスバーを追加しました。ユーザーはアドレスバー、タブスイッチャー、その他のショートカットを画面下部に移動できるようになり、片手操作が大幅に容易になります。このアップデートは任意で、設定で上部と下部の配置を選択できます。ロールアウトは本日開始され、今後数週間で全ユーザーが利用できるようになります。iOSユーザーは2023年にこの機能を利用できるようになりました。

(9to5google.com)

開発下部アドレスバー

マイクロソフトのMS-DOSエディターのオープンソース版リメイク：過去への回帰

2025-06-25

マイクロソフトは、古典的なMS-DOSエディターのモダンでオープンソースなリメイク版「Edit」をリリースしました。Rustで構築されたこのクロスプラットフォームエディターは、Windows、macOS、そして30年前には考えられなかったLinuxでも動作します。1991年のMS-DOS 5.0での初登場以来、フルスクリーンインターフェース、マウスサポート、プルダウンメニューといった機能は当時画期的でした。このEditのクロスプラットフォーム対応は、多くのユーザーに懐かしさと共に驚きを与え、Linuxなど一部のプラットフォームにある複雑なテキストエディターとの対比も際立っています。

(arstechnica.com)

開発 MS-DOSエディター

Gnosis Mystic：AIによるPython関数のリアルタイム制御を実現

2025-06-25

Gnosis Mysticは、ランタイムハイジャックとインテリジェントな分析を通じて、AIアシスタントにPython関数の直接的なアクセスと制御を可能にする強力なツールです。最小限のデコレーターを追加するだけで、Claudeはリアルタイムでコードを検査、最適化、制御できます。実行中のコードを見ることができない、ランタイムの動作と状態にアクセスできないといったAIアシスタントの問題を解決し、リアルタイムの関数監視、安全な実験、ランタイム制御、インテリジェントな分析、ライブデバッグを可能にし、開発効率とコードセキュリティを大幅に向上させます。

(github.com)

開発

Subsecond: Rustのためのサブ秒ホットパッチ

2025-06-25

Subsecondは、再起動なしで実行中のアプリケーションのコード変更を可能にする、Rustのホットパッチングライブラリです。これは、編集・コンパイル・実行サイクルが遅すぎるゲームエンジン、サーバー、長時間実行アプリケーションにとって非常に役立ちます。また、開発モードでのRustコンパイルを劇的に高速化する「ThinLinking」も導入しています。Subsecondは、ジャンプテーブルを介して関数の呼び出しを迂回させることで動作し、安全でないメモリ変更を回避します。外部ツールが変更されたコードをコンパイルし、アプリケーションに送信し、Subsecondがパッチを適用します。現在、'tip' crateのみをパッチし、グローバル変数、静的変数、スレッドローカル変数、構造体のレイアウトに関する制限があります。コード署名要件のため、iOSデバイスはサポートされていません。

(docs.rs)

開発ホットパッチ

プログラマが時間について考えるべき方法

2025-06-25

この記事では、プログラミングにおける時間の扱いの複雑さについて深く掘り下げています。エポックと期間に基づく絶対時間と、グレゴリオ暦とタイムゾーンに基づく標準時の概念を説明し、うるう秒とタイムゾーンの遷移のメカニズムとその固有の課題を明確にしています。正確な時間処理のための歴史的および将来的なタイムゾーンルールを提供するIANAタイムゾーンデータベースの重要性が強調されています。チャットフォーラム、イベント計画ウェブサイト、個人プロジェクトという3つのケーススタディを通して、さまざまな時間処理戦略が示され、「UTCだけを使用する」ことが万能の解決策ではないことが強調されています。

(shanrauf.com)

開発 IANAデータベース

X11のDPIスケーリング：神話を覆す

2025-06-25

著者は、X11がDPIスケーリングをサポートしていないという一般的な誤解に挑戦し、さまざまなサイズと解像度の複数のスクリーンで、直径2インチの円を正常に描画しました。OpenGLとXサーバーの構成イベントを使用して、著者はXサーバーから取得した物理的なスクリーン寸法に基づいて、円の半径を動的に調整します。テレビの報告されたサイズに食い違いがあるなど、小さな不正確さはありましたが、この実験は、X11でのDPIスケーリングが可能であることを証明しています。このプロセスは、他者によって課せられた制限を無視し、一見不可能なタスクに挑戦することの重要性を強調しています。

(flak.tedunangst.com)

開発 DPIスケーリング

ハッシュ衝突確率：誕生日パラドックスから近似計算まで

2025-06-25

この記事では、ハッシュ衝突の確率について深く掘り下げています。ハッシュ関数は、任意に複雑な入力を単一の数字にマッピングしますが、ハッシュ衝突（異なる入力が同じ数字にマッピングされる）のリスクがあります。誕生日パラドックスから始めて、ハッシュ衝突確率を計算するための正確な公式と、3つの近似方法（指数近似、簡略化された近似、さらに簡略化された近似）を説明します。比較すると、指数近似はほとんどの場合で最高の性能を発揮しますが、他の2つの方法は迅速な推定に適しています。この記事では、近似方法を裏付ける数学的証明も提供しています。

(kevingal.com)

開発誕生日パラドックス

シンプルなエディター：MS-DOS エディターへの現代的なオマージュ

2025-06-25

「edit」という名前のこのエディターは、クラシックな MS-DOS エディターを現代的に解釈したもので、現代的なインターフェースと VS Code に似た入力コントロールを備えています。ターミナルに慣れていないユーザーでも簡単に使用できるように設計されています。WinGet を使用して最新バージョンをインストールするか、Releases ページからバイナリをダウンロードできます。検索と置換機能を使用するには、ICU ライブラリのバージョンと命名規則に注意する必要があります。

(github.com)

開発エディター

Pythonスクリプトを簡単に：uvとPEP 723

2025-06-25

使い捨てスクリプトのためのPythonの依存関係管理に悩んでいますか？Rustベースの超高速Pythonパッケージおよびプロジェクトマネージャーであるuvで、環境問題に別れを告げましょう。PEP 723のメタデータ仕様と組み合わせることで、uv（およびnpxに似たツールであるuvx）は、使い捨ての仮想環境を簡単に作成および管理し、必要な依存関係をオンザフライでインストールします。この記事では、YouTubeのトランスクリプトを抽出する簡単な実行可能スクリプトの作成方法を示し、この強力な組み合わせによって実現されるシームレスな実行を強調しています。仮想環境との格闘はもう終わりです。純粋なPythonスクリプトだけを使用しましょう。

(www.cottongeeks.com)

開発

Autumn：オープンソース課金システムによるStripe統合の簡素化

2025-06-24

Autumnは、Stripeとの統合を簡素化するオープンソースプロジェクトです。サブスクリプション、クレジットシステム、従量課金、カスタムプランなど、あらゆる価格モデルを最小限のコードで構築できます。Webhook、アップグレード/ダウングレード、キャンセル、支払い失敗といった問題に悩まされる必要はありません。クラウドサービスまたはセルフホスティングで、数コマンドでデプロイできます。3つの主要な関数 `attach`（購入処理）、`check`（アクセス確認）、`track`（使用状況記録）により、課金ロジックが非常にシンプルになります。

(github.com)

開発課金システム

Mozillaアドオンポリシーの更新：開発プロセスの簡素化

2025-06-24

Mozillaは、addons.mozilla.org (AMO)のアドオンポリシーを更新し、開発プロセスを簡素化しました。主な変更点としては、「クローズドグループ」拡張機能の禁止の解除により開発者の柔軟性が向上したこと、データ同意と制御に関する用語の更新によるデータ転送ポリシーの明確化、AMOでのプライバシーポリシーのホスティングが不要になり、自己ホスティングされたリンクが推奨されるようになったこと、ユーザースクリプトAPIポリシーの追加により、ユーザースクリプトAPIがユーザースクリプトマネージャー拡張機能でのみ使用できることが明記されたこと、依存関係の包含を明確にするためのソースコード提出ガイドラインの更新などが挙げられます。これらの更新は2025年8月4日に発効します。

(blog.mozilla.org)

開発ポリシー更新

pbkdf2の重大な脆弱性：署名偽造のリスク

2025-06-24

pbkdf2の`lib/to-buffer.js`ファイルにおける入力検証の脆弱性により、署名偽造が可能になります。バージョン3.0.10から3.1.2が影響を受けます。Harboristによる評価では、この重大な脆弱性（CVSS-B 9.1）により、攻撃者は署名を偽造できます。

(nvd.nist.gov)

開発

SQLiteベースのRAGライブラリ：haiku.rag

2025-06-24

haiku.ragはSQLiteベースの検索拡張生成(RAG)ライブラリで、追加のサーバーを実行する必要はありません。Ollama、VoyageAI、OpenAIなど、さまざまな埋め込みプロバイダーをサポートしており、ベクター検索と全文検索を組み合わせたハイブリッド検索を提供します。ファイル監視、幅広いファイル形式のサポート、CLI、Pythonクライアントも備えており、ドキュメントの管理と検索をシームレスに行えます。

(github.com)

開発

SourceHutが利用規約とプライバシーポリシーを更新

2025-06-24

SourceHutは利用規約とプライバシーポリシーを更新し、主にユーザーデータの保存、利用、第三者との共有方法に関する説明を改善しました。この更新では、ユーザーアカウントのセキュリティが明確になり、ユーザーによるデータへのアクセスと制御に関する詳細が追加されています。また、不正利用を防ぐため、自動化ツールの使用に制限が設けられました。

(lists.sr.ht)

開発

MLにもモナドがある：すべてはモジュールに関する

2025-06-24

Haskellにおけるモナドの使用が、その言語特有の機能であるという一般的な認識に異議を唱える記事です。著者は、モナドは言語設計の問題ではなく、ライブラリ設計の問題であり、モジュール性を備えた言語であればどれでも実現可能だと主張しています。この記事では、MLを用いて、OptionモナドやIOモナドなど、モジュールシステムを使ってモナドを実装する方法を示しています。MLがモナドを使用できることを認めつつも、著者は、デフォルトでモナドが省略されているのは、コードの柔軟性の低下や関数型スタイルとモナド的スタイル間の移行の困難さといった潜在的な欠点によるものだと示唆しています。

(existentialtype.wordpress.com)

開発モジュール

Starship：カスタマイズ可能なターミナルプロンプト

2025-06-24

Starshipは、クロスプラットフォームで高度にカスタマイズ可能なターミナルプロンプトで、豊富な情報を提供してコマンドラインインターフェースを強化します。インストールは簡単で、初期化スクリプトをシェルの設定ファイルに追加するだけです。bash、zsh、fish、PowerShell、ion、elvish、tcsh、Nushell、xonsh、cmdなど、さまざまなシェルをサポートしています。Linux、macOS、Windowsのいずれを使用している場合でも、Starshipにより、ターミナルが美しく、情報が豊富になります。

(starship.rs)

開発ターミナルプロンプト

Docker化Flask/Djangoアプリでpipからuvへ移行し、10倍の高速化を実現

2025-06-24

この記事では、Docker化されたFlask/Djangoアプリケーションの依存関係管理において、pipからuvへの移行によって最大10倍の高速化を実現する方法を説明しています。requirements.txtをpyproject.tomlに置き換え、Dockerfileを修正してuvを使用する方法、そして効率的な依存関係処理のためのuvコマンドの使用方法について詳しく解説しています。仮想環境を使用せずに、非rootユーザーとしてアプリケーションを実行することで、ビルド時間の大幅な短縮と効率性の向上を実現できます。ビデオチュートリアルとサンプルプロジェクトも提供されています。

(nickjanetakis.com)

開発

HaskellによるNクイーン問題の変種解法：バックトラッキング、最適化、ベンチマーク

2025-06-24

この記事では、LinkedInで見つけたNクイーン問題の変種をHaskellを使って解く方法を詳しく説明します。この問題は、色付きのNxNボード上にN個のクイーンを配置し、各行、各列、各色の領域に正確に1つのクイーンが配置され、2つのクイーンが対角線上で隣接しないようにするというものです。著者は、バックトラッキング、排除、早期行き止まり検出、候補ランキングなど、いくつかの最適化手法を探求しています。結果として得られたHaskellソリューションは、SMTソルバーとベンチマークで比較され、効率的なデータ構造とアルゴリズムの改良によるパフォーマンスの大幅な向上を示しています。このコードは問題の複雑さをエレガントに処理し、Haskellの関数型プログラミングにおける強みを示しています。

(imiron.io)

開発 Nクイーン問題

Category: 開発