每日科技摘要-11-02-早报

学术与平台政策

arXiv CS 类别收紧综述与立场论文，抑制低质量投稿，减轻志愿审核负担

• ArXiv CS 分类综述与立场论文最新投稿规范：综述与立场论文须先通过期刊或会议同行评审并被接受，提交时附审核证明，否则可能被拒。其他学科暂不执行，但未来或跟进。

语言与编译器

Haskell 在浏览器可跑、Nim 推新 IR，编译链路更易用、更强优化

• GHC现已支持浏览器运行：基于 WebAssembly 的 Haskell playground 已上线，展示 GHC wasm 后端进展。包管理与运行时选项仍有限制，但足以支撑在线教学与交互实验。
• NJVL：Nim全新中间表示层：用控制流变量替代无结构跳转，形成版本化 SSA。引入 join、either、assume、kill 等指令，便于别名分析、CSE、循环不变代码移动与高效寄存器分配。

开发实践与系统工程

从数据库并发到 Wi‑Fi 实测与嵌入式固件，给出可复用的方法与经验

• SQLite并发那些事儿，你真的了解吗？：Jellyfin 基于 EF Core 拦截器实现无锁、乐观、悲观三种策略，显著降低 SQLite 写锁导致的崩溃，方案可复用到其他 EF Core 应用。
• 从400 Mbps飙到1.7 Gbps：WiFi 7调试实录：瓶颈源于 6 GHz 频道宽度默认 80 MHz。手动改为 160 MHz 并调高功率后，2×2 设备实测约 1.6 Gbps。文中总结测速要点与速率上限原因。
• 开源Ada：从底层硬件到应用全解析：在 ULX3S FPGA 与 Neorv32 软核上，用 Ada 构建事件驱动 BIOS。演示 SVD 自动寄存器映射、Alire 包管理、HAL 与中断处理的完整流程。

AI 赋能开发与新范式

AI 已能协助低层调试、直接驱动应用逻辑，嵌入表示也在拓展新用法

• Claude Code也能玩转底层加密调试：AI 协助定位 Go 实现的 ML-DSA 验证失败的底层错误，并在历史 bug 测试中再次命中，显示出在密码学代码调试上的高效与潜力。
• Show HN：LLM能直接干活，还要写代码干嘛？（网页应用实验）：用 LLM + 三个工具（DB、页面响应、记忆）处理全部请求，跑通联系人 CRUD。虽慢且贵，但证明“无应用逻辑”架构可行。
• 用文档嵌入实现 Word2vec 风格的向量运算：以整篇文档向量做加减，配合自定义任务类型，可稳定对应预期语义关系，显示文档级嵌入与向量算术在技术写作检索中的价值。

隐私与监管动向

欧盟多地围绕加密与生物识别的监管起落，加速隐私与可执行性的平衡博弈

• “聊天监管”提案再遭民意反对，未能通过：欧盟理事会再次撤回客户端扫描提案。隐私团体称其破坏端到端加密，仍警惕未来可能换皮重来。
• 捷克警方被迫关闭布拉格机场人脸识别摄像头：监管认定警方系统性违法处理生物识别数据，要求明确法律边界与监督。
• 意大利将强制成人网站进行年龄验证：11 月 12 日起通过第三方“双重匿名”验证成年，否则重罚。隐私与可执行性仍受关注。

计算架构与基础设施

从模拟计算的自动化重构到 AI 用电焦虑，算力的未来既在架构也在电网

• 可重构模拟计算机：综述经典与现代自动接线/自动重配置方法。随着数字计算逼近物理极限，模拟协处理器在特定场景再获青睐。
• 能源价格飙升，AI与数据中心首当其冲：美国数据中心用电约占 4%，2028 年或升至 6.7%-12%。新增可再生装机难以完全对冲负载增长，公众对电价与就业影响更担忧。

航天与防务

低轨星座进入防务主舞台，工业生态或出现多家承包商协作

• 五角大楼拟斥资20亿美元与SpaceX共建“金色穹顶”：据称 SpaceX 将承建多达 600 颗卫星用于导弹与飞机追踪，Anduril、Palantir 等或参与。目标是在任期内形成可用防护能力。

消费级游戏手机动向

掌机与手机融合继续推进，强调实体操控与复古设计

• Ayaneo首款手机或将配备实体肩键：主打横握实体肩键与双摄，可能采用滑出式结构，定位手游玩家。
• Ayaneo Phone官宣，复古Remake联名亮相：延续其复古掌机风格，是否在美国发售未定，更多规格尚待公布。

机器人与通用模型的现实检验

LLM 在具身环境下仍远未达标，安全与感知是短板

• AI大佬把大模型装进机器人，结果它秒变“罗宾·威廉姆斯”附体：将多款 LLM 上车“扫地机器人”，准确率约 40%。出现“情绪崩溃”式内心独白等失稳行为，凸显感知不足与安全风险。

实战项目与数字文化

开源项目展示端到端工程能力，数字遗产保存持续推进

• 我自制了专属版CityMapper：基于 RAPTOR 算法与 TFL/国家铁路实时数据，实现多模式实时路径规划；结合 OSRM 估算步行时间，代码已开源。
• Frank Gasking谈“失落”游戏的守护之路：非营利档案“Games That Weren’t”保存未发布/遗失游戏与开发资料，依托社区协作找回历史作品，促进游戏文化传承。

科学与气候

更暖的海洋让极端风暴更常见、更强烈

• 研究称气候变化让飓风Melissa发生概率暴增四倍：归因研究称人为变暖使发生概率增 4 倍、风速增 7%、损失增 12%。未来此类快速增强风暴或更频繁。