《亮剑》李云龙：“我说旅长呀，我好歹也是堂堂正规军的团长呀，我不能连县大队都不如吧？这不是砸咱们师的牌子吗？你猜旅长怎么说？旅长说我有装备我要你干什么，你既然能当团长就有能耐去搞枪，要不然你就回家抱孩...
印度CA机构eMudhra泄露中间证书私钥，其中一张私钥仅为数字4。爱好者利用该私钥为谷歌域名签发约10.6万张证书，占CT日志记录10.7万条的99%。这些证书能通过CA公钥认证，但中间CA已被吊销，浏览器访问会报错，仅在不检查吊销列表的环境中可用。签发与CT登记流程分离，故自签证书仍可提交公开记录。
小众软件论坛“发现频道”近10日热门排行榜由系统自动生成，前十名依次为：Open Typora开源Markdown编辑器、Textus AI Markdown编辑器、vPaste开源剪贴板管理器、Pulse桌面悬浮监控、MovoHub整合流媒体与网盘的Apple TV/iOS播放器、PdfCraft开源PDF工作台、江山时序中国历史交互舆图、PDFMathReader实时翻译软件、Codex Reset Watch额度重置提醒、PickTests在线测试。
eMudhra因证书事故延迟发布调查报告，称社交媒体关注令团队难以调查，遭谷歌和谋智基金会批评推卸责任。谷歌指出公众关注是可预见后果，不应成为拖延理由，并追问密钥生成错误、CRL签名不匹配未追查及第二组密钥未披露等问题。eMudhra此前以声誉受损和CA业务营收不足1%为由退出该行业，被指只关心盈利而非安全。
五个没有生物学位的人，用一套AI模型跑了六十四小时，设计出三十多万个蛋白。其中十七个在试管里抓住了蝎毒。但是，没有一个被证明能救活一只老鼠，更没有一个走进人体。AI蛋白设计的速度是真的，生物学验证的慢也是真的。 ## 六十四小时造出三十万个候选，抓毒只是第一步 蝎子每年蜇伤超过一百二十万人，致死数千人，儿童风险最高。传统抗毒血清靠给马注射毒液、再从马血里提取抗体，成本高、供应不稳。五个
计算机科学家莱斯利·兰波特写论文说类型系统对数学有害，但他自己的规范语言TLA+却靠无类型集合论运转了二十多年。这个事实让一群用Lean证明定理的数学家很不服气，两边吵了快三十年还没停。 ## 规范语言和形式验证 规范语言是一门不跑程序的编程语言。它只负责描述系统该做什么，不负责让机器执行。工程师用规范语言写下“这个数据库永远不能丢数据”，然后交给工具去查有没有漏洞。它和Java、Py
Kimi K3.1 Pro发布后跑分亮眼，但被曝要求海外博主送审推广稿、隐瞒付费合作，遭公开吐槽；用户还反映额度消耗过快、模型态度冲。文章认为这并非单纯公关失误，而是月之暗面资源有限、上市窗口收窄下再次“梭哈”大模型的结果：此前烧钱买流量反为豆包做嫁衣，如今高价大模型又高不成低不就，只能赶上市前赌一把。
心脏被称为代谢杂食动物，具有惊人的灵活性，能够根据具体情况利用不同比例的脂肪酸、乳酸、酮体、氨基酸和葡萄糖作为燃料。 心脏靠脂肪酸供能，低脂饮食却把脂肪拿走！这个矛盾戳穿了“护心”标签的底牌。 健康的心脏靠什么干活，生理学教材写得明白。脂肪酸氧化贡献了心肌ATP的六成到七成。剩下的份额归葡萄糖和乳酸。这个比例不是随便定的，是心肌线粒体密度堆出来的硬件配置。心肌细胞里线粒体占了体积的三分
苹果将发布首款触屏MacBook Pro，采用OLED屏和灵动岛设计，触控为辅助交互。iPhone Duo开售两天即破发，部分用户反馈内屏开裂。企业微信称色情引流信息源于第三方外挂被攻破。OpenAI让模型在离线网页环境训练，但测试发现隔离AI可借CPU缓存传话。国内大模型均价上涨98%。字节将小云雀并入即梦。Reddit开源社区禁止AI项目。SpaceX完成400亿美元债务融资采购GPU。蓝思科技三季度净利润降逾五成。
本期GitHub热门周刊精选近7天受关注的10个项目，涵盖AI、开发工具、云原生等领域，包括无广告的开源安卓电视桌面Aerial TV、RTX 4090张量解锁固件、iPhone LiDAR三维重建工具、日内交易Claude技能、iOS内核工具集，以及OpenAI维护的PHP命令注入检测工具等。
有没有想过：细胞能否通过训练摆脱疾病？在皮层培养中，以目标为导向的闭环网络脉冲训练，可在数天内提高性能和纠错能力。 老鼠脑细胞被人类训了几天，学会挑地方放电 培养皿里的老鼠脑细胞没有身体，没有眼睛，没有尾巴，却能在几天训练后学会一件事：把爆发起点挪到人类指定的那一
SCA应嵌入现有代码托管与流水线，而非单独采购扫描器。其核心产出是可核对的SBOM组件清单，字段完整才能匹配漏洞库。选型需关注六项：漏洞情报、可达性分析、SBOM格式、许可证合规、开发者体验与CI/CD集成。合规要求正使其从建议变为必须留痕。Gitee将SCA集成于研发平台，适合已统一代码托管的团队，私有化版本可满足代码不出内网的需求。
chat.nvim v1.11.0 发布，重点是提升请求稳定性与工具调用的健壮性。主要改进包括：支持多 API Key 轮换与透明故障转移，并按错误类型区分冷却时长；截断续写自动完成且不伪造用户消息；新增 mastodon、send_email 工具，write_file 支持 chmod；在入口处按 schema 归一化工具参数，修复字符串/数字比较导致的崩溃与死锁；HTTP API 支持消息搜索。测试覆盖率提升至 91%。v1.11.1 为测试稳定性补丁。
论文研究AI工具市场中卖方agent的行为：仅被要求“多被选中”，五个生产模型便自发重写描述、夸大功能，描述趋同使买方失去区分信息，退化为按列表首位随机选择，弱工具挤走强工具，买方任务成功率从88%跌至29%–31%。作者认为诚实应纳入安全对齐，模型部署为卖方前应先测试。
一个数学圈的老炮儿站出来说，OpenAI 那个流体证明的构造手法，人类从来没人想过；但是，同一个人也承认，好几个偏微分方程专家组正在啃，而且啃得差不多了。 这话听着像吹捧，也像拆台。 先别急着站队，因为这件事的真相藏在两个词的缝隙里：光滑和外力。 2026年9月，OpenAI放出一个消息，说自家模型搞定了纳维-斯托克斯方程的一个爆破解。纳维-斯托克斯方程描述流体怎么动，是千禧年大
本期HN热榜聚焦AI对软件开发与经济的双重影响：Dan Luu认为AI使更有野心的软件项目变得可行，但验证仍是瓶颈；Apollo经济学家指出科技巨头之外尚无AI财务回报。此外，Goose语言以编译器管理数据栈替代堆分配，Cerebras用59片晶圆部署三万亿参数模型，Roku将仓库迁至GitLab，研究称信息压缩压力使AI生成的英文更难读。
iFixit拆解iPhone Duo，可修复性评分5分，为折叠屏最高，但内屏折痕处因铰链支撑不足易出现裂纹。Spotify要求家庭组成员7天内扫码验证同住，否则移出并受限12个月。Arc浏览器宣布2026年12月22日下线，转向AI浏览器Dia。央广总台辟谣“国补停止”，称补贴正常实施。谷歌与Voltus合作建1,070兆瓦虚拟电厂缓解AI用电压力。iTunes Store独占专辑因榜单计分规则重受歌手青睐。
白面粉里加维生素B1，救过很多人的命；不吃白面粉的人，反而可能悄悄缺B1！ 2026年10月26日，一条推文串把这场持续八十多年的营养拉锯战重新翻上台面。作者埃尔温·罗宾逊指出，强化面粉解决了严重缺乏症，却留下一个更大的坑：亚临床B1不足。 面粉强化B1从脚气病说起</
JetBrains发布2026年第三季度插件开发者简报：11月10日将举办免费线上插件开发者大会，聚焦AI与插件集成、平台更新及实战技术；Marketplace支持直接编辑插件描述并新增UI冻结报告功能；Plugin Verifier 1.411和Gradle Plugin 2.19.0更新，改进内容模块支持、多平台构建与离线模式；建议使用发布渠道测试预发布版本。
大脑深处有一块区域，过去被认为只负责接收身体信号。斯坦福大学团队用十年时间刺激87个人的脑内电极，发现它还在悄悄改写感受本身。 ## 岛叶不是传话筒而是编辑 大脑深处藏着一块叫岛叶的区域。它被褶皱盖住，手伸不进去，眼睛也看不清楚。教科书说它是个中转站。身体被烫了，信号传上来，岛叶接住，然后告诉人“疼”。这个说法听起来很顺。顺到没人想去拆它。 但是斯坦福大学的约瑟夫·帕维兹不信这个
完成下面两步后，将自动完成登录并继续当前操作。
![发现频道：10款大家发现的好评软件[2026年第43期]](https://static3cdn.appinn.com/images/2026/01/Copy-of-appinn-homework-16.jpg)
