情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！ たぶん世界初です。 Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。 昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。 開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。 Nyxisは大部分がLean言語で記述されており、形式検証によって 「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」 という認可安全性定理を機械的に証明しています。 認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。 形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。 先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。 こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。 Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。 もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。 この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。 一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。 本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。 世界をセキュアにする一助になれば嬉しいです。 github.com/NyxFoundation/nyx…

wcnm weekend 这唱功也能开演唱会骗钱啊？脸也不要啊。

Epic 正在尝试解决 PC 游戏存在了十几年的老问题：Shader 编译卡顿。 玩过大型 PC 游戏的人应该都遇到过：第一次启动要等 Shader 编译，第一次进入新地图会卡，第一次看到某个特效，画面突然掉帧。 现在，Unreal Engine 5.8 正式引入了 DirectX Advanced Shader Delivery（ASD）支持。 以前：玩家安装游戏 → 启动游戏 → GPU 驱动编译 Shader → 可能出现卡顿。 现在：开发者提交 Shader 数据库 → 游戏商店针对不同 GPU 和驱动提前编译 → 玩家下载匹配的预编译结果 → 游戏直接利用缓存。 Epic 为此引入了两种数据库： • SODB：保存与 GPU 无关的 Shader 和 PSO 数据。 • PSDB：针对具体 GPU 系列和驱动生成的预编译结果。 整个过程可以由游戏平台完成，玩家甚至不需要知道它的存在。 不过，目前还有几个限制： • 仅支持 Windows D3D12 + Shader Model 6。 • 暂不支持光线追踪 PSO。 • 仅覆盖部分 GPU 和驱动。 • Microsoft Store 是当前交付目标，Epic Games Store 计划于 2027 年初支持。 它也无法消灭所有 Shader 卡顿，未命中的 PSO 依然需要实时编译。 但我认为这项技术真正重要的地方，是它正在改变 PC 游戏的发行方式。 过去，游戏平台主要负责分发游戏文件。 未来，它可能还要负责为每位玩家的 GPU 提前准备好可执行的着色器代码。 如果这套机制被主流游戏平台广泛采用，未来 PC 游戏安装完成后就能流畅运行，可能真的不再只是一种理想。 一个困扰 PC 玩家多年的问题，终于开始从整个游戏发行生态层面得到解决。

不。。。😭 @Kimi_Moonshot 也把新套餐名换成传统的Plus、Pro、Max、Ultra了。 原来那套Moderato、Allegretto、Allegro、Vivace，现在只存在在旧套餐里了。 srds我还挺喜欢原来那套音乐术语命名的。 虽然第一眼得琢磨一下哪个档位更高，但配上页面里的五线谱和高音谱号，确实有自己的风格（摇滚🎸）。 现在更好认了，也跟其他产品越来越像了。 但我觉得有点可惜，因为连套餐名这点小小的个性，最后都走向了统一。

New from PocketJS: quickjs-oxide. A JavaScript interpreter modeled after QuickJS, implemented from scratch by AI in Rust with zero unsafe code, and the first of its kind to achieve performance competitive with the original QuickJS. We spent one month achieving a high Test262 pass rate, then another month cleaning up the code, getting rid of the AI slop, and reaching competitive performance with just a stack VM and reference counting. Over the last weekend at RustChinaConf, we rewrote the core into a register VM and achieved this level of performance in just two days. Now quickjs-oxide outperforms most non-JIT JavaScript engines on benchmarks like V8 v7 and the Octane suite, using only around 30% more memory than QuickJS, while maintaining zero lines of unsafe implementation code and no external dependencies except for BigInt support. Huge credit to @ericoolen_eric for making this happen, and massive thanks to our sponsor @ZephyrCloudIO for supporting the journey!

Today we're launching an exciting new project: Highlights Highlights is a syntax highlighter that outputs HTML. It improves on both speed and correctness compared to the existing industry standard libraries. It's an optional drop-in replacement in Diffs, and it's ready to use today. In fact, it's already powering diffshub․com! Check it out at diffs.com/highlights OR `pnpm install @​pierre/highlights`

非常短但是很有价值的文章，如果我在quickjs-oxide初期就读到会少走很多弯路。基本上你需要在迭代中将你的性能测试控制在一个很小的大小(300ms)，让它不会拖累agent的开发迭代，同时又能通过profiler揭示所有问题。足够小还能更简单的避免杂项和噪声的影响，而不是反过来。 matklad.github.io/2026/10/05…

写 rust-analyzer 的传奇大佬、TigerBeetle 核心工程师 matklad，刚写了一篇不到 300 字的短文，却在 Hacker News 吵翻了天。 他提出了一个极其反直觉的「性能测试 300ms 黄金法则」： 不要迷信纳秒级的复杂统计学测试框架。做 Micro-benchmark 时，直接调整输入规模，让耗时刚好卡在 300 毫秒。 为什么是 300ms？背后的工程哲学太通透了🧵👇

i genuinely think good AOT JS/TS with full ecosystem compatibility would be the most exciting thing to happen to JavaScript since Node

We are excited to announce that Deno is joining Cloudflare! deno.com/blog/cloudflare

I've published a new, general-purpose terminal specification that gives any program a way to tell the terminal what it's doing: idle, working, waiting, finished, or failed, and why. It is easy to implement on both sides. I've written more about why: mitchellh.com/writing/progra… The problem this solves is generic and applies in compelling ways to all sorts of use cases (e.g. package managers, build tools), but it really rears a hideous head when it comes to AI and the "agentic inbox" problem. I found over 250 different agent orchestrators (with various goals) that all individually implement a heuristic based approach to detecting whether things like Claude Code are working, blocked, done, etc. If you look at @herdrdev's commit history, you can see around 10 compatibility changes to detect Claude Code within just the past 3 months. (This isn't a dig at Herdr! They're doing great work with what they have, and everyone else is doing the same thing). Heuristics are not the way. And over-indexing on agentic use cases isn't the way, because this problem is really interesting for other tools too: Homebrew, Terraform, Cargo, etc. etc. Proprietary protocols and out of band APIs are not the way. They have an O(N) integration problem and require extra work to work over SSH or within local VMs/containers. The program status specification (OSC 7501) solves this in a reliable, deterministic way that is general-purpose and can be easily adopted by the entire industry. Read more: mitchellh.com/writing/progra…