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

長期的なソフトウェア保守の隠れたコスト

2025-02-19
長期的なソフトウェア保守の隠れたコスト

この記事では、長期的な大規模ソフトウェアプロジェクトの保守において、しばしば見過ごされがちな課題について掘り下げています。著者のブラウザベースのゲームエンジンConstruct（75万行のコードと10年の開発期間）をケーススタディとして使用し、初期コードの記述は全体の作業のごく一部に過ぎず、大部分は継続的な保守、つまりテスト、デバッグ、最適化、アップグレード、リファクタリング、顧客サポート、ドキュメント作成などに費やされることを強調しています。著者は、外部からの貢献を受け入れる際の隠れたコストと潜在的な落とし穴を説明するために、家の増築という適切なアナロジーを用いています。この記事は、長期的な保守に必要な大きなコミットメントと、潜在的なコミュニケーション上の課題を認めながら、より現実的なソフトウェア開発アプローチの必要性を強調して締めくくられています。

続きを読む
(www.construct.net)
開発 ソフトウェア保守

BackblazeによるSSD vs. HDD信頼性対決：その結論は…

2025-02-19
BackblazeによるSSD vs. HDD信頼性対決：その結論は…

Backblazeは、自社データセンターで使用されているSSDとHDDについて長期的な信頼性に関する調査を実施しました。初期データでは、SSDの故障率はHDDよりもはるかに低いことを示していましたが、これはSSDの稼働期間がはるかに短く、ドライブ稼働日数の違いがあるため、偏った結果でした。SSDの年齢と使用状況に一致するようにHDDデータを遡及的に分析した結果、両者の故障率は同等であることが明らかになりました。長期データでは、HDDの故障率は経年劣化とともに劇的に増加する一方、SSDの将来的な傾向は不明です。現在、SSDとHDDの選択において故障率を唯一の決定要因とするのは疑問であり、コスト、速度などの他の要素の方が重要視されるべきです。

続きを読む
(www.backblaze.com)
ハードウェア

ヒトゲノムの予想外の回復力：CRISPRが構造変化への耐性を明らかに

2025-02-19
ヒトゲノムの予想外の回復力：CRISPRが構造変化への耐性を明らかに

科学者たちはこれまでにないほど複雑なヒト細胞株のエンジニアリングを達成し、私たちのゲノムはこれまで考えられていたよりもはるかに大きな構造変化に耐性があることを明らかにしました。CRISPRプライム編集を用いて、研究者たちは様々な構造変化を伴うヒトゲノムの複数のバージョンを作成し、細胞生存への影響を分析しました。Science誌に掲載されたこの研究は、必須遺伝子が無傷であれば、大規模な欠損を含むかなりのゲノム変化が許容されることを示しています。この画期的な研究は、疾患における構造変化の役割の理解と予測への道を開き、新しい治療法やバイオエンジニアリングアプローチへの道筋を示しています。

続きを読む
(phys.org)
AI ゲノム 構造変化

MINI、レザー廃止へ：驚くほど高級なヴィーガンレザー代替品が登場

2025-02-19
MINI、レザー廃止へ：驚くほど高級なヴィーガンレザー代替品が登場

新型の全電動MINI Cooper J01は、レザーを完全に廃止し、持続可能でリサイクル可能なヴィーガン素材であるVescinを採用しました。実機レビューでは、Vescinの驚くべき柔らかさと高級感が明らかになり、MINIの中級レザーを上回り、高級レザーにも匹敵することが示されました。掃除が容易で環境にも優しく、Vescinは魅力的な代替品であり、高級感とサステナビリティが両立することを証明しています。レザー特有の香りは無いものの、優れた快適性、耐久性、環境に配慮した生産により、魅力的なアップグレードとなっています。

続きを読む
(www.motoringfile.com)
テクノロジー ヴィーガンレザー サステナブル素材 電気自動車の内装

X-Plane：ブレードエレメント理論によるフライトシミュレーション

2025-02-19
X-Plane：ブレードエレメント理論によるフライトシミュレーション

X-Planeフライトシミュレーターは独自の「ブレードエレメント理論」を用いて飛行をシミュレートし、航空機を無数の小さな要素に分割し、各要素にかかる力を計算することで、航空機の飛行挙動を正確にシミュレートします。簡略化された「安定微分」方法を使用する他のシミュレーターとは異なり、X-Planeの精度ははるかに高く、適用範囲も広く、エンジン故障、乱気流、失速、スピン、遷音速効果など、さまざまな飛行条件下での航空機の挙動を正確に予測できます。まさに航空機の形状から飛行特性を予測します。

続きを読む
(www.x-plane.com)
ゲーム フライトシミュレーション ブレードエレメント理論

分散型リモートワークにおけるコミュニケーションの課題とAIによる解決策

2025-02-19

著者は高度に分散化されたリモート組織で働き、非効率的なコミュニケーションに課題を感じています。情報はZoomやTikTokなどの様々な非公式チャネルを通じて拡散し、頻繁な誤解や明確な記録・追跡性の欠如につながっています。著者はこの現象を「口頭文化」の回帰に例え、AI技術が非構造化データを理解可能な構造化データに変換することで、組織のコミュニケーション効率を向上できると考えています。

続きを読む
(www.oblomovka.com)
開発 分散型組織 AI活用

名作ゲームブックシリーズ『Fighting Fantasy』がアメリカに帰ってきた！

2025-02-19

1982年にイアン・リビングストン卿とスティーブ・ジャクソンによって生み出された、革新的な非線形物語とサイコロを使ったRPGメカニクスを融合させた名作ゲームブックシリーズ『Fighting Fantasy』が、2025年初頭にアメリカに帰還！全世界で2000万部以上を売り上げたこのシリーズは、スティーブ・ジャクソン・ゲームズとの歴史的な50冊出版契約により、新たな冒険者世代に届けられる。

続きを読む
(www.sjgames.com)
ゲーム ファンタジー

go-msquic：MicrosoftのQUICライブラリのGoラッパー

2025-02-19
go-msquic：MicrosoftのQUICライブラリのGoラッパー

go-msquicは、MicrosoftのQUICライブラリのGoラッパーであり、Go開発者にとってHTTP/3などのQUICベースのプロトコルを操作するための使いやすいインターフェースを提供します。そのAPIはquic-goから着想を得ており、ドロップイン置換として使用できます。Cライブラリを扱うことに慣れていない限り、go-msquicよりもquic-goをお勧めします。インストールするには、最初にローカルのMsQuic Cライブラリをビルドし、その後`go get github.com/noboruma/go-msquic`でインストールします。サンプルコードはsample/ディレクトリにあります。

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

OpenAIのDeep Research：数分で学術論文作成？

2025-02-19
OpenAIのDeep Research：数分で学術論文作成？

OpenAIは最近、数分で詳細な調査論文を作成できるツール「Deep Research」をリリースしました。学者はその能力を高く評価しており、ペンシルバニア大学のEthan Mollick氏は非常に実り多いと述べています。一部の経済学者は、Deep Researchで作成された論文はBレベルのジャーナルに掲載できると考えています。ジョージ・メイソン大学のTyler Cowen氏は、一流の博士課程の研究助手を持つことに例えています。このツールは議論を巻き起こし、AIの学術研究における可能性を浮き彫りにしました。

続きを読む
(www.economist.com)
AI

Daylight DC-1：コンピューティングを再定義するモノクロタブレット

2025-02-19

Daylight DC-1は、光とアウトドアとの健康的な関係を優先する、ユニークなグレースケールタブレットです。アムトラックの列車での著者の体験は、直射日光下での可読性、夜の快適な使用、Androidの使いやすさを強調していました。キーボードサポート、ソフトウェアの粗さ、機能の欠如など、いくつかの欠点がありますが、特に革新的なディスプレイ技術において、印象的なデバイスです。著者はその可能性と会社の将来の方向性を賞賛しています。

続きを読む
(jon.bo)
ハードウェア タブレット ディスプレイ技術 屋外使用

わずか100行のPure JaxでLLaMA3を実装する

2025-02-19

この記事では、わずか100行のPure JaxコードだけでLLaMA3をゼロから実装する方法を示します。著者は、クリーンな美学とXLAアクセラレーション、JITコンパイル、vmapベクトル化などの強力な機能を備えたJaxを選択しました。この記事では、モデルの各コンポーネント、つまり、重みの初期化、BPEトークナイゼーション、動的埋め込み、回転位置エンコーディング、グループ化されたクエリアテンション、フォワードパスについて詳細に説明します。PRNGキー管理やJITコンパイルなどのJax固有の機能についても説明します。最後に、著者はシェークスピアデータセットでモデルをトレーニングする方法を示し、トレーニングループコードを提供します。

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

系外惑星タイロス：気象の理解を覆す溶岩惑星

2025-02-19
系外惑星タイロス：気象の理解を覆す溶岩惑星

ヨーロッパ南天天文台の超大型望遠鏡を用いて、天文学者たちはタイロス（WASP-121b）と呼ばれる系外惑星に関する詳細な研究を行いました。地球から900光年離れたこの惑星は、公転周期がわずか30時間であり、片側は常に灼熱状態にあり、もう片側は常に暗闇に包まれています。大気中の鉄、ナトリウム、水素の元素を分析した結果、研究者たちは前例のない現象を発見しました。それは、赤道付近に存在する高速ジェット気流と、低層大気における、熱い方から冷たい方へのガスの移動です。この奇妙な気候パターンは、惑星の気象システムに対する私たちの理解に挑戦するものであり、まるでSF小説のようだと感じられます。

続きを読む
(arstechnica.com)
テクノロジー 大気循環

OpenArc：Intelハードウェア上でLLMを高速化する軽量推論APIバックエンド

2025-02-19
OpenArc：Intelハードウェア上でLLMを高速化する軽量推論APIバックエンド

OpenArcは、OpenVINOランタイムとOpenCLドライバーを利用して、Intel CPU、GPU、NPU上でTransformersモデルの推論を高速化する軽量推論APIバックエンドです。エージェントユースケース向けに設計されており、型安全なFastAPI実装を備え、モデルのロード、アンロード、テキスト生成、ステータス問い合わせなどのエンドポイントを提供します。OpenArcは、機械学習コードとアプリケーションロジックの分離を簡素化し、Ollama、LM-Studio、OpenRouterと同様のワークフローを提供します。カスタムモデルとロールをサポートし、OpenAIプロキシ、ビジョンモデルのサポートなどの機能拡張が計画されています。

続きを読む
(github.com)
AI 推論API

TRMNLの破損しない誓約：オープンソースとサステナビリティ

2025-02-19

TRMNLは、デバイスを破壊しないという約束をしました。彼らは、ファームウェアのオープンソース化、Ruby、Elixir、PythonでのBYOSクライアントの構築、BYODライセンスの販売、無料のFramework UIキットのリリース、そしてOSSのためのシニアエンジニアの採用を通じて、その約束を果たしています。増加するサーバーコストに対処するために、「破損しない誓約」を発表し、倒産した場合、コアウェブアプリケーションのソースコードをリリースすることを約束しました。このコミットメントは、ユーザーデータの安全性を確保し、電子廃棄物を削減します。

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

Augment：Vim/Neovimプラグイン、AIによるコード補完とチャット

2025-02-19
Augment：Vim/Neovimプラグイン、AIによるコード補完とチャット

Augmentは、コードベースに合わせて調整されたインラインコード補完と複数ターンチャット会話を提供するVim/Neovimプラグインをリリースしました。インストール後（Node.js 22.0.0+と互換性のあるVim/Neovimバージョンが必要です）、ワークスペースフォルダを追加してAugmentサービスにサインインします。タイプするとコンテキスト認識コード補完が表示されます。`:Augment chat`コマンドを使用して、AIによるコードに関するディスカッションを行います。このプラグインは、ステータス管理、ログイン/ログアウト、サジェスチョン有効化/無効化、ログの表示、新しいチャット会話の開始などのコマンドを提供します。`.augmentignore`は、大規模プロジェクトの管理に役立ちます。サジェスチョンの受け入れに関するキーバインドを簡単にカスタマイズできます。

続きを読む
(github.com)
開発 AIコード補完

RustによるJSONパーサー：800行のサイドプロジェクト

2025-02-19
RustによるJSONパーサー：800行のサイドプロジェクト

大学のコンパイラコースに触発されて、著者はRustでJSONパーサーをサイドプロジェクトとして構築しました。この記事では、設計と実装の詳細を説明し、さまざまなJSONデータ型（文字列、数値、配列、オブジェクト）の処理、エラー処理、パフォーマンステストについて説明しています。最終的なパーサーは約800行で、デバッグを容易にするためにエラーメッセージが改善されています。パフォーマンステストは最適化されていませんが、適切な解析速度を示しました。

続きを読む
(www.krish.gg)
開発 JSONパーサー

Nvidia、RTX 50シリーズGPUにおける32ビットPhysXサポートを静かに終了

2025-02-19
Nvidia、RTX 50シリーズGPUにおける32ビットPhysXサポートを静かに終了

Nvidiaは、RTX 50シリーズGPUにおける32ビットPhysXのサポートをひっそりと終了しました。2000年代初頭に人気を博したゲーム専用の物理演算技術であるPhysXは、RTX 50シリーズから32ビットCUDAアプリケーションのサポートが廃止されたため、正式に廃止されました。64ビットPhysXゲームが存在しないため、RTX 50以降のGPUはPhysXを完全にサポートしなくなります。かつてBatman Arkham三部作やボーダーランズシリーズなどの主要タイトルで使用されていたPhysXは、物理演算をCPUからGPUに移し、パフォーマンス向上を実現していました。しかし、Nvidia専用であることと柔軟性の低さが衰退の原因となりました。RTX 50シリーズのカードでPhysXを使用するには、現在、PhysX専用の古いGPUを使用する必要があります。

続きを読む
(www.tomshardware.com)
ゲーム GPU物理演算

数直線の驚くべき秘密

2025-02-19
数直線の驚くべき秘密

この記事では、一見単純な数直線の背後に隠された驚くべき複雑さについて掘り下げています。著者は、整数でさえ、その存在と区別についてより深い考察に値すると主張しています。さらに衝撃的なことに、数直線上の数の圧倒的多数は非計算可能であり、つまり正確に表現したり計算したりすることができず、人間の理解の限界を超えています。これは、私たちの数についての理解に挑戦し、数学の世界の無限の謎を明らかにしています。

続きを読む
(mathwithbaddrawings.com)
その他 非計算可能数

Little Sisyphus：1ヶ月で完成したNESプラットフォーマー

2025-02-19

2023年のNESDev Compoのために、わずか1ヶ月で物理演算ベースのNESプラットフォーマー「Little Sisyphus」が開発されました。ゲームはボールを山の上まで転がすというシンプルなものですが、古代ギリシャの陶器からインスピレーションを得た独特の芸術性と、挑戦的なゲームプレイを提供します。開発者は、NESFabの使用、インパルスベースと位置ベースの物理演算、水の表現、音楽制作など、開発工程の詳細を説明しています。NESハードウェアの制約により妥協点もありましたが、完成品は効率的な開発と創造的な問題解決の証であり、AI生成アートも活用されています。

続きを読む
(pubby.games)
ゲーム NESゲーム開発 ドット絵

NASA、人員削減を一時停止：裏には新長官候補？

2025-02-19
NASA、人員削減を一時停止：裏には新長官候補？

NASAは計画されていた人員削減を一時的に停止しました。理由は不明です。情報筋によると、トランプ大統領がNASA長官に指名した民間宇宙飛行士のジャレッド・アイザックマン氏と関係がある可能性があります。アイザックマン氏は、NASAの削減に対してより多くの権限を持ちたいと考えており、試用期間中の職員を全員解雇するという強硬な手段を避けたいと考えている可能性があります。これにより、重要なポストや高性能な職員に影響が出る可能性があります。人員削減は一時停止されていますが、NASAは今後数ヶ月で大幅な予算と人員削減に直面する可能性があり、議会との交渉が必要となります。

続きを読む
(arstechnica.com)
テクノロジー アイザックマン

大規模言語モデルはSetゲームに失敗、推論モデルが勝利

2025-02-19
大規模言語モデルはSetゲームに失敗、推論モデルが勝利

大規模言語モデル（LLM）の推論能力をカードゲームSetでテストする実験が行われました。Setは、12枚のカードから形状、色、数、陰影に関する特定のルールに基づいて3枚のカードのセットを特定するゲームです。GPT-4o、Sonnet-3.5、MistralなどのLLMは、正しいセットを首尾一貫して特定できず、多くの場合、無効な組み合わせを提案したり、セットが存在しないと主張したりしました。しかし、DeepThink-R1やo3-miniなどの新しい推論モデルは、問題を解決し、優れた論理的推論能力を示しました。これは、LLMが自然言語処理では優れているものの、複雑な論理的タスクには限界があることを示しており、専門的な推論モデルが明確な利点を持つことを示しています。

続きを読む
(github.com)
AI Setゲーム

Google Play Books、AppleのApp Store手数料を回避してiOSで直接購入可能に

2025-02-19
Google Play Books、AppleのApp Store手数料を回避してiOSで直接購入可能に

Google Play BooksのiOSアプリで、Google Playウェブサイト経由で電子書籍やオーディオブックを直接購入できるようになり、Appleのアプリ内課金手数料30%を回避できるようになりました。これは、Appleと日本の公正取引委員会（JFTC）との和解合意によるもので、対象となる「読書アプリ」は外部リンクアカウント権限を利用できます。ユーザーは購入のためにGoogle Playウェブサイトにリダイレクトされ、ファミリーライブラリなどの機能を引き続き利用できます。これは、AppleのApp Storeポリシーにおける大きな変化であり、他のアプリ開発者にも先例となります。

続きを読む
(techcrunch.com)
テクノロジー 外部リンク

OpenAI元CTO、ユーザーフレンドリーなAIに焦点を当てたAIスタートアップを設立

2025-02-19
OpenAI元CTO、ユーザーフレンドリーなAIに焦点を当てたAIスタートアップを設立

OpenAIの元CTOであるミラ・ムラーティは、Thinking Machines Labという新しいAIスタートアップを立ち上げました。同社は、AIシステムをより理解しやすく、カスタマイズ可能で、一般的に有能にすることを目指しており、研究とコードの定期的な公開を通して透明性を約束しています。完全に自律的なシステムではなく、人間がAIと協力するためのツールに焦点を当てています。ムラーティは、OpenAIの共同設立者であるジョン・シュルマンを研究責任者とする、OpenAI、Character.AI、Google DeepMindから引き抜かれたトップ人材を含むスターチームを編成しました。

続きを読む
(www.theverge.com)
AI

HP、1億1600万ドルでHumaneのAI機能を買収、AI転換を加速

2025-02-18
HP、1億1600万ドルでHumaneのAI機能を買収、AI転換を加速

HP Inc.は、Humaneの主要なAI機能を1億1600万ドルで買収することで最終合意に達したと発表しました。これには、AIプラットフォームCosmos、多数の特許、そして高度なスキルを持つエンジニアチームが含まれます。この買収は、HPの体験重視の企業への転換を加速させます。Humaneチームは、HPの新しいAIイノベーションラボであるHP IQに参加し、HPの製品群全体でインテリジェントなエコシステムを構築し、PC、プリンター、接続されたワークスペースにおけるユーザーエクスペリエンスと生産性を向上させます。

続きを読む
(humane.com)
テクノロジー AI買収

uv：Pythonプロジェクト管理ツールのPareto最適解

2025-02-18
uv：Pythonプロジェクト管理ツールのPareto最適解

AstralのPythonプロジェクト管理ツールであるuvを1年間使用した結果、著者はそれが非常に効果的なPareto最適解であると結論付けています。uvはPython自体とは独立しており、インストールと使用が容易で、pipとvenvインターフェースを提供します。これにより、プラットフォームに依存しない統一的な方法でPythonをインストールおよび実行し、互換性の問題を解決できます。uvは強力な依存関係解決機能、ビルド機能、便利なCLIツールを備えており、開発効率を大幅に向上させます。レガシープロジェクトや制限された企業環境ではいくつかの制限がありますが、著者は、Pythonプロジェクトの管理と開発を大幅に簡素化するため、まずuvを試すことを強くお勧めしています。

続きを読む
(www.bitecode.dev)
開発

LinuxカーネルにおけるRust論争：メンテナがLinusの押し付けを拒否

2025-02-18

LinuxカーネルのメンテナであるChristoph Hellwigは、カーネルへのRustの強制導入に公然と反対している。彼は、Linus Torvaldsが個人的に、メンテナの拒否権を無視してRustコードをマージすると述べていたことを指摘している。Hellwigは、これがカーネルのコードベースをメンテナンスが困難な多言語の寄せ集めに変え、メンテナンスの負担を増やし、最終的にカーネルの長期的な安定性を損なうことを懸念している。彼は、カーネルのメモリ安全性の問題に対処するには、新しい言語を導入するのではなく、既存のコードの改善を優先すべきであり、明確な言語使用ガイドラインを要求している。

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

Kafkaの不公平性：低スループットにおけるジョブキューとしての不適切さ

2025-02-18

この記事では、低スループット環境でKafkaをジョブキューとして使用することの落とし穴について考察しています。著者は、Kafkaの基盤となるメカニズムにより、他のコンシューマがアイドル状態であっても、ジョブが不公平に1つのコンシューマに割り当てられ、一部のコンシューマが過負荷になり、他のコンシューマがアイドル状態になる可能性があると主張しています。1つのコンシューマに割り当てられる最悪のジョブ数の計算式が示され、さまざまな負荷下でのこの不公平性のアプリケーションパフォーマンスへの影響が分析されています。著者は、KIP-932が実装されるまで、低スループット環境でKafkaをジョブキューとして使用することは推奨しないと結論づけています。

続きを読む
(broot.ca)
開発 ジョブキュー

arXivLabs：コミュニティとの共同実験プロジェクト

2025-02-18
arXivLabs：コミュニティとの共同実験プロジェクト

arXivLabsは、共同研究者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観を重視しており、これらの価値観を共有するパートナーとのみ連携します。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsについて詳しく見てみましょう。

続きを読む
(arxiv.org)
開発

Java/KotlinからGoへ：効率的な移行

2025-02-18
Java/KotlinからGoへ：効率的な移行

この記事では、JavaとKotlinからGoへの開発者の移行について述べています。当初はJavaの成熟したエコシステムとSpringフレームワークを好んでいましたが、プロジェクトの規模と複雑さが増すにつれて、起動時間の遅さと高いリソース消費がボトルネックになりました。Kubernetesツールと自己ホスト型のソフトウェア配布プラットフォームの開発を推進力としてGoへの移行を行い、驚くほどスムーズに進みました。著者は、Goの高速な起動時間、低いリソース消費、軽量なエコシステムを重要な利点として強調しています。Javaの長所も認めつつ、クラウドネイティブアプリケーションとKubernetesにおいてはGoがより優れた選択肢であると結論付けています。

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

赤ちゃんの頃からの学習から機械学習へ：パターン認識の謎

2025-02-18
赤ちゃんの頃からの学習から機械学習へ：パターン認識の謎

著者は、弟が熱いストーブに触れて火傷をする様子を観察し、機械学習とパターン認識との類似点を指摘しています。赤ちゃんが「熱い」を理解する初期段階は、経験を通して感覚入力を関連付けることで構築され、機械学習における空間埋め込みの作成と似ています。新しい経験（ラジエーターに触れるなど）を通して、赤ちゃんは自分のメンタルモデルを更新し、ベイズ更新のように「熱い」という理解を調整します。これは、人間と機械学習の両方がパターン認識に依存していることを示しています。つまり、情報を圧縮し、知識を一般化し、新しい証拠に適応することです。しかし、人間はパターンを過剰に見つけることもあります（アポフェニア）。著者は、創造性とパターン形成を促進するために、静かな熟考の重要性を結論づけています。

続きを読む
(fayziev.com)
AI パターン認識
1 2 … 435 436 437 439 441 442 443 … 595 596