科技 - 洽浪网,新闻网站,新闻门户网站

形式化验证推荐解读，AI 开始替程序写数学证明了

来源：极引力-L 2026.10.23 01:29 7368点赞

Resend Inboxes 推荐，给开发者的邮件服务长出了收件箱

来源：极引力-L 2026.10.23 01:29 4749点赞

Railpass 推荐，在浏览器里坐一趟永不进站的火车

来源：极引力-L 2026.10.23 01:29 9598点赞

Google 手机号关联推荐自查，安卓设备上的隐藏开关

来源：极引力-L 2026.10.23 01:29 8521点赞

Bits 推荐，跑在自己电脑上的开源个人代理

来源：极引力-L 2026.10.23 01:29 9175点赞

上交所召开首批主动ETF市场动员会 9家基金管理人、7家券商参会

来源：极引力 2026.10.23 01:13 6782点赞

市场震荡调整机构研判：积极信号在增多，后市不悲观

来源：极引力 2026.10.23 01:13 3424点赞

先行赔付迎标准化操作手册：资本市场投资者保护制度供给再升级

来源：极引力 2026.10.23 01:13 8661点赞

哲源科技发布WHIRLPO计算医学平台，AI4S工程化迈出关键一步

来源：极引力 2026.10.23 01:12 5067点赞

首批18只主动ETF获批，五大公募研判：将为A股带来哪些长效稳定力量？

来源：极引力 2026.10.23 01:12 3902点赞