3歳の子供が煙突掃除の仕事をしていると主張するウイルス動画がオンライン上で激しい怒りを呼び起こしました。しかし、詳細な調査は別の物語を明らかにします。映像の細部を分析することで、著者はBritish Pathéアーカイブまで追跡し、場所を1933年ではなく1929年から1930年頃のベルリンであることを突き止めました。1929年の雑誌の写真と動画を照合することで、親子が特定されました。さらに調査を進めると、当時のドイツでは子供の煙突掃除は違法であり、動画で使用されている道具も時代遅れであることが判明しました。著者は、この動画は実際の子どもの労働ではなく、演出されたシーンである可能性が高いと結論付けています。その後の調査では、子供の名前がホルスト・ボーエンケであること、そして両親の情報が明らかになり、より豊かな背景が明らかになりました。
続きを読む
このドキュメントは、単一のスナップショットから複数のVMクローンをリストアすることのセキュリティ上の影響を分析しています。Linuxは、/dev/random、/dev/urandom、getrandomシステムコールという3つの主要なRNGインターフェースを公開しています。VMをクローンすると、複数のパラメータ（タイマデータやCPU HWRNG命令の出力など）が各結果に混ざり合うため、RNGの状態が不整合になります。この記事では、新しいカーネルと古いカーネルにおけるRNGの異なる実装を調べ、リストア後にRNGを再初期化すること、virtio-rngデバイスを使用すること、そしてVMGenIDメカニズム（Linux 5.18以降で導入）を活用して、クローニング後のRNGの状態の不整合に対処する方法などの解決策を提案しています。
続きを読む
著名な数学者テレンス・タオの最新のarXivプレプリントでは、ガウスユニタリアンサンブル（GUE）とその小行列の固有値分布を固定インデックスで深く掘り下げています。行列式過程と洗練された解析的手法を用いて、固有値ギャップに関するいくつかの推定値を確立し、これまで未解決だった問題に取り組み、GUE境界条件を持つ「ハニカム」の極限挙動に関する将来の研究への道を開いています。この研究は、ランダム行列モデルとその関連分野の理解に大きく貢献します。
続きを読む
英国のスーパーマーケット大手テスコは、VMwareライセンスに関する契約違反でブロードコムを提訴し、コンピュタセンターも被告に含めました。ブロードコムがVMwareを買収後、永久ライセンスのソフトウェアに対するサポートサービスを提供しなくなったことで、テスコの運営が脅かされ、食料供給が中断される可能性があります。テスコは、ブロードコムのサブスクリプションモデルが高すぎる上に、必要なソフトウェアアップデートができないと主張しています。この訴訟は、買収後の永久ライセンスサポートというより大きな問題と、多額の経済的損害の可能性を浮き彫りにしています。他の企業もブロードコムに対して同様の訴訟を起こしています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有するためのフレームワークです。参加者は、arXivのオープン性、コミュニティ、卓越性、ユーザーデータプライバシーという価値観を共有しています。arXivコミュニティを向上させるアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Gartnerのアナリストは、2030年までにAIがすべてのIT部門の業務を支援すると予測していますが、これは大量の雇用喪失を意味するものではありません。エントリーレベルの仕事は減少する可能性がありますが、AIは上級スタッフの能力を高め、IT部門はより多くの人的資源を獲得し、その価値を示す必要があります。しかし、AIの実装にはコストがかかり、継続的なユースケースの探求や再トレーニング、予期せぬ付随費用（新しいデータセットの取得や複数のモデルの管理など）が含まれます。Gartnerは、CIOの65％がAI投資で損益分岐点に達していないと推定しています。ITエグゼクティブは、主要なクラウドベンダーに焦点を当て、単純なAIチャットボットを超えて、サプライヤーと自律的に交渉できるインタラクティブエージェントを採用することを推奨しています。
続きを読む
インテルの新しいCEO、リップ・ブ・タンは、9月1日から週4日のオフィス勤務を義務付けることを発表しました。これは、売上の減少と競争激化の中で、コラボレーションを促進し、会社を活性化させることを目的としています。工場や研究員のスタッフはすでに毎日出勤していますが、多くの企業社員はパンデミック以来、在宅勤務を行っています。この方針は、他のテクノロジー大手企業の同様の方針に続き、よりフラットな管理体制、会議の削減、そして今後のリストラが伴います。
続きを読む
OpenAIは、大規模言語モデルにおける「幻覚」は偶然ではなく、トレーニング方法の根本的な欠陥が原因であることを示す論文を発表しました。モデルは、知らないことを認めるよりも推測を優先するように訓練されており、これは現在の評価システムでより高いスコアにつながります。論文では、研究者の誕生日を探す例を用いて、トレーニングメカニズムがどのように間違った回答につながるかを示しています。OpenAIは、主流の評価方法がこの「幻覚」行動を促進していることを認め、モデルがより頻繁に「わかりません」と答えるようにするなど、トレーニングメカニズムの改善に取り組んでいると述べていますが、問題を完全に解決することは依然として課題となっています。
続きを読む
Screenshotbotはセキュリティ強化とより多くのGitプラットフォームのサポートのため、当初GitHubリポジトリの読み取りアクセスをしないという決定をしました。これは機能を制限しましたが、ユーザーの信頼度とセキュリティレビューの承認率を向上させました。この記事では、Screenshotbotがコミットグラフの構築とgit-upload-packプロトコルを使用して必要な情報を効率的に取得する方法、浅いクローンをサポートし、大規模なモノレポのクローン作成にかかる時間を解決する方法を詳細に説明しています。新しい方法は、顧客のCIジョブに既に存在するSSHアクセス権限を利用して、git-upload-packプロトコルを介してコミット情報に直接アクセスし、GitHub APIへの依存を回避します。これにより、効率性と安定性が向上し、自己ホスト型Gitリポジトリを含む、より多くのプラットフォームがサポートされます。git-upload-packプロトコルの複雑さにもかかわらず、著者はPackfileフォーマットや異なるGitサーバーの制限など、いくつかの重要な詳細に注意を促しています。この記事は、開発者にとって貴重な経験と参考資料となります。
続きを読む
ロッキード・マーティン社は、老朽化したスティンガーミサイルに代わる地対空ミサイル、QuadStarを開発中です。同社の小型迎撃ミサイル（MHTK）の技術、特に高度なシーカー技術を活用することで、QuadStarはより空力的に効率的な設計を実現しています。スティンガーと同じ外形寸法を維持しながら射程と致死性を向上させることを目指しており、様々なドローンや有人機を効果的に迎撃できるよう設計されています。QuadStarは、新しい機能を容易に統合できるモジュール式オープンアーキテクチャを採用し、AIと機械学習を活用して目標認識と追跡能力を向上させています。新しいコマンドランチャーアセンブリ（CLA）は、目標捕捉能力を大幅に向上させています。レイセオン社との競争がありますが、低コスト、高性能、製造の容易さから、今後数年間で米国陸軍の次世代短距離迎撃ミサイルになる可能性が高いです。
続きを読む
イラン人のソフトウェアエンジニアが、制裁のためにMicrosoftが彼のアプリを削除したり、Notionが彼のデータを消去したり、他のウェブサイトがアクセスを禁止したりした経験について語っています。彼は、これらの企業が悪意を持っているのではなく、単に規則に従っているだけだと強調しています。しかし、彼はより多くの共感を訴え、これらの規制の人間的な影響を考慮するよう促しています。彼は、イランの現状への不満と自由のための運動への支持を表明して締めくくっています。
続きを読む
10年前、JSON Web Token (JWT) が RFC 7519 となり、シンプルなJSONベースのセキュリティトークンフォーマットと基盤となるJSONベースの暗号化標準を作成するという4.5年間の道のりが完了しました。JWTとその関連仕様は広く採用されており、当初の開発者の予想を超えるほどです。しかし、新たな脅威や脆弱性に対処するために、仕様の更新作業は継続しており、今後10年間もJWTの安全性を確保しています。
続きを読む
中国のスーパーアプリの台頭は、ユーザーの利便性への好みによるものではなく、独特な市場環境の融合によるものです。この記事は、中国のモバイルファーストのインターネット環境を強調しており、そこでは西洋のデスクトップファーストのアプローチとは異なり、モバイルアプリが最初から優勢でした。テンセントのWeChatとアリババのAlipayは、ユーザーエクスペリエンスの最適化のためではなく、市場のギャップを埋めるために登場しました。激しい競争と「囲い込み」戦略により、さまざまなサービスが単一のアプリに統合されるようになりました。消費者の低い購買力も、企業はユーザー一人当たりの収益を最大化することを促しました。したがって、スーパーアプリモデルは、文化的嗜好ではなく、特定の市場環境への戦略的な対応であり、他の国の企業が盲目的に模倣すべきではありません。
続きを読む
この記事では、スケーラブルなAIシステム構築におけるオフラインとオンラインの機械学習パイプラインの重要な違いを強調しています。オフラインパイプラインは、データ収集、ETL、モデルトレーニングなどのバッチ処理を処理し、オンラインパイプラインは、ユーザーにリアルタイムまたはニアリアルタイムで予測を提供します。この記事は、これらのパイプラインを分離することの重要性を強調し、要約SLMのファインチューニングのための機能パイプラインを例として使用しています。ZenMLなどのMLOpsフレームワークを使用して、再現可能で追跡可能でスケーラブルなデータセット生成プロセスを構築する方法を説明しています。このプロセスはMongoDBからデータを取得し、さまざまな段階で処理した後、最終的にHugging Faceに公開します。この分離を理解することは、堅牢な本番レベルのAIシステムを構築するために不可欠です。
続きを読む
著者は、状態を持つサービス設計におけるスカラー選択アンチパターンの非効率性を記述しており、LSPサーバーを例に挙げています。イベントを1つずつ処理すると、遅延とリソースの無駄につながります。提案された解決策は、イベントストリームのバッチ処理です。`batch_stream`関数は、受信イベントをバッチにマージし、効率性を大幅に向上させます。低負荷では単一イベント処理のように動作しますが、高負荷ではオーバーヘッドを大幅に削減し、パフォーマンスを向上させます。
続きを読む
アメリカの暗号通貨取引所Krakenは、「Steven Smith」を名乗る北朝鮮工作員がソフトウェアエンジニアの職に応募したことを発覚させました。Smithは、名門大学の学位や豊富な経験など、虚偽の履歴書を作成していました。面接過程で、Smithは基本的なアメリカ文化や、彼が主張する居住地に関する知識に欠けていることが判明しました。この事件は、北朝鮮のハッカーが海外企業に侵入し、資金を盗み、複数の仕事と内部アクセスを通じて兵器プログラムに資金を提供する脅威の高まりを示しています。この事件は、堅牢なサイバーセキュリティ対策と徹底的な背景調査の重要性を強調しています。
続きを読む
このブログ投稿では、Lean定理証明器を用いて動的計画法の問題をメモ化によって解き、その正当性を正式に検証する方法を示します。著者はBytelandian Gold Coins問題を取り上げ、最初にHashMapを使ったメモ化された解法を示します。データ構造の不変量に関する推論の難しさから、その正当性を直接証明することの困難さが強調されています。この解決策は、サブタイプと依存ペアを利用して`PropMap`を作成します。これは、計算された値だけでなく、その正当性の証明も格納するメモ化テーブルです。そして、アルゴリズムの正当性は、再帰的な実装自体の中で段階的に証明され、最終的には自明なトップレベルの証明に帰着します。このアプローチは、コードと証明を巧みに結びつけ、動的計画法アルゴリズムを正式に検証するための強力な手法を示しています。
続きを読む
22年の歴史を持つオレゴン州立大学（OSU）のオープンソースラボ（OSL）は、深刻な資金不足に直面しており、将来が危ぶまれています。OSLは世界中の多くのオープンソースプロジェクトにホスティングを提供しており、Gentoo、Drupal、Mozilla財団などのプロジェクトを支援する上で重要な役割を果たしてきました。資金不足は連邦政府の予算削減によるもので、OSU学長も懸念を表明しています。OSLは運営を維持するために25万ドルの資金を必要としており、オープンソースコミュニティは強い支持を表明しており、多くの受益者がその重要性を強調しています。
続きを読む
アップルのMacintosh開発の中心人物、ビル・アトキンソンが2025年に74歳で亡くなりました。彼は、QuickDraw、MacPaint、HyperCardといったソフトウェアを生み出した個人コンピューティングへの貢献に加え、晩年は「Grace Within」というペンネームで、サイケデリック物質5-MeO-DMTの安全な低用量使用を推進しました。LightWandベイプペンの技術をオープンソース化し、よりアクセスしやすくしました。アトキンソンの活動は、サイケデリック探求を民主化し、意識探求とトラウマ治療のためのツールへの幅広いアクセスを提供しました。
続きを読む
生成AIの時代は、スタートアップの成長を再定義しました。データによると、企業向けAIスタートアップの中央値は初年度に200万ドル以上のARRを達成し、消費者向けAIスタートアップは420万ドルを超えました。これは以前のベンチマークを上回り、強いユーザー需要を反映しています。しかし、この急速な成長は「良い」企業と「優れた」企業の差を拡大し、ユーザーの維持率やエンゲージメントなどの指標の重要性を強調しています。驚くべきことに、モデルのアップデートによる収益の急増に支えられた消費者向けAI企業は、B2B企業を収益面で上回っています。結論として、今こそアプリケーションレイヤーソフトウェア企業を構築する絶好の時期です。
続きを読む
ニューヨーク市監査官ブラッド・ランダー氏は、火曜日の朝、マンハッタン下部の移民裁判所内で、マスクをつけた連邦捜査官によって逮捕されました。ランダー氏は、法廷に出廷した男性を護衛中に逮捕されました。ランダー氏は男性と腕を組み、捜査官が男性を引き離そうとした際も離しませんでした。ランダー氏は繰り返し令状の提示を求め、捜査官はアメリカ市民を逮捕する権限がないと主張しました。この事件は、裁判所の聴聞会を出ていく移民を標的にした連邦捜査官の活動の高まりの中で発生しました。市長候補でもあるランダー氏は、自分の行動を法の支配の擁護と、移民問題に対する反対候補の対応への批判として位置付けました。最近、他の政治家も同様の事件に巻き込まれており、移民法執行を取り巻く緊張の高まりを浮き彫りにしています。
続きを読む
ActorCoreは、ステートフル、AIエージェント、コラボレーティブ、またはローカルファーストアプリケーションを簡単に構築するためのTypeScriptフレームワークです。データベースとORMの必要性を排除し、状態を計算と同一マシンに保存することで、超高速な読み書き速度を実現します。Rivet、Cloudflare、Bun、Node.jsなどにデプロイできます。組み込みの低遅延イベントにより、リアルタイムの状態更新と変更のブロードキャストが可能です。独自のEdgeデータストレージにより、即時的なインタラクションを実現します。現在、OLAP、データレイク、グラフデータベース、高度にリレーショナルなデータには最適ではありませんが、継続的に改善されており、ステートフルサーバーレスアプリケーションの構築とスケーリングのための普遍的な方法を目指しています。
続きを読む
RCAのビデオディスクは、大失敗に終わったにもかかわらず、走査型キャパシタンス顕微鏡（SCM）の発明につながりました。この技術は、ビデオディスクプレーヤーの高感度キャパシタンスセンサーから生まれたもので、当初は品質管理ツールとして使用されていました。VHSが家庭用ビデオ市場を席巻する中、SCMは半導体業界でその地位を確立しました。集積回路内のドーパント分布を測定するために不可欠なものとなり、次世代半導体の開発に大きく貢献しました。この物語は、技術革新における「失敗は成功の母」という原則を示しており、失敗したプロジェクトでさえ、予期せぬブレークスルーを生み出す可能性があることを示しています。
続きを読む
ABCニュースが入手した内部メモによると、複数の連邦政府機関が職員に対し、金曜日の午後までにメール署名から代名詞を削除するよう命令しました。この指示は、トランプ大統領が就任初日に署名した2つの大統領令に端を発し、多様性と公平性プログラムを抑制することを目的としています。運輸省、エネルギー省、CDCなど複数の機関が同様の指示を受けています。CDC職員の一人は、10年間の勤務経験の中でこのようなことは一度もなかったと述べ、不満を示しました。人事管理局も、各機関に対し、メールシステムを見直し、代名詞の入力を求める機能を無効にするよう指示するメモを発表しました。この行動は、トランプ政権が連邦政府における多様性と公平性の取り組みを解体しようとする最新の動きです。
続きを読む
考古学者たちは、アラスカ北極圏のコロンブス以前の遺跡で、西暦1397年から1488年にかけてのベネチアンガラスビーズを発見しました。これらのビーズは、起源地から数千キロ離れており、コロンブスのアメリカ大陸到達以前に遡り、ヨーロッパの海洋進出以前に北極圏に到達した広範なユーラシア交易ネットワークの存在を示す強力な証拠となります。この発見は、世界貿易と先住民社会のつながりを見直す必要性を浮き彫りにし、これまで考えられていた以上に相互に接続された世界を示しており、半球間の孤立に関するこれまでの仮説に異議を唱えています。
続きを読む
MetaのCEO、マーク・ザッカーバーグは、2隻のスーパーヨット、「Launchpad」と「Wingman」をベースに、ノルウェーのフィヨルドで豪華なヘリスキーアドベンチャーを行いました。ノルウェーの厳しいヘリコプター着陸規制を回避するために、彼は巧みにヨットのヘリパッドを利用し、人里離れた山頂でスキーを楽しんだのです。この贅沢な旅行は、ザッカーバーグの冒険心とロジスティクス能力を際立たせていますが、同時に、持続可能性やこのようなぜいたくさの環境への影響、そしてより広範な富の不平等に関する議論も引き起こしています。
続きを読む
著者は安価なPowerMac G4 MDDを入手しましたが、RAM、HDD、PRAMバッテリーが不足していることがわかりました。部品の必死の捜索と組み立ての後、マシンは起動しましたが、騒音がひどかったです。ファンの交換を試みたところ、著者は元のファンを壊してしまい、高性能の交換用ファンを購入せざるを得ませんでした。騒音の問題は解決しましたが、新しいファンも轟音を立てました。この旅全体は、予期せぬ問題と最終的な成功の面白いミックスであり、ビンテージハードウェアの修理に関する貴重な教訓を提供しました。
続きを読む
この記事では、アメリカ社会における孤独の増加という問題を探っています。レストランでの食事習慣の変化から、自宅で過ごす時間の増加まで、テクノロジーの進歩と社会の変化が、社会的な交流の減少につながっているという議論が展開されています。データは、アメリカ人がかつてないほど他の人と過ごす時間が少なくなっていることを示しており、不安、うつ病、政治的両極化などの悪影響と関連付けられています。また、AIコンパニオンの台頭とその人間関係への潜在的な影響についても考察し、コミュニティの繋がりを構築し、公共の社会インフラを改善することに改めて焦点を当てる必要性を訴えています。
続きを読む
本日、スマートフォン、コードレス電話、タブレットに対するEUの新しいエコデザインとエネルギーラベルに関する規則が施行されました。これらの規制は、製品寿命の延長、エネルギー効率の向上、修理容易性の向上を目指しており、消費者をより持続可能な選択へと導きます。2030年までに、これらの規則によりEU市民は2.2TWhの電力を節約できると推定されており、これは現在の消費量の3分の1に相当し、消費者支出は200億ユーロ削減されます。規制では、耐久性（落下、傷、埃、水への耐性）、長寿命バッテリー（800回の充電サイクル、80％の容量保持）、容易に入手できるスペアパーツ、および少なくとも5年間のOSアップデートが義務付けられます。また、修理容易性スコア（A～E）も表示され、消費者の意思決定を支援します。これらの措置は循環経済を支援し、環境への影響を軽減します。
続きを読む
イタリアのストラにあるヴィラ・ピザーニは、ヨーロッパ最大級で最も複雑な迷宮の一つを誇り、ガブリエーレ・ダンヌンツィオの小説『炎』への登場と、その難解なデザインで有名です。18世紀にピザーニ家によって建てられたこのヴィラと迷宮は、ナポレオン、ハプスブルク家、サヴォイア家の手に渡った後、博物館となりました。中心部への唯一の道は袋小路だらけで悪名高く、ナポレオンやムッソリーニでさえも迷わせたと伝えられています。今日、訪問者はこの素晴らしい迷宮の歴史的魅力と、挑戦的な謎解きを体験することができます。
続きを読む