人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

Guixの印象：Nixユーザーの視点

2025-07-19

ベテランNixユーザーがGuixシステムを試用した経験を共有しています。GuixはGNUシステムであるため、ソフトウェアの自由を重視しており、最新のハードウェアをサポートするにはnonguixを使用する必要があります。この記事では、GuixとNixのアーキテクチャの違いに焦点を当てています。Nixはモジュール式の設計を採用しており、パッケージのバージョンの柔軟な組み合わせを可能にしていますが、Guixはすべてのパッケージを固定されたプロファイルに統合しており、更新には再構築が必要です。ドキュメント、パフォーマンス、initシステムを比較した結果、Guixのドキュメントは優れているものの、パフォーマンスは遅いことがわかりました。systemdではなくShepherdを使用しています。全体的に、Guixは魅力的な代替手段ですが、学習曲線が急峻で、Schemeの知識が必要です。

続きを読む
(tazj.in)
開発

Stack Overflow、物理サーバーに別れを告げる：クラウドへの移行開始

2025-07-19
Stack Overflow、物理サーバーに別れを告げる：クラウドへの移行開始

16年間の運用を経て、Stack Overflowとそのネットワークサイトは、ニュージャージー州のデータセンターに正式に別れを告げ、すべてのサーバーが廃止され、適切に処分されました。この移行は、Stack Overflowのクラウドへの移行における重要なステップであり、インフラストラクチャの完全なクラウドネイティブ化を意味します。記事では、サーバーの分解、大量のケーブルの処理、データセンターの最終的な清掃に至るまで、移行プロセスの詳細を生き生きと描写し、チームの懸命な努力と効率的な実行力を示しています。この移行によって、効率性が向上するだけでなく、ユーザーデータのセキュリティも確保されます。

続きを読む
(stackoverflow.blog)
テクノロジー データセンター移行

cuBLASとCUTLASSを超える：革新的な行列乗算カーネルエンジン

2025-07-19
cuBLASとCUTLASSを超える：革新的な行列乗算カーネルエンジン

行列乗算は、特にAI分野において、その速度がモデルの能力に直接影響を与えるため、現代計算の中核をなしています。NVIDIAのTensor Coreなどのハードウェアアクセラレータは効率的ですが、柔軟性に欠けます。本稿では、プラットフォームを跨いでの最適化された行列乗算カーネルを生成する、CubeCLという新しいエンジンを紹介します。CubeCLは、階層的な抽象化（Tile、Stage、Global、Batch Matmul）と様々なアルゴリズム（Simple、Double Buffering、Orderedなど）を用いてこれを達成します。GPUアーキテクチャの特徴、例えばプレーン同期実行やコアレースドメモリアクセスを巧みに活用し、ダブルバッファリングなどの手法を用いてメモリレイテンシを隠蔽します。ベンチマークは、様々なGPU（NVIDIA、AMD、Apple Silicon）において、顕著な性能向上を示しており、場合によってはcuBLASやCUTLASSを凌駕する結果となっています。

続きを読む
(burn.dev)
開発

HALO取引：AIにおける新たな買収モデル

2025-07-19
HALO取引：AIにおける新たな買収モデル

AI業界で新しい取引形態であるHALO取引が登場しました。従来の買収や単純な採用とは異なり、HALO取引では、企業がスタートアップの中核チームを採用し、同時にその知的財産をライセンス供与します。スタートアップは、投資家と従業員に分配される多額のライセンス料を受け取り、新しいリーダーシップの下で運営を継続します。これらの取引は迅速で、費用がかかり、（現在）AI分野に限定されています。議論を巻き起こしていますが、HALO取引は、創業者、投資家、従業員間の社会契約を維持しようとするものであり、ますます厳しく審査されるM＆A環境において、AI人材を迅速かつ確実に獲得する方法を提供しています。

続きを読む
(kwokchain.com)
AI

Microsoft OfficeのXMLロックイン：テクノロジーの罠

2025-07-19
Microsoft OfficeのXMLロックイン：テクノロジーの罠

この記事は、Microsoft Officeのドキュメントフォーマットにおける意図的に複雑化されたXMLスキーマが、ユーザーをロックインするための戦略としてどのように機能しているかを明らかにしています。過度に複雑なXMLスキーマを設計することで、Microsoftは競合他社が互換性のあるソフトウェアを開発することを困難にし、技術的独占を生み出しています。これにより、ユーザーはMicrosoftのエコシステムに閉じ込められ、価格とサービスを受け入れることを余儀なくされます。使用されているアナロジーは、線路は開放されているが、複雑な制御システムは1つのメーカーだけが制御しており、鉄道輸送を支配している鉄道システムです。著者は、ユーザーに対し、技術的独占に警戒し、複雑さに閉じ込められないよう、シンプルで明確なXMLシステムを選択するよう促しています。

続きを読む
(blog.documentfoundation.org)
テクノロジー 技術的独占

Bitnami パブリックカタログの大幅変更：セキュアイメージとレガシーリポジトリへの移行

2025-07-19
Bitnami パブリックカタログの大幅変更：セキュアイメージとレガシーリポジトリへの移行

Bitnami のパブリックカタログは、2025 年 8 月 28 日に大幅な変更が行われます。Debian ベースの画像は生成されなくなり、既存の画像は Bitnami レガシーリポジトリに移行されます。無料イメージは、より強化され安全なイメージに絞り込まれ、最新のタグのみが利用可能となり、https://hub.docker.com/u/bitnamisecure で提供されます。本番環境対応のコンテナと Helm チャートは、Bitnami Secure Images に移行され、強化された OS、継続的なセキュリティアップデート (SLSA レベル 3)、CVE の透明性、SBOM、コンプライアンスアーティファクト、エンタープライズサポートなどが提供されます。既存のすべてのイメージは、Bitnami レガシーリポジトリ (docker.io/bitnamilegacy) に移行され、それ以降のアップデートやサポートは提供されません。ユーザーは CI/CD パイプラインを更新し、継続的なサポートを受けるために Bitnami Secure Images へのサブスクリプションを検討する必要があります。

続きを読む
(github.com)
開発 セキュアイメージ

ccusage: Claude Codeトークンの使用状況を高速に分析!

2025-07-19
ccusage: Claude Codeトークンの使用状況を高速に分析!

ccusageは、ローカルのJSONLファイルからClaude Codeトークンの使用状況とコストを非常に高速に分析できるコマンドラインツールです。日別、月別、セッション別、5時間ブロック別のレポートを提供し、ライブモニタリング、日付フィルタリング、カスタムパス、JSON出力などの機能を備えています。非常に小さなバンドルサイズのため、インストールせずに直接実行でき、複数のモデルとコストの内訳をサポートしています。`bunx ccusage`で試してみてください！

続きを読む
(github.com)
開発

500ドルの喫煙料金詐欺：ホテルのアルゴリズムによる収益システム？

2025-07-19
500ドルの喫煙料金詐欺：ホテルのアルゴリズムによる収益システム？

ロードアイランド州ニューポートのハイアットペルホテルで、客が一度も喫煙していないにもかかわらず、500ドルの喫煙料金を誤って請求された。ホテルの従業員は強硬な態度を取り、煙感知器は間違いないと主張した。客は、同じ問題に遭遇し、経営陣から同様の敵対的な対応を受けた他の多くの客を発見した。ウイルス動画が問題を露呈し、払い戻しにつながったが、他の客はまだ払い戻しを求めて闘っている。調査の結果、ホテルは「強力なアルゴリズム」を使用して「新たな収益の流れを開拓する」方法として煙感知器を販売するRest Sensors社製の機器を使用していることが判明した。これは、ホテルにおける広範な収益創出スキームの可能性を示唆している。

続きを読む
(threadreaderapp.com)
その他 ホテル請求紛争

OrioleDB：PostgreSQLの高性能ストレージ拡張

2025-07-19
OrioleDB：PostgreSQLの高性能ストレージ拡張

OrioleDBは、デフォルトのHeapストレージエンジンに代わるPostgreSQLストレージ拡張で、パフォーマンスを劇的に向上させます。MVCC、ページキャッシング、チェックポイントなどのコアコンポーネントを再設計することで、OrioleDBはトランザクショナルワークロードのスループットと予測可能性を高めながら、使い慣れたPostgreSQLのユーザーエクスペリエンスを維持します。最近のリリースでは、非Bツリーインデックスタイプ、テーブルスペース、fillfactorのサポートが追加され、クエリとインデックスのパフォーマンスも最適化されています。TPC-Cとsysbenchを使用したベンチマークでは、PostgreSQLのデフォルトのHeapエンジンと比較してスループットが大幅に向上しており、go-tpcテストではtpmCが数倍になっていることが示されています。

続きを読む
(www.orioledb.com)
開発

C++におけるゼロコスト静的変数：リンカ機能の活用

2025-07-19

この記事では、C++における静的変数の初期化に伴うオーバーヘッドについて論じています。ブロックスコープの静的変数の初期化は、`__cxa_guard_acquire`を使用した同期など、通常ランタイムコストが発生します。著者は、UNIXリンカの機能を利用した最適化手法を提案しています。これは、専用のセクションに事前に領域を割り当て、グローバル初期化時に初期化を行うことで、ランタイムコストを排除し、ブロックスコープの静的変数をファイルスコープの静的変数と同等の効率にします。記事では、インライン関数やテンプレートメンバーによるセクション属性の競合処理など、実装の詳細を説明し、最終的にゼロコストの最適化を実現しています。

続きを読む
(cofault.com)
開発 リンカ

Debcraft：Debianパッケージングを効率化するツール

2025-07-19
Debcraft：Debianパッケージングを効率化するツール

Debianパッケージの作成は非常に難しいことで知られており、多くの貢献者が挫折し、ベテラン貢献者も負担の大きいメンテナンス作業に疲弊してしまいます。Debcraftは、退屈な作業を自動化し、正しい手順を簡単に習得できるようにし、新規・ベテランのパッケージャーがソースコードとビルド成果物の両方の変更をより適切に追跡できるようにすることで、この問題の解決を目指しています。コンテナ技術を利用することで、Debianシステムへの依存性を排除し、パッケージのビルド、テスト、リリースプロセスを簡素化します。さらに、自動化された改善と更新機能により、Debianパッケージのメンテナンスが容易になります。

続きを読む
(optimizedbyotto.com)
開発 パッケージング

GitHubでのコード提案適用制限

2025-07-19
GitHubでのコード提案適用制限

GitHubでのコードレビューにおいて、コード提案を一括適用する機能にはいくつかの制限があります。具体的には、コードに変更がない場合、プルリクエストが閉じている場合、変更の一部のみを表示している場合、1行につき1つの提案のみ、削除された行への適用、既に適用済または解決済みとしてマークされた提案、保留中のレビューからの提案、複数行のコメント、およびマージ待ちのプルリクエストなどが該当します。さらに、不明な理由で「この操作は現時点では実行できません」というエラーが発生する場合もあります。

続きを読む
(github.com)
開発

詐欺師の均衡：CPA広告が品質シグナリングを破壊した方法

2025-07-19
詐欺師の均衡：CPA広告が品質シグナリングを破壊した方法

この論文では、インターネット、特に成果報酬型広告（CPA広告）が、広告における従来の品質シグナリングメカニズムをどのように破壊したかを考察しています。従来、高品質の販売者は、より高い長期的な収益のために、多額の広告費を投じる傾向がありました。しかし、CPA広告では、低品質の販売者も、初日の収益から広告費用を賄うことができ、このシグナルを損なっています。ブランドの容易な作成、返品に対する軽いペナルティ、評価の圧縮、価格ヒューリスティックへの消費者の依存など、低品質の製品が支配する「詐欺師の均衡」に寄与する要因が挙げられています。この論文では、これを示す経済モデルを示し、永続的なメーカーIDや返品調整済みCPA追加料金などの解決策を提案しています。

続きを読む
(www.gojiberries.io)
テクノロジー CPA広告 品質シグナリング オンラインマーケットプレイス

Zigの非同期I/O：非同期性≠並行性

2025-07-19
Zigの非同期I/O：非同期性≠並行性

この記事では、並行プログラミングにおいてしばしば混同される非同期性、並行性、並列性の3つの概念を掘り下げています。著者は、多くの言語エコシステムが「非同期性」の理解不足に悩まされており、ライブラリの重複作業や、ユーザーエクスペリエンスの悪化につながっていると主張しています。Zigは非同期性と並行性を区別することで、強制的な並行性なしに非同期I/Oを可能にしています。これにより、非同期コードの「ウイルス的拡散」を防ぎ、同期コードと非同期コードが平和的に共存し、コードの効率性と保守性を向上させることができます。

続きを読む
(kristoff.it)
開発

Steam、決済処理業者からの圧力により成人向けゲームを削除

2025-07-19
Steam、決済処理業者からの圧力により成人向けゲームを削除

Valveは最近、Mastercardなどの決済処理業者の規定違反を理由に、Steamストアから複数の成人向けゲームを削除しました。Valveは、決済方法を失うことで、顧客がSteam上の他のゲームやコンテンツを購入できなくなることを指摘しています。Valveは影響を受けた開発者と連絡を取り、クレジットを提供していますが、この出来事は、アニメーションコンテンツでさえ、決済処理業者が成人向けコンテンツに厳格な審査を適用していることを浮き彫りにしています。これにより、検閲と決済処理業者の権力に関する懸念が生じており、多くの人がMastercardなどの企業がSteamでプレイヤーが購入できるゲームを決定すべきではないと主張しています。

続きを読む
(www.pcgamer.com)
ゲーム

究極のセルフホスティング設定：NixOS、ZFS、Tailscaleによる勝利

2025-07-19

様々なセルフホスティング手法を試行錯誤した結果、6ヶ月以上安定稼働するシステムを構築することに成功しました。このシステムは、OS設定にNixOS、堅牢なデータ保護にZFS、安全な内部ネットワークにTailscaleを採用しています。この記事では、アーキテクチャ、主要な技術選定（AutheliaとLLDAPによる認証を含む）、そしてTailscaleと他のVPNの統合や、パブリックインターネットへのサービス公開といった問題とその解決策を詳細に説明しています。設定例と役立つリンクも提供します。

続きを読む
(codecaptured.com)
開発

LinuxカーネルにおけるRustとCの相互運用性：メモリ、自己参照構造体、ロック

2025-07-19

この記事では、Linuxカーネル内でRustとCコードを連携させる際の複雑な点を掘り下げます。メモリ割り当て（Kmalloc、Vmalloc、KVmalloc、および対応するBoxとVecの使い方）、自己参照構造体の処理（Pinとpin_init!マクロ）、ロックメカニズム（Mutex、LockedBy、GlobalLockedBy）に焦点を当てています。Rustは、その型システムとライフタイム管理によって、カーネルコードの安全性を高め、ランタイムエラーを削減します。

続きを読む
(lwn.net)
開発 C相互運用

1862台の露出したMCPサーバー：セキュリティ脆弱性が明らかに

2025-07-18
1862台の露出したMCPサーバー：セキュリティ脆弱性が明らかに

Knosticの調査チームは、適切なセキュリティ対策がない1862台のインターネットに公開されたMCPサーバーを発見しました。ShodanとカスタムPythonツールを使用して特定されたこれらのサーバーは、内部ツールリストへの認証されていないアクセスを許可していました。この発見は、この技術の導入が初期段階にあること、そして多くのサーバーが不安定で脆弱性があることから、重大なセキュリティリスクがあることを浮き彫りにしています。研究者たちは、これらのセキュリティ上の懸念に対処する必要性を強調し、広範な悪用が行われる前に、予防的なセキュリティ対策を講じることを提案しています。

続きを読む
(www.knostic.ai)
テクノロジー

歴史フェンシング：中世の決闘の技を復活させる

2025-07-18
歴史フェンシング：中世の決闘の技を復活させる

ジャーナリストが、歴史的なヨーロッパ武術（HEMA）を学んだ経験を語ります。歴史調査と実践的な戦闘を融合させた独特のものです。ぎこちない始まりから基本的な技術を習得し、最終的には演劇の制作にそのスキルを応用し、舞台上で歴史的な決闘を生き生きと再現します。この記事では、HEMAの歴史、現状、そして参加者への変革的な影響（自信と戦略的思考の構築）を探ります。HEMA愛好家へのインタビューは、このスポーツの魅力とその豊かな歴史的・文化的意義を明らかにします。

続きを読む
(thewalrus.ca)
その他 歴史フェンシング 決闘

lsr: io_uringを使った超高速ファイル一覧表示ツール

2025-07-18

lsrはio_uringを利用した超高速ファイル一覧表示ツールで、従来のlsコマンドを大幅に上回る性能を発揮します。ベンチマークテストでは、多数のファイルを扱う際の速度の大幅な向上と、システムコール数の減少が示されています。隠しファイルの表示、時間によるソート、カラー出力など、豊富なオプションを備えており、インストールと使用方法も簡単です。GitHubでホストされており、HTTPまたはSSH経由でクローンできます。

続きを読む
(tangled.sh)
開発

Jefit 15周年：父の居間からシリコンバレーへ

2025-07-18

Jefitの創設者Yingは、彼のフィットネスアプリが、父親の居間の個人プロジェクトから1300万人以上のユーザーを抱える会社へと発展した経緯を語ります。少額の融資から始まり、資金調達の問題、チーム編成、シリコンバレーへの移転など数々の困難に直面しながらも、Yingは持ち前の粘り強さで、ユーザーエクスペリエンスと品質に重点を置いたプラットフォームを作り上げました。この記事は、起業の苦労と忍耐、そしてチームワークとユーザーのロイヤルティの重要性を浮き彫りにしています。

続きを読む
(www.jefit.com)
スタートアップ ユーザーロイヤルティ

ピノでの船上生活：半年間にわたる記録（2025年）

2025-07-18

このカップルは、2025年前半の6ヶ月間にわたる、彼らの船ピノでの生活を記録しています。船の修理、ゲーム「Oquonie」のリリース、書籍の執筆、ゲーム開発、ゲームジャムへの参加など、様々なプロジェクトについて詳細に記されています。読書、コミュニティとの交流、船上生活の課題なども共有されており、リラックスしながらも冒険的な航海生活が描かれています。

続きを読む
(100r.co)
その他 船上生活

CP/M開発者Gary Kildallの未発表回顧録の一部が公開

2025-07-18
CP/M開発者Gary Kildallの未発表回顧録の一部が公開

CP/Mオペレーティングシステムの開発者であるGary Kildallの未完成な回顧録の一部が、コンピュータ歴史博物館によって公開されました。1994年の彼の死の前に書かれたこの抜粋は、Kildallの初期の人生と起業家としての道のりを詳しく説明しており、利益よりも発明と人生への愛を重視する彼の価値観を強調しています。アルコール依存症との闘いを詳細に記した後の章は、公開されません。

続きを読む
(spectrum.ieee.org)
テクノロジー コンピュータ歴史

IBM Power11プロセッサー：メモリとI/Oのバランス

2025-07-18
IBM Power11プロセッサー：メモリとI/Oのバランス

IBMはPower10の後継となるPower11プロセッサーを発表しました。主な改良点は、コアの利用率向上とDDR5メモリのサポートです。Power11は、大容量メモリと多数の周辺機器に対する需要が高くても、メモリとI/Oのバランスを維持しており、大規模トランザクションデータベース管理システムにおいて競争力を持ちます。製造プロセスにおける課題を克服し、Samsungとの協力により命令セットアーキテクチャを改良しました。この記事では、将来のPower11のアップグレード、例えばDCMモジュールの拡張によるスケーラビリティ向上なども考察しています。

続きを読む
(www.nextplatform.com)
ハードウェア サーバープロセッサー

Servoエンジンが前進：Windows向けマルチプロセスサポートが登場！

2025-07-18

オープンソースのWebレイアウトエンジンServoが進化を続けています。今月のアップデートでは、インクリメンタルレイアウト処理、パフォーマンス最適化、自動化のためのWebDriverサーバーサポート、ビューポートメタタグサポート、DOMスクロールイベントサポート、基本的なIndexedDBサポート、改良されたAbortControllerの中断処理、Windowsにおける実験的なマルチプロセスモード、強化されたDevToolsとスクリーンリーダー機能など、大きな進歩が強調されています。Servoは着実に成熟し、堅牢な埋め込み可能なブラウザエンジンへと進化しています。

続きを読む
(www.phoronix.com)
開発 Webレイアウトエンジン

癌患者のうつ病と不安の治療におけるサイロシビンの可能性

2025-07-18

二重盲検クロスオーバー試験において、サイロシビンという古典的な幻覚剤が、生命を脅かす診断と、うつ病および/または不安の症状を経験している51人の癌患者に及ぼす影響を調査しました。高用量のサイロシビンは、医師と患者自身の自己評価の両方において、うつ病と不安を有意に軽減し、生活の質、人生の意味、楽観主義を高め、死への不安を軽減しました。これらの肯定的な効果は6ヶ月の追跡調査においても持続し、約80％の参加者が臨床的に有意な改善を示しました。この研究は、治療効果を得る上で、サイロシビンによる神秘的な体験が仲介的役割を果たしていることを強調しています。

続きを読む
(pmc.ncbi.nlm.nih.gov)
AI

GENIUS法案成立：暗号通貨がメインストリームへ

2025-07-18
GENIUS法案成立：暗号通貨がメインストリームへ

米国下院は、画期的なGENIUS法案を可決し、ステーブルコインに対する連邦規制を確立しました。これは、暗号通貨を規制上のグレーゾーンから主流金融システムへと移行させる大きな変化です。この法案は、ステーブルコイン発行者に対して、現金または米国財務省証券で1対1の準拠を義務付け、毎月の情報開示を義務付け、発行者の破産の場合には消費者保護を優先し、連邦および州レベルの監督のための枠組みを提供します。これは、暗号通貨市場を規制するだけでなく、米国が世界的なデジタル通貨競争においてリーダーシップを取る立場を築き、ステーブルコインベースの即時グローバル決済や日常的なアプリケーションへの道を拓きます。

続きを読む
(gizmodo.com)
テクノロジー

古代の驚異がよみがえる：アレクサンドリア灯台の大規模な22個のブロックが発見される

2025-07-18
古代の驚異がよみがえる：アレクサンドリア灯台の大規模な22個のブロックが発見される

古代世界の七不思議の一つであるアレクサンドリア灯台の巨大な石ブロック22個が、数世紀にわたる水中での眠りから地中海海底から回収されました。この画期的な発見は、高度な技術を用いて建造物を仮想的に再構築するPHAROSプロジェクトの一環です。回収されたブロックには、壮大な入り口のリンテルや基礎石が含まれており、エジプトとギリシャの様式が融合しており、アレクサンドリアの多文化的な過去を反映しています。これらのブロックはデジタルスキャンされ、エンジニアによって再構築され、灯台の元の輝きとその崩壊の原因を明らかにする仮想的な複製が作成されます。

続きを読む
(archaeologymag.com)
テクノロジー アレクサンドリア灯台 古代世界の七不思議 デジタル復元

政治的嘘の定量化：RFK Jr.とブティジェッジの演説のケーススタディ

2025-07-18

この記事では、RFK Jr.とピート・ブティジェッジの演説について、文単位のファクトチェックを行い、嘘の割合を定量化しています。著者は、RFK Jr.の演説には驚くべきことに60％の虚偽の主張が含まれており、平均して5分間に8つ以上の嘘が含まれていることを発見しました。一方、ブティジェッジの割合ははるかに低くなっています。この方法論は、「Brandoliniの法則」（でたらめを反論するのに必要なエネルギーは、それを生み出すのに必要なエネルギーよりもはるかに大きい）に対処するために、サンプルスピーチを徹底的にファクトチェックして嘘の割合を確立し、継続的な検証の必要性を排除します。時間のかかる作業ですが、このアプローチは、政治家の信頼性を評価する新しい方法を提供します。

続きを読む
(brady.fyi)
その他 政治的嘘
1 2 … 106 107 108 110 112 113 114 … 595 596