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

抽象化の力：LinuxとFFmpegによる拡張可能なメディアフレームワークの構築方法

2025-03-09

この記事では、LinuxとFFmpegが抽象化とインターフェースを通じてコードの拡張性をどのように実現しているかを調べます。Linuxの「すべてはファイルである」という哲学は、`file_operations`構造体を用いてファイル操作の共通インターフェースを定義することで、さまざまなリソース（ネットワークソケット、特殊ファイル、USBデバイス）に統一的にアクセスできます。FFmpegも同様の戦略を採用し、`AVCodec`などの抽象的な概念を用いて、新しいコーデックやフォーマットを簡単に追加できます。DAV1dの統合はその設計の利点を示しています。この記事では、Ruby、Go、Cのコード例を使用して、さまざまなプログラミング言語における抽象インターフェースの実装方法を示し、最終的に、優れたソフトウェア設計がコードの保守性と拡張性を向上させる上で重要な役割を果たしていることを強調しています。

(leandromoreira.com)

開発

AppleのXNUカーネルExclaveアーキテクチャの詳細な分析

2025-03-09

この記事では、AppleのXNUカーネル内のセキュアエンベロープアーキテクチャを深く掘り下げます。Exclaveは、2レベルのカーネルテーブル構造を使用してリソースを管理し、ドメイン（例：com.apple.kernel）を含み、それぞれ複数のリソース（サービス、バッファ）を含んでいます。特殊なリソースタイプであるConclaveは、サービス間の共有アクセスを可能にし、Conclave Managerによって制御されます。新しい_exclaves_ctl_trap()システムコールは、Conclaveの起動、サービスの検索、およびダウンコール（セキュアワールドコードの実行）など、さまざまなExclave操作を管理します。アップコールにより、セキュアワールドコードは特定のXNUカーネル関数を呼び出すことができます。この記事では、3段階のExclaveブートプロセスと、SPTMメモリタイピングシステムがExclaveのメモリアクセスを制御する方法について詳しく説明します。

(randomaugustine.medium.com)

開発セキュアアーキテクチャ

AIによる開発：大規模で複雑なプロジェクトへの恐怖はもう不要

2025-03-09

ベテランプログラマーは、過去1年間に大きな変化がありました。大規模または複雑なプロジェクト、あるいは未知の技術やプログラミング言語に臆することはなくなりました。これはAI技術の進歩のおかげです。著者は、複雑さのために過去に断念した2つのプロジェクトを例に挙げ、現在のAI支援プログラミングによる効率の向上を対比しています。以前6週間かかっていたプロジェクトを1時間で完了し、将来への期待を込めて、プログラマーにとって黄金時代であると述べています。

(rodyne.com)

開発

慣用的Go: スタイルガイドの補足

2025-03-09

このドキュメントは、公式のGoスタイルガイドを補完するもので、一貫したスペル（例：`marshaling`ではなく`marshalling`）、文間のスペース、エラーネーミング規則、ブランド名のキャピタライゼーション、コメントスタイル、パッケージネーミング、メソッドレシーバー名などの詳細を網羅しています。著者は、開発者がより慣習的なGoコードを記述し、可読性と保守性を向上させるために、明確な「やるべきこと」と「やってはいけないこと」の例を示しています。

(dmitri.shuralyov.com)

開発

C++/WinRTにおける微妙なinvoke問題とその解決策

2025-03-09

C++/WinRTのプルリクエストにより、`winrt::impl::promise_base::set_completed`における`invoke`の呼び出しの曖昧さが修正されました。これは、引数依存名検索(ADL)が原因でした。C++20のコルーチンのアップグレードによってADLの検索範囲が広がり、意図した`winrt::impl::invoke`ではなく`std::invoke`が誤って検出されました。この記事ではADLのメカニズムを詳しく説明し、古いバージョンのC++/WinRTに対する修正プログラムを提供します。`winrt::Windows::Foundation`名前空間に、より適切に一致する`invoke`関数を宣言することで、コンパイラを正しい関数に誘導します。この修正プログラムには、C++/WinRTのアップグレード後に自動的に無効になる静的アサーションも含まれています。

(devblogs.microsoft.com)

開発

Fintechスタートアップ、データインフラコストを70%削減

2025-03-09

Fintechスタートアップは、多様なデータソースと高額なインフラストラクチャコストという課題に取り組みました。HevoとBigQueryに依存した初期のプラットフォームは、持続不可能であることが判明しました。これを克服するために、彼らは、生のデータを格納するために費用対効果の高いS3ストレージを活用した、新しいELTベースのデータプラットフォームを構築しました。データ処理と変換にはAirflow、Debezium、Kafka、dbtを使用し、クエリにはTrino、可視化にはMetabaseを使用しました。その結果、インフラストラクチャコストを70％削減しました。このケーススタディは、効率的なデータプラットフォーム設計とテクノロジーの選択によって、コストを大幅に削減し、効率を向上させることができることを示しています。

(jchandra.com)

開発

Graphite：オープンソースの2Dクリエイティブハブ

2025-03-09

Graphiteは、現在アルファ版である無料のオープンソースベクトルおよびラスターグラフィックエンジンです。レイヤーベースのコンポジティングとノードベースのジェネレーティブデザインを組み合わせた、完全に非破壊的なワークフローを備えています。単なるベクトルエディターを超えて進化したGraphiteは、ゲームエンジンに似たアーキテクチャにより、写真編集、モーショングラフィックス、デジタルペイント、デスクトップパブリッシング、VFXコンポジティングなど、包括的なツールボックスを提供します。グラフィックプログラマーとRust開発者は貢献を歓迎され、寄付によって継続的な開発が支えられています。Graphiteは、あらゆるレベルのクリエイターを支援する業界標準の美術デザインツールになることを目指しています。

(github.com)

開発グラフィックエンジン 2D制作

uutils：RustによるGNU Coreutilsの5年間の書き換え

2025-03-09

FOSDEM 2025で、Sylvestre Ledruは、GNU CoreutilsのRustベースの代替であるuutilsの大きな進歩を発表しました。COVID-19のロックダウン中に始まったこのプロジェクトは、ほぼ5年間で100以上の必須Unix/Linuxユーティリティを書き換え、530人以上の貢献者と18,000を超えるGitHubスターを獲得しました。より安全で高性能な代替品を目指し、uutilsはGNU coreutilsテストスイートの約500個のテストに合格しており、DebianベースのApertis、Spectaclesスマートグラス、Microsoft Visual Studio Codeなどのプロジェクトで使用されています。Ledruの次の目標は、C言語のメンテナンスの課題に対処し、新しい開発者にとって現代的なエクスペリエンスを提供するために、他の重要なDebian/UbuntuパッケージにRustによる書き換えを拡大することです。

(lwn.net)

開発

TeX Live 2025 ISOリリース！

2025-03-09

TeX Live 2025 ISOがついにリリースされました！直接ダウンロード（ミラーの同期には時間がかかるため、一部のミラーはまだ反映されていない場合があります）、またはtorrentから入手できます。著者は7年連続でTeX Live ISO torrentのシードを提供しており、TeXとLaTeXを使って「美しい文書を組版する」ことで得られた20年近くの生産性と喜びへの感謝の気持ちを表しています。

(www.texastim.dev)

開発 ISOイメージ

Infisical 採用情報：秘密管理を改革するフルスタックエンジニア

2025-03-09

オープンソースのシークレットマネジメントプラットフォーム、Infisicalがフルスタックエンジニアを募集しています。製品の中核機能の構築、最適化、保守、優れたユーザーエクスペリエンスの提供、AI駆動型シークレットマネジメントの探求に携わります。理想的な候補者は、インフラストラクチャ管理、Docker/Kubernetes、クラウドネイティブアーキテクチャ（AWS推奨）、TypeScript/Goなど、強力なフルスタックスキルを備えています。急成長中のチームで、18ヶ月以内に数千人のユーザーに影響を与え、最終的にはプラットフォームの特定部分を担当する機会があります。

(www.ycombinator.com)

開発

PurrCrypt：猫と犬の鳴き声で秘密を暗号化！

2025-03-09

PurrCryptは、楕円曲線暗号化を用いて秘密のメッセージを可愛い猫や犬の鳴き声に変換する暗号化ツールです。コマンドラインで簡単にインストールして使用でき、「猫」と「犬」の２つの方言モードが用意されています。暗号化されたメッセージは意味不明な動物の鳴き声のように見えますが、実際には暗号化された安全なデータが含まれており、正しい鍵を持っている人でなければ復号できません。Bitcoinと同じアルゴリズムとステガノグラフィ技術を利用することで、暗号化されたデータを送信していることを隠蔽し、驚くほど安全で楽しいものになっています。

(github.com)

開発

Mako：超高速、ゼロコンフィグの次世代フロントエンドバンドラー

2025-03-09

MakoはRustベースのフロントエンドバンドラーで、ゼロコンフィグ、超高速、本番環境対応の安定性を備えています。TypeScript、Less、CSS、Reactなどをローダーやプラグインなしでバンドルできます。アリババグループで広く利用されており、数千ものプロジェクトとnpmパッケージでテストされ、高い互換性を誇ります。ホットモジュールリプレイスメント（HMR）とReact Fast Refreshに対応し、コード分割とモジュール連結機能を備え、開発効率とアプリケーションパフォーマンスを大幅に向上させます。

(makojs.dev)

開発フロントエンドバンドラー

制約条件を利用した大幅なパフォーマンス向上：C++における偶数カウントの最適化

2025-03-09

この記事では、C++でuint8_t配列内の偶数の数を数えるパフォーマンスの最適化について探求しています。`std::count_if`とカスタムカウント関数の2つのアプローチを比較することで、偶数値の数が0から255の間であるという制約条件を活用したカスタム関数が、パフォーマンスを大幅に向上させ、テストでは最大9.5倍の高速化を実現できることを示しています。この記事では、両方の方法で生成されたアセンブリコードを分析し、パフォーマンスの違いを説明し、特定のバージョンのGCCにおけるベクトル化の問題についても言及しています。

(nicula.xyz)

開発 C++最適化ベクトル化

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

2025-03-09

arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。参加者は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を共有しています。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。

(arxiv.org)

開発

Gleam 1.9.0 リリース：デバッグ、依存関係管理、パフォーマンスの改善

2025-03-09

型安全でスケーラブルな言語であるGleamのバージョン1.9.0が、大幅な改善を伴ってリリースされました。主なアップデートには、強化されたデバッグのための新しい`echo`キーワード、Gitリポジトリからの依存関係のサポート、JavaScriptにおけるビット配列とリストパターンマッチングのパフォーマンス向上、型定義へのジャンプやJSONエンコーダーコード生成などの拡張された言語サーバー機能が含まれます。その他の改善としては、HexDocs検索の統合強化、カスタムCA証明書のサポート、簡素化されたパイプライン構文変換などがあります。このリリースは、活気のあるGleamコミュニティとその多くの貢献者の証です。

(gleam.run)

開発

Goのエラー処理：賛否両論

2025-03-09

Goのエラー処理は、いたるところに見られる`if err != nil`チェックによって特徴付けられ、かなりの議論を巻き起こしています。批判する人は冗長で面倒だと考えますが、支持する人は、Goの哲学の基礎であり、エラーを第一級市民として扱うものだと主張します。この記事は、長所と短所を詳しく調べ、GoのアプローチをJavaScriptなどの言語における例外処理と比較しています。`fmt.Errorf`を使用した実行可能なエラーチェーンの作成や、`github.com/pkg/errors`などのライブラリを活用して明確さとスタックトレースを向上させるといったベストプラクティスが強調されています。完璧ではありませんが、Goの明示的なエラー処理は、開発者にプログラムフローの完全な制御を与え、シンプルさと予防的な障害計画を重視しています。

(rauljordan.com)

開発

テスト駆動型ブログ：AIでライティングワークフローを改善する

2025-03-09

この記事では、GPTモデルを活用してブログ記事作成を支援するツール「unit-text」を紹介します。著者は、反復的なライティング、目標指向のアプローチを強調し、ソフトウェア開発におけるテスト駆動開発（TDD）との類似点を指摘し、「テスト駆動型ブログ」という概念を提案しています。unit-textはプロンプトとGPTからのフィードバックを用いて、記事の一貫性、論理的矛盾、目標達成状況などを確認することで、ライティングの効率性と質を高めます。現在プロトタイプのCLIツールであり、今後の計画にはインタラクティブな発想、自律的なリサーチ、API統合などが含まれています。

(www.sealambda.com)

開発 AIライティングブログ執筆ツール

Spark 1.2リリース：GPUテクスチャ圧縮における大きな飛躍

2025-03-09

Spark 1.2がついにリリースされました！このリアルタイムGPUテクスチャ圧縮ソリューションは、大幅な最適化、新しい圧縮フォーマット、そして拡張されたプラットフォームサポートを誇ります。このリリースは、RDNA、コンソール、Mali GPUにおけるベクトル化パフォーマンスの向上に焦点を当てており、改良されたEACコーデック、新しいBC3-YCoCgおよびHDRコーデック、そしてETC2コーデックなど、多くの予想外の機能が含まれています。開発チームは、ライセンス契約を結んでいない潜在的な顧客からの機能リクエストを追いかけるのではなく、長期的な目標により集中していく予定です。Spark 1.2はAndroid TVとコンソールもサポートし、改良されたASTC 6x6およびストリーミングコーデック、さらにサイドバンドデータコーデックを提供することで、圧縮品質とパフォーマンスを大幅に向上させています。

(www.ludicon.com)

開発 GPUテクスチャ圧縮

C++のメモリ管理：RAIIの深い理解

2025-03-09

これはメモリ管理に関するC++シリーズの第2部です。この投稿では、RAII（Resource Acquisition Is Initialization）に焦点を当て、メモリ処理の簡素化と安全性の向上のための強力な技術について説明します。著者は、Cの手動メモリ割り当てとC++のより洗練されたアプローチを比較し、クラス、オブジェクト、コンストラクタ、デストラクタ、コンテナを網羅しています。RAIIはリソースのクリーンアップを自動的に管理し、エラーを削減します。また、ムーブセマンティクスにも触れ、スマートポインタに関する次の記事を予告しています。

(educatedguesswork.org)

開発

コンパイラ最適化：Lemireのほぼ除算不要な乱数生成の改善

2025-03-09

著者は、範囲内の乱数を生成するほぼ除算不要なアルゴリズム（Lemireアルゴリズム）を改良しました。以前のバージョンでは、高速パスをインライン化することでコードの肥大化を削減していましたが、コンパイラの最適化は限定されていました。著者は、上限がコンパイル時定数の場合は、棄却閾値をコンパイル時に計算でき、除算の回避は不要であることを発見しました。新しい実装では、乱数生成器への呼び出しは1回だけで、上限が2の累乗の場合は、コンパイラがループを自動的に削除します。これは昨年のバージョンよりも効率的で、著者はRustでの同様のコンパイル時最適化技術について考察しています。

(dotat.at)

開発乱数生成 Lemireアルゴリズム

Testeranto：AI搭載ATDDフレームワーク、テストの自動修正を実現

2025-03-09

Testerantoは、TypeScriptプロジェクト向けのAIファーストな受容テスト駆動開発（ATDD）フレームワークであり、現在開発中です。Gherkinに似た厳密に型付けされた構文を使用してテストを指定し、Aider.aiと統合して失敗したテストを自動的に修正します。コードを直接テストする代わりに、TesterantoはTS型シグネチャに基づいたセマンティックインターフェースでコードをラップすることを要求します。フロントエンド、バックエンド、またはその両方で実行でき、esbuildでバンドルできるものは何でもテストできます。

(www.npmjs.com)

開発

UberのH3：地理空間インデックスのための六角形グリッドシステム

2025-03-09

Uberが開発したH3は、地理空間データを六角形グリッドにインデックス化する離散的なグローバルグリッドシステムです。各六角形セルは一意のIDを持ち、異なるデータセット間の迅速な結合と様々な精度レベルでの集計を可能にします。H3は、最近傍探索、最短経路計算、勾配平滑化など、グリッドベースの様々なアルゴリズムと最適化を可能にし、地理空間データ分析のための強力なツールとなります。

(h3geo.org)

開発地理空間インデックス六角形グリッド空間分析

LFortranがPRIMAをコンパイル：ベータ版に向けた大きなマイルストーン

2025-03-09

LFortranコンパイラチームは、libprima/PRIMAのコンパイルと実行に成功したと発表しました。これは、GFortranの出力とビット単位で一致する、8番目のプロダクショングレードのサードパーティコードです。この重要なマイルストーンにより、LFortranは10個のこのようなコードをコンパイルするという目標に近づき、ベータ品質のコンパイラを実現するための重要なステップとなります。非線形最適化のためのFortranパッケージであるPRIMAのコンパイルは、プロシージャ変数、非ユニットストライドの配列、精度損失など、いくつかの課題をもたらしましたが、これらはすべて克服されました。今後の取り組みは、fpmやLAPACKなど、追加のサードパーティコードのコンパイルに焦点を当て、LFortranのベータ版への準備を強化します。

(lfortran.org)

開発

優れたエンジニアになるには：給料以上のもの

2025-03-09

この記事では、真に優れたソフトウェアエンジニアになるための要素を探ります。単なる給料以上のものとして、情熱と野心が不可欠であると主張しています。著者は、コンピューターの基礎原理の深い理解、継続的な学習、批判的思考、そして知識の実際的な応用を強調しています。コンパイラやエミュレータの作成などの具体的なプロジェクトが提案されており、基礎原理からの構築の重要性が強調されています。また、自己批判と卓越性の追求が成長の鍵であることも指摘しています。

(0x0001.cc)

開発

Goravel：LaravelにインスパイアされたGo Webフレームワーク

2025-03-09

Goravelは、Go開発者が迅速にアプリケーションを構築できるように設計された、フル機能で高度にスケーラブルなGo Webアプリケーションフレームワークです。その設計思想はLaravelを反映しており、PHP開発者の学習曲線を緩和します。このプロジェクトはオープンソースであり、スター、プルリクエスト、およびイシューを歓迎します！Goravelは、HTTP認証と認可、ORM、マイグレーション、ロギング、キャッシング、gRPC、Artisanコンソール、タスクスケジューリング、キュー、ファイルストレージ、メール、バリデーション、モック、ハッシュ暗号化、Carbonパッケージの統合、開発およびテストツール、ローカリゼーション、セッションなど、豊富な機能を備えています。ドキュメントとサンプルプロジェクトが利用可能です。ドキュメントと開発への貢献は大歓迎です。

(www.goravel.dev)

開発

Go vs. Rust：2025年のバックエンド覇権争い

2025-03-09

カニとジリスがサーバールームに入ってきた。カニはゼロコスト抽象化を誇示し、ジリスはゴルーチンを披露する。2025年のバックエンドバトルへようこそ！この記事では、高性能な本番環境でのGoとRustを比較し、新しいプロジェクトにはTypeScriptが良い選択肢であることを認めつつ、究極の速度が重要な場合、GoとRustが優位であることを強調している。現実世界のJSON処理HTTPサーバーのシナリオを比較に使用しているが、具体的なパフォーマンスベンチマークは詳述されておらず、パフォーマンス指標に固有の複雑性を強調している。

(effective-programmer.com)

開発バックエンドパフォーマンス

Yhangry：YC支援のプライベートシェフマーケットプレイスがフルスタックエンジニアを募集

2025-03-09

Yhangryは、プライベートシェフのためのAirbnbのようなサービスで、イベントのためのシェフを探せるプラットフォームです。2年間で8倍の成長、400万ドルのシードファンディング、そして黒字化を達成しており、経験豊富なフルスタックエンジニアを募集しています。ロンドンのオフィスで、国際展開とコア機能開発に携わります。高給です。

(www.ycombinator.com)

開発プライベートシェフ

プログラミングの再発見：コモドール64でPETSCII画像を描画する

2025-03-09

IT業界で23年の経験を持つベテランCTOが、突然の失業を機に、レトロコンピューティングのプログラミングに挑戦することにしました。目標は、コモドール64でPETSCII画像を描画すること。オンラインエディタを使った画像作成から、Perlスクリプトによるデータ変換、C64 BASICとVICEエミュレータを使ったコモドール64上での画像表示まで、全過程を詳細に記録しています。この物語は、新しい技術を学ぶことへの情熱とレトロコンピューティングへの愛情を示しており、レトロコンピューティングプログラミングに興味のある人にとって貴重な経験となります。

(medium.com)

開発

Next.jsプリレンダリング：実際にはどれだけのトラフィックを処理できるのか？

2025-03-09

著者は、Next.jsプリレンダリングサイトのトラフィック処理能力をテストし、VPSサーバーでは約200の同時リクエストしか処理できないことを発見しました。これは予想をはるかに下回る結果でした。このため、専用サーバーにアップグレードしたところ、パフォーマンスが大幅に向上し、毎秒数千のリクエストを処理できるようになりました。対照的に、サーバーサイドレンダリング（SSR）のパフォーマンスはプリレンダリングよりもはるかに低く、トラフィックが多いと問題が発生しました。この記事では、CloudflareやVercelなどの他のソリューションの長所と短所についても議論しており、最終的にはスケーラビリティのために専用サーバーを選択しました。今後のテストでは、さらなる最適化が検討されます。

(martijnhols.nl)

開発プリレンダリングサーバーパフォーマンス

トップダウンアプローチを捨てる：ボトムアップコード監査がより効率的な理由

2025-03-09

セキュリティコンサルタントは、多くの場合、コードを一行も書かずに、短時間でコードベースの専門家になる必要があります。この記事では、非効率的なトップダウンアプローチによるコード監査を批判しています。これは、マラソン全体を上空から見ようとするようなもので、落胆し、圧倒されてしまいます。著者は、ボトムアップアプローチを提唱します。コードの詳細を深く理解し、範囲を徐々に拡大することで、一部の開発者よりも深い理解を得て、より多くのバグを発見することができます。この方法は、より効率的で、楽しいものです。

(www.cryptologie.net)

開発コード監査開発方法論

Category: 開発