Bundler開発に10年携わってきた作者が、ついに新たなRuby管理ツールrvを開発しました。rvはgem依存関係だけでなく、Rubyのバージョン管理も行い、事前にコンパイルされたRubyをインストールすることで、長いコンパイル時間を解消します。さらに重要なのは、異なるRubyバージョンを必要とするスクリプトやツールであっても、簡単に実行できることです。uv（Pythonの類似ツール）、cargo、npmといった優れたツールの設計思想を取り入れ、高速性、信頼性、そして`rv tool run`や`rv tool install`といった革新的な機能を備え、Ruby環境の管理を簡素化し、開発者の生産性を飛躍的に向上させます。
続きを読む
3月30日、Isar Aerospace社はノルウェーのアンドーヤ宇宙センターからSpectrumロケットの初軌道打ち上げを試みましたが、失敗に終わりました。2段式ロケットは打ち上げから約18秒後に制御不能となり、30秒後に海上に墜落しました。これは、英国とロシアを除くヨーロッパ大陸からの初の軌道打ち上げ試みでした。失敗にもかかわらず、Isar Aerospace社は収集した飛行データを利用し、ロケットの開発を継続し、欧州の商業宇宙打ち上げ市場における主要プレーヤーとなることを目指しています。同社はすでに複数の顧客と打ち上げ契約を結んでいます。
続きを読む
AMDとIntelはどちらも、時間の経過とともにCPUのパフォーマンスが低下する問題に直面しており、これはしばしば、マザーボードメーカーがデフォルト設定から逸脱することに関連しています。同様の問題に対処するために、AMDはユーザーに対し、最新のデフォルト設定を取得し、互換性とセキュリティを向上させるために、マザーボードのBIOSを迅速に更新することを推奨しています。AMDのチップセットとCPUソケットは寿命が長く、さまざまな電力管理ツールやオーバークロックツールと合わせて、非常に幅広いシステム構成が生じるため、テストの難易度が高まります。これは特にAM4マザーボードに当てはまり、理論的にはずっと後のCPUと組み合わせることが可能です。これはIntelのエコシステムとは異なります。
続きを読む
サーバーの移行中に、作者はhotio/qbittorrent Dockerコンテナ内で、過剰なCPUリソースを消費する疑わしいプロセスnetservletを発見しました。調査の結果、netservletはステルス型の仮想通貨マイナーであり、おそらくXMRigまたはその派生版であることが判明しました。コアダンプの分析により、仮想通貨マイニング関連の文字列（例：cryptonight、ethash_calculate_dag_item）とマイニングプールのアドレス（auto.c3pool.org:19999）が検出されました。これは、ランダムなDockerイメージを信用せず、システムリソースを定期的に監視し、ホストとコンテナを監査してセキュリティ侵害を防ぐことの重要性を強調しています。
続きを読む
MITREのCVE契約の期限切れが近づいていることが論争を巻き起こし、ソフトウェアセキュリティ改善の提案につながっています。現在のCVEシステムは不正確な報告であふれており、価値が低下しています。著者は、スコアではなく脆弱性の属性に基づいたシステムと、プロフェッショナルソフトウェアエンジニア（PSWE）認定を提案しています。決められた時間内に正確に脆弱性を報告しなかった場合、資格が取り消されるため、問題の報告が促進されます。この提案には、将来のPSWEの資金提供とトレーニングが含まれており、アクセシビリティの問題にも対処し、最終的にソフトウェアセキュリティとFOSSプロジェクトの持続可能性にとってウィンウィンとなるシナリオが作成されます。
続きを読む
Gmailtailは、Gmailのメッセージをリアルタイムで監視し、JSON形式で出力するコマンドラインツールです。柔軟なフィルタリング（送信者、件名、ラベル、添付ファイルなど）、複数の出力形式（JSON、JSON Lines、コンパクト形式）、OAuth2とサービスアカウント認証、チェックポイント機能などを備えています。シンプルなコマンドライン引数またはYAML設定ファイルを使用して監視ルールをカスタマイズでき、自動化、監視、他のツールとの統合に最適です。
続きを読む
1982年、イギリスでJupiter Aceという小型の家庭用コンピュータが発売されました。そのユニークな特徴は、ROMにBASICではなくForthが組み込まれていたことです。この記事では、当時ROMにBASICを組み込むことがなぜそれほど重要だったのか、そしてForthに置き換えたことがJupiter Aceの失敗の主な理由だったのかを探ります。Forthは高速でプロフェッショナルなソフトウェア開発に適しているなどの技術的な利点がありましたが、より急な学習曲線とAceの時代遅れのハードウェア（3KBのRAM、カラーグラフィックなし）が最終的にその失敗を招きました。ほとんどのユーザーは、プログラミング言語よりもゲームやメモリを優先しました。
続きを読む
新たな研究によると、2023年に米国で行われた9300万件のCTスキャンは、10万件以上の癌、そのうち子供は約1万件を引き起こす可能性があるとされています。これは米国における全癌の5％に相当し、アルコールが原因の癌と同数です。研究者たちは、不必要なスキャンを減らし、放射線量を最適化することで、癌リスクを軽減するよう促しています。CTスキャンは診断と治療に不可欠ですが、過剰使用は放射線被ばくを増やし、癌リスクを高めます。研究では、臨床的に正当化されたスキャンを行い、年齢と臓器に合わせた線量調整を行うことが重要であると強調しています。
続きを読む
数学者たちは、結び目理論における長年の予想を覆す発見をしました。これまで、異なる2つの結び目を繋ぎ合わせると、新しい結び目の複雑さは個々の結び目の複雑さの合計に等しいと考えられていました。しかし、研究者たちは最近、その合計よりも単純な結び目を見出しました。この発見は、結び目の複雑さに対する私たちの理解に挑戦し、タンパク質の折り畳みや分子構造の安定性などの分野に新たな知見をもたらします。
続きを読む
上海は、新しい「DZ」（カスタマイズされた）バスシステムで公共交通機関に革命を起こしています。住民はオンラインプラットフォームを介してルートを提案し、十分な人数（通常15～20人）が登録すれば、ルートが開始されます。220以上のDZルートがすでに市内を運行しており、柔軟で需要に応じたソリューションを提供しています。効率性と利便性で称賛されている一方で、乗客の需要の不均衡や、一般の認知度が低いといった課題にも直面しています。今後の改善は、ルートプランニング、プラットフォームのアップグレード、可視性の向上に重点が置かれます。
続きを読む
コンピューター科学者が、現在のAIを取り巻く過剰な宣伝を情熱的に批判しています。多くの企業がトレンドを盲目的に追いかけ、AIを万能薬と見なす一方で、実際的なツールとしては捉えていません。この宣伝は資金の無駄遣い、人材のミスマッチ、さらにはプライバシーと自由の犠牲をもたらします。彼は、AIの宣伝のうち本当に役に立つものはごくわずかであり、残りは誇張されたナンセンスだと主張し、最終的には投資家と中小企業に損害を与えると結論づけています。著者は、読者にAIを理性的に見極め、メディアや世論に流されないよう促しています。
続きを読む
英国政府がAppleのエンドツーエンド暗号化にバックドアを秘密裏に要求しようとした試みは、内務省が国家安全保障上の理由でそれを秘密にできなかったため失敗に終わった。これは、政府によるセキュリティメカニズムの乱用と、民主主義社会における秘密裁判の不適切さを浮き彫りにしている。この記事は、英国政府の行動とトランプ政権によるセキュリティクリアランスの不正使用を比較し、どちらも権力とセキュリティメカニズムの乱用を示しており、個人の自由と表現の自由を脅かしていると主張している。著者は、デジタル時代の新たなセキュリティ上の課題に対処するために、国家によるセキュリティメカニズムの乱用に対するより強力な法的監視を呼びかけている。
続きを読む
1741年、イギリス海軍艦HMSウェージャーは、危険なドレーク海峡で壊滅的な嵐に遭遇しました。船長は死亡し、多くの乗組員が壊血病にかかり、船は南米沿岸の荒涼とした島に難破しました。その後数ヶ月、生存者たちは飢餓、病気、厳しい気候、そして内部抗争と戦い、ついに反乱が勃発しました。砲手のジョン・バルクリー率いる一派は、残骸から小さな船を建造し、危険な帰郷の旅に出ました。このスリリングな物語は、圧倒的な困難に立ち向かう彼らの信じられないほどの生存、そして逆境に直面した人間の複雑さを詳細に描いています。
続きを読む
英国最大のスーパーマーケットチェーンであるテスコは、Broadcomが既存のVMwareサポート契約を履行することを拒否しているとして提訴しました。テスコが新しいライセンスに移行しない限り、サポート契約を履行しないと主張しており、これによりテスコの運営が脅かされ、1億ポンドを超える損害賠償請求につながっています。Broadcomの積極的なライセンス政策は、恐喝であると非難されており、集団訴訟に発展する可能性があり、業界全体で懸念を引き起こしています。
続きを読む
これは、著者がSebastian Raschkaの「ゼロから始める大規模言語モデル」を読み進めている様子を記録したシリーズ記事の8本目であり、訓練可能な重みを用いた自己注意機構の実装に焦点を当てています。GPTスタイルのデコーダーのみのトランスフォーマーLLMに関わるステップ、つまりトークンと位置の埋め込み、自己注意機構、注意スコアの正規化、コンテキストベクトルの生成をまずレビューします。記事の中心は、スケーリングされたドット積注意機構であり、訓練可能な重み行列がどのように入力埋め込みを異なる空間（クエリ、キー、値）に投影するかを説明しています。効率的な計算のために行列乗算が活用されます。著者はこのプロセスの明確で機械的な説明を提供し、因果的自己注意機構とマルチヘッド注意機構といった今後のトピックのプレビューで締めくくります。
続きを読む
ゼネラルストライキは3つのフェーズで計画されています。フェーズ1（0～600万人署名）：すでに活動している団体や個人と連携して、幅広い参加者のネットワークを構築します。フェーズ2（600万～1000万人署名）：具体的な要求に焦点を当て、ストライキの日程とイベント計画を策定し、多様な視点を取り入れるための会議を開催します。フェーズ3（1000万～1100万人署名）：要求を最終決定し、ストライキの日に備え、資金を分配し、最終イベントを実施します。目標は、1100万人のストライキ参加者を団結させ、人種、経済、ジェンダー、環境の正義のために戦うことです。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに参加する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーとのみ協力しています。arXivコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsについて、もっと詳しく見てみましょう。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーとのみ連携します。arXivコミュニティに役立つプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
英国政府は、今年後半にデジタルサービス全体でPasskeysテクノロジーを導入し、現在のSMSベースの検証システムを置き換えることを発表しました。この措置により、年間数百万ポンドの節約とセキュリティの大幅な強化が期待されます。これは、政府の広範なデジタル変革戦略と合致しており、FIDO Allianceに加盟した国家サイバーセキュリティセンター（NCSC）も支援しています。Passkeysは、より高速で安全なログインと、フィッシング攻撃に対する強力な保護を提供します。MicrosoftやAmazonなどの大手企業もPasskeysを採用しており、パスワードレス認証への世界的な移行を示唆しています。
続きを読む
この記事では、著者がRustで記述された数学式パーサーの実行時間を43秒から驚異の0.98秒に最適化する方法を詳細に説明しています。不要なメモリ割り当ての回避、バイトストリームの直接処理、`Peekable`イテレーターの削除、マルチスレッドとSIMD命令の活用、メモリマップドファイルの採用など、一連の最適化によって劇的なパフォーマンス向上を実現しました。記事では、各最適化ステップの原理と実装方法を徹底的に解説し、Flame Graphとパフォーマンスデータで裏付けられています。これはパフォーマンス最適化に関する説得力のあるケーススタディであり、細心のプログラミングとRustの機能の巧妙な活用を示しています。
続きを読む
多くの人がAppleデバイスをアクセスカードとして使用しようとしましたが、NFCとWalletエコシステムの閉鎖的な性質により、これは困難でした。しかし、「中国交通連合」と呼ばれる中国の交通カードは、Apple Walletで公式にサポートされており、巧妙な回避策を提供します。その固有の特性 - ランダム化されないUIDとデバイス間で変化しないシリアル番号 - により、一部のUIDベースのアクセス制御システムで使用できます。UID認証はセキュリティが低いものの、一部のシステムではフォールバックとしてサポートされています。カードを入手するには、Alipayアカウントとバイオメトリック旅行書類が必要です。方法は少し複雑ですが、UID認証をサポートするアクセスシステムには実行可能な解決策となります。
続きを読む
マジシャンである父親のもとで育った著者は、深く根付いた懐疑心と好奇心を養いました。父親のイリュージョンを目撃したことが、一見不可能な偉業の背後にあるメカニズムを理解しようとする生涯にわたる探求を促しました。観察力と批判的思考のこの初期の訓練は、彼を科学のキャリアへと導き、そこで彼は見せかけよりも証拠を重視することを学びました。マジックのトリックを解き明かすことから、共感覚の複雑さを研究することに至る彼の旅は、仮定に疑問を呈し、幻想がどれほど魅力的であっても真実を探求することの力を強調しています。
続きを読む
この記事では、汎用人工知能（AGI）が、特にソフトウェア設計、エンジニアリング、構築、成長において、テクノロジー業界にどのように影響を与えているかを考察しています。従来のソフトウェア開発は決定論的モデルに従い、既知の入力から期待される出力が生成されます。しかし、AGIモデルは確率論的であり、出力は統計的分布に基づいており、固有の不確実性を伴います。これにより、従来のソフトウェアエンジニアリング手法や指標（SLOなど）は時代遅れになります。著者は、従来のエンジニアリング思考に頼るのではなく、科学的方法とデータドリブンな意思決定を使用してAI製品を構築および反復する経験主義的なアプローチを提唱しています。これには、組織がエンジニアリングから科学へと移行し、データを中心に据え、部門間のサイロを打破して包括的なシステムビューを実現することが必要です。
続きを読む
この記事では、Gitコミット署名の現状と課題を探ります。GPG署名などの従来の方法では、キー管理の複雑さと、長期間存在するIDに伴うリスクに悩まされています。筆者は、GitHubやGitLabなどのプラットフォームにおけるGPG、SSH、S/MIME署名の欠点を分析し、SigstoreのGitsignやOpenPubkeyなどの新しいソリューションを紹介します。これらは、短命のIDと透明性ログを活用してセキュリティを強化しますが、現在はまだ制限があります。筆者は、Sigstoreのソリューションが成熟するまでは、SSHキー管理とブランチ保護ルールを優先することを最終的に提案しています。
続きを読む
Epic GamesがFortniteをiOSデバイスに復活させようとした試みはAppleによってブロックされ、この人気バトルロイヤルゲームは世界中のiPhoneとiPadで利用できなくなりました。これは、2020年にEpic GamesがApp Storeのルールに違反したことから始まった法廷闘争に由来します。子会社アカウントを使用して提出したにもかかわらず、Appleは依然として譲りません。Epic GamesのCEO、ティム・スウィーニーCEOは、Appleからの反応がないこと、そして審査プロセスの速度に疑問を呈して、不満を表明しました。この継続中の法廷闘争は、アプリ内購入と手数料に関する継続的な不一致を浮き彫りにしています。
続きを読む
Schemeのマクロシステムは、マクロ展開時の変数名衝突を防ぐ「衛生的な」メカニズムを採用しています。この記事は、Schemeにおける識別子の概念を深く掘り下げます。識別子は、シンボル名だけでなく、字句的コンテキストと歴史的コンテキストも包含します。述語`bound-identifier=?`と`free-identifier=?`は、識別子の等価性を比較します。前者は、マクロ展開後の束縛識別子の交換可能性に焦点を当て、後者は自由識別子の交換可能性に焦点を当てています。この記事は、いくつかの例を用いて、これらの2つの同値関係の違いと、衛生的なマクロメカニズムにおける歴史的コンテキストの役割を示しています。最終的に、Schemeが識別子の履歴情報を使用してマクロの衛生性を確保し、変数名衝突を防ぐ方法を説明します。
続きを読む
このエッセイは、科学理論が単に「正しい」か「間違っている」かではなく、正確さのスペクトル上に存在することを主張しています。地球の形についての進化した理解（平らなものから球状のもの、扁平な回転楕円体、そしてわずかに洋梨のような形をしたモデルまで）を例として用いて、アシモフは、科学的進歩は置き換えではなく洗練のプロセスであることを示しています。不完全ではあるものの、古い理論はしばしば、より洗練された後のモデルに持続する貴重な真実を含んでいます。著者は、現在の科学的理解を祝うことは、その本質的な不完全さを認めたとしても正当化されると結論づけています。
続きを読む
この記事は、以前の線グラフにおける暗示的因果関係に関する投稿を拡張し、棒グラフ、散布図、地図など様々なグラフの種類が、誤解を招く形で因果関係を示唆する可能性について探求しています。著者は、単純な比較、前後比較、または空間的な近接性が、因果関係の誤った印象を生み出す可能性を強調しています。暗示的因果関係の4つの主要なパターン、すなわち要因、イベント、共変動、近接性が特定されています。この記事は、見せかけの相関関係によって誤解を招くのを避けるために、可視化の批判的分析が必要であることを強調しています。
続きを読む
ストレスの多い職場環境で、いつでもキレたり辞めたりしそうになったら、誰もがストレスを抱えていることを思い出してください。衝動的に辞めるのは賢明ではありません。次の仕事には推薦状が必要になります。「あいつ」というネガティブなイメージは長く残ります。そのため、人間関係を優先しましょう。プレッシャーの中でも、同僚に共感し、プロフェッショナルな環境が人間関係を損なわないようにしましょう。
続きを読む
サムスンの最初の折りたたみ式スマホの初期の画面問題から、モトローラ・レイザーの改良に至るまで、折りたたみ式スマホは困難な進化の道を歩んできました。新しい折りたたみ式スマホは、外側の画面が大きく、機能も強力になっていますが、防塵性能の欠如は依然として大きな問題です。にもかかわらず、メーカーはこの課題を克服しようと努力しており、将来的にはIP68等級の防塵防水機能を備えた折りたたみ式スマホが登場するかもしれません。
続きを読む