人工智能与应用
AI 模型的更新、商业落地与底层开发反思
- 派早报:DeepSeek V4 Flash 正式版发布:DeepSeek 发布 V4 Flash 正式版,测试得分超越之前的 Pro 预览版。模型结构保持 284B 总参数与 13B 激活参数不变,重点重新进行了后训练。
- Salesforce 创始人 Marc Benioff 投资的初创公司,试图用 AI 解决 AI 部署难题:初创公司 June 融资 2000 万美元,尝试通过自动化软件解决大企业在部署 AI 时过于依赖人工外包咨询的痛点。
- 为什么我们选择自主研发 C 和 C++ 推理引擎:LocalAI 团队解释自主编写 C/C++ 推理后端的原因,主要是为了摆脱数 GB 的 Python 依赖和 CUDA 捆绑,实现单文件部署与可控的内存占用。
- AI 已经攻克编程,下一个就是快餐行业:美国快餐店的点餐车道正加速普及语音 AI,AI 的语气自然且有礼貌,替代人工点餐的趋势十分明显。
- 避免“认知债”:为什么你应该手动重写 LLM 生成的代码:完全依赖 AI 生成代码会导致开发者不理解底层逻辑,积攒大量“认知债”。作者建议手动抄写或仔细审查代码,以保持对项目的掌握。
- 不做毫无感情的传话筒:讨论当下部分程序员直接把需求和评审意见复制粘贴给 AI 工具、自己完全不看代码的现象。
- AI 时代:被拉大的效率差距:分析 AI 为何没有显著缩短软件交付时间。资深工程师的核心工作是搞清楚要写什么,而 AI 目前无法加速需求理解和架构设计。
- Fender 首席执行官:你的乐队队友可能只是“模拟版”人工智能:知名吉他品牌 Fender 的 CEO 谈论 AI 与音乐,认为 AI 可以充当协同创作的“乐队队友”,帮助初学者跨越写歌门槛。
软件工程与架构
编程语言新特性、前沿框架与工程实践
- Rust 项目新规划:固定类型与确保析构函数执行:Rust 计划引入 Move 和 Forget 等 Trait,让某些类型可以拒绝被移动或在内存中直接忽略,从而更好地支持安全异步析构和作用域任务。
- 如何将 C/C++ 项目重构为 Rust?:JetBrains 分享 C/C++ 项目迁移至 Rust 的经验,建议不要盲目重写所有代码,而是优先重构涉及内存安全与高维护成本的核心模块。
- Octane:编译版的 React 编程模型:前端框架 Octane 采用预编译方式实现 React 的 Hook 编程模型,取消了虚拟 DOM 和依赖数组,由编译器自动分析变量变化。
- 七年之后的 SwiftUI:文章对 SwiftUI 推出七年后的表现进行反思,指出其依然存在性能不佳、布局行为不可预测以及版本兼容困难等问题。
- Bonsai:Jane Street 旗下的 UI 函数库:Jane Street 开源的 OCaml 响应式 UI 框架 Bonsai,核心基于纯函数式状态机,专门用于构建内部高吞吐量的 Web 应用。
- DMARC 的防范对象与防护盲区:详解邮件验证协议 DMARC,强调它只用来确认发件人域名授权是否一致,并非万能的垃圾邮件或钓鱼防护系统。
- 殊途同归还不够:Ink & Switch 团队探讨协同计算中的合并冲突,指出单纯依靠数据底层的自动收敛,并不能保证上层业务逻辑和对象状态不被破坏。
- 正则表达式的真正威力 (2012):重温经典技术文章,解析现代正则引擎如何突破传统形式语言理论的限制来处理复杂的文本解析工作。
硬件与底层技术
硬件市场变动、复古计算与设备折腾体验
- 受“内存大涨价”波及,MacBook Air 传出缺货消息:数据中心对 AI 算力的需求拉高了全球内存价格,导致 MacBook Air 严重缺货,苹果开始向顾客主推 MacBook Pro。
- 把折叠屏外屏做成手机后:iKKO MindOne Pro 体验:评测一款直接将小折叠屏外屏做成直板机的独特手机,尝试探讨小尺寸设备在现代数码生活中的实际价值。
- Nothing Ear (3a) 无线耳机评测:颜值与性价比的完美结合:评测认为这款百元级无线耳机做工扎实、佩戴舒适,并且在充电盒上引入了直观的 LED 电量指示灯。
- 小米免账号、免等168小时解锁Bootloader漏洞全教程:汇总利用系统漏洞解锁小米手机 Bootloader 的方法,能够绕过官方账号关联以及 168 小时的等待限制。
- 在 6502 处理器上运行自回归语言模型:开发者将极小规模的 Mamba 语言模型移植到了 1975 年的 8 位 6502 处理器上,仅使用 25KB 内存成功运行并生成文本。
- CP/M-386:源自 CP/M-68K 的 386 保护模式操作系统:一个开源复古操作系统项目,将经典 CP/M 移植到 386 及后续平台的 32 位保护模式下运行。
- Show HN:我们利用 PPPoE 半桥模式,彻底解决了 UniFi PPPoE 性能慢的痛点: ArcBox 团队分享通过 PPPoE 半桥模式绕过 UniFi 网关瓶颈的技术方案,成功跑满 5Gbps 宽带。
科技、社会与生活
技术对社会的影响、网络文化与生活经验
- ICE 去年收集了近 100 万人的 DNA——其中包含幼儿:揭露美国移民及海关执法局(ICE)大幅扩大民事拘留人员的 DNA 采集范围,甚至包括幼儿,引发极大的隐私和合规争议。
- “护栏哥”因科普 Flock 监控摄像头走红,随后有人把摄像头砸了:博主发视频指出车牌识别摄像头安装过于接近道路护栏可能造成碰撞隐患,视频走红后引发多地摄像头被破坏事件。
- 英国议员质询富士通为何仍能入围政府巨额采购框架:富士通软件故障曾引发英国邮局冤案丑闻,但近期仍入围超 500 亿英镑的政府采购项目,引发议员强烈质询。
- 如何优雅地让一座1907年的老宅“聪明”起来:分享如何在不破坏百年历史老宅原始风貌的前提下,改造并引入智能锁、自动照明和自动化猫砂盆等现代化设备。
- 少喝咖啡,睡眠加倍:作者尝试将每天摄入的咖啡缩减至一杯,发现入睡速度、白天精力和整体情绪都有了极为明显的改善。
- Show HN:试试这个一行命令 SSH 登录服务
ssh ssh.place:一个通过 SSH 命令即可参与的公用画布项目,无需注册,所有人在终端里共同进行像素涂鸦。 - Show HN:一个手写体博客平台:一个专注于手写文字的静态博客平台,不设算法推荐和点赞机制,旨在恢复慢节奏的真实表达。
- Show HN:Isopolis——旧金山等距视角像素风地图:一个用像素画绘制的旧金山互动地图,展示了城市中的各类建筑与地标。
- 流星消逝瞬间,“闯入”蝎虎座星云镜头:NASA 每日天文图展示了一幅在拍摄蝎虎座星云时偶然捕捉到的流星划过画面的摄影作品。