Category: 開発

Revontuliテーマアップデートログ:より明るい青!

2025-07-30
Revontuliテーマアップデートログ:より明るい青!

Revontuliテーマは数々のアップデートが行われ、最も注目すべきは青色の色調の明るさが大幅に向上したことでしょう。2023年6月から2025年7月にかけて、アップデートは様々なアプリケーションに及びました。コードエディタ(VSCode、Vim、Sublime Textなど)、ターミナル(Konsole)、さらには壁紙も含まれます。青色の改良に加え、Eve Onlineテーマなどの新しいテーマの追加、バグ修正、テストファイルの追加なども行われました。これは細部へのこだわりと継続的な改善へのコミットメントを示しています。

Microsoft Flight Simulator 2024:WebAssemblyモジュール開発の詳細

2025-07-30

Microsoft Flight Simulator 2024は、アドオンの新しい標準としてWebAssembly(WASM)モジュールを採用し、セキュリティと移植性を向上させています。この記事では、WASMモジュール開発のためのVisual Studioツールセットについて詳しく説明します。これには、C/C++プロジェクトのWASMへの直接コンパイル、WASMモジュールのデバッグ、標準C/C++ライブラリの広範なサポートが含まれます。また、ゲーム内でのWASMモジュールのさまざまな使用方法(スタンドアロン、ゲージ、空港、システムモジュール)、API、ファイルアクセス、MSFS 2020からのアップグレード、既知の問題と制限に関する重要な情報についても説明します。開発者は、レガシーGauge APIが廃止され、Vars APIとEvent APIが推奨されていることに注意する必要があります。

開発

退屈な多要素認証を超えて:とんでもなくバカげた認証アイデア

2025-07-30

退屈な多要素認証にうんざりしていませんか?この記事の著者は、ポーカーハンドの比較からルービックキューブのパズル、チェスの対戦、さらにはカラオケの演奏まで、実に独創的でばかげた代替案の数々を紹介しています!それぞれのアイデアには独自の個性があり、高いセキュリティを誇るものもあれば、使いやすさを優先するもの、単にばかげていて面白いものもあります。著者は、セキュリティとユーザーエクスペリエンスのバランスが重要であり、車輪の再発明は避けるべきだと警告しています。

開発

Linuxカーネル6.16:小さな変更、大きな改善

2025-07-30
Linuxカーネル6.16:小さな変更、大きな改善

Linuxカーネル6.16は、一見マイナーなリリースですが、重要な改善が含まれています。Rustの統合が深まり、ドライバコアとPCIデバイスサブシステムに新しいバインディングが追加され、Rustベースのハードウェアドライバの追加が簡素化されました。Direct Rendering Manager (DRM)には新しいRust抽象化が追加され、グラフィックパフォーマンスが向上し、脆弱性が軽減されました。XFSとExt4ファイルシステムも改良され、シーケンシャルI/Oワークロードで最大37%の高速化を実現しました。セキュリティは、Intel TXTとTDXのサポートによって強化され、Intel APXとNvidia Blackwell GPUのサポートも向上しました。TCP/IPとDMABUFの相互作用に関する変更により、ネットワークパフォーマンスも向上しました。

開発

JavaScriptのDateオブジェクトのUTCトラップ:日本でデータが欠損

2025-07-30

一見シンプルなJavaScriptの日付フィルターが、日本のユーザーの午前9時前にバックエンドデータが欠損する原因となりました。なぜなら、`new Date('YYYY-MM-DD')`はUTCの真夜中の日付オブジェクトを作成し、日本(UTC+9)では午前9時になるためです。そのため、「1月1日より大きい」は実際には「1月1日午前9時より大きい」を意味していました。修正は、UTCのデフォルトを避けるために、明示的に時間を真夜中に設定することでした。

開発 日付

Observable Notebook:AI搭載の次世代ノートブック

2025-07-30

Observableは、GitHub上にホストされた新しいノートブックをリリースしました。お好みのテキストエディタで作成し、Notebook Kitを使用してプレビュー/ビルドできます。AIによる生産性向上、Observableワークスペースでのインスタントコラボレーションと共有、Observableキャンバスによる迅速なデータの視覚的探索とプレゼンテーションを組み合わせた、最高クラスのエディタを目指しています。オープンソースと商用利用の両方を歓迎します。

Yakread の書き直し:Clojure と Biff を使用してより保守しやすいリーダーアプリを構築する

2025-07-30
Yakread の書き直し:Clojure と Biff を使用してより保守しやすいリーダーアプリを構築する

著者は Yakread リーダーアプリを書き直し、オープンソース化しており、同時に Clojure のウェブフレームワークである Biff の新機能を試しています。元の 10,000 行のコードベースの保守の問題に対処するために、3 つの主要なアーキテクチャ手法を採用しました。1. より高速なクエリを実現するために、XTDB と RocksDB を使用してマテリアライズドビューを実装する。2. アプリケーションロジックと副作用を分離して、より純粋なコードと容易なテストを実現する。3. 再利用可能なデータアクセスレイヤーを構築するために Pathom を使用して、保守性と可読性を向上させる。これらの手法により、テスト容易性、可観測性、保守性が向上し、Biff フレームワークに新たな改善がもたらされます。

開発

システム設計の要素:原則の周期表

2025-07-30
システム設計の要素:原則の周期表

本論文は、コンピュータシステムの複数のドメインから抽出されたシステム設計原則の予備的な分類体系を提案しています。目標は、構造とトレードオフを理解し、異なるドメイン間での設計を比較し、より明確に選択を伝えるための、共有された簡潔な語彙です。これは、システム設計の一般的な軸を反映したテーマ別グループに整理された、40以上の汎用システム設計原則のキュレーションされたセットを示しています。各原則には、迅速な参照のための短い記号が付けられており、具体的なメカニズムよりも設計意図が強調されています。目的は、学生、研究者、および実践者にとって、より一貫性のあるシステム設計のメンタルマップを提供することです。

開発

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

2025-07-30
arXivLabs:コミュニティとの共同実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能を直接当社のウェブサイトで開発および共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという当社の価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと協力しています。arXivコミュニティに役立つプロジェクトのアイデアがありますか?arXivLabsの詳細をご覧ください。

開発

新しいプログラミング言語の文法仕様

2025-07-30

このドキュメントは、新しいプログラミング言語の文法規則を詳細に定義しており、型、式、パターン、関数定義、型定義など、様々な側面を網羅しています。一連のコンテキストフリー文法規則(BNF表記)によって、言語の構造を正確に記述し、コンパイラやインタプリタの実装のための堅牢な基盤を提供します。この強力な言語は、関数型プログラミング、パターンマッチング、型推論などの高度な機能をサポートしています。

開発 文法仕様

FreeBSDのPKGBASEに批判殺到:基本システムコンポーネントが誤って削除される

2025-07-30

FreeBSDのパッケージ管理システムであるPKGBASEが論争に直面しています。ユーザーは、`pkg delete -af`コマンドを実行すると、非PKGBASEのFreeBSDシステムではサードパーティパッケージのみが削除されるのに対し、PKGBASEシステムではviエディタなどの重要なツールを含むほぼすべての基本システムコンポーネントが削除されることを発見しました。これは、システムの安定性とPOLA(最小限の驚き)に関する懸念を引き起こしており、同じコマンドが全く異なる動作をするため、システムが使用不能になる可能性があります。

開発

ブックマーク可能な設計:HTMXにおけるURL駆動の状態管理

2025-07-30
ブックマーク可能な設計:HTMXにおけるURL駆動の状態管理

この記事では、URLパラメータを唯一の情報源として利用した、HTMXにおけるエレガントな状態管理手法を紹介します。URLを活用することで、開発者は複雑なクライアントサイドの状態管理ライブラリなしに、フィルタリング、ソート、ページネーション、検索を処理できます。これにより、ブックマーク可能で共有可能なアプリケーションの状態、シームレスなブラウザ履歴ナビゲーション、簡素化されたデバッグを実現します。この記事では、サーバーによるURLパラメータの読み取り、フォームと非表示フィールドによる状態の調整、`hx-push-url`を使用した自動URL同期という3つの主要な手順を詳細に説明します。URLの長さ制限やパラメータの検証など、本番環境での考慮事項についても議論します。

丸め誤差に別れを告げる:分離点算術(DPA)

2025-07-29
丸め誤差に別れを告げる:分離点算術(DPA)

パトリック・ブライアントが開発した分離点算術(DPA)は、数値計算に革命を起こします。整数仮数部とその小数点の位置を分離することで、DPAはすべての演算を整数演算を使用して実行し、丸め処理を最終出力まで遅らせます。これにより、浮動小数点演算に固有の普遍的な丸め誤差が排除されます。金融、科学、AIなど幅広い分野への応用が期待され、DPAは精度と効率の大幅な向上を約束します。GitHubで無料で入手可能なシンプルで効率的な実装は、協働と改善を促します。

Claudeの出し抜き:ProとMaxの週間制限

2025-07-29
Claudeの出し抜き:ProとMaxの週間制限

AnthropicのAIコーディングアシスタントClaude ProとMaxに、週間利用制限が追加され、有料ユーザーを怒らせています。これは、当初「無制限」アクセスを提供してから、ヘビーユーザーに制限を課すという業界の problematic な傾向を浮き彫りにしています。著者は、これが開発者の信頼を損なうと主張し、透明な価格設定を提唱しています。対照的に、Kilo Codeは、 upfront な価格設定による従量課金制と、今週300%のボーナスクレジットキャンペーンを提供する代替案としています。

開発

強化学習による長期間ターミナルエージェントのトレーニング:Terminal-Bench-RL

2025-07-29
強化学習による長期間ターミナルエージェントのトレーニング:Terminal-Bench-RL

このプロジェクトは、長期間のターミナルベースのコーディングエージェントをトレーニングするための、4ノードにわたる32個のH100 GPUにスケーリングする安定した強化学習トレーニングインフラストラクチャの作成について詳述しています。著者は、Terminal-Agent-Qwen3-32bを開発し、トレーニング*なし*でQwen3エージェントのterminal-benchで最高スコアを達成しました!rLLMフレームワークに基づいて構築されており、カスタム環境とインフラストラクチャが含まれています。約100万ドルのコンピューティングリソースを使用して、エージェントはterminal-benchのリーダーボードで19位を獲得し、スタンフォードとOpenAIのいくつかのトップエージェントを上回りました。洗練されたシステムプロンプトとカスタムツールがエージェントの動作をガイドします。完全なトレーニング実行は費用がかかりすぎるため、コードとデータセットが提供されており、より多くのコンピューティングリソースによるさらなる研究を促しています。

Hologram v0.5.0 リリース:パフォーマンス向上と新機能

2025-07-29
Hologram v0.5.0 リリース:パフォーマンス向上と新機能

Hologram v0.5.0 がリリースされ、大幅なパフォーマンス向上と新機能が追加されました。クライアント側の主要な操作はミリ秒からマイクロ秒に高速化され、リアルタイムインタラクションが可能になりました。このリリースには、包括的なセッションと Cookie の管理、新しい HTTP ベースのトランスポートレイヤー、ライブリロード機能、インクリメンタルコンパイルなどが含まれています。また、高性能なビットストリング実装、基礎的な CRDT のサポートなども導入され、将来的な分散機能の基盤が築かれました。950 を超えるコミットにより、開発者エクスペリエンスとランタイムパフォーマンスが向上しました。

CopyParty:あらゆるデバイスを、再開可能なアップロード/ダウンロードに対応したファイルサーバーに変換

2025-07-29
CopyParty:あらゆるデバイスを、再開可能なアップロード/ダウンロードに対応したファイルサーバーに変換

CopyPartyは、ほぼあらゆるデバイスを、あらゆるウェブブラウザからアクセス可能なフル機能のファイルサーバーに変換する素晴らしいプロジェクトです。再開可能なアップロードとダウンロードをサポートし、ユーザーフレンドリーなインターフェース、様々なファイルタイプの処理、ファイルインデックス、メディアプレビュー、オーディオトランスコーディング、きめ細かい権限制御などの豊富な機能を提供します。`copyparty-sfx.py`を実行するだけで簡単に開始できます。または、地下室のNUCで実行されている読み取り専用のデモサーバーにアクセスすることもできます。CopyPartyは、シンプルさ、パワー、クロスプラットフォームの互換性を目指しており、緊急時のファイル転送ソリューションとして理想的です。

Samsung、One UI 8でブートローダーのロックを解除できなくなり、カスタマイズが制限される

2025-07-29
Samsung、One UI 8でブートローダーのロックを解除できなくなり、カスタマイズが制限される

Androidのカスタマイズコミュニティは、SamsungのOne UI 8アップデートが多くのデバイスでブートローダーのロック解除オプションを削除したことを発見し、激怒している。以前は米国以外で利用可能だったこの機能により、ユーザーはカスタムROMとカーネルをインストールすることができた。証拠によると、このオプションはGalaxy S25のOne UI 8ベータ版ビルドと、Z Fold 7およびZ Flip 7の安定版ビルドでは削除されており、世界中のユーザーに影響を与えている。Samsungは現在7年間のOSアップデートを提供しているが、この動きにより、ユーザーはカスタムROMを使用してデバイスの寿命を延ばしたり、パフォーマンスを向上させたりすることができなくなり、Androidのカスタマイズを高く評価するユーザーにとって大きな痛手となる。

開発

Anthropic、Claude AIコーディングツールに毎週の使用制限を導入

2025-07-29
Anthropic、Claude AIコーディングツールに毎週の使用制限を導入

AI企業Anthropicは、8月28日より、Claude ProおよびMaxのサブスクライバーに対して、新しい毎週の使用制限を導入すると発表しました。これは、ユーザーがClaude Code AIコーディングツールを24時間365日継続的に実行したり、アカウント共有やアクセス権の転売によって利用規約に違反している問題に対処するためです。5%未満のユーザーに影響するものの、この制限は、AIモデルプロバイダーが直面する計算リソースの制約と、持続可能なサービスモデルの模索を浮き彫りにしています。他のAIコーディングツールプロバイダーも同様の価格変更を行っています。

開発

信頼性の高いAIエージェントの構築:6つの苦労して得た教訓

2025-07-29
信頼性の高いAIエージェントの構築:6つの苦労して得た教訓

この記事では、AIエージェント構築において学んだ6つの重要な教訓を共有しています。著者は、明確な指示、効率的なコンテキスト管理、堅牢なツールインターフェース、自動化された検証ループの重要性を強調しています。現代のLLMは、操作的なプロンプトを避け、直接的かつ詳細なコンテキストを必要とすることを指摘しています。強力なAIエージェントは、LLMをツールと基本的な制御フロー演算子と組み合わせることで構築されます。生成と検証の2段階アルゴリズムが推奨され、反復的な改善とエラー分析は信頼性と回復力にとって不可欠です。

開発

テキストをドットで置き換えるフォント「433」

2025-07-29
テキストをドットで置き換えるフォント「433」

Ensōのカフェショップモードでテキストをマスクするために、空白以外の文字をすべてドットに置き換えるフォント「433」を作成しました。この記事では、フォントデザインの原則、Unicodeエンコーディング、WOFF2圧縮などを含む作成プロセスを詳しく説明します。また、開発中に遭遇した課題や解決策、フォント、Unicode、多言語サポートに関する知見も共有します。このプロジェクトは、急速に成長しているアプリの多様なユーザーベースに対応する必要性から生まれました。

子供向けアプリのデザイン:Kidz Fun Artからの学び

2025-07-29
子供向けアプリのデザイン:Kidz Fun Artからの学び

この記事は、4年間にわたる子供向けタブレット最適化ドローイングアプリKidz Fun Artの開発で得られた教訓を詳述しています。著者は、子供向けアプリのデザインにおける独自の課題と解決策を強調しています。具体的には、テキストの最小化、ツールとオブジェクトの配置の最適化、インタラクションの簡素化、エラーの容易な修正、大人の介入が必要なタイミングの判断、細かいモータースキルへの依存の軽減、手のひら拒否問題への対処、そして楽しいデザイン要素の取り込みなどです。また、倫理的な収益化戦略、プライバシーへの懸念、子供による直接的なお金の使い込みの防止についても強調しています。

SQLx: コンパイル時クエリチェック付き非同期、純粋Rust SQLツールキット

2025-07-29
SQLx: コンパイル時クエリチェック付き非同期、純粋Rust SQLツールキット

SQLxは、DSLを使用しないコンパイル時チェック付きの非同期、純粋Rust† SQLクレートです。PostgreSQL、MySQL、MariaDB、SQLiteをサポートし、ランタイム非依存(async-std、tokio、actixと動作)、組み込み接続プール、行ストリーミング、TLSサポート、非同期通知などの機能を備えています。SQLxは、コンパイル時のSQL検証にマクロを使用し、開発者の利便性のために高レベルと低レベルの両方のクエリAPIを提供します。

開発

見事なJavaScript時計ビジュアライゼーション

2025-07-29

このプロジェクトは、JavaScriptでレンダリングされた素晴らしい時計ビジュアライゼーションを紹介します。ユニックスタイムスタンプのバイナリ表現、年、月、週、日、時間、分、秒を示す多角形、異なる時間スケールを表す波のある動的なブロブ、地球、月、太陽を示す太陽系モデル、そして時間の経過を示すピークと波など、創造的な方法で時間を表示します。ソースコードはオープンソースで変更可能です。

ミリ秒未満のゲームストリーミング:新コーデック登場

2025-07-29

開発者が、修士論文に基づいて、超低遅延ゲームストリーミング用ビデオコーデックPyroWaveを作成しました。従来の動き予測とエントロピー符号化を廃し、離散ウェーブレット変換(DWT)とブロックベースの符号化を用いることで、ミリ秒未満の遅延を実現しています(エンコード100マイクロ秒未満、デコード1ミリ秒未満)。ビットレートは高い(100 Mbit/s以上)ものの、ローカルネットワーク環境では非常に優れた性能を発揮し、エラー耐性も抜群です。NVENCとの比較ベンチマークでは、いくつかのシーンでPyroWaveが優れた画質を示しており、低遅延ゲームストリーミング分野における可能性を示唆しています。

Pony:高性能で安全なActorモデル言語

2025-07-29

Ponyはオープンソースのオブジェクト指向、Actorモデル、能力安全、高性能プログラミング言語です。独自のActorモデルにより、安全で効率的な並行プログラミングを実現します。すぐに始めたいですか?ブラウザでPony Playgroundを試してみてください!Ponyの設計理念と利点についてさらに学ぶには、初期の歴史をご覧ください。

開発

ReactにおけるuseCallbackとuseMemoの過剰使用

2025-07-28
ReactにおけるuseCallbackとuseMemoの過剰使用

この記事では、React開発における`useCallback`と`useMemo`の過剰使用について論じています。著者は、多くの場合、これらのフックは参照の安定性を確保するために使用されますが、常に必要というわけではなく、パフォーマンスのオーバーヘッドやコードの複雑化につながる可能性があると主張しています。記事では、コンポーネントがメモ化されていない場合や、propsがeffectの依存関係として使用されている場合など、`useCallback`と`useMemo`を使用してもパフォーマンスの向上がなく、逆にコードの複雑さを増すいくつかのシナリオを示しています。著者は、明確なパフォーマンスボトルネックがない限り、これらのフックの過剰使用を避けることを提案し、参照の安定性の問題に対処するためにrefsまたは今後の`useEffectEvent`の使用を推奨しています。

開発

Chromeのワンタップサインインダイアログ:Googleは自社ブラウザを優遇しているか?

2025-07-28

多くのウェブサイトで、迷惑な「Googleでサインイン」バナーが表示されます。私のブラウザ拡張機能StopTheMadness Proはこれらのバナーを非表示にしますが、Chromeは異なります。Chromeはこれらのバナーを表示しませんが、同様のワンタップダイアログを表示します。これはChromeアプリの一部であり、拡張機能では非表示にできません。幸いなことに、このダイアログはChromeの設定で無効にできます。これは、Googleが自社ブラウザを優先していることを示唆するもう一つの例です。

Windows 11組み込みマルウェアへの対抗策:オープンソースによる反撃

2025-07-28
Windows 11組み込みマルウェアへの対抗策:オープンソースによる反撃

Windows 11は、気を散らす広告やトラッキング機能が満載で、まるで組み込みマルウェアのようです。この記事では、マイクロソフトの策略に対抗するために、自動化されたWindowsクリーンアップツールを開発することを提唱しています。このツールは、オープンソース、ユーザーフレンドリー、構成可能で、既存の優れたツールと統合される必要があります。最終目標は、コミュニティの圧力を通じてマイクロソフトに方針転換を迫り、ユーザーエクスペリエンスを向上させることであり、これはFOSSがマイクロソフトの支配に対抗する好例となります。

開発

arXivLabs:コミュニティとの協働による実験プロジェクト

2025-07-28
arXivLabs:コミュニティとの協働による実験プロジェクト

arXivLabsは、協力者たちがarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーのみと協力します。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか?arXivLabsについて詳しく知りたい方は、こちらをご覧ください。

開発
1 2 33 34 35 37 39 40 41 214 215