carbon
PulseAugur coverage of carbon — every cluster mentioning carbon across labs, papers, and developer communities, ranked by signal.
-
稻米种植排放量翻倍，接近2.39亿辆汽车年产量
一项最新研究表明，自20世纪60年代以来，稻田的温室气体排放量几乎翻了一番，目前平均每年约11亿吨二氧化碳当量。这使得稻米种植成为除畜牧业之外最大的农业排放源，其排放量相当于2.39亿辆汽车的年产量。虽然农民可以通过采用现有的气候智能型做法将排放量减少10%，但要实现气候目标还需要更先进的策略。
-
堆肥将废物转化为碳，闭合自然循环
这篇文章以柠檬为例，讨论了有机废物中的碳的概念。它解释说，通过博卡西堆肥等过程，微生物会分解废物，从而有效地闭合营养循环。作者强调，这种微生物分解是一个字面上的过程，而不是一个比喻，突出了自然的分解循环。
-
用户谴责现代编码，提倡十六进制和纸笔
一位Mastodon用户对编程语言表达了反主流观点，认为即使是汇编语言也太高级了。他们主张直接用十六进制操作码编写代码，并在使用打字员之前先用纸笔完成。该用户还幽默地建议不要使用计算器，并将这些极端方法视为防止与包括AI在内的现代工具相关的认知能力下降的方式。
-
Viverra系统生成带有已验证断言的代码
研究人员开发了Viverra，一个旨在解决AI生成代码缺乏正确性保证的系统。Viverra根据自然语言描述合成C程序，并自动生成关于其安全性和正确性的候选断言。然后使用一套有界模型检查器来验证这些断言，旨在通过减少手动代码审查和测试的需求来提高开发人员的效率。
-
开发者构建工具以优化 AI 代码上下文窗口
一位开发者创建了一个基于 PHP 的命令行工具，以改进 Claude 等 AI 助手与大型代码库的交互方式。该工具使用 SQLite 构建项目的依赖图，使 AI 能够访问特定代码元素（如方法或类字段），而无需读取整个文件。这种方法旨在节省 AI 的上下文窗口，这对于处理大型代码项目时的效率至关重要。
-
新基准MolRecBench-Wild挑战真实世界化学结构识别
研究人员推出了MolRecBench-Wild，这是一个新的基准，旨在评估光学化学结构识别（OCSR）系统在科学文献中的真实化学图上的表现。该基准解决了当前OCSR模型在实际出版物中发现的视觉和化学复杂性方面的局限性。MolRecBench-Wild包含超过5000个结构和一个名为CARBON的新表示语言，以捕捉标准格式之外的细微化学语义。
-
嘉楠耘智中标国家电网智能电表项目，金额1.21亿元
嘉楠耘智已与中国国家电网公司达成一项重要合同，价值约1.21亿元人民币。该公司将为国家电网2026年度营销项目供应智能电表及相关终端设备。该合同约占嘉楠耘智2025年主营业务收入的18.98%。
-
AI代理利用强化学习增强软件测试用例生成和代码覆盖率
研究人员开发了两种使用大型语言模型（LLMs）和强化学习进行自动化测试用例生成的新方法。第一种方法PPO-LLM采用近端策略优化（PPO）来指导LLM的提示选择，旨在最大化代码覆盖率并最小化源代码长度。第二种方法FeedbackLLM使用具有专门反馈代理的多代理系统，根据行和分支执行元数据来优化测试用例，并包含一个冗余预防缓存。这两种方法在为复杂软件系统生成测试用例方面均显示出优于现有工具的性能。
-
Free Pascal 和 BLAS 为 SLM 项目提供确定性的 HPC
一位 Mastodon 用户正在探索使用 BLAS（一组基于 Fortran 的矩阵例程）来支持他们的中小语言模型 (SLM) 项目。他们更倾向于使用 Free Pascal 而非 C、Python、Rust 和 C# 等语言，因为 Free Pascal 具有确定性且缺乏现代编程抽象。该用户计划与 GitHub Copilot 合作开展此项目，旨在获得更传统的opy 编程体验。
-
程序员在不理解基本原理的情况下，反对LLM生成的Rust代码
一位程序员对使用大型语言模型（LLM）将C语言代码重写为Rust表示怀疑，认为即使是内存安全的语言，对底层基本原理的真正理解也是至关重要的。作者认为，在不掌握基本知识的情况下，依赖于复杂且理解不深的系统（如用于代码生成的LLM）将不可避免地导致系统故障。这种观点将此与木工类比，即高级工具仍然需要掌握基本的连接和手工工具的知识。
-
研究人员开发使用神经方法为命令式程序构建图
研究人员开发了一个管道，将命令式程序及其注解转换为类型化、属性化的图。该过程结合了抽象语法树解析与来自 SentenceTransformer 和 CodeBERT 等模型的语义嵌入。目标是识别程序之间的结构和语义相似性，以便重用验证工件。使用 C、Java 和 Dafny 进行的实验证明了跨不同语言和注解风格创建一致图表示的能力。
-
我在80年代学会了# Pascal。我学了点C和Rust，但讨厌那些对矩阵操作极其笨拙的指针逻辑。# Python和# C用户
一位程序员分享了他们学习各种编程语言的经验，发现Pascal的数组处理在矩阵操作方面优于C和Rust。他们指出，像NumPy这样的库通常是用汇编语言编写的，基于Fortran算法，而不是C。该用户试图通过Fortran引导来创建一种新语言，并在Claude 4的帮助下进行，但最终决定因其数组功能而切换回Pascal。
-
Google 的 SynthID 水印失败，新工具可轻松绕过
一位安全研究人员演示了 Google 的 SynthID 水印系统（旨在识别 AI 生成的图像）可以被轻易绕过。Alosh Denny 开发了概念验证代码，可以在不使用 AI 的情况下检测和移除 SynthID 水印，并且该研究人员成功将此代码转换为 C 语言。这些发现表明 SynthID 的可靠性受到损害，可能允许 AI 生成的图像被冒充为真实图像，或使合法媒体受到质疑。
-
前对冲基金执行助理 Carrie Sun 在新回忆录中详述职业倦怠
Carrie Sun，一位知名对冲基金的前执行助理，发布了一本回忆录，详述了她的经历。这本书匿名化了个人和公司，提供了支持高管的严苛性质的视角。Sun 讨论了职业倦怠的心理和身体代价、工作与个人生活界限的模糊，以及她对精英金融界成功本质的思考。