ZXDesk、48K ZX Spectrumにウィンドウ型インターフェースを実現
オープンソースのZ80アセンブリ言語プロジェクトが、1982年登場のシンクレア製家庭用コンピューターのメモリー内に、ウィンドウ、メニュー、アプリ、ストレージ対応を収めた。
記事を読む ↗テクノロジー
開発者、AI支援によるコンウェイ予想のLean証明を報告――独立検証は未了
約1か月の実験で、omnific integersに関する機械検査済みの形式的証明ができたが、著者は数学者による独立検証はまだ行われていないと述べている。
記事を読む ↗
FEX、Arm上でx86ソフトを動かす際のメモリ順序維持の負荷を解説
エミュレーター開発プロジェクトによると、x86の強いメモリ保証をArmプロセッサー上で再現することは、ハードウェアごとに異なるトレードオフを伴う広範な性能上の課題であり続けている。
記事を読む ↗
米法案、外国の海賊版サイトへの裁判所命令による遮断を提案
American Copyright Protection Actは大手ISP、DNSリゾルバー、VPNサービスに遮断命令を広げる内容で、検閲や巻き添えの被害への警告が出ている。
記事を読む ↗
研究者、OpenAI従業員アカウントへのアクセスを可能にした修正済みの脆弱性連鎖を詳述
Hacktronによると、Discourseの画像処理の欠陥とOpenAIのサインオン設定により、連携した修正が行われる前に従業員のChatGPT、Codex、内部リポジトリーへアクセスできた。
記事を読む ↗
実験的言語Goose、スタックだけでメモリ安全性を実現する手法を検証
Gooseの開発者は、ヒープをなくすことでコンパクトなデータ配置と高い性能を実現できるとする。ただし、ベンチマークの主張はプロジェクト自身の報告にとどまる。
記事を読む ↗
Devin、コードベース全体を審査するCode Scansを公開
新機能はリポジトリー全体の調査を並列エージェントに分担させ、検出事項に優先順位を付け、選んだ提案をプルリクエストに変換できる。
記事を読む ↗
Waymo、シンガポールで自動運転配車サービスの段階的導入を計画
Alphabet傘下の同社は、現地当局の承認を前提に、2027年に手動運転による地図作成を始め、2028年の商用サービス開始を目指すとしている。
記事を読む ↗
Telstraの全国的通信障害、分析で誤ったGPS時計が発端と判明
保守後に年を2006年と認識していた時刻受信機が、携帯電話網と接続インフラが同期された時計にいかに深く依存しているかを浮き彫りにした。
記事を読む ↗
ByteShape、Qwen 3.8 27B向けShapeLearn完全版の量子化モデルを公開
5種類の新たなGGUF版が、試験した6種類のNvidia GPUで、モデル品質、メモリー使用量、推論速度の均衡を目指す。
記事を読む ↗
OpenJevデモ、ブラウザー内のローカルAI判断と生成されたJSON回答を比較
WebGPUの実験により、同じオープンモデルで、選択肢への直接採点とトークン単位の確率生成を利用者が比較できる。
記事を読む ↗
裁判資料で、AI学習と報道機関をめぐるMicrosoft内部の警告が明らかに
報道機関が引用した黒塗り解除資料には、MicrosoftとOpenAI内部の厳しい警告が示されているが、重要な裏付け資料は依然として非公開のままだ。
記事を読む ↗
パスキーへの批判、復旧・移行性・締め出しのトレードオフを指摘
ある開発者は、認証情報がプラットフォームや復旧手順に依存する場合、フィッシング耐性だけで消費者向けの安全性評価は決まらないと主張する。
記事を読む ↗
古代ギリシャ語の語彙に残る、失われたエーゲ海の言語の痕跡
印欧語由来と認められていない約1,000のギリシャ語の単語が、先ギリシャ語を話す共同体との接触を記録している可能性を、言語学的分析が説明する。
記事を読む ↗
Jev、高速で選択肢の限られた判断をAIモデルの中心に据える
構造化出力モデルは、対話型ソフトウェア内部で動く低遅延AIの方向性を示す一方、独立したエンジニアは、その技術の多くは既存モデルでも再現できる可能性があると論じる。
記事を読む ↗
GitHub、Copilotの支援でCopilotエージェントの実行基盤をRustへ移植
GitHubによると、数カ月にわたる移植でTypeScriptとNode.jsの実行基盤を置き換え、128件のプルリクエストを通じて80万行超の本番用Rustコードを導入した。
記事を読む ↗
Cloudflare、構造化されたセキュリティー監査向けのコーディングエージェント用スキルを公開
オープンソースの作業手順は、コーディングエージェントを6段階の監査へ導き、機械可読の証拠、調査範囲の追跡、独立した検証を要求する。
記事を読む ↗
DATAMIMIC、決定論的なテストデータツールをコーディングエージェント向けに公開
コミュニティー版は、再現可能な合成データエンジン、コマンドラインのワークフロー、テスト環境向けに機能を厳密に限定したMCP連携を開発者に提供する。
記事を読む ↗
Apple、iPhone写真の真正性を検証できる「Reference Image」モードを発表
IPhone 18 Proで任意に有効化できるこの機能は、センサーによる署名、撮影時刻の範囲を示すタイムスタンプ、プライバシーを保護するクラウド処理を組み合わせ、カメラが捉えた内容の真正性を確認する。
記事を読む ↗Cloudflare、検索インデックス登録とAI学習を分けて制御する機能を追加
サイト所有者は新たな設定により、複数用途のクローラーに対して、検索用のページのインデックス登録は認める一方、素材をモデルの学習には使わないよう意思表示できる。
記事を読む ↗