RecodeX 重构消息，Lean是一种交互式定理证明器，用于数学和计算机科学的形式化验证，其名称在标题中被幽默地称为“闹鬼的数学”，暗示其复杂性和挑战性。
Lean是一种交互式定理证明器，用于数学和计算机科学的形式化验证，其名称在标题中...
原始信息来源overreacted.iooverreacted.io
查看原文 ↗更多快讯
查看全部 →地缘局势
台湾成长题材电影《Uncle》入围釜山亚洲项目市场
RecodeX 重构消息，台湾导演颜浩轩首部自编自导长片《Uncle》入选釜山国际电影节亚洲内容与电影市场旗下的亚洲项目市场。影片讲述一名男孩对患有智力障碍的叔叔的依恋，随着他长大离家逐渐变为羞耻。该片由曾出品戛纳获奖影片《虎纹》的制片方支持。
宏观
新西兰国家党承诺待预算实现盈余后再推进减税
RecodeX 重构消息，新西兰国家党表示，将等到政府预算恢复盈余之后，再落实减税计划。该党将减税与财政收支转正挂钩，意味着减税措施的启动时点取决于预算能否实现盈余。
Memecoin
币安银行 曲线进度达 85%，持有人 30，临近毕业
RecodeX 重构消息，Four.meme 代币 币安银行 bonding curve 进度已达 85.2%，距离迁移 PancakeSwap 仅剩 14.8%；当前市值 23846.7 BNB（约 17.97 百万美元），1 小时涨跌 +647.8%，持有地址 30 个。曲线末段通常伴随成交放大与剧烈波动，本条为链…
债券
全球债市抛售压低主要经济体累计加息预期至539基点
RecodeX 重构消息，彭博社11日报道，随着全球国债收益率上升，市场对主要8个经济体累计基准利率上调幅度的定价已从9月的717个基点降至近期的539个基点。1个基点等于0.01个百分点。 这一变化反映的是市场隐含加息预期的收窄，并不意味着央行已实际降息或调整加息计划。分析认为，债券抛售推高借贷成本，正在无需央行进?…
Memecoin
币安银行 发射 3 分钟即现异动：首小时成交约 12,509 美元
RecodeX 重构消息，BSC 链 Four.meme 平台新代币 币安银行 发射仅 3 分钟，首小时成交约 12,509 美元，曲线进度 1.7%，市值 3269.0 BNB（约 2.46 百万美元），1 小时涨跌 +2.5%。新发射代币波动极大、绝大多数在数小时内归零，本条为链上信号播报，不构成任何投资建议。
科技
科学家绘制哺乳动物胚胎细胞发育图谱
RecodeX 重构消息，科研人员绘制出哺乳动物胚胎细胞的发育图谱，系统追踪胚胎发育过程中细胞的分化路径与谱系关系。该图谱为理解哺乳动物胚胎发育机制提供了新的研究基础。