I’ve seen thinnings before as some mystifying Agda inductive with no obvious relevance to anything that could be useful to me. But they are a perfectly sensible mathematical object and do not have to be relegated to only usage in dependent type theory. You can perfectly well talk about them in Python or any profane (profane is intended as both compliment and criticism) language of your choosing.
围绕推动“十五五”目标任务落实落地，统筹考虑战略性、牵引性和连续性，《纲要（草案）》提出6方面109项重大工程。引领新质生产力发展方面，围绕产业基础能力和竞争力提升、新产业新赛道培育发展、前沿科技攻关、创新基础能力提升提出28项工程。构建现代化基础设施体系方面，围绕国家综合立体交通网、新型能源体系、新型基础设施、对外开放平台等提出23项工程。促进城乡融合发展方面，围绕新型城镇化建设、农业农村现代化建设提出9项工程。保障和改善民生方面，围绕社会主义文化繁荣发展、高质量教育体系建设、健康中国建设、优化“一老一小”服务、社会关爱服务提出25项工程。推动绿色低碳转型方面，围绕碳达峰碳中和、环境质量提升、生态保护修复提出18项工程。重点领域安全保障方面，围绕粮食、能源安全等提出6项工程。这些重大工程兼顾当前和长远，既涉及“硬投资”也包含“软建设”。我们将注重以政府投资带动社会力量参与，更好发挥重大工程项目强基础、补短板、增后劲等重要作用。。safew对此有专业解读
2026年1月28日，杭州临安区衣锦城遗址博物馆正式开馆。钱镠的老家与陵墓，都在这方小小的衣锦城内。在不远处的吴越文化博物馆内，收藏有一个不起眼的瓷碗的底座残片，上面刻着“太平戊寅”四个字。戊寅年为978年，即宋太平兴国三年，这一年，吴越纳土归宋。戊寅年，是一个太平年。。业内人士推荐谷歌作为进阶阅读
Source-available projects and their AI contribution policiesMarch 2, 2026 by Phil Eaton
这让刘瑞觉得很可惜，碳纤维3D打印的技术受限于价格、客户，而无法被进一步普及，做消费级连续纤维3D打印机的想法因此萌动。