著者は、AIツールであるAtopileとClaudeを使って、ESP32-S3開発ボードのPCB設計をコードで作成する実験を行いました。配線や部品選定でAIがミスをするなど、困難な過程でしたが、最終的に機能するボードが生成されました。これは、AIによるハードウェア設計支援の可能性を示唆する一方で、人間の介入と修正が必要であることも示しています。
続きを読む
未来戦争において、人類はソ連に対抗するため、「クロー（爪）」と呼ばれる小型殺戮ロボットを発明する。しかし、「クロー」は進化を続け、負傷兵やテディベアを抱いた子供など、人間を模倣した姿で敵陣に潜入するようになる。物語は、ソ連との交渉のために派遣されたアメリカ軍将校、ヘンドリックスの物語。彼はソ連司令部が「クロー」に陥落していることを知り、かろうじて死を免れる。ヘンドリックスは生き残ったソ連兵を助け、真の勝者は人類ではなく、常に進化を続ける殺人機械であることに気づく。
続きを読む
水曜日の夜から木曜日にかけて、Outlookのユーザーがメールアカウントへのアクセスに問題が発生した後、マイクロソフトは影響を受けたシステムがオンラインに戻ったと発表しました。障害は木曜日の正午前にピークに達し、世界中で2700人以上のユーザーが、Downdetectorに受信トレイの読み込みやサインインの失敗などの問題を報告しました。マイクロソフトは当初、修正に問題があり、修正に遅延が生じました。午後遅くには報告が大幅に減少し、マイクロソフトは設定変更ですべてのユーザーへの影響が解消されたことを確認しました。数時間にわたるサービス停止の原因は明らかにされていません。
続きを読む
アリゾナ州北部住民が肺ペストで死亡、2007年以来米国初の肺ペストによる死亡例となった。米国ではペストはまれで、年間平均約7例だが、肺ペストは最も致死的で感染しやすい形態であり、感染したノミの咬傷や感染した体液との接触によって伝染する。保健当局は、死んだ動物や病気の動物を扱う際には注意を促している。
続きを読む
トロント大学の研究者らは、従来は標準DRAMに影響を与えることが知られていたRowhammer攻撃が、ECCが無効になっている場合、NVIDIAのハイエンドGPUのGDDR6メモリを標的にできることを実証しました。この脆弱性は、メモリのある行への繰り返しアクセスによって別の行のビットが反転するメモリバグを利用しています。NVIDIAは、特にデータセンター管理者やワークステーションユーザーにとって重要な保護策として、ECCの有効化を推奨しています。GDDR7やHBM3などの新しいメモリタイプにはOD-ECCが組み込まれていますが、多くのユーザーはパフォーマンスや設定上の理由でECCを無効にしているため、リスクが高まっています。不明な場合は、ECCの状態を今すぐ確認してください！
続きを読む
かつてブラウザの巨人であったMozillaは、今や戦略的誤算の海に漂っている。著者は、Mozillaの問題は技術的なものではなく、製品の強みやユーザーニーズを理解できない経営層にあると主張する。RustやServoといった有望なプロジェクトの放棄、VPNや広告事業への不首尾な進出など、長年の機会損失が会社を苦境に陥れている。著者は、資金不足ではなく、資金の豊富さがAIへの誤った投資やコアコンピテンシーの軽視につながっていると主張する。提案された解決策は、Mozillaの非営利組織としてのルーツに戻り、利益追求ではなく、独立したブラウザエンジンに焦点を当てることだ。
続きを読む
Lucid Motorsは、1回の充電で走行可能な電気自動車の最長距離というギネス世界記録を達成しました。Air Grand Touringは、スイスのサンモリッツからドイツのミュンヘンまで、1205km（749マイル）を充電することなく走行しました。好条件と回生ブレーキを活用したこの素晴らしい成果は、EV技術の大きな進歩を示し、航続距離への不安に直接的に対処するものです。Air Grand Touringは、960km（596マイル）のWLTP航続距離、300kWのDC急速充電を可能にする900ボルトアーキテクチャ、そして112,650ドルの価格を誇ります。この記録は、電気自動車の未来にとって大きな飛躍を意味します。
続きを読む
世界一周飛行の試み中に消息を絶ったアミリア・エアハルトの失踪から88年後、パデュー大学は太平洋のニクマロロ島付近で発見された可能性のある機体残骸の調査に乗り出します。10年前の衛星画像で飛行機らしき物体が確認されていましたが、現在は砂に埋まっている可能性があります。非侵襲的な調査手法としてソナーや磁力計を使用し、必要に応じて慎重な発掘を行うことで、物体の特定を目指します。この調査によって、エアハルトの運命とロッキード・エレクトラ10Eの所在に関する長年の謎がついに解明されるかもしれません。
続きを読む
複雑なサーバー設定とセキュリティの頭痛から解放されませんか？Cloudflare Tunnelは、ポートを公開せずにWebサービスを簡単に安全にデプロイできるソリューションを提供します。サーバーから最寄りのCloudflareデータセンターへのアウトバウンド接続を作成することで、すべてのトラフィックがCloudflareの安全なネットワークを介して流れるため、場所を問わずサーバーの安全性と信頼性が確保されます。このガイドでは、cloudflaredクライアントのインストール、トンネルの作成、システムサービスの設定、DNSレコードの設定など、Cloudflare Tunnelの設定方法を初心者にも分かりやすく説明します。
続きを読む
Windows 11プレビュービルド27898には、多くのアプリがピン留めされている場合にタスクバーアイコンを縮小する機能、システムアクセス（Webカメラ、マイク）の許可ポップアップのデザイン変更、音声テキスト変換機能の辞書をユーザーがカスタマイズできる機能などが含まれています。25H2アップデート自体はマイナーなようです。Microsoftによると、24H2とサービスブランチを共有し、機能は段階的に導入され、24H2システムに事前にインストールされ、25H2アップデートのインストール時に有効になります。
続きを読む
最近の最高裁判決により、たとえ成人向けであっても、ウェブサイトに性的描写を含む作家を各州が訴追できるようになりました。親は、コンテンツが子供に害を与えたと信じれば、年齢確認の有無に関わらず、州境を越えて巨額の損害賠償を求める訴訟を起こし、さらには重罪で起訴される可能性さえあります。これは、性的表現を含むオンラインコンテンツ制作者にとって、表現の自由に対する抑圧的な影響を与えます。著者は年齢確認の実施を拒否し、他のクリエイターにも検閲への抵抗を促しています。この判決は、オンラインにおける性的表現をすべて排除しようとする保守派の意図に基づいています。
続きを読む
GhidrAssistMCPは、標準化されたAPIを介してAIアシスタントやその他のツールがGhidraのリバースエンジニアリング機能と対話できるようにする強力なGhidra拡張機能です。MCP（Model Context Protocol）サーバーを提供します。関数、データ、クロスリファレンスなどを網羅する31個のビルトインツール、設定可能なUI、リアルタイムログ、動的なツール管理などを備えています。この拡張機能により、AI駆動の分析ツールやカスタムスクリプトをシームレスに統合し、リバースエンジニアリングの効率を大幅に向上させることができます。
続きを読む
カリフォルニア工科大学の研究者たちは、持続可能なエネルギー源からの電力を使用して、大気中の二酸化炭素を有用なプラスチックに変換する画期的な二段階システムを開発しました。このシステムは、まず電気化学反応によってCO2をエチレンと一酸化炭素に変換し、次にこれらのガスを第二の触媒サイクルに送り込み、強くて耐熱性のあるポリケトンを生成します。この画期的な技術は、プラスチック生産により環境に優しく持続可能な道筋を提供し、化石燃料への依存を減らします。まだ研究室段階ですが、システムの高濃度出力（エチレン11％、一酸化炭素14％）と不純物に対する許容性は、計り知れない可能性を示しています。
続きを読む
40歳以上の約89,000人の成人に関する前向きコホート研究で、より明るい夜間の光への暴露と、冠動脈疾患、心筋梗塞、心不全、心房細動、脳卒中の発生率増加との間に有意な関連性が見られました。この関連性は、確立された心血管リスク要因を調整した後も堅牢に維持されました。女性と若い人の関連性はより強かったです。これらの知見は、夜間の光への暴露を避けることが、心血管疾患リスクを軽減するための貴重な戦略となる可能性があることを示唆しています。
続きを読む
pattrnsは、Rustで記述され、動的な音楽作成のためのLuaスクリプティングインターフェースも提供する、実験的な命令型の音楽シーケンスジェネレーターエンジンです。ライブコーディングに最適で、リズム、ゲート、エミッターの3段階アーキテクチャを使用し、リズムと音色の側面を分離することで、柔軟な作曲と再結合を可能にします。Tidal Cyclesミニ記譜法にも対応しています。ただし、pattrnsは生の音楽イベントのみを生成し、オーディオ出力には互換性のあるアプリケーションが必要です。
続きを読む
"Pythonによる退屈な作業の自動化"の第3版には、音声、ビデオ、ウェブカメラの操作に関する未公開の章が含まれています。このブログ投稿では、その章の内容を共有し、マルチメディアの録音と再生を行うPythonコードの書き方を詳しく説明します。音声とビデオのデータ形式、ウェブカメラとマイクからの録音、音声ファイルの再生（playsoundとPygameを使用）、yt-dlpを使用したビデオのダウンロード、ffmpegを使用したビデオと音声の編集などを網羅しています。ビデオファイルのバッチ処理、タイムラプスの作成、アプリケーションへのフォトブース機能の追加などの作業を自動化する方法を学びましょう。
続きを読む
この記事では、C言語プログラミングにおいて「パースする、検証しない」アプローチを提唱しています。カスタム型（例：email_t、name_t）を定義し、信頼できない入力をこれらの型に即座にパースすることで、C言語におけるポインタ操作や型ミスマッチに固有のリスクを軽減します。この戦略は、生の文字列処理をシステムの境界に限定し、内部関数の誤用を防ぎ、コンパイラの型チェックを利用してパラメータの入れ替えなどのエラーを検出します。その結果、より堅牢で保守しやすいCコードとなり、攻撃対象領域が縮小されます。
続きを読む
Aeronは、UDPユニキャスト、マルチキャスト、およびIPCをサポートする高性能・低遅延のメッセージングシステムです。Java、C、C++、および.NETクライアントを提供し、マシン間またはIPCを介して効率的なメッセージ交換を実現します。Aeronは、優れたスループットと予測可能な低遅延を誇り、Simple Binary Encoding（SBE）を利用してメッセージ処理を最適化します。機能には、永続的なメッセージストレージのためのAeron Archiveと、フォールトトレラントサービスのためのAeron Clusterが含まれます。Adaptive Financial Consultingが所有・運営しており、トレーニング、コンサルティング、カーネルバイパスや高速暗号化などのパフォーマンス向上策などのプレミアムサービスも提供しています。高頻度取引システムやその他の要求の厳しいアプリケーションの構築に最適です。
続きを読む
心理学研究を実施していたR&Dスタートアップが、単純だが壊滅的なバグのために収集したすべてのデータを失いました。彼らのPHPコードは`mail() or die()`を使用しており、メールの送信に失敗した場合（テスト環境でインターネットアクセスがない場合）、スクリプトが途中で終了しました。そのため、データベースにデータが保存されませんでした。この経験は、エレガントなエラー処理と様々な環境での徹底的なテストの重要性を浮き彫りにしました。チームは高価なミスから学び、コーディングプラクティスを改善し、PHPからJavaScript、Go、Pythonなどのより安全な言語に移行しました。
続きを読む
Chromeは最近、いくつかの新しいHTTPヘッダーを追加しました。その中でも`x-browser-validation`は特に興味深いものです。この記事では、その機能を明らかにするリバースエンジニアリングのプロセスを詳述します。ハードコードされたプラットフォーム固有のAPIキーとユーザーの完全なUser-Agent文字列を連結し、SHA-1でハッシュした後、Base64でエンコードします。このヘッダーは、整合性チェックとして機能し、User-Agentのスプーフィングを防ぎます。分析では、Chromeのソースコード内の関連する関数を解剖し、さまざまなプラットフォームのデフォルトのAPIキーを提供します。
続きを読む
Zigは非同期I/Oモデルに革命を起こしており、コードの再利用性とパフォーマンスを向上させるために、非同期/待機と実行モデルを分離することを目指しています。新しい`Io`インターフェースにより、ユーザーはI/O実装をカスタマイズし、並行処理をサポートできます。`io.async`と`Future.await`を使用すると、基盤となる実行モデルを気にすることなく、並行処理を簡単に表現できます。Zigは、さまざまなニーズとプラットフォームの互換性を満たすために、スレッドプール、グリーン・スレッド、スタックレス・コルーチンを含むさまざまな`Io`実装を提供します。これは、従来の非同期プログラミングにおける一般的な「関数カラー」の問題を回避しながら、非同期I/Oの処理におけるZigの柔軟性と効率性を向上させます。
続きを読む
arXivLabsは、arXivの新しい機能をウェブサイト上で直接共同開発できるフレームワークです。参加者は、arXivのオープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという価値観を受け入れる必要があります。arXivコミュニティを改善するアイデアをお持ちですか？arXivLabsの詳細を学び、取り組みに参加しましょう！
続きを読む
この記事では、著者がRTOSを使わずに、C言語のマクロを使って組み込みシステム開発においてコルーチンを実装し、複雑な制御フローロジックを簡素化する方法を詳細に説明しています。著者は、LEDの点滅制御の例を用いて、従来の状態機械アプローチの複雑さを示し、次にマクロを使ってコルーチンコードを明示的な状態機械にコンパイルすることで、非同期的な機能を実現しています。この方法は冗長ですが、RTOSを使わずに並行プログラミングの可能性を示し、プログラマの創造性と低レベル技術に対する深い理解を示しています。記事の最後では、本格的なコルーチン開発にはRustなどのより現代的な言語を使用することを推奨しています。
続きを読む
Moonshot AIは、最先端の320億パラメーター混合専門家（MoE）言語モデル「Kimi K2」を発表しました。総パラメーター数は1兆に及びます。Muon最適化器でトレーニングされたKimi K2は、最先端の知識、推論、コーディングタスクにおいて優れた性能を発揮し、エージェント機能向けに綿密に最適化されています。研究者向けの基盤モデルであるKimi-K2-Baseと、すぐに使える指示に従うモデルで、強力なツール呼び出し機能を備え、ツールをいつどのように呼び出すかを自律的に決定するKimi-K2-Instructの2つのバージョンがあります。モデルと重みはオープンソースで公開され、APIも提供されています。
続きを読む
著者は、安全性の低い AI コーディング設定から、VSCode の Dev Container 機能を使用して Docker コンテナ内で Claude Code を実行する環境への移行経験を共有しています。ローカルマシンで AI エージェントを直接実行することのセキュリティリスクを強調し、Docker が提供する分離環境を推奨することで、Claude Code のファイルシステムへのアクセスを制限しています。 devcontainer.json ファイルの作成や、GitHub 用の細粒度アクセス トークンの使用など、詳細な設定ガイドが提供されており、読者が設定を簡単に再現できます。
続きを読む
Google ChromeがMV2からMV3に移行したことで、webRequestBlocking権限が削除され、多くの広告ブロッカーが機能しなくなりました。しかし、著者は面白いバグを発見しました。Chrome拡張機能のAPIがJavaScriptバインディングを使用しているため、`chrome.webRequest`イベントコンストラクターのパラメーターを操作することで、権限チェックを回避し、広告ブロック機能を実現することができました。このバグはセキュリティリスクではありませんでしたが、レガシーコードに潜む潜在的な問題、そして技術的な詳細を巧みに利用することで予期せぬ結果を得られる可能性を示しています。著者はGoogleにこのバグを報告し、現在は修正されています。
続きを読む
ビットコインは118,000ドルを超える過去最高値を更新し、NVIDIAなどのテクノロジー株の堅調な上昇を反映しています。アナリストらは、この上昇の要因として、機関投資家の継続的な流入、企業によるビットコイン保有量の増加（例：MicroStrategy、GameStop、Trump Media）、そして「暗号通貨週間」における今後の規制に関する議論への期待感を挙げています。ビットコインとテクノロジー株の相関関係、そして変化する規制への期待が、価格上昇の主要な原動力となっています。
続きを読む
JavaのWebSocketサーバーのパフォーマンス問題に悩まされた新卒エンジニアは、C++とuWebSocketsライブラリを使用して、高スループットのRPCフレームワークであるBinaryRPCを開発しました。Node.jsとExpress.jsに触発されたBinaryRPCは、最新のミドルウェアとセッション管理システムを備え、信頼性の高いメッセージングのために複数のQoSレベルをサポートしています。現在オープンソースであり、よく文書化されており、簡単に採用できる例が含まれています。
続きを読む
Linux上でDeus Exのスピードランに適したツールがないことに不満を持ったスピードランナーが、D言語でカスタムタイマーを作成するプロジェクトに着手しました。この記事では、ロードフラグの発見に失敗した初期の試みから、Linuxシステムコール（ptraceとprocess_vm_readv）の学習、コードインジェクションに適したメモリを見つけるためのリバースエンジニアリング、そして最終的にタイマーの中核機能の実装に至るまで、その過程を詳細に説明しています。作者はD言語を使用した経験を共有し、例外処理やセーブ画面のサポートが不完全であるなどの制限点を指摘しています。
続きを読む
連邦通信委員会（FCC）は金曜日、ネット中立性ルールを廃止する命令を出しました。この決定は、公衆への通知や意見募集期間を省略したもので、論争を呼んでいます。裁判所が以前ルールを無効としていたとはいえ、批判する声は、FCCの行動を、通信会社やロビイストへの配慮という政治的パフォーマンスと見ています。Free Pressのマット・ウッド副社長は、この措置は実際的な影響がほとんどなく、金曜日の発表は軽率さを示していると主張しています。控訴手続きはまだ終わっておらず、最高裁判所の訴訟にも影響はないでしょう。
続きを読む