随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
欧盟CBAM最后实施规则将于12月初采纳，反规避及扩展提案同步推进
法国呼吁为欧盟2040气候目标设置“紧急刹车”，质疑碳汇可靠性
全球2024年化石燃料排放创历史新高，热带原始森林火灾损失激增370%
美国能源部提供16亿美元贷款支持印第安纳州煤制氨CCS项目引争议
南非公布改革蓝图，拟整合国内碳税与自愿碳市场并对接《巴黎协定》第六条
阿根廷推迟运输燃料碳税上调计划，称需平衡经济增长与财政可持续性
报告呼吁全球协同设计“先进市场承诺”机制，以加速碳移除技术资助与部署
推动国际合作 共护全球气候
应对气候变化 我们能做些什么？
气候变化导致农业种植带北移西扩
