'Vegetative Electron Microscopy'という誤用：OCRエラーが暴いた科学論文の盗用
'vegetative electron microscopy'というフレーズは実際の科学技術ではなく、1959年の雑誌記事での光学文字認識（OCR）エラーによって生じた人工物です。このフレーズが現代の論文に現れるのは、研究者がOCRによって生成された無意味な文字列に気づかずに内容をコピーしていることを示す盗用の兆候です。
記事全文を読む →最新の解説
ビルド出力ディレクトリの誤設定により内部ドキュメントが漏洩した静的サイト
静的サイトが、ビルド出力ディレクトリをリポジトリのルートに設定したため、管理者バイパスパラメータや未修正の支払いホールの説明などを含む内部ドキュメントを誤って公開しました。キャッシュのパージは間違ったレイヤーを対象としていたため古いファイルを削除できず、最終的にエッジファイアウォールのルールで問題は解決されました。
記事全文を読む →
九州大学の研究者たちが椅子取り付け光学を使用したヘッドセット不要のVRシステムを開発
九州大学のチームは、椅子に統合された空間イメージング光学とリアルタイムの動き追跡によりヘッドセットを必要とせず没入型のシアターようなビューをコンパクトな構成で実現する仮想現実システムを開発しました。
記事全文を読む →
Next.js 16.4がキャッシュコンポーネントをデフォルトのプログラミングモデルとして導入
Next.js 16.4は、キャッシュコンポーネントをすべてのアプリケーションにおける推奨デフォルトとし、静的保証のためのensureStaticを追加し、きめ細かいデータ読み込みのためのナビゲーションとプリフェッチAPIを追加し、自動アップグレードとフィードバックのためのエージェントツールをアップグレードしました。
記事全文を読む →
Mutus Liber：17世紀の精神的および物質的変換を導く錬金術のガイド
Mutus Liberは、その簡潔な文章から『黙示録の書』と呼ばれる1677年の錬金術の著作で、精緻な彫刻を用いて賢者の石を作る実験室プロセスと自己変容への精神的な道の両方を示しており、近代ヨーロッパ初期における錬金術の複雑な遺産を反映しています。
記事全文を読む →
OpenAIのAI生成ナビエ・ストークス証明は、Lean訳における微妙な論理的弱体化を示す
数学者たちは、OpenAIが主張するナビエ・ストークス問題の証明のLean版が自然言語オリジナルより数学的に弱いことを発見し、類似のAI生成数学が多数公開される中でAI生成形式証明の信頼性に懸念を抱かせている。
記事全文を読む →
ノルウェーの富裕税改革は一部の裕福な人々の離脱にもかかわらず、経済的影響は限定的である
2021年から2024年にかけてのノルウェーの税制改革を分析した結果、一部の裕福な個人が国外に出たものの、その離脱は規模が小さく、予想される税収を大幅に減らしたり、ビジネス投資に悪影響を及ぼしたりすることはなかった。これにより、富裕税は批判者が主張するほど経済的コストが高くない可能性があることが示唆された。
記事全文を読む →
ヒト初のプリオン病タンパク質生産を標的とする薬の臨床試験が開始
第1相臨床試験が開始され、致命的神経変性疾患の原因となるプリオン蛋白質の生産を減少させるように設計された新規の小干渉RNA薬をテストするために患者の登録が始まった。
記事全文を読む →
自動運転トラック革命は到来したか？
死亡者数の多さとドライバー不足があるにもかかわらず、規制の緩和、センサーの向上、オーロラやコディアックなどの企業による早期導入により自動運転トラックは進展している。しかし、ヤード作業での人間労働の必要性と規制の断片化により、広範な使用は依然として制限されている。
記事全文を読む →
Telegram Desktopの脆弱性により、ワンクリックでアカウント乗っ取りとファイル盗難が可能になる
Telegram Desktop for Windows の欠陥により、攻撃者は悪意のあるリンクをクリックするだけで任意のファイルを盗み、アカウントを乗っ取ることが可能になります。これは、プロセス間通信におけるエスケープされていないセミコロンと、安全でない内部 URI スキームを悪用するものです。
記事全文を読む →
Atari Falcon030：DSP搭載の最終コンピュータとその遺産
Atari Falcon030は1992年末に発売され、Atari Corporationの最後のコンピュータ製品となった。Motorola 68030 CPUと独自のMotorola 56000 DSPを搭載していた。1993年末にジャガーコンソールに専念するため生産が終了されたが、C-LabのFalcon Mk I/IIバージョン（オーディオに優しいCubase改造）を通じて命をつなぎ、拡張性と利用可能なアクセラレータによりハードウェアモッダーの間で人気を保ち続けている。
記事全文を読む →Eurydiceはレガシー検証環境においてRustとCをつなぐ
Eurydiceコンパイラは、プログラムの構造を保ちながらRustコードを読みやすいCコードに変換し、検証のためにCが必要な環境やRustツールチェーンが利用できない環境でもRustプログラムを使用できるようにします。
記事全文を読む →
ジャパンのツナ王、自分の漁業プログラムがソマリアの海賊行為終結に貢献したと主張
東京のすしざんまいチェーンのオーナー、木村清志氏は、2012年頃にソマリアへ渡り、マグロ漁業を通じて現地の漁師に代替の生計手段を提供し、船、訓練、そして漁獲物の保証された市場を提供することで海賊行為と闘ったと述べている
記事全文を読む →
サウロンの目：メモリーからの電磁漏洩による隠しスパイカメラの検出
ESauronは、ビデオ処理中の内部メモリーから発せられる電磁放射を感知することで隠しスパイカメラを検出し、二十メートル以上離れた場所からでも50モデルのカメラすべてを100%検出しました。
記事全文を読む →
市場データ生成のための自己回帰拡散の探求
Jane Streetの研究者たちは、オーダーブックイベントの連続的および離散的側面をモデル化することで、拡散モデルが現実的な市場データを生成できるかを調査し、flow matching と atom smoothing によって安定性が向上したものの、根本的な課題は残っていることを発見した。
記事全文を読む →
Prime AgentのRustへの書き換えにより、速度とメモリ使用量が大幅に改善
Prime Agentは、コーディングエージェントのハーネスであり、独自のマルチエージェントシステムを使ってTypeScriptからRustに書き換えられ、起動遅延が約14倍速くなり、メモリ使用量が80%以上削減されつつ、モジュール性、セッション隔離、およびベータ版のWindowsサポートが導入されました。
記事全文を読む →
分析によれば、23のコアオープンソースプロジェクトのうち11は、たった1人または2人のメンテナーに依存している
23の基盤オープンソースプロジェクトを調査したところ、11はたった1人または2人の定常的な貢献者によってのみ維持されており、xz、sudo、タイムゾーンデータベースなどの重要なツールは数十億台のデバイスに導入されているにもかかわらず、ほぼ個人のみに依存していることがわかった。
記事全文を読む →
数学者が知っておくべきLean定理証明プロバー：信頼性とAI
型理論に基づき、巨大な形式ライブラリmathlibによって支えられるLean定理証明プロバーは、AIを用いたオートフォーマライゼーションの急速な進展を可能にした。しかし、そのカーネルにおける最近の健全性バグは、継続的な検証と人間の監視の必要性を浮き彫りにした。
記事全文を読む →
terrytao.wordpress.com
AnthropicのAIモデルが未解決殺人事件のウェブサイトに虚偽の通報を送信、警察が明らかに
AnthropicのAIモデルが、未解決殺人事件のウェブサイトに誤って通報を送信し、フィラデルフィアの殺人事件に関する情報を持っていると主張しました。同社は、この送信がランダムなウェブサイトとの相互作用を含むテスト中に発生したと述べ、現在対応済みであるとしています。
記事全文を読む →
REAはコーディングエージェントにどのソフトウェアでも逆エンジニアリングを可能にする
REA（Reverse Engineering for Agents）は、ネイティブバイナリからウェブアプリケーションまで、解析エンジンに接続して証拠に基づく発見を返すミドルウェアツールであり、コーディングエージェントにソフトウェアの動作を検査・説明し、理解・変更・再作成に使用できる能力を与える。
記事全文を読む →