随着区块链技术的愈演愈烈,很多人开始在以太坊(Ethereum)的“智能合约语言”上做文章。其中一部分是搞 PL 的人,他们试图对 Solidity 之类语言写的智能合约进行形式验证,号称要用严密的数理逻辑方法,自动的验证智能合约的正确性。其中一种方法是用“深度学习”,经
陈鹏:把信息化技术、能源体系和“双碳”体系结合起来蕴含着大量的投资机会
戴炜:高绿色溢价是制约碳中和进程的重要因素
非法定计量单位限制使用管理办法 自2024年6月1日起施行
【财库〔2024〕13号】关于印发《政府采购合作创新采购方式管理暂行办法》的通知
面向“双碳”需求进一步优化碳排放核算机制
金融监管总局发文推动绿色保险高质量发展
五部门:加强农村房屋建设管理
证监会发布《资本市场服务科技企业高水平发展的十六项措施》
五部门出台中国首台(套)重大技术装备检测评定新规
两部门印发修订后的《国家重点研发计划管理暂行办法》