DeepSeek V4 Pro 发布
DeepSeek发布了V4 Pro模型,继续在开源高性能AI模型领域保持进展。该模型在HackerNews上获得635分和227条评论,显示出开发者对中国快速增长的AI生态系统的浓厚兴趣。
AI 精选科技资讯,为墨水屏优化
DeepSeek发布了V4 Pro模型,继续在开源高性能AI模型领域保持进展。该模型在HackerNews上获得635分和227条评论,显示出开发者对中国快速增长的AI生态系统的浓厚兴趣。
xAI 发布了 Grok 4.6,继续其迭代模型发布周期。具体改进和能力详情可在 x.ai 官方新闻页面查看。
C++26在<memory>头中引入std::indirect和std::polymorphic两种新的词汇类型(提案P3019R14),为动态分配的对象提供值语义并保留const正确性。这两种类型解决了unique_ptr通过const访问路径返回非const引用从而破坏const传播的根本问题。
作者发现了KVM的SEV-SNP页面状态变更处理程序中的堆外读/写漏洞,允许恶意虚拟机逃逸并破坏主机内核堆内存。报告给KVM团队后得知他人已抢先报告,该漏洞已作为CVE-2026-53360修复。
谷歌在Made by Google 2026发布会上推出了Pixel 11系列和Pixel Watch 5,同时还发布了直接对标苹果AirTag的Pixel Tag。此外,谷歌还宣布了一系列新的Gemini AI功能,全面融入其生态系统。
一次大规模供应链攻击导致微软、亚马逊、思科、三星和Salesforce等大型企业的大量凭证泄露,达TB级别。攻击发生在3月一个40分钟的窗口期内,通过被污染的LiteLLM开源工具实施,该工具因先前的Trivy漏洞扫描器被入侵而受影响。TeamPCP团队声称负责,研究人员已证实泄露数据的真实性。
物理学家提供了迄今最强的证据,表明由胶子组成的假设粒子——胶球——可能存在于自然界。这一发现代表了粒子物理学的重大突破,有望证实量子色动力学的长期预测。
非营利新闻组织对特朗普提起诉讼,指控其Truth Social推出API服务,以每月最高10万美元的价格向高频交易公司等付费用户提供优先访问特朗普官方帖子的权限。起诉方认为此举违反宪法,总统通过个人公司贩卖本应平等公开的信息牟利。
Tailscale 将一起数据库损坏事件追溯到 SQLite WAL(预写日志)重置机制中一个长达16年的漏洞。这一发现揭示了 SQLite 在某些故障条件下 WAL 重置可能导致数据静默损坏的长期边缘情况缺陷。
阿里巴巴通义千问团队发布了Qwen3.8-2.4T,这是一款拥有2.4万亿参数的MoE(混合专家)模型,每个token约激活950亿参数,并提供FP8量化版本。该发布在Hacker News上引发广泛关注,获得416分和87条评论。
文章认为AI工具正在消除传统中级软件工程师岗位,自动化了原本作为从初级到高级职业阶梯的中级任务。作者担忧这种变化将压缩职业晋升通道并重塑行业技能期望。
一名Homelab所有者发现其Forgejo实例遭受了CVE-2026-60004漏洞攻击,该漏洞源于未修复的Gitea远程代码执行漏洞,利用了diffpatch端点的缺陷。攻击者通过开放的注册入口,利用恶意Git hook在公开仓库中触发了RCE。作者反思了两个错误:开启公开注册和使用版本化镜像标签导致无法自动感知更新。
Signal推出了自动密钥验证功能,无需面对面或备用通道即可简捷确认端到端加密的完整性。该功能通过用户联系人和第三方审计员的独立验证,确保公钥在全球范围内保持一致,防止密钥被替换的攻击。
诺斯罗普·格鲁曼公司的Mission Robotic Vehicle正尝试首次为在轨老化卫星安装替代推进器,这标志着太空卫星服务技术的重要进展,有望延长卫星使用寿命。
由OpenAI支持的Thrive Holdings以120亿美元估值完成20亿美元新一轮融资。SoftBank、D1 Capital Partners和Altimeter Capital等知名投资者参与了此次融资。
在Ai4会议上,AI先驱Geoffrey Hinton、李飞飞和吴恩达就AI监管与保持开源获取之间的平衡进行了辩论。讨论还涉及了随着中国在该地区推进其AI能力,美国如何保持竞争力的策略。
Lovable确认新一轮估值达133亿美元,并再融资4亿美元。此前该公司已于2026年6月达到5亿美元年化营收。
CFTC援引紧急权力推翻纽约州对预测市场Kalshi的关停令,要求其在州检察长诉讼期间继续运营。这是联邦与州在预测市场监管上的直接冲突,可能为该行业树立重要先例。
A Security的研究员发现了Zoom屏幕共享注释协议中的漏洞,可在无需受害者任何操作的情况下实现静默设备接管。研究人员利用公开AI模型仅用不到20条提示就找到了这些漏洞,影响所有支持的操作系统,Zoom已开始推送修复。
一项新研究表明,寒武纪大爆发可能由消化道的进化所驱动,粪便颗粒起到了生物泵的作用,将表层海水的营养输送到深海。卡尔斯鲁厄理工学院和弗林德斯大学的研究人员通过分析化石消化系统、粪化石以及海洋化学模型,支持了这一理论。
亚马逊全面退出MMO领域,将于2026至2027年间把《Wildermyth》和《流放之路》的海外运营权移交外部合作伙伴。此举源于去年宣布的更大规模战略调整——缩减第一方AAA游戏开发,而另一款MMO《新世界:永恒》也已停止更新内容。
研究人员发现,OpenAI、Anthropic和Google等主流LLM API返回的加密思维链块在同一模型家族内共享加密密钥。通过将加密推理重放至较弱的模型并实施越狱,攻击者可恢复更强模型的隐藏推理内容。各提供商已确认漏洞并完成修复,Claude Haiku 4.5是最容易被攻击的目标。
文章介绍了如何通过 HTML-over-WebSockets 技术,以极少 JavaScript 构建实时单页应用,通过 WebSocket 连接流式传输服务器渲染的 HTML 更新,而非依赖重型客户端框架。
攻击者通过伪装成ClaudeBot等AI爬虫的受信任User-Agent,大规模进行漏洞扫描,以此绕过安全防护。这一趋势凸显了威胁行为者滥用合法AI机器人身份进行未经授权访问的问题。
uBlock Origin 宣布将停止尝试屏蔽 Facebook 广告,原因是与 Meta 的反广告拦截措施之间的消耗战已难以为继。这一决定反映了维护者对 Facebook 不断升级的广告拦截对抗措施所导致的巨大资源消耗的疲惫。
Woxi是用Rust编写的开源Wolfram语言解释器,提供类Mathematica的GUI及CLI、Jupyter内核等多种使用方式。主打毫秒级启动速度、WASM可嵌入性和完全免费开源,并通过约2.6万项单元测试确保兼容性。
Fresh Web框架的作者分享了为Linux打包软件相比Windows和macOS所面临的巨大困难。最初作为npm包发布后,他们不得不为AppImage、Flatpak、deb、rpm、AUR、nix等大量Linux格式创建包,导致每次发布都面临持续的维护困扰。
Discovered Materials(YC P26)正在构建AI代理,以加速半导体新材料的发现,应对GPU散热问题日益严峻的挑战,芯片TDP每代翻倍。团队发现Anthropic、OpenAI和Kimi的7个大模型都能计算出具有动态稳定性和有前景热性能的新材料,而这项任务通常需要博士生数周时间。他们希望缩短半导体材料从实验室到量产的漫长且昂贵的"死亡之谷"。
本文对Xilem进行了批判性回顾,指出其当前架构在组件可组合性、泛型过重导致的编译时间与错误信息晦涩等问题上存在严重缺陷,开发者体验较差。作者认为项目在研究项目、企业展示和通用GUI框架之间的目标漂移,加剧了技术问题的积累并阻碍了发展。
作者回顾了Bun创始人Jarred Sumner与Zig创始人Andrew Kelley之间关于Bun从Zig迁移到Rust的激烈争论,并以此为引子探讨软件工程作为工业流程而非手工艺的本质。文章审视了AI工具如Claude Code如何推动大规模软件转型的新方法,同时引发对现代开发中人工作用问题的思考。
文章展示了如何通过运行时字节码内省在Java中实现类似nameof的表达式,避免在异常消息中硬编码参数名。虽然解决的是一个次要便利性问题,但为理解JVM字节码和本地变量名提供了有价值的教育意义。该方法依赖使用-parameters编译而非注解处理,通过运行时栈操作实现。
Laurent Le Brun在7天内使用自定义字节码虚拟机和全屏GLSL像素着色器构建了一个仅3KB的射击游戏。该项目是为Langjam为期7天的挑战而开发的,参赛者在其中需要设计一种编程语言并用它来制作游戏,灵感来源于Ikadalawampu和kkrieger等demoscene作品。
Anthropic在Claude中推出的新水印系统引发了用户不满,部分用户认为这阻碍了他们在学术和职场中的AI使用。一些用户在社交媒体上批评这一举措,认为其过度干预。
作者继续其对Flume水表监测器流量解密的安全研究,此前已逆向工程了网桥固件并识别出LibHydrogen的Noise N密钥交换实现。他们探索了通过在中继中实现完整密钥交换来进行被动解密的可能性,但发现仅使存储密钥失效会导致服务器拒绝连接,而非暴露会话密钥协商细节。
Embarcadero发布了代号为'Florence'的新版Delphi社区免费版,继续为开发者提供免费IDE。此次发布体现了对Delphi生态中业余爱好者和学生用户持续支持。
AI核能公司Fermi任命独立董事会成员Lee McIntire为新任CEO,这是该公司在解雇联合创始人Toby Neugebauer三个月后的重要人事变动。此次领导层更迭标志着该公司在追求雄心勃勃的聚变能源目标时迈入新阶段。
Grubhub正在向用餐者和司机寄送付款,这是其因所谓不公平商业行为与FTC达成的2380万美元和解的一部分。这是监管协议后首批向受影响方发放的赔偿款。
亚马逊默认将使用Twitch主播内容进行AI训练,除非创作者主动选择退出。Twitch首席产品官Mike Minton承认,如果采用默认选入机制,几乎不会有人愿意加入,称"如果是选入制,没人会选入"。这一政策引发了关于创作者权益和版权问题的担忧。
AI编程初创公司Cognition据报道正在洽谈新一轮巨额融资,估值高达400亿美元,距离此前以260亿美元估值融资10亿美元仅数月之遥。这显示出投资者对AI编程领域的强烈信心。
据报告,Uber Freight正在调查一起数据泄露事件,一个专门针对交通运输和私募股权行业的勒索团伙声称对此负责。
特斯拉希望在德克萨斯州建设一座价值100亿美元的太阳能工厂,但要求州政府提供财政补贴或成本分摊。此举凸显了各州争夺清洁能源制造投资日趋激烈的竞争态势。
Form Energy融资7.5亿美元以扩大其100小时长时储能电池的量产能力。该公司已获谷歌和Crusoe等大客户,显示出市场对长时间储能方案的强劲需求。
AI笔记硬件已从信用卡大小设备发展到各种穿戴设备,戒指作为捕捉零星想法的新形态出现。戒指制造商Sandbar认为,语音集成是AI穿戴设备未来的关键,可实现无缝的想法捕捉。
一起价值2.5亿美元的收购案因欺诈和伪造签名指控而瓦解,投资者仍在等待their收益。VideoVerse联合创始人Vinayak Shrivastav如今身陷多项法律案件的中心。
谷歌正在为Quick Share功能添加碰一碰分享模式,用户可以通过轻触设备快速交换联系人、照片、视频和其他文件。这一改进简化了分享流程,使Quick Share更接近苹果AirDrop等竞争对手的功能。
Twitch推出退出选项,允许用户阻止其直播、录像、片段和聊天内容被用于训练亚马逊的生成式AI模型。这一变化发生在Twitch首席货币化官两年前确认亚马逊一直在使用Twitch内容训练AI之后,用户默认被自动加入该计划。
JCB在美国犹他州博内维尔盐滩创下了氢动力汽车的新陆地速度纪录,搭载两台氢燃烧发动机的Hydromax赛车达到了406英里/小时。这是氢内燃机技术的重大突破,JCB在发现燃料电池技术成本过高且不够坚固后,自主研发了该发动机。
美国已将至少200架政府无人机从边境监控任务转向德克萨斯州和新墨西哥州的羊蝇幼虫检测,已执行超1000次飞行并调查超过2.2万头动物。自6月以来已发现45例确认证病例,但尚不清楚无人机直接发现的病例数量。
书商怀疑AI公司购买珍稀书籍后将其销毁以进行扫描训练,引发人们对不可替代的实体书籍永久流失的担忧。虽然Google在2009年就申请了非破坏性扫描技术的专利,但成本与速度的压力可能正迫使AI公司选择更便宜的销毁方式。
疑似参加DEF CON会议的乘客在达美航空591航班上实施了伪造热点攻击,广播名为"Delta WiFi Fast"的虚假Wi-Fi网络并附带钓鱼登录页面。这种被称为"邪恶双胞胎"的攻击方式导致机上真实Wi-Fi中断30分钟,但未影响飞行安全系统。FBI已介入调查,但尚未有人被捕。
Formula E 与迪士尼+/ESPN+ 签下多年转播协议,将在144个国家直播每场电动大奖赛,同年12月启用GEN4赛车,功率翻倍达603马力(攻击模式600千瓦),动力与2027年F1赛车相当。
据供应链消息,苹果基础款iPhone 18或将跳过传统的秋季发布,延至2027年第一季度发售,而iPhone 18 Pro系列仍将在今年秋季上市。更便宜的iPhone 18e及传闻中的iPhone Air也预计同期发布,与此前分析师预测一致。
由《恐鬼症》开发团队创立的独立发行商Kinetic Publishing在其首次游戏展示中公布了五款计划于2027至2028年发行的野心之作。最受瞩目的宣布是萨姆·巴洛维即将推出的非线性FMV游戏《预知》,延续了他标志性的互动叙事风格。
Google推出了四款Pixel 11新机,搭载Tensor G6芯片、改进相机和Magic Capture等新AI摄影工具。产品阵容还带来了增强的Gemini智能、扩展的实时翻译支持以及通过相机直接使用Circle to Search功能,但价格略高于去年机型。
Simon Willison 引用 Florian Herrengt 的文章,讨论 AI 正在侵蚀软件工程师的中间阶层,使团队过度依赖 AI 理解自身代码库,导致认知债务积累。核心问题在于调试过程变得不透明,关键知识正在消失。
Xteink已在官方Facebook页面上正式确认X4电子书阅读器将停产。此举可能预示着更新版的X4 Gen 2即将推出。
Zed 推出了名为 Delta 的新功能或技术,用于其高性能代码编辑器。该公告在 Hacker News 上引发了显著讨论,获得 287 分和 94 条评论,显示出中等程度的社区关注度。
Grok 4.6 在 Artificial Analysis 智能指数中得分 61,该指数用于标准化比较 AI 模型能力。此分数处于当前大语言模型的中等水平,反映的是渐进式改进而非突破性性能。
探讨了微小JPEG图像在Chrome中与其他浏览器显示效果不同的原因。文章分析了Chrome在处理小尺寸JPEG时的亚像素缩放和图像插值机制,揭示了影响视觉一致性的浏览器渲染差异。
一份为2026年日食路径上摄像头提供的精选清单,为无法亲赴现场观测的爱好者提供实时观看选项。该项目作为一个实用资源,聚合了日食路径上的多个直播摄像头。
数学家Terence Gowers分析了LLM在哪些数学推理类型上表现良好、哪些较弱,可能涵盖符号运算、定理证明和模式化解题等方面。文章探讨了当前模型数学能力的边界,以及人类直觉仍在哪些方面超越现有模型。
fearless_simd v0.7为Rust的SIMD抽象库增加了64位整数支持、显式SSE2级别和改进的泛型特性。这是v1.0发布前的最后一个主要版本,前提是API无重大争议。该版本继续保持零依赖、安全的SIMD操作设计。
Cal Newport探讨了AI编程工具的双重叙事:一位硅谷工程师最初称赞Claude Code大幅缩短了开发时间,但随后报告了可能导致失业的质量问题和隐蔽bug。一项涵盖300名开发者的调查也反映了类似趋势,许多人从亲手写代码转向指挥AI代理,引发对AI生成代码潜在缺陷的担忧。
作者使用Rust实现了多种虚拟机分发方式的基准测试,包括尾调用解释器和栈机器,并与传统的寄存器机器进行对比。文章详细介绍了使用match语句实现字节码分发的方法,并探讨了Rust的优化特性如显式尾调用对解释器性能的影响。
Automattic旗下个人CRM应用Mesh已于近日登陆Android平台,支持分屏、弹出视图、折叠屏/平板键盘快捷键及Material You主题小部件等功能。该应用帮助用户跟踪亲友与职业关系、添加备注并设置跟进提醒。Mesh未来将与Beeper深度整合,并计划引入AI功能以提升用户的人脉管理能力。
Facebook正式发布独立版Creator Studio应用,内置AI创作者助手,可根据内容风格、表现、受众互动和目标提供个性化推荐。
安全研究员Nightmare Eclipse在微软公开威胁采取法律行动后,仍发布了一个新的Windows零日漏洞。这是该研究员发布的最新零日漏洞,凸显了独立安全研究员与微软在漏洞披露问题上的紧张关系。
通往Battlefield大赛之路进入第二年,为中欧亚地区的创业创始人提供通往全球Startup Battlefield舞台的直接通道。该计划为区域企业家提供接触国际风投和媒体曝光的机会。
8BitDo复古机械键盘配双超级按键在亚马逊售价69.99美元,原价99.99美元。该键盘采用NES风格设计,配备Kailh Box清脆轴、热插拔轴座、蓝牙/2.4GHz/有线连接,以及无需额外软件即可编程的双超级按键。
谷歌正式发布了Pixel 11系列,包括基础版、Pro、Pro XL、Pro Fold手机以及两款智能手表。目前已开放预购,将于2026年8月20日正式发货。
美国移民和海关执法局(ICE)计划投入最多2000万美元采购带电手套,用于通过电击制服对象。该手套由Compliant Technologies制造,型号为CTG 5 GLOVE,被厂商宣传为一种人道的降级设备,预计于2027年3月前交付,数量未公开。
文章指出自然语言文本无法无损转换,任何改写或重述都会改变原意并可能丢失作者的原始意图。文章强调工程师必须对借助AI生成的每个句子负责,不能以“AI写的”为由推卸责任。
文章探讨如何通过优化现代电子墨水平板,使其超越电子书阅读功能,用于休闲网页游戏和数字娱乐,并将传统读书俱乐部与互动在线游戏大厅进行类比。