1807 点
REAはコーディングエージェントにどのソフトウェアでも逆エンジニアリングを可能にする
REA（Reverse Engineering for Agents）は、ネイティブバイナリからウェブアプリケーションまで、解析エンジンに接続して証拠に基づく発見を返すミドルウェアツールであり、コーディングエージェントにソフトウェアの動作を検査・説明し、理解・変更・再作成に使用できる能力を与える。
記事全文を読む →2625 点記事準備中
2D Vehicles (patkerr.co.uk)
3329 点
TalorysはCloudflareの無料枠内でセルフホスト型のパーソナルAIエージェントを提供
TalorysはオープンソースのパーソナルAIアシスタントで、ユーザーのCloudflareアカウント内で完全に動作し、チャット、メモリ、タスク管理、自動リマインダーを1コマンドでデプロイ可能であり、外部サーバーやサブスクリプションは不要です。
記事全文を読む →
4472 点
Telegram Desktopの脆弱性により、ワンクリックでアカウント乗っ取りとファイル盗難が可能になる
Telegram Desktop for Windows の欠陥により、攻撃者は悪意のあるリンクをクリックするだけで任意のファイルを盗み、アカウントを乗っ取ることが可能になります。これは、プロセス間通信におけるエスケープされていないセミコロンと、安全でない内部 URI スキームを悪用するものです。
記事全文を読む →
7348 点
サウロンの目：メモリーからの電磁漏洩による隠しスパイカメラの検出
ESauronは、ビデオ処理中の内部メモリーから発せられる電磁放射を感知することで隠しスパイカメラを検出し、二十メートル以上離れた場所からでも50モデルのカメラすべてを100%検出しました。
記事全文を読む →
8228 点
Microsoft Execution Containersは、セキュアなAIエージェント操作のためのポリシーベースの隔離を提供する
Microsoftは、ファイル、ネットワーク、システムリソースへのAIエージェントアクセスのための正確な境界を定義・適用できるポリシーベースのコンテナシステムであるExecution Containers（MXC）の一般提供開始を発表しました。セキュリティとパフォーマンスの要件に応じた複数の隔離バックエンドが用意されています。
記事全文を読む →10225 点記事準備中
Knuth reward check (thomas-huehn.com)
11241 点記事準備中
Nix wrote half of my debugger (fzakaria.com)
12505 点記事準備中
Grieving the loss of details (purplesyringa.moe)
13186 点
市場データ生成のための自己回帰拡散の探求
Jane Streetの研究者たちは、オーダーブックイベントの連続的および離散的側面をモデル化することで、拡散モデルが現実的な市場データを生成できるかを調査し、flow matching と atom smoothing によって安定性が向上したものの、根本的な課題は残っていることを発見した。
記事全文を読む →
14192 点
食品加工が栄養成分を超えて代謝と脳の反応を変える
バージニア工科大学の研究では、カロリーと栄養素が一致している場合でも、高度に加工された食品は最小限に加工された食品と比べて異なる代謝および脳の反応を引き起こし、食品加工そのものが身体の食物への反応に影響を与えることを示唆している。
記事全文を読む →
15208 点
数学者が知っておくべきLean定理証明プロバー：信頼性とAI
型理論に基づき、巨大な形式ライブラリmathlibによって支えられるLean定理証明プロバーは、AIを用いたオートフォーマライゼーションの急速な進展を可能にした。しかし、そのカーネルにおける最近の健全性バグは、継続的な検証と人間の監視の必要性を浮き彫りにした。
記事全文を読む →
terrytao.wordpress.com
16177 点
チェルノブイリのホット粒子は災害から40年経っても予想外の安定性を示す
研究者たちは、1986年のチェルノブイリ事故で放出された6つの微視的な放射性断片を調査し、それら内部の核燃料が予想をはるかに上回る期間、結晶構造を保持していることを突き止めました。これは、化学的安定性が高く、核分裂生成物を周囲の環境に素早く放出するのではなく、保持し続ける傾向があることを示しています。
記事全文を読む →
18413 点
'123456'という脆弱なパスワードが原因で、880万人に影響を与えるデンマークのCPRデータ大規模漏洩が発生
調査により、小規模IT会社の脆弱なパスワードセキュリティが原因で、ハッカーがデンマークの中央民籍登録システムに3週間以上アクセスし、ほぼ900万人の市民に関連する個人データが露呈したことが明らかになった。
記事全文を読む →19218 点記事準備中
Five months treating bugs like patients and coding agents like a medical team (cockroachlabs.com)
20142 点
Eurydiceはレガシー検証環境においてRustとCをつなぐ
Eurydiceコンパイラは、プログラムの構造を保ちながらRustコードを読みやすいCコードに変換し、検証のためにCが必要な環境やRustツールチェーンが利用できない環境でもRustプログラムを使用できるようにします。
記事全文を読む →
22298 点
AppleのmacOS UNIX認証は古い仕様と非標準的な構成を反映している
Appleは各新しいmacOSリリースをUNIX®認証済みだと宣伝していますが、OSnewsの調査により、この認証が2004年の古いUNIX仕様に依存し、主要なセキュリティとシステム機能を無効にする必要があることが明らかになりました。つまり、認証されたバージョンはユーザーのMacで実行されているものとは異なります。
記事全文を読む →24278 点記事準備中
I would like the value of my home to rise, while my property taxes fall (conversableeconomist.com)
25173 点
RustプログラマーのためのC言語：その癖とトレードオフを理解する
Rustに焦点を当てたプログラマーは、C23で遅れて追加されたboolean型やヌル終端文字列、プラットフォーム依存の整数サイズ、最小限のエラーハンドリングといったCの驚くべき詳細を探り、Cの設計選択がどこで落とし穴を生み、どうすればそれを緩和できるかを示しています。
記事全文を読む →
27177 点
ヒト初のプリオン病タンパク質生産を標的とする薬の臨床試験が開始
第1相臨床試験が開始され、致命的神経変性疾患の原因となるプリオン蛋白質の生産を減少させるように設計された新規の小干渉RNA薬をテストするために患者の登録が始まった。
記事全文を読む →28408 点記事準備中
Bitwarden Dual License Model (bitwarden.com)
30240 点
WSL3はベンチマークにおいてWSL2と比較してメモリ帯域幅が最大61%向上し、レイテンシが低減
ベンチマークによると、WSL3はカーネルレベルのパフォーマンスを向上させ、メモリ帯域幅を最大61%向上させ、レイテンシを低減する。ただし、実際のコンパイルではCPUがボトルネックとなり、改善は控えめにとどまる。
記事全文を読む →