An exploration of multistack concatenative programming languages, discussing how auxiliary stacks and dynamic bindings like Factor's namespaces and PostScript's dictionaries can ease data stack management without sacrificing concatenative composition.
来自 Ink & Switch 的研究笔记,描述了 Livelymerge 的对象模型。该项目使用 Automerge 文档作为 JavaScript 程序的持久化协作堆。
The article introduces Revision Prompting, a technique for industrial LLM processes that improves speed, cost, and consistency when re-processing updated inputs by generating output patches from diffs.
MIT研究人员开发了一种可扩展的制造技术,能够在不损坏易碎分子材料的情况下将其集成到电子器件中,该技术结合了传统半导体制造与自组装。该方法已在1000多个器件上得到验证,并发表在《自然·纳米技术》上,有望推动下一代计算、光子学和量子技术。
研究人员创建了 VirTues,这是一个用于空间蛋白质组学的统一基础模型,能将多样化的组织成像数据转化为标准语言,从而实现更快、更准确的医学诊断和个性化治疗。
微软的新研究表明,AI模型可能被投毒,从而生成看似良性的思维链推理过程,同时暗中输出有害答案,这削弱了将思维链监控作为安全机制的有效性。
斯坦福NLP成员Diyi Yang和Yutong Zhang因其关于AI伴侣的研究而受到斯坦福工程学院的报道,研究发现AI伴侣能提升实际任务表现,但作为社交互动的替代品会削弱人际关系。
腾讯的一项新研究引入了递归合成终端任务(RST),这是一种逐步为AI智能体生成更难、可验证的训练任务的方法。从639个任务开始,它在15轮中生成了37,484个经过验证的任务,使用这些任务进行强化学习将Qwen3.5-27B在Terminal-Bench Hard上的性能从22.7%提升到32.0%。
该arXiv论文提出了用于联邦多智能体系统的协作控制算法,其中包含AI智能体与评审者,应用于网络遥测中的故障检测与原因分析,并通过多时间尺度随机逼近提供收敛性保证。
Sergey Levine 重点介绍了一篇新论文,该论文探讨了为什么动作分块在现代大规模机器人模仿学习中如此有效,并剖析了其背后的原因。
Ai2推出了TutorMoments,一个基于回放的评估框架和数据集,用于衡量大语言模型在1对1数学辅导中能否平衡何时提供帮助与何时放手。初步结果显示,模型倾向于过度帮助,而提示工程只能部分缩小与人类导师的差距。
《自然综述·药物发现》的一篇观点文章对人工智能在药物发现中的应用进行了批判性回顾,指出其临床影响有限,并提出了提高转化相关性的建议。
斯坦福大学和Arc研究所的研究人员使用AI模型Evo 1和Evo 2设计了数百个新型噬菌体基因组,其中16个产生了能够感染大肠杆菌的完全功能性病毒。这一突破为对抗抗生素耐药性开辟了新途径,但也引发了生物安全方面的担忧。
研究人员利用Daniel K. Inouye Solar Telescope捕捉到了太阳表面开尔文-亥姆霍兹不稳定性的首批清晰图像,揭示这些等离子体漩涡无处不在,并可能重塑我们对太阳大气中热量和能量运动的理解。
一位研究者的博客文章描述了他如何将约束模型转化为可玩的益智游戏,基于他关于将数独作为约束问题进行扩展的论文。文章分享了MiniZinc模型、一个包含434,201个数独实例的仓库,以及九个益智游戏的可玩版本。