大規模なコードベースで全てのテストを実行するのは非効率的です。この記事では、フォルダベース、依存関係ベース、ヒューリスティックベースの3つの選択的テストアプローチを探ります。フォルダベースはシンプルですがエラーを見逃す可能性があります。依存関係ベースは包括的ですが、過剰なテストを行う可能性があります。ヒューリスティックベースはカスタムルールでテスト選択を最適化し、速度と網羅性のバランスを取ります。Millビルドツールは、依存関係ベースの選択的テストをネイティブにサポートしており、CIの効率を大幅に向上させます。しかし、ヒューリスティックな方法と組み合わせることで、速度とテストカバレッジのバランスをさらに最適化できます。
続きを読む
Linuxの「Fixes」タグは従来、12文字のコミットSHAプレフィックスを使用していましたが、コミット数の増加に伴い、衝突のリスクが高まっています。セキュリティ研究者のKees Cookは、12文字のプレフィックス衝突を発生させることに成功し、「Fixes」タグを解析するツールが壊れました。この衝突は、Linux 2.6.12-rc2の最初のコミットIDを利用しており、linux-nextの「Fixesタグチェッカー」やLinux CNAのコミットパーサーなどのツールに影響を与えます。将来の衝突を防ぐために、Cookは最小短縮IDを16文字に増やすことを提案しており、ツール開発者が修正を行うためのテストコミットを公開しました。
続きを読む
DocumentCloudは、ユーザーが様々な種類のドキュメントをアップロード、共同編集、共有できるオンラインプラットフォームです。強力な検索と整理機能を提供し、大量のファイルを簡単に管理できます。ジャーナリスト、研究者、チームワークが必要な組織にとって、DocumentCloudは効率性を向上させ、情報共有を促進する貴重なツールです。
続きを読む
著者は「Solsthelion」という言葉を造語しました。これは「冬至（Solstice）」と「近日点（Perihelion）」を組み合わせた造語です。12月の冬至は12月21日頃、近日点（地球が太陽に最も近づく点）は1月4日頃です。「Solsthelion」は、このように祝祭期間を巧みに包含しています。これは純粋に天文学的な言葉であり、特定の文化や歴史とは関係ありません。著者は、12月中旬以降、「Happy Solsthelion」を祝祭のあいさつとして使うことを提案しています。
続きを読む
科学者たちは、新しいタンパク質を設計するためのAI搭載ツールを開発しました。このツールは、タンパク質の3D構造を予測し、目的の機能を持つタンパク質を設計でき、創薬、バイオマテリアルの開発、持続可能な農業技術の進歩を加速すると期待されています。研究者たちは、機械学習アルゴリズムを訓練し、アミノ酸配列からタンパク質構造を予測できるようにしました。このツールの精度と効率は従来の方法を凌駕し、バイオメディシンと材料科学の分野に革命的な可能性をもたらします。
続きを読む
Panel Graphic Walkerは、Jupyter NotebookやPanelアプリケーション内でインタラクティブなデータ探索を行うためのPythonライブラリです。Graphic Walkerの機能をHoloViz Panelに統合し、Tableauに似たインターフェースを提供します。最小限のコードで動的な可視化とテーブルを迅速に作成できます。様々なデータバックエンドとレンダラーに対応し、サーバーサイド計算を利用して大規模なデータセットを処理できます。プロジェクトはまだ初期段階にあるため、特定のバージョンを固定することをお勧めします。
続きを読む
左腕がない9歳のレミは、健康保険会社Select Healthから2万4000ドルのバイオニックアームの費用を拒否された。保険会社はそれを「美容目的」とみなしたためだ。 悲しんだ両親はGoFundMeで資金調達を行い、目標額をはるかに上回る3万ドル以上を集めた。レミは余剰金を、同じ状況にある別の子供に寄付することを決めた。この出来事は、アメリカの医療制度への批判を巻き起こした。
続きを読む
この記事では、著者がFactorioのベルトバランサーの設計を自動化する旅について詳述しています。これは非常に複雑な問題として知られています。混合整数計画法(MIP)と制約充足問題ソルバー(CP-SAT)を用いて、著者はこの課題に取り組みました。MIPモデルは、大規模なバランサーでは数値不安定性の問題に苦戦しましたが、CP-SATアプローチは、フローの離散化、Banesネットワークの導入、メモリ最適化を組み合わせることで、手作業では事実上不可能な16x16バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む
Linuxカーネル開発者のKees Cookは、カーネルのドキュメントコミットのIDが、カーネルリポジトリの最初のコミットの最初の12文字と一致していることを発見しました。この潜在的な衝突は、一意のコミットIDに依存するさまざまなツールを壊す可能性があります。まだアップストリームにマージされていませんが、このコミットは、SHA衝突を事前に解決し、将来の広範囲にわたる問題を防ぐためのテストケースとして機能します。
続きを読む
Monokai Proは、JetBrains IDE（IntelliJ IDEA、WebStormなど）、Sublime Text、VS Codeで使用可能なテーマプラグインです。70種類以上のカスタムアイコンと、好みに合わせて調整可能な設定を提供します。無料トライアル版もありますが、月額1ユーロのサブスクリプションでポップアップ広告を削除できます。多くのプログラミング言語とIDEに対応しており、ソフトウェアエンジニアに人気です。
続きを読む
開発者がt2x（「text to whatever」の略）というオープンソースの コマンドラインインターフェース（CLI）ツールを開発中です。t2xは、ローカルまたはクラウドベースの言語モデルを使用して、さまざまなテキスト操作を実行します。まだ完全に完成していないため、GitHubへの公開は休暇後を予定しています。
続きを読む
人気のオープンソース写真編集ソフトウェアdarktableがバージョン5.0.0をリリースしました。UI/UXの大きな改善、パフォーマンスの向上、カメラとファイル形式のサポート拡大が特徴です。新機能には、カメラ固有のスタイル、起動時の進捗表示、一括処理時のフィードバック、より正確なマスクコントロールなどがあります。パフォーマンスの向上は、最適化されたカラーイコライザーと、より高速なPFMファイルの読み込みに顕著です。多くのバグが修正され、より幅広いカメラとファイル形式のサポートが追加されました。4.8からのアップグレードでは編集内容は保持されますが、データのバックアップを強くお勧めします。
続きを読む
この記事は、ソフトウェアを信頼するという難しい問題を探っています。著者は、安全なメッセージングアプリでさえ、ベンダーへの信頼に依存していること、オープンソースソフトウェアにおける膨大なコード量のためにレビューが非現実的であること、コード署名は整合性を検証するが、ユーザーの注意に依存しており、簡単に回避できることを主張しています。この記事は、コード署名、ブラックリスト、自動更新、パッケージマネージャーなど、ソフトウェアサプライチェーンにおける脆弱性を深く掘り下げています。また、再現可能なビルドやバイナリ透過性などの技術を紹介して、ソフトウェアへの信頼性を向上させようとしていますが、最終的には、これはまだ解決されていない問題であり、ソフトウェアベンダーを信頼せざるを得ないという不快な現実が残っているという結論に至っています。
続きを読む
ts_smsは、大規模言語モデルを用いたショートメッセージ圧縮ツールです。損失のない圧縮技術を使用し、統計的冗長性を特定して除去することでビット数を削減し、情報損失はありません。brotliなどのツールと比較して、ts_smsは小さなメッセージの圧縮において利点があります。Linux版とWindows版が利用可能です。そのコアテクノロジーはts_zipと似ており、算術符号化と互換性のある特定のパディングシステムを使用することで、メッセージ長の明示的な符号化を不要にしています。
続きを読む
この記事では、メモリからフルボリューム暗号化キー（FVEK）を抽出することにより、Windows 11のBitLocker暗号化を回避する方法を示します。デバイスへの物理的なアクセスと急な再起動により、攻撃者はRAMの内容をキャプチャし、FVEKが含まれている可能性があります。著者は、これを達成するためにUEFIアプリケーションであるMemory-Dump-UEFIを使用しています。このプロセスには、ブータブルUSBの作成、システムの強制再起動、USBからのブート、メモリダンプの分析、およびプールタグを使用してFVEKの特定が含まれます。この記事ではこれらの手順を詳しく説明し、BitLockerで保護されたパーティションのロックを解除するためにdislockerなどのツールを使用することを強調しています。この方法は完璧ではなく、メモリダンプの速度や再起動のタイミングなど、いくつかの要因に依存します。
続きを読む
この記事では、Linuxがデスクトップで広く採用されていない根本的な理由を深く掘り下げています。著者は、いくつかの主要な問題点を指摘しています。ディストリビューション間のソフトウェア互換性の低さ、頻繁なアップデートによるバグや回帰、資金不足によるソフトウェア品質の低下、ハードウェアドライバのサポート不足、そしてLinuxコミュニティ内でのコミュニケーション上の課題などです。Linuxはサーバー環境では優れていますが、デスクトップ環境での存在感は、これらの持続的な障害によって妨げられており、Windowsなどの確立されたオペレーティングシステムと効果的に競争することが困難になっています。
続きを読む
先週突然閉鎖し、数千人の顧客がアカウントにアクセスできなくなったベンチャーキャピタル支援の会計スタートアップBenchが、非公開の価格でEmployer.comに買収されました。給与計算とオンボーディングに特化したサンフランシスコに拠点を置くHRテック企業Employer.comは、Benchのプラットフォームを復活させます。顧客はデータを移行するか、新しい所有権の下でサービスを継続することができます。以前、顧客にIRSに6ヶ月間の延長を申請するよう推奨していましたが、サービスを継続することを選択した場合、これ以上は必要ありません。
続きを読む
乗客181人を乗せた済州航空のボーイング737-800型機が、韓国木浦空港で墜落し、179人が死亡した。これは韓国で数十年ぶりの最悪の航空事故である。事故は、大統領と首相の弾劾という政治的混乱の中で発生し、政府の災害対応能力に対する懸念を高めた。韓国政府は、すべての737-800型機の安全検査と済州航空の安全基準に関する包括的な見直しを命じた。調査官は、着陸装置の故障、考えられる油圧系統の故障、空港滑走路脇の防護壁の安全設計など、様々な要因を調査している。この悲劇は、7日間の全国追悼期間を招き、航空安全の強化と災害対応能力の向上が必要であることを浮き彫りにした。
続きを読む
この記事は、ボーイング社、そのサプライヤーであるスピリット・エアロシステムズ社、そして連邦航空局（FAA）の内部告発システムにおける重大な欠陥を暴いています。多くの内部告発者が、大きな人的・職業的リスクを冒して安全上の問題を報告していますが、FAAはその90％以上のケースで違反を発見していません。このため、内部告発者は報復、失業、精神的苦痛に直面しており、中にはそのために亡くなった者もいます。この記事では、いくつかの内部告発者の経験を通して、システムの独立性の欠如と不十分な保護を指摘し、航空安全と内部告発者の権利を守るための改革を訴えています。
続きを読む
研究者らは、ユニットテストの自動生成における大規模言語モデル（LLM）の可能性について包括的な評価を行いました。17個のJavaプロジェクトにおいて、5つのオープンソースLLMと、クローズドソースのGPT-4、従来型のツールであるEvosuiteを比較し、様々なプロンプト戦略の影響を調査しました。その結果、オープンソースLLMはデータプライバシーにおいて優位性があり、特定のタスクでは優れた性能を示す一方で、LLMベースのユニットテスト生成における限界も明らかになりました。この研究は、この分野におけるLLMの将来的な応用を導くための貴重な知見を提供します。
続きを読む
ジェームズ・ウェッブ宇宙望遠鏡（JWST）を用いて、天文学者たちは、これまでに見つかった中で最も遠い超巨大渦巻銀河である「朱龍（Zhúlóng）」を発見しました。この見事な渦巻銀河は、明確に定義された渦状腕を持ち、その質量は天の川銀河に匹敵し、ビッグバンからわずか10億年後に形成されました。研究によると、中心部は静止状態にある一方、円盤部では依然として活発な星形成が行われていることが示されており、朱龍は移行期にあることを示唆しています。この発見は、初期宇宙における銀河形成に関する既存のモデルに疑問を投げかけ、成熟した銀河がこれまで考えられていたよりもはるかに早く出現した可能性を示唆しています。
続きを読む
スマートフォンのブームはネイティブアプリをどこにでも普及させましたが、今では負担になりつつあります。最新のブラウザは、かつてネイティブアプリ独自の機能であった通知やオフラインアクセスなどを提供できるほど強力になりました。この記事では、多くの企業が依然としてネイティブアプリに固執しており、ユーザーのアプリのオーバーロードにつながっていると主張しています。一方、ウェブアプリはコスト効率が高く、柔軟性があり、デバイス間でシームレスに動作します。ゲーム業界はこのことを特に示しており、HTML5、WebGL、WebAssemblyなどの技術により、ブラウザゲームがネイティブゲームに匹敵するようになりました。この記事は、開発者にウェブアプリの未来を受け入れ、Rogue Engineなどのツールを利用して、よりアクセスしやすく、普遍的に使用できるエクスペリエンスを作成するよう呼びかけています。
続きを読む
2024年はロボット工学において前例のない進歩が見られました。Figure社は6億7500万ドルのシリーズB資金調達を行い、企業価値を26億ドルに評価し、ヒューマノイドロボット開発を推進しました。Boston Dynamicsは、新しい全電気式Atlasロボットを発表し、商業用途への道を切り開きました。Nvidiaは、実用的で安全で信頼性の高いロボットの展開という課題に取り組むため、ヒューマノイドロボット向けの汎用基盤モデルを開発することを目指すGR00Tプロジェクトに投資しました。この記事では、ロボットの自律性と遠隔操作技術の進歩、航空宇宙産業におけるロボット金属加工技術の応用についても探ります。最後に、火星ヘリコプターIngenuityの成功したミッションとその後継機の開発について述べています。
続きを読む
この記事では、ネットワークプログラミングにおけるBSD kqueueとLinux epollの違いについて掘り下げています。kqueueはイベントフィルタを使用し、強力な機能を提供しますが、合成性に欠けており、技術的負債が蓄積されます。一方、epollはカーネルハンドルを直接操作し、より高い合成性を持ち、ソケット、ファイルシステムパス、タイマーなど、様々なカーネルリソースの柔軟な監視を可能にします。著者は、epollのデザインは、新しい機能ごとにkqueueに新しいイベントフィルタタイプを追加し続けるという問題を回避するため、優れていると主張しています。
続きを読む
世界チェスチャンピオンのマグヌス・カールセンは、服装規定をめぐる論争の後、主要なトーナメントに復帰しました。ニューヨークでのFIDE世界ラピッド・ブ リッツチェス選手権で、ジーンズを脱ぐように求められたことがきっかけでした。国際チェス連盟（FIDE）はその後、適切なジーンズを含む「上品な小さなずれ」を認めるよう服装規定を緩和しました。カールセンは大会の対応を批判しましたが、最終的には大会への愛情を理由に復帰しました。この出来事は、プロチェスにおける服装規定に関する議論を引き起こしました。
続きを読む
本論文では、分散型深層学習最適化における勾配平均化を改善するための新しい手法である勾配合意フィルタリング（GAF）を紹介します。従来の手法では、ミニバッチ勾配の平均化によってマクロバッチ勾配を計算しますが、これはトレーニングの後半段階で勾配が直交したり負の相関を持つことになり、過学習につながります。GAFは、ミニ勾配間の余弦距離を計算し、平均化前に矛盾する更新をフィルタリングすることで、勾配の分散を削減します。CIFAR-100やCIFAR-100N-Fineなどの画像分類ベンチマークにおける実験により、GAFは、より小さいミニバッチサイズであっても検証精度を大幅に向上させ、従来の手法と比較して最大18.2％の向上を達成し、計算コストを削減することが示されました。
続きを読む
OpenAIの取締役会は最近、競争の激しいAI業界を乗り切るために、大幅な追加資金の必要性を発表しました。記事は、OpenAIが現在、AIチャットボットで最高のユーザーエクスペリエンスを提供しているものの、技術的なモートがないため、投資バブルの中心にいると主張しています。著者は、1990年代のNetscapeとOpenAIを比較し、生成AIがコモディティ化された技術になり、持続的な競争優位性を築くのが難しくなると示唆しています。巨額の資金を調達しているにもかかわらず、OpenAIの非営利組織から営利企業への移行は不確実であり、途方もない資金調達への継続的な取り組みは、ポンジスキームを連想させる懸念を引き起こしています。
続きを読む
2024年末、2機のボーイング737-800が同日に別々の事故に巻き込まれ、ボーイング社に暗い影を落とした。1機はノルウェーで緊急着陸時に滑走路から逸脱したが、乗員乗客182名全員が無事に生還。しかし、もう1機は韓国で墜落し、47名の犠牲者が出た。同日に発生したこの2件の事故は、深刻な安全上の懸念を引き起こし、ボーイング社の航空機に対する徹底的な調査を招くことは間違いない。
続きを読む
20歳の米軍兵士、キャメロン・ジョン・ワゲニウスが、今年初めにAT&TとVerizonから盗まれた顧客の機密通話記録を販売・漏洩したサイバー犯罪者「Kiberphant0m」としての役割を演じたとして逮捕・起訴されました。韓国に駐留していた通信専門家であるワゲニウスは、データ窃盗と恐喝で逮捕された別のサイバー犯罪者、コナー・ライリー・モカと関係がありました。起訴状は、ワゲニウスが大統領と副大統領の通話記録を漏洩する脅迫や、Verizon PTT顧客の通話記録の販売、SIM交換サービスの提供など、機密電話記録を違法に転送したとしています。この事件は、強固な内部セキュリティの必要性を浮き彫りにし、サイバー犯罪者の逮捕における法執行機関の効率性向上を示しています。
続きを読む
MiceWineは、AndroidスマートフォンでWindowsアプリケーションとゲームを実行することを目指したプロジェクトです。Android向けにコンパイルされたカスタマイズされたWineビルドとBox64を使用して、最適なパフォーマンスを実現しています。現在、積極的に開発中で、Termux-X11ベースのXサーバーを使用しています。Android 10以降をサポートしています。Adreno 7xxおよび6xx GPUはTurnip/Zinkでサポートされ、その他のGPUはネイティブ/Zink（実験的）で部分的にサポートされています。非Adreno GPUでのネイティブVulkanは実験的で、テストが必要です。
続きを読む