この記事では、メモリからフルボリューム暗号化キー（FVEK）を抽出することにより、Windows 11のBitLocker暗号化を回避する方法を示します。デバイスへの物理的なアクセスと急な再起動により、攻撃者はRAMの内容をキャプチャし、FVEKが含まれている可能性があります。著者は、これを達成するためにUEFIアプリケーションであるMemory-Dump-UEFIを使用しています。このプロセスには、ブータブルUSBの作成、システムの強制再起動、USBからのブート、メモリダンプの分析、およびプールタグを使用してFVEKの特定が含まれます。この記事ではこれらの手順を詳しく説明し、BitLockerで保護されたパーティションのロックを解除するためにdislockerなどのツールを使用することを強調しています。この方法は完璧ではなく、メモリダンプの速度や再起動のタイミングなど、いくつかの要因に依存します。
続きを読む
先週突然閉鎖し、数千人の顧客がアカウントにアクセスできなくなったベンチャーキャピタル支援の会計スタートアップBenchが、非公開の価格でEmployer.comに買収されました。給与計算とオンボーディングに特化したサンフランシスコに拠点を置くHRテック企業Employer.comは、Benchのプラットフォームを復活させます。顧客はデータを移行するか、新しい所有権の下でサービスを継続することができます。以前、顧客にIRSに6ヶ月間の延長を申請するよう推奨していましたが、サービスを継続することを選択した場合、これ以上は必要ありません。
続きを読む
この記事では、Linuxがデスクトップで広く採用されていない根本的な理由を深く掘り下げています。著者は、いくつかの主要な問題点を指摘しています。ディストリビューション間のソフトウェア互換性の低さ、頻繁なアップデートによるバグや回帰、資金不足によるソフトウェア品質の低下、ハードウェアドライバのサポート不足、そしてLinuxコミュニティ内でのコミュニケーション上の課題などです。Linuxはサーバー環境では優れていますが、デスクトップ環境での存在感は、これらの持続的な障害によって妨げられており、Windowsなどの確立されたオペレーティングシステムと効果的に競争することが困難になっています。
続きを読む
Daring Fireballのジョン・グルーバーが、Typogramが作成した楽しいコーディングフォント選択「トーナメント」を紹介しています。ユーザーは32種類の無料の等幅フォントから好きなものを選びます。Consolasなどの一般的な選択肢がないことや、含まれる一部のフォントがあまり魅力的でないことはありますが、価値のある試みです。最初の公開以降の改善点としては、CSSではなくJavaScriptコードの例が使用され、より多くのフォントが選択できるようになりました。グルーバーは、バイアスを減らすためにフォント名を無効にすることを推奨しています。彼の常勝者？AdobeのSource Code Proで、IBM Plex Monoがそれに続きます。
続きを読む
Y Combinator支援のスタートアップであるLegion Healthは、ミドルレベルのフルスタックエンジニアを募集しています。同社は、LLM駆動型の遠隔精神医療ソリューションにより、精神医療に革命を起こしています。TypeScriptスタック（Next.js、Node.js、Supabase/PostgreSQL、Docker）を使用し、患者ポータル、臨床ダッシュボード、AI支援スケジューリングワークフローの開発、言語モデル（OpenAI、Anthropic）の統合、HIPAAコンプライアンスの確保を行います。最先端のAI技術を用いて精神医療を変革する機会です。
続きを読む
複雑な開発環境の問題を回避するため、著者は仮想マシンによる開発環境に移行しました。macOS上でVMware Fusion Proを使用してUbuntu 24.04を実行し、すべての開発ツールと拡張機能を仮想マシン内に配置することで、安全で隔離されたワークスペースを実現しています。クリップボードのシームレスな共有など、一部の利便性は失われますが、全体的なエクスペリエンスはスムーズで、ホストマシンのパフォーマンスへの影響は最小限です。著者は、このアプローチが長期的な安定性とセキュリティのメリットをもたらし、小さな不便さを上回ると考えています。
続きを読む
科学者たちは、明晰夢を誘発して不眠症と悪夢を治療する可能性を探っています。明晰夢とは、睡眠中に自分が夢を見ていることに気づいている状態であり、トレーニングによって学習することで、夢の内容を制御したり、覚醒している世界とコミュニケーションを取ったりすることが可能になります。研究者たちは、脳イメージングとウェアラブルデバイスを使用して、明晰夢中の脳活動を理解し、外部刺激によって明晰夢を誘発することで、睡眠の質を向上させ、悪夢を軽減することを目指しています。この研究は、睡眠障害や精神衛生問題の治療に新たな道を開く可能性を秘めています。
続きを読む
インドは、国内のデジタル決済システムにおける大手テクノロジー企業の支配力を抑制するための計画を再び延期しました。個々のアプリのUPI取引シェアを30％に制限する規定の期限は、2026年12月31日に延期されました。これにより、UPI取引の85％以上を占めるPhonePeとGoogle Payは、一時的な猶予を得ることになります。規制当局は、数百万人のユーザーへのサービスに支障をきたすことを懸念したと述べています。この遅延は、インドが急成長するデジタル経済におけるグローバルテクノロジー企業の影響力を抑制しようとする取り組みにおける新たな挫折を意味します。
続きを読む
この記事では、H5N1鳥インフルエンザウイルスがもたらす潜在的なパンデミックの脅威について詳しく掘り下げています。このウイルスはすでに鳥類、牛、ミンクに感染し、現在では豚にも検出されています。ヒトへの感染例は比較的少ないものの、著者は疫学モデルと専門家の予測に基づいて、今後1年間にパンデミックが発生する確率（5％）と、潜在的な死亡率（通常の季節性インフルエンザと同程度から1918年のスペイン風邪に似たものまで）を評価しています。この記事では、潜在的なパンデミックへの対応戦略についても議論し、農業への経済的影響を強調しています。
続きを読む
1943年、天文学者カール・セイファートは、異常に明るい中心核を持つ渦巻銀河を発見しました。それらのスペクトルは、強力で、しばしば幅広い輝線を示しており、中心部の激しい活動を暗示しています。全ての銀河のおよそ10％を占めるこれらのセイファート銀河は、周囲のガスを吸収する超大質量ブラックホールによって駆動されるクエーサーの低光度で近くのバージョンと考えられています。ハッブル宇宙望遠鏡などの機器は、セイファート銀河を詳細に観測し、様々なタイプや銀河環境との相互作用を含む、その多様性と複雑さを明らかにしました。セイファート銀河の継続的な研究は、活動銀河核を駆動するメカニズムとブラックホールの成長を理解するのに役立ちます。
続きを読む
2009年に打ち上げられたベルリン工科大学の試験衛星Beesat-1は、2013年にデータ送信を停止しました。しかし、38C3カンファレンスで、ハッカーのPistonMinerが、この衛星を遠隔操作で復活させた方法を明らかにしました。ハードウェアの故障ではなくソフトウェアのバグが原因であることを突き止め、「Frankenstein-Beesat」という地上試験モデルを使ってデバッグを行い、ソフトウェアアップデートを実施。これにより機能が回復し、故障していたと見られていたオンボードカメラも再起動しました。この偉業は、小型衛星を復活させただけでなく、他の故障衛星の修復にも役立つ可能性を示しています。
続きを読む
Fabrice Bellard氏によって開発されたts_zipは、大規模言語モデルRWKV 169M v4を利用し、従来の圧縮ツールをはるかに凌駕する高いテキスト圧縮率を実現するツールです。GPUと4GBのRAMを必要とし、従来の圧縮ツールよりも速度は遅いものの（RTX 4090で最大1MB/s）、英語やその他の言語のテキスト、さらにはソースコードにおいても優れた圧縮性能を示します。圧縮率はビット毎バイト（bpb）で測定され、enwik8やenwik9などのデータセットにおいてxzよりも優れた結果を示しています。決定論的なモデル評価により、異なるハードウェアやソフトウェア構成においても一貫した解凍が保証されます。
続きを読む
Quiverは、可換図を作成するための最新のウェブベースエディターです。複雑な図を迅速に作成し、画面表示用に高品質でレンダリングし、tikz-cd経由でLaTeXにエクスポートできます。直感的なインターフェース、プルバック、プッシュアウト、随伴、高次セルへのサポート、複数選択、履歴、カスタムマクロ、簡単な共有のためのHTML埋め込みなどの機能があります。同等のLaTeXを手書きするよりも、はるかに高速に図を作成できます。
続きを読む
最近の研究によると、地球上の木の数は、天の川銀河の星の数を上回る可能性があることが示唆されています。どちらも推定値に不確実性がありますが、2015年のネイチャー誌の論文では、地球上の木の数を約3兆4000億本と推定しており、天の川銀河の星の数の推定値は1000億から4000億です。不確実性はあるものの、木の数の推定値は、星の数の最高推定値をはるかに上回っています。この驚くべき事実は、地球の生態系と宇宙の広大さについて考えさせられます。
続きを読む
セキュリティ研究者のNicholas Carliniは、12日間にわたる実験を行いました。毎日異なる言語モデルを使って自身のウェブサイトのホームページとバイオを書き直したのです。その結果、モデルは視覚的に素晴らしいウェブページを生成することに長けていましたが、事実の正確性には大きく欠けていました。例えば、o1-miniモデルが生成したウェブページには43の記述があり、そのうち32は完全に間違っており、9つは大きな誤り、正確なものはわずか2つでした。これは、LLMにおける「スキル」（ウェブページの生成）と「知識」（事実の正確性）の大きな違いを浮き彫りにし、AI生成コンテンツへの依存には注意が必要であることを示しています。
続きを読む
著名な数学者テレンス・タオがMathstodonで、自身の論文がジャーナルで却下されたことを共有しました。これは数学界や学術界で幅広い議論を巻き起こし、研究過程の予測不可能性を浮き彫りにしました。タオの経験は、将来の研究者にとって、インスピレーションと同時に戒めとなり、学術研究における課題と粘り強さを示しています。
続きを読む
この記事は、ボーイング社、そのサプライヤーであるスピリット・エアロシステムズ社、そして連邦航空局（FAA）の内部告発システムにおける重大な欠陥を暴いています。多くの内部告発者が、大きな人的・職業的リスクを冒して安全上の問題を報告していますが、FAAはその90％以上のケースで違反を発見していません。このため、内部告発者は報復、失業、精神的苦痛に直面しており、中にはそのために亡くなった者もいます。この記事では、いくつかの内部告発者の経験を通して、システムの独立性の欠如と不十分な保護を指摘し、航空安全と内部告発者の権利を守るための改革を訴えています。
続きを読む
この抜粋はDiaspora*内部チームの連絡事項からのものです。ウェブサイトを正しく機能させるにはJavaScriptを有効にする必要があると述べており、コンテンツの報告方法、報告基準についても説明しています。Diaspora*プロジェクトの議論やサポートへのリンク、コードバージョン、Pod統計、利用規約、連絡先情報、タッチ最適化モードへの切り替えオプションなどのウェブサイト情報も表示されています。
続きを読む
研究者らは、ユニットテストの自動生成における大規模言語モデル（LLM）の可能性について包括的な評価を行いました。17個のJavaプロジェクトにおいて、5つのオープンソースLLMと、クローズドソースのGPT-4、従来型のツールであるEvosuiteを比較し、様々なプロンプト戦略の影響を調査しました。その結果、オープンソースLLMはデータプライバシーにおいて優位性があり、特定のタスクでは優れた性能を示す一方で、LLMベースのユニットテスト生成における限界も明らかになりました。この研究は、この分野におけるLLMの将来的な応用を導くための貴重な知見を提供します。
続きを読む
経済的圧力に直面し、収益増加のためにより制限的なライセンスに人気のあるオープンソースプロジェクトを再ライセンスする企業があります。これにより、プロジェクトのフォークが発生します。CHAOSSは、Elasticsearch、Redis、Terraformのケーススタディを行い、フォークは、特にLinux Foundationのような中立的なファウンデーションの下では、元のプロジェクトよりも組織的な多様性が高い傾向があることを発見しました。再ライセンスは元のプロジェクトの貢献者への影響は最小限でしたが、ユーザーには大きな影響がありました。この研究は、より大規模な進行中のプロジェクトの最初のステップであり、将来の分析では、より多くのデータとプロジェクトが取り入れられ、より深い理解が得られるでしょう。
続きを読む
テスラは2024年の世界販売台数が前年比1.1％減となり、少なくとも9年ぶりの年間減収となったと発表しました。第4四半期は2.3％増（495,570台）でしたが、0％金利、無料充電、低価格リースなどのインセンティブにもかかわらず、2024年の出だしが低迷したため、年間では減収となりました。年間の販売台数は179万台で、2023年の181万台を下回りました。第4四半期の成長は、平均販売価格の低下を犠牲にしたものであり、少なくとも4年ぶりの安値となる4万1000ドルを下回る見込みです。これは、テスラの第4四半期決算に良い兆候ではありません。テスラは以前、年間売上高が50％成長すると予測していましたが、古いモデルのラインナップと中国、ヨーロッパ、米国からの競争激化によって、その予測は実現しませんでした。アナリストは、米国のEVの早期導入者の多くは既にEVを所有しており、メインストリームのバイヤーは航続距離、価格、充電インフラについて懸念していることを示唆しています。第4四半期の販売台数はウォール街の予想を下回りました。競争激化と売上減少は、選挙以来テスラの株価を押し上げ、次期トランプ政権がEV規制を緩和し、テスラの自動運転への取り組みを支援すると予想している投資家にとって、課題となります。
続きを読む
ベルギーの写真家Barbara Iweinsは4年間かけて自宅の12795個の物体を綿密に記録し、『KATALOG』というプロジェクトを作成しました。娘の靴下から彼女の抗不安薬まで、このプロジェクトは単なる目録を超え、彼女の人生、感情、記憶を深く探求するものです。日常の持ち物の中に隠された深い意味合いに対するユニークな視点が明らかになります。
続きを読む
2024年はロボット工学において前例のない進歩が見られました。Figure社は6億7500万ドルのシリーズB資金調達を行い、企業価値を26億ドルに評価し、ヒューマノイドロボット開発を推進しました。Boston Dynamicsは、新しい全電気式Atlasロボットを発表し、商業用途への道を切り開きました。Nvidiaは、実用的で安全で信頼性の高いロボットの展開という課題に取り組むため、ヒューマノイドロボット向けの汎用基盤モデルを開発することを目指すGR00Tプロジェクトに投資しました。この記事では、ロボットの自律性と遠隔操作技術の進歩、航空宇宙産業におけるロボット金属加工技術の応用についても探ります。最後に、火星ヘリコプターIngenuityの成功したミッションとその後継機の開発について述べています。
続きを読む
SpotifyのCEOであるダニエル・エク氏の資産は、今年の大量の株式売却後、急増しました。一方、Spotifyによるアーティストへの低い報酬を明らかにする計算機であるSpotify Unwrappedは、法的措置の脅威により閉鎖されました。この計算機は、法外な役員報酬とアーティストのわずかな収入の著しい対比を浮き彫りにしました。計算機はなくなりましたが、その計算式は公開されたままであり、ストリーミングサービスの支払いモデルに関する議論をさらに煽っています。一方、Spotifyの複数の役員は、大規模なレイオフとプレミアムサブスクリプションの値上げの後、2024年に12億5000万ドル以上を現金化しました。
続きを読む
ZFC集合論を学んでいる際に、著者はフォン・ノイマン順序数を使った自然数のグラフ表現が、力指向グラフレイアウトでレンダリングすると、驚くほど葉っぱに似ていることを発見しました。この記事では、フォン・ノイマン順序数の再帰的定義とその木のような構造を詳しく説明し、0から16までの数がどのように葉っぱのような形になるかを視覚的に示しています。著者は最後に、この「葉っぱ」のような形がフォン・ノイマン順序数自体の構造に固有のものであるかどうかを疑問視し、有理数の集合論的表現をさらに研究する予定です。
続きを読む
かつては業界をリードしていたRite Aidだが、現在は小売業界の衰退を象徴する存在となっている。倒産と店舗閉鎖により、多くの店舗が空っぽで在庫不足の状態となり、顧客はWalmartやAmazonなどの代替手段を求めざるを得なくなっている。「ゾンビ」ストアと呼ばれる、営業はしているものの空洞化が進んだ店舗は、薬局業界が直面する課題を浮き彫りにしている。激しい競争、変化する消費者の習慣、そして巨額の負債がRite Aidの苦境に繋がっている。空き店舗の一部は再利用されているものの、Rite Aidの未来は不透明であり、業界全体の困難さを反映している。
続きを読む
世界で最も広く展開されているデータベースであるSQLiteは、3人体制のチームによって保守されており、外部からの貢献を拒否しながらも、その比類のない性能と安定性で世界を征服しています。サーバーのダウンタイム問題を解決するためにアメリカの軍艦で誕生したSQLiteは、今では数兆ものデータベースの基盤となっています。SQLiteはオープンソースではなく、オープンソースライセンスよりも制限の少ないパブリックドメインソフトウェアです。極端な状況、例えばオペレーティングシステムのクラッシュなどをシミュレートする厳格なテストプロセスにより、非常に高い信頼性が確保されています。しかし、有料サポートや会員制度を通じて収益を上げるという独自のビジネスモデルも注目に値します。SQLiteの伝説は、その技術力だけでなく、その裏にある粘り強さと革新性にもあります。
続きを読む
カオスコンピュータクラブ（CCC）は、37C3カンファレンスでポーランドの鉄道車両メーカーNewagが自社のワークショップでのみ修理可能なように列車を操作していたことを明らかにした3人のハッカーのために資金を募っています。Newagは90年代スタイルの攻撃的な訴訟で反応し、刑事および民事訴訟を起こしました。訴訟費用はすでに3万ユーロに達しています。CCCは、法的費用およびその他の費用を賄うための寄付を呼びかけています。ハッカーの調査では、列車部品の違法な交換は行われていませんでした。CCCは、Newagの訴訟がこれらの「違法な指示」に関する今後の発表を防ぐことを目的としており、会議で発言できるのはコンテンツチームのみであると強調しています。38C3カンファレンスでは、この事件の続報が伝えられます。
続きを読む
この記事は、グラフィカルユーザーインターフェース（GUI）の歴史において、しばしば見過ごされてきたWindows 2.0の知られざる物語を深く掘り下げています。当時の技術的制約、VisiOnやApple Lisaといった競合システムからの激しい競争、そしてWindows 2.0の開発を形作ったMicrosoft内部の葛藤を探ります。豊富なソフトウェアこそ不足していましたが、Windows 2.0はマウスサポートや基本的なマルチタスク処理など、驚くべき機能を備えていました。ほぼ行き詰まりそうになったにもかかわらず、その開発から得られた教訓は、後のWindows 3.0の成功に不可欠なものとなりました。物語は技術的な詳細、歴史的背景、開発プロセスの逸話を織り交ぜ、コンピューティングの歴史におけるこの重要な瞬間を鮮やかに描いています。
続きを読む
この記事では、優秀なエンジニアと平均的なエンジニアを分ける能力について考察しています。優秀なエンジニアは、複雑なバグの解決、レガシーコードの改善、大規模なアーキテクチャの変更など、平均的なエンジニアができないタスクをこなすことができます。平均的なエンジニアは、十分な時間があってもこれらのタスクに苦労します。この記事は、優秀なエンジニアは単に効率が良いだけでなく、複雑な問題を解決する能力を持っていることを強調しています。一方、能力の低いエンジニアは、ほとんどのエンジニアリングタスクを完了することができません。また、能力の低いシニアエンジニアとの協力方法についてもアドバイスしており、親切にする一方で自分の時間を守ること、過剰な要求を避けることの重要性を強調しています。
続きを読む