Red Hatは、車載オペレーティングシステムRed Hat In-Vehicle Operating System (IVOS)のISO 26262 ASIL-B認証に向けて、ミックスクリティカリティの機能安全認証を取得したと発表しました。このマイルストーンは、車両向けに革新的なネイティブLinuxベースの機能安全を提供するというRed Hatの取り組みを裏付けるものです。この認証は、IVOSの安全性を検証するだけでなく、将来の自動車への展開における顧客の信頼を高める道も開きます。
続きを読む
NASAのステニス宇宙センターが、初のオープンソースソフトウェアであるピアレビューツールを公開しました。このツールは、協調的なソフトウェアアプリケーション開発を効率化・改善するために設計されています。LabVIEWを長年使用してきた内部経験に基づき、レビュープロセスのいくつかのステップを自動化し、コードの比較とコメント機能を向上させます。最終的には、より高品質なソフトウェアと効率的な開発につながります。現在一般公開されており、世界中の開発者によって継続的に洗練・改善されるコミュニティ主導のプロジェクトとなることを目指しています。
続きを読む
この記事では、テック企業で蔓延しているエンジニアのオンコール体制の悪影響を検証します。Alexというエンジニアの経験をケーススタディとして用い、常時待機、睡眠不足、仕事と私生活の境界の曖昧化、そして十分な報酬がないことなど、オンコール業務に伴う計り知れないストレスと燃え尽きを明らかにします。このようなシステムに内在する搾取を当たり前のこととして扱う、蔓延する文化を批判し、企業に対し、オンコールポリシーの見直し、エンジニアの福祉のための公正な報酬と保護の提供を求めます。
続きを読む
Mill プロジェクトは、Github Actions を利用して、様々なプラットフォーム（Mac、Windows、Linux）でネイティブバイナリをビルドし、Maven Central にアップロードします。巧妙な構成により、JVM 互換の汎用アーティファクトとプラットフォーム固有のネイティブバイナリのアートファクトの公開が分離され、クロスプラットフォームの互換性が確保されます。カスタム `artifactName` と `jar` タスクにより、OS と CPU アーキテクチャのサフィックスが付いたバージョン付きファイルが生成され、ユーザーは自分の環境に適した実行ファイルを選択できます。
続きを読む
Rustは、所有権システムとRAII（Resource Acquisition Is Initialization）によって、コンパイル時にメモリ管理エラーを防ぎます。各値はただ1つの所有者しか持てず、所有権は変数間で移動できますが、特定のオブジェクトを複数の場所で同時に変更可能に参照することはできません。コード例では所有権の移動を示しています。変数`a`の所有権が`_b`に移動した後、`a`に再度アクセスしようとすると、コンパイルエラーが発生し、メモリセーフティが保証されます。これは従来のガベージコレクションとは異なり、Rustはコンパイル時チェックによってメモリセーフティを保証し、パフォーマンスと信頼性を向上させます。
続きを読む
著者は、ReactとProseMirrorを使用して構築されたニューヨークタイムズのリッチテキストエディターOakでの作業経験について語ります。しかし、統合は問題が多く、永続的なバグが発生しました。4年間、両ライブラリの複雑さと格闘した後、チームはReactでProseMirrorのレンダラーを書き直すことを選択しました。これにより、状態の破断などの問題が解決され、パフォーマンスと互換性が向上した新しいライブラリ@handlewithcare/react-prosemirrorが誕生しました。
続きを読む
Ruby Refrigeratorは、すべてのRubyコアクラスとモジュールを凍結し、実行時にコアクラスへの予期しない変更を防ぐツールです。コアクラスを凍結する`freeze_core`メソッドと、コアクラスへの変更についてライブラリをチェックする`check_require`メソッドを提供します。`check_require`は、モジュールとクラスの事前定義、特定クラスの除外、依存関係の指定などのオプションをサポートしています。使いやすいコマンドラインツール`bin/check_require`も提供されています。このツールは、本番環境とテスト環境でのコードの安定性を確保するために非常に役立ちます。
続きを読む
イギリスの考古学者マーク・ホートン率いるチームによって、失われたロアノーク植民地の長年の謎が解明された可能性がある。ハッテラス島で発見されたハンマースケール（鍛造から出る小さな鉄片）は、16世紀後半のイギリスの鉄器鍛造技術の存在を明確に示しており、当時のネイティブアメリカンにはこの技術はなかった。これは、植民地住民が滅亡したのではなく、クロアトアン族のコミュニティに同化して生き延びたことを示唆している。謎は完全に解明されたわけではないかもしれないが、この考古学的証拠は植民地住民の運命について説得力のある説明を与えている。
続きを読む
Structuredは、分析スタック全体をコードに統合することで、開発者がデータアプリケーションを構築および展開する方法に革命を起こしています。本番環境向けデータ集約型アプリケーションの展開における非効率性に対処するため、Structuredは、開発者が数時間でデータアプリケーション（ダッシュボード、内部ツール）のプロトタイプ作成、展開、管理を可能にする軽量SDKを提供しています。同社は、コアSDKの構築、インタラクティブコンポーネントのデザイン、パフォーマンスの最適化などに携わる経験豊富なフルスタックエンジニアを求めています。テクノロジースタックには、Python、TypeScript、Next.js、React、Postgres、AWS/GCPが含まれます。
続きを読む
人気観光スポットであるサンアントニオ・リバーウォークは、巧妙なエンジニアリングによって一定の水位を維持しています。この記事では、システム内の重要な洪水ゲートの交換について詳しく説明しています。このプロジェクトでは、川を排水することなく古いゲートを交換するという大きな課題を克服しました。また、ポンプ室の改修も行われ、洪水制御と水質が改善されました。この物語は、この都市の宝石を保存するための複雑なエンジニアリングと取り組みを示しており、活気のあるダウンタウンエリアで巨大なコンポーネントを慎重に除去および設置するプロセスが強調されています。
続きを読む
Robbe Derks氏は、水を汲むたびにボタンを押すことにうんざりし、ION 900シリーズのウォーターディスペンサーをリバースエンジニアリングと改造しました。ArduinoとPICkitを使って、PIC18F6527とPIC16F630マイクロコントローラーからファームウェアをダンプしました。Ghidraを使ってファームウェアをリバースエンジニアリングし、ボタンとバルブを制御する関数を特定しました。そして、ファームウェアをパッチするためのCコードを書き、'室温水'と'冷水'の両方のボタンを同時に押すと1リットルの冷水を供給する機能を追加しました。リバースエンジニアリングと組み込みプログラミングの課題を克服し、最終的にボタン不要の給水ソリューションを実現しました。
続きを読む
この無料の代替テキストチェッカーツールは、ウェブサイトの画像に代替テキストが含まれているかどうかを迅速に確認するのに役立ちます。代替テキストは、視覚障碍のあるユーザーにとってウェブサイトのアクセシビリティを向上させ、検索エンジン最適化（SEO）を向上させます。このツールはウェブページを自動的にスキャンし、不足している代替テキストの説明を見つけ、レポートを生成して、ウェブサイトの包括性と使いやすさを向上させるのに役立ちます。
続きを読む
ソフトウェアエンジニアが10年間のキャリアを振り返り、ソフトウェア開発に対する考え方の変化を共有しています。シンプルさはもはや当然ではなく、エレガンスは真の尺度ではなく、優れたマネジメントが不可欠です。コミュニケーションが重要であり、若手開発者に探求の余地を与えることが重要です。しかし、コードスタイルは厳しすぎる必要はない、コードカバレッジはコードの質とは無関係、マイクロサービスは正当化が必要、ほとんどのプロジェクトは過剰なスケーリングは不要といった意見は変わりません。開発者にとって貴重な洞察と考察を提供します。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発し、共有することを可能にするフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと協力します。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
SQLiteの日付と時刻関数が拡張され、より豊富な機能が提供されるようになりました。このドキュメントでは、`date`、`time`、`datetime`、`julianday`、`strftime`の5つのコア関数と、`unixepoch`や`localtime`などの様々な日時文字列形式と修飾子について詳しく説明し、より柔軟な日付時刻計算とフォーマットを可能にします。さらに、ユーザーが提供したパッチについても紹介されており、`start of week`、`end of day`などの新しい修飾子や、便利な集計のための`group * by`機能が追加されています。
続きを読む
約1年間の調査の後、NASAは、パーサヴィアランスローバーによって運ばれた火星ヘリコプター「インジェニュイティ」の墜落の謎を解明しました。比較的平坦な火星表面で十分な特徴を識別できなかったため、ヘリコプターのナビゲーションシステムは着陸時に水平方向の速度を持ち、転倒してローターブレードが破損しました。ブラックボックスがないにもかかわらず、調査官は限られたデータと画像から原因を突き止めました。驚くべきことに、インジェニュイティは依然としてパーサヴィアランスと断続的に通信しています。この事故を受け、NASAは、科学機器を搭載できるより大型の火星ヘリコプターを含む、後続ミッションの計画を開始しました。
続きを読む
この記事では、費用対効果の高いAI生産システムの構築について探求しています。タコベルの簡素化されたメニューに例え、複雑なシステムをシンプルで業界標準のコンポーネント（S3、Postgres、HTTPなど）を使用して構築することを提唱しています。焦点は、クラウドコンピューティングのコスト、特にネットワークの出力料金の最小化です。出力料金ゼロのオブジェクトストレージ（Tigrisなど）と、需要に基づいてコンピューティングインスタンスを動的にスケーリングすることにより、コストを大幅に削減できます。ベンダーロックインを最小限に抑えるための依存関係の選択の重要性が強調されており、HTTPリクエスト、DNSルックアップ、Postgresまたはオブジェクトストレージ、Kubernetesを使用したアーキテクチャ例が示されています。これにより、クラウドプロバイダー間の移植性が実現します。
続きを読む
1900年代初頭、逆絵画、またはアメリカにおけるその変形である金銀箔絵画は廃れており、女性的な工芸、時代遅れなものと考えられていました。しかし、1910年代から、マースデン・ハートリーやレベッカ・サルズベリー・ジェームズといった芸術家たちがこの技法を復活させ、伝統的な主題を拡張し、新しい色彩、線、空間へのアプローチを探求することで、この古い技法にモダニズムの息吹を与えました。これは、ポーランドのヤノシャンカによる同様の作品と時を同じくしており、伝統的な技法を再解釈する芸術的革新の力を示しています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
ロン・ワイデン上院議員は、CLOUD法の欠陥に対処する「アメリカオンラインサービスへの世界的な信頼に関する法律」案を発表しました。この法案は、外国政府がアメリカ企業に対しサービスのセキュリティを弱体化させることを要求することを防ぐことを目的としています。この法案は、外国政府が企業に製品のデザイン変更、セキュリティの低下、マルウェアの提供を強制することを防ぎ、アメリカ企業がアメリカ連邦裁判所で外国からの命令に異議を申し立てることを可能にし、現在の否認メカニズムに代わるCLOUD法の合意に対する議会の承認を義務付け、監督のための5年間の期限切れ条項を追加します。
続きを読む
HP Inc.は、欧州数カ国で、一般消費者向けPCおよびプリンターの電話サポートに最低15分の待ち時間を導入しました。これは、顧客をオンラインサポートチャネルに誘導し、保証コストを削減するための戦略です。社内関係者は懸念を表明しており、意思決定者と影響を受ける顧客との間の乖離を強調しています。HPは顧客満足度指標を監視していると主張していますが、この措置により、一部の顧客がソーシャルメディアやライブチャットなどの代替サポート方法に転じる可能性があります。
続きを読む
アドバンスト・プレイスメント（AP）プログラムの創設者であるカレッジボードは、カリキュラムに革命を起こしています。IBMや米国商工会議所などの業界大手と提携し、AP Career Kickstartを立ち上げ、当初はサイバーセキュリティとビジネス原理/個人ファイナンスのコースを提供します。これは、高校教育と需要の高い仕事スキルとのギャップを埋めることを目指しており、大学進学にのみ焦点を当てていない学生を引きつけます。これらのコースは大学の単位を取得でき、業界で認められたスキルが身につくため、就職の可能性を高めます。これは、伝統的な教育と職業訓練の境界線が曖昧になっていることを示しており、高等教育の価値に関する社会全体の再評価を反映しています。
続きを読む
韓国で済州航空のボーイング737-800型機が墜落し、179人が死亡しました。調査の結果、フライトデータレコーダー（FDR）とコックピットボイスレコーダー（CVR）の両方が、墜落の4分前に記録を停止していたことが判明しました。この重要なデータの損失により、調査は複雑化しており、調査官は事故原因を特定するために他の証拠に頼らざるを得なくなっています。現在調査中の可能性のある原因としては、鳥の衝突、着陸装置の故障、滑走路の防護柵などが挙げられます。国土交通相は辞任し、当局は空港と済州航空を調査しています。
続きを読む
気を散らすウェブサイトを何度も何度も見ていることにうんざりしていませんか？TabBoo Chrome拡張機能がお役に立てるかもしれません。特定のウェブサイトにアクセスしようとすると、ランダムにびっくり演出が表示され、嫌悪的条件付けを利用して悪いオンライン習慣を断つお手伝いをします。無限ループに別れを告げ、ブラウジング時間の管理を取り戻しましょう。
続きを読む
Snowは、Rustで記述されたオープンソースのMacintoshエミュレータです。Motorola 680x0ベースのクラシックMacintoshコンピュータを、ハードウェアレベルで可能な限り正確にエミュレートすることを目指しています。ROMをパッチしたり、システムコールをインターセプトするエミュレータとは異なり、Snowは低レベルのハードウェアエミュレーションに焦点を当てています。現在、Macintosh 128K、512K、Plus、SE、Classic、IIをサポートしています。開発中ですが、最新ビルドと限定的なオンラインデモ（エミュレートされたマシンのみ）を利用できます。
続きを読む
r1-computer-useプロジェクトは、ファイルシステム、Webブラウザ、コマンドラインなど、人間のようにコンピューターを操作できるAIエージェントを訓練することを目指しています。DeepSeek-R1の強化学習技術に触発されたこのプロジェクトは、従来のハードコーディングされた検証器の代わりに、エージェントのアクションの正しさや有用性を評価するためのニューラル報酬モデルを使用しています。トレーニングパイプラインは、専門家のデモンストレーションから報酬モデルによるポリシー最適化とファインチューニングまで、複数の段階を含み、最終的には複雑なタスクを実行できる安全で信頼性の高いAIエージェントを目指しています。
続きを読む
Clayは、レスポンシブでアクセシブルなUIを構築するための軽量UIレイアウトライブラリです。シンプルで直感的なAPIにより、開発者は複雑なレイアウトを簡単に作成でき、コードの保守性と可読性を維持できます。Clayはパフォーマンスとアクセシビリティを重視し、効率化されたコードと適切なアーキテクチャにより、高速な読み込み時間とユーザーフレンドリーさを保証します。シンプルなページレイアウトから複雑なインタラクティブアプリケーションまで、Clayは開発者が効率的に高品質のUIを構築することを支援します。
続きを読む
この記事では、システム全体を再構築することなく、既存のアプリケーションにベクトル検索をシームレスに統合する方法を示しています。著者は、猫の画像埋め込みとTPCC購入履歴データを組み合わせて、視覚的に類似した猫に基づいて製品を推奨する、シンプルなレコメンドエンジンの例を使用しています。これは、拡張SQL構文とAPIを使用して、既存のアプリケーションにAI機能を追加する方法を示しており、高並行ワークロード下でのデータベースエンジン、ベクトルインデックス、I/Oサブシステムのテストの重要性を強調しています。著者は、既存のインフラストラクチャにAIを追加することの容易性を強調しています。
続きを読む
Quantusは、プロのトレーダーと機関投資家に効率的で信頼性の高い取引ソリューションを提供するために設計された、高度なクオンツ取引プラットフォームです。強力なデータ分析ツール、柔軟なバックテスト機能、低遅延の取引実行システムを統合することで、ユーザーは市場の機会をより効果的に捉え、投資収益率を高めることができます。堅牢なテクノロジーとユーザーフレンドリーなインターフェースにより、Quantusはフィンテック業界で急速に台頭しつつあります。
続きを読む
欧州連合のデジタル市場法（DMA）により、EU圏内のiOSユーザー向けに代替アプリストアが続々と登場しています。AltStore PAL、Setapp Mobile、Epic Games Store、Aptoide、Mobiventionなど、AppleのApp Store以外に選択肢が増えました。これらのストアはそれぞれ特徴が異なり、AltStore PALはオープンソースと開発者によるセルフホスティングを重視し、Setapp Mobileはサブスクリプション型の厳選アプリを提供、Epic Games StoreとAptoideはゲームに特化、Mobiventionは企業向け内部アプリに焦点を当てています。Appleは手数料を徴収しますが、DMAの施行によってAppleのApp Storeの独占状態が崩れ、ユーザーと開発者の双方に新たな機会が生まれています。
続きを読む