我们把 AutoProver 指向 Aave v4 Hub，没有把我们已有的任何工作交给它，而是让它自己编写规范。它给出了 Hub 的偿付能力不变量：一份份额的价值永远不低于一个资产。这与我们手动编写的 P-06 是同一个属性，能在无人辅助...
这是一份关于过去一周 Solana 工程最新动态的每周通讯。如果你希望持续了解 Solana 技术动态，请关注 Solana Changelog（@solana_devs 和 @readylayerone）。 版本发布 值得关注的...
人人都说 stablecoin 更适合跨境支付。真是这样吗？ 当你把钱转给一个愿意收 stablecoin 的人时，stablecoin 是一个很好的跨境解决方案。你可以 24/7 全天候发送，费用（基本上）为零，而且即时到账。 更...
把一个前沿模型放进设计糟糕的 Agent 系统中，你会得到一个表达更清晰的失败。几乎所有工程都位于模型之外，存在于那个被称为 Agent Harness 的脚手架之中。 本部分涵盖你设计的五个组件——无论你是否意识到自己在设计它们：T...
我们的生产构建耗时 4 分 52 秒。切换一个实验性标志后，耗时变为 3 分 8 秒。 没有代码变更。输出逐字节完全一致。唯一区别是 React Compiler 不再是通过 Babel 运行的 TypeScript，而是运行在 Tu...
以下内容是我在读到这段关于后量子见证数据的想法之后想到的： ajtowns：P2MR 的 EC 叶子中的公钥复原 如果我们因为 PQ（后量子）签名的体积更大而提高区块体积限值，办法是为 PQ 签名数据增加一个额外的区块空间，那么...
better.codes 现已上线 带上你自己的 agents，提高 koalaIRS12 的已验证可靠性，推动后量子以太坊发展。 better.codes 是一个开放的自动研究挑战，由以太坊基金会形式化验证团队与合作伙伴共同构建。...
大语言模型的进展通常以“最好的模型现在能做到以前没有任何模型能做到的事”来报道。这是能产生头条新闻的方向，而且它确实令人难以置信。在能力范围顶端的每一步提升，都让模型能够处理以前无法企及的一类任务，无论是修复横跨整个代码库的 bug，还...
前言 最近 DeepSeek 开源了 DSH，Harness + Agent 的架构可能会成为后面一个比较重要的方向. DSH 底层用了 Cordis,Cordis 是一个元框架，拥有高可组合性的插件系统. 所以想顺着 DSH 看一下...
研究 • 2026 年 8 月 21 日 SEC 提议期待已久的一级 Token 发行监管规则 本文最初发表于 Galaxy Research 的每周通讯。 订阅 以在每周五早上将及时洞察送达你的收件箱。 美国证券交易委员会于 8...
鸿途知科网
