RecodeX 重构消息，PLDI 2024在博尔德举行，作者参加了研讨会、结识新朋友、探讨了e-graphs和Knuth-Bendix算法等研究话题。
PLDI 2024在博尔德举行，作者参加了研讨会、结识新朋友、探讨了e-grap...
AI 辅助判断中性仅供信息参考，不构成投资建议
原始信息来源Bernsteinbearbernsteinbear.com
查看原文 ↗更多快讯
查看全部 →股市
摩根士丹利三季度持仓文件显示其持有56亿美元SpaceX股票
RecodeX 重构消息，摩根士丹利最新提交的三季度持仓文件显示，其持有价值约56亿美元的SpaceX股票，这一规模在上一份文件中并未出现，因而格外引人关注。该持仓使摩根士丹利成为SpaceX的重要机构股东之一。
地缘局势
伊朗外交部拒绝德国要求其停止铀浓缩的呼吁
RecodeX 重构消息，伊朗外交部发言人巴加埃15日在新闻发布会上表示，伊朗拒绝接受德国提出的停止铀浓缩活动的要求。他强调，伊朗作为《不扩散核武器条约》缔约国，拥有和平利用核能的合法权利。
股市
美股股指期货小幅高开，纳指期货涨0.25%
RecodeX 重构消息，美股股指期货小幅高开，纳指期货上涨0.25%。
股市
年内375家港股公司回购超1332亿港元，腾讯控股居首
RecodeX 重构消息，Wind数据显示，截至11月13日，年内已有375家港股上市公司实施回购，累计回购金额超过1332亿港元。其中腾讯控股以324.44亿港元的回购金额位居榜首，友邦保险、小米集团、中国宏桥紧随其后。 从行业分布看，科技、医药和消费行业的港股公司在回购市场中多点开花，中小市值公司也加入回购行列，港…
大宗商品
华东最长工业供热干线主体管道完工 全长42.35公里
RecodeX 重构消息，国家能源集团宣布，国能浙江舟山定海环岛工业集中供热项目已完成全线架空管道敷设，主体管道建设完成。该管线全长42.35公里，最大供热能力达每小时464吨，是华东地区干线最长的工业供热工程。项目依托国能浙江舟山电厂2台660兆瓦超超临界火电机组，该电厂为舟山本岛规模最大的热源点。
地缘局势
胡塞武装在萨那单方面释放600名被扣押人员
RecodeX 重构消息，也门胡塞武装15日宣布，在红十字国际委员会支持下，该组织当天在也门首都萨那单方面释放600名与也门冲突有关的被扣押人员。