最新科技资讯 第5页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 5 页精选文章。
Elixir 1.20 变成渐进类型语言，但它聪明在没急着逼你写类型
Elixir 1.20 发布，首次在不要求开发者添加类型注解的前提下，完成全程序类型推断和渐进式类型检查。它能提前发现死代码，以及官方称为 verified bugs 的确定性类型错误。真正值得看的是路线选择：先降低误报和迁移成本，先让老项目愿意打开检查，再谈类型签名。
农民想买“笨拖拉机”：Ursa Ag 走红背后的维修权反弹
加拿大 Ursa Ag 推出低技术、可维修拖拉机后，称农展后已有超过 1000 名农民联系咨询，来源覆盖约 30 个国家。它目前产量不到 100 台，不能被写成大规模交付，但需求已经说明一件事：农民对软件锁、传感器故障和授权维修等待的不满，正在变成替代市场。更大的变化是，可维修正在从手机、笔记本，外溢到农机这类生产工具。
Qi2 磁吸充电宝怎么选：25W 更快，但 15W 往往更划算
The Verge 实测 7 款磁吸无线充电宝后，最快 Qi2.2 选择是 Baseus PicoGo AM52，性价比 Qi2 选择是 iWalk PowerHybrid。真正的问题不是能不能磁吸，而是 iPhone 16 及更新机型、Pixel 10 Pro XL 用户，要不要为 25W 无线充多花近一倍价格。多数 iPhone 12 及更新机型用户，15W Qi2 已经够用；Android 用户更要先查兼容，不要只看包装上的瓦数。
ripgrep 作者确诊抗 NMDA 受体脑炎：精神症状背后的医学分流难题
ripgrep 作者 Andrew Gallant 发文称，自己近期确诊抗 NMDA 受体脑炎，早期因焦虑、妄想、幻听等症状进入住院精神科，后来转入神经科接受 IVIG、激素等治疗，目前恢复超出预期但仍在治疗中。 这件事不是私人病痛八卦。它真正暴露的是：当精神症状和神经免疫疾病交界时，现代医学既能救人，也可能被分流流程拖慢。 对依赖他开源项目的开发者，短期要接受维护节奏不确定；对普通病人和家属，更现实的动作不是上网自诊，而是在症状跨界、进展异常时推动重新鉴别诊断。
Cloudflare 当前数据不支持“机器人流量首次超过人类”
Cloudflare Radar Traffic Worldwide 当前 bot-vs-human 模块显示：近 7 天 HTML 页面 HTTP 请求中，Human 为 65.9%，Bot 为 34.1%。这不能写成“机器人流量首次超过人类”。真正该警惕的是：自动化请求已经占到网页访问的三分之一左右，网站运营、安全和内容团队要重新校准流量口径。
Carvana拿到Slate认股权证：新车直销的硬墙，开始有人绕着砌门了
特拉华州公司文件显示，Carvana在2025年获得了购买Slate Auto股份的认股权证；是否行权、能买多少股份，目前都不清楚。真正重要的不是这张权证本身，而是Carvana、Slate和共同资本方正在试探一条绕开传统经销商的新车分销路径。对低价EV买家和汽车零售投资者来说，接下来要看的不是故事讲得多大，而是Slate的交付、售后和Carvana是否进入实际交易环节。
Ultrahuman 数据事件：戒指没被攻破，风险在内部工具
Ultrahuman 称，黑客通过被恶意软件感染的员工笔记本窃取凭据，进入内部分析系统，访问了约 0.1% 用户的 wellness data。按其约 70 万月活估算，受影响用户至少约 700 人，但公司未确认精确人数，也未说明 wellness data 的具体范围。真正该紧张的不是戒指设备被攻破，而是健康穿戴公司的云端数据和内部权限体系暴露了侧门。
乐鑫 ESP32-S31 露面：S 系列开始从 AI/HMI 走向多协议 RISC-V
乐鑫官网上线 ESP32-S31 产品页，标题为“ESP32-S31 Dual-Core RISC-V + Multi-Protocol SoC”，页面发布时间为 2026-04-03T19:56:26+08:00。它的重要性不在于参数多惊人，而在于乐鑫把 S 系列的 HMI 能力、双核 RISC-V 和多协议连接放到同一颗 SoC 叙事里，可能改变开发者在 ESP32-S3、C/H 系列之间的选型逻辑。当前公开材料仍很有限，完整规格表、量产状态、价格和性能参数都还没有落地。
Gemma 4 12B：Google 把本地多模态 AI 卡进 16GB 门槛，但别急着吹神机
Google 发布 Gemma 4 12B，主打 16GB 内存或显存设备可本地运行，补上了移动小模型和高端本地模型之间的中档空位。真正的新信息不只是参数规模，而是默认 MTP、多模态编码减重、18GB 权重和 16GB 设备现实压力一起出现：它让本地 AI 更可试，但还没证明自己真好用。
AethexAI 融 300 万美元：语音 AI 的真盲区，不在模型榜单上
AethexAI 获得 300 万美元 pre-seed 融资，4DX Ventures 领投，押注非洲和中东的本地语音 AI。它自建 Kora 小模型和语音编排层，目前日处理超过 1.7 万通电话。真正的看点不是又一家语音 AI 公司融资，而是电话网络、方言、混语、延迟和价格点，正在逼出一套不同于欧美市场的 AI 架构。
Suno 估值 54 亿美元：AI 音乐先跑规模，版权账还悬着
Suno 完成 4 亿美元 D 轮融资，估值升至 54 亿美元；约 7 个月前，它的估值还是 24.5 亿美元。更关键的是，UMG、Sony、GEMA 仍在追诉，Warner 虽已和解并授权，但不能代表行业整体转向。资本押的不是版权风险消失，而是押 Suno 能先做成平台，再把版权账改写成可谈判、可分摊、可定价的成本。
亚马逊搜索栏开始“先造图再找货”：方便背后，是平台在接管你的想象
亚马逊在移动端搜索栏加入生成式 AI 图片：用户描述服装或家居用品后，系统先生成参考图，再搜索相似商品。它解决了“不知道专业名称”的购物痛点，但也把电商搜索从匹配关键词，推向了塑造欲望。
Let’s Encrypt 押注 MTC：后量子证书不是换算法，是改 Web PKI 的运货方式
Let’s Encrypt 公布后量子 Web PKI 路线：把 Merkle Tree Certificates（MTC）作为主要方向，计划 2026 年底推出测试环境，2027 年进入生产可用。现有证书签发和续期今天不变，真正要提前准备的是浏览器、TLS 库、ACME 客户端和证书自动化管线。关键判断很简单：后量子证书的难点不只是算法更强，而是签名太大，Web PKI 得换一种规模化分发方式。
DaVinci Resolve 21：Photo 页面才是 Blackmagic 的真野心
Blackmagic 发布 DaVinci Resolve 21，AI 工具扩到搜索、修脸、语音、救焦点和去模糊，新增 Photo 页面，把静态摄影拉进 Resolve 工作流。 最关键的变化不是功能变多，而是 Resolve 正在侵入 Lightroom、Photoshop、Premiere 组合工作流的边界。 专业剪辑师、调色师和小型制作团队会先受益；摄影师要不要迁移，取决于是否愿意用学习成本和生态绑定换整合效率。
Reddit 被拿来投喂 AI 搜索，健康水军开始换打法了
r/biohackers 版主称，部分肽类和 HRT 相关营销方疑似用养号、机器人和付费真人污染社区讨论，以影响 ChatGPT 和 Google AI 搜索的引用结果。 版主已限制相关新帖，把讨论压到每周 megathread；这说明 Reddit 正从讨论场变成 AI 答案供应链的一环。 健康类 AEO 的风险不止是买错产品，青少年、自我实验者和依赖 AI 搜索查健康建议的人，可能把营销内容误当经验或医嘱。
微软在 Build 亮出自研模型：还牵着 OpenAI，也开始自己下场
微软在 Build 2026 集中发布 MAI-Thinking-1、MDASH、Copilot 超级应用和 OpenClaw 支持，信号很清楚：它不想只做 OpenAI 的云和应用入口。微软仍是 OpenAI 的主要云合作伙伴，但 4 月合同重谈后，双方从深度绑定转向有限合作。真正要验证的是，微软能不能把企业客户和 Windows 生态优势，转成一线模型能力。
追觅 L20 Ultra 海外降到 279.99 美元：老旗舰值不值得捡漏
Dreame L20 Ultra 在 Wellbots 使用优惠码 L20VERGE 后降至 279.99 美元，远低于 2023 年 1399.99 美元发布价。它不是新旗舰，吸力和越障能力已经落后新款，但自动倒尘、洗拖布、烘干、补水和避障仍是这个价位的核心优势。适合买低价自动维护扫拖机器人的用户；如果家里厚地毯、多门槛、宠物毛发压力大，新款或更高价机型仍更稳。
Supernatural 被 Meta 放生：VR 健身没死，巨头耐心先见底了
Meta 当年花约 4 亿美元收购 Within，还为此和 FTC 打了约 8 个月反垄断官司；几年后，Supernatural 却在裁员和停止新增内容后差点停摆。最新变化是，Meta 允许原团队拆出成立 Supernatural Health 接手运营，这让用户保住了一款真正会被日常使用的 VR 健身产品，也把大厂收购后的激励错位暴露得更清楚。
Wander Console：独立站长又开始互相指路了
Wander Console 是一个开源、自托管的“小网络”发现工具，站长上传两个静态文件，就能让访客随机跳到自己推荐的网站。它的规模很小，已有 60 多名采用者、合计推荐 1500 多个网站，不能替代 Google 或 AI 搜索。真正重要的是，在搜索入口被 AI 摘要和商业内容挤压后，个人网站正在用很轻的方式夺回一点发现权。
2026年最严重的几起攻击，已经打到公共服务和身份体系
TechCrunch盘点了2026年至今最破坏性的网络攻击。真正危险的变化，不是单个数据泄露更大了，而是社保数据库、水电设施、学校平台和证件验证一起开始失守。对企业来说，安全问题已经不只是IT成本，而是停摆、合规和信任的总账。
TikTok 在美国推出世界杯事件应用，真正要测的是成交链路
TikTok 在美国上线独立应用 TikTok Pro Events，可通过 App Store 和 Google Play 下载，主打 FIFA 世界杯等文化事件。它提供粉丝互动、热门视频、创作者精选内容和 Stars 奖励兑换，但不是赛事转播应用。更关键的是，TikTok 正把内容发现能力拆到更聚焦的事件场景里，给广告主、赞助商、创作者和 TikTok Shop 留出转化入口。