BitNet:适用于本地CPU的1000亿参数1位模型
微软发布了BitNet,这是一种突破性的1位量化模型,能够在本地CPU上高效运行1000亿参数的模型。这项技术通过大幅降低内存和计算需求,在使大型语言模型更易获取和节能方面取得了重大进展。该技术可能使消费级硬件无需专用GPU即可实现强大的AI能力。
AI 精选科技资讯,为墨水屏优化
微软发布了BitNet,这是一种突破性的1位量化模型,能够在本地CPU上高效运行1000亿参数的模型。这项技术通过大幅降低内存和计算需求,在使大型语言模型更易获取和节能方面取得了重大进展。该技术可能使消费级硬件无需专用GPU即可实现强大的AI能力。
SQLite 文档中记录了一个 Write-Ahead Logging (WAL) 模式下的数据库损坏错误,称为 'WAL-reset bug',在特定条件下重置 WAL 文件时可能发生。该 bug 发生概率较低,但一旦触发可能导致数据损坏。这对于依赖 SQLite WAL 模式实现性能和并发性的应用来说是一个关键问题。
据报道,一名外国黑客入侵了包含杰弗里·爱泼斯坦调查文件的FBI服务器,但据称黑客并未意识到自己入侵的是FBI系统。这一事件引发了对政府敏感数据安全和正在进行的调查的严重担忧。鉴于爱泼斯坦案件的高关注度,这对FBI来说是一次重大的网络安全失误。
分析表明'互联网死亡理论'越来越可信,网络流量的很大部分现在由机器人而非人类生成。这一趋势反映了自动化系统在内容创建和操纵方面日益复杂。该现象引发了对在线真实性、错误信息以及数字交互本质的担忧。
Hacker News 更新了社区准则,明确禁止发布AI生成或AI编辑的评论,强调该平台旨在促进人与人之间的对话。这一政策澄清引发了近700条评论的高度讨论,反映了在线社区对AI内容真实性的日益关注。
2025年《美国国家科学院院刊》研究揭示系统性助长大规模科学欺诈的实体,凸显破坏研究诚信的复杂机制。该研究识别出促进科学出版物大规模操纵的有组织网络和工具。这对学术可信度具有重大影响,需要机构紧急应对。
经过九年的开发,JavaScript 的 Temporal API 提案已达到 TC39 流程的第 3 阶段,将用现代的日期/时间 API 取代有问题的 Date 对象。新 API 提供不可变对象、时区感知操作和对各种日历系统的全面支持。这对于长期受日期/时间处理复杂性困扰的 JavaScript 开发者来说是一个重大改进。
谷歌以320亿美元正式完成了对云安全公司Wiz的收购,这是近年来规模最大的科技收购之一。此举旨在大幅增强谷歌云的安全能力,提升其与AWS和微软Azure等竞争对手的对抗地位。
乐高公司实现了0.002毫米的制造规格,比之前标准精度提高了10倍。这一突破确保了数十亿积木的完美咬合力和尺寸一致性,对高精度制造业具有重要借鉴意义。玩具制造业的创新成果展示了其推动更广泛工业领域发展的潜力。
瑞士一项电子投票试点项目因USB驱动器错误导致2048张选票无法解密,引发了对电子投票系统可靠性的严重担忧。该事件发生在新加密投票协议的测试期间,凸显了实施安全数字选举的实际挑战。此次失败引发了关于当前技术是否足够成熟以支持关键民主进程的辩论。
安全研究人员发现麦肯锡AI平台存在漏洞,可能导致未经授权的访问和数据泄露。技术分析揭示了平台认证和访问控制机制中的安全缺陷。这凸显了大型咨询公司使用的企业AI系统存在的重大安全风险。
Mozilla正在推动WebAssembly成为Web上的一等语言,使其能够无需JavaScript中介直接执行。这代表了Web开发能力的重大演进,允许多种语言在浏览器中原生运行。该进展在Hacker News上引发了广泛讨论,获得317分和122条评论。
巴西、加利福尼亚、科罗拉多和纽约的新法律要求操作系统和网站进行年龄验证,这在儿童保护与数据隐私之间制造了冲突。这些法规需要收集个人数据来验证年龄,往往与现代隐私法相矛盾。作者讨论了不同方法,指出美国使用设备级控制的方法可能比欧洲以政府为中心的模型更具技术可行性。
GNU Guix项目实现了重大突破,完成了全源码引导,将引导二进制文件缩减至仅357字节的种子程序。这一成就使得整个包含22,000多个软件包的依赖图能够完全从源代码构建,通过消除二进制依赖有效解决了软件供应链安全问题。这是实现完全可引导性和防范'信任信任'攻击的重要里程碑。
美国国家运输安全委员会(NTSB)对2024年两起涉及福特BlueCruise驾驶辅助系统的致命事故调查显示,驾驶员在撞上静止车辆前很可能分心了,事故共导致三人死亡。在公开听证会前发布的调查结果,将重点放在了驾驶员注意力不集中上,而非系统本身的主要故障。这凸显了在半自动驾驶系统中确保驾驶员保持参与的关键挑战。
亲伊朗黑客组织Handala声称对医疗技术巨头Stryker遭受的网络攻击负责。该组织表示此次攻击是为报复美国空袭德黑兰一所学校造成175多人(多为儿童)死亡的事件。这标志着黑客活动针对地缘政治原因攻击大型企业的严重升级。
Meta收购Moltbook的交易表明该公司正战略性地转向构建以AI智能体为核心的广告和商务未来。这笔交易暗示Meta预见了AI智能体处理交易和互动的网络未来,可能彻底改变企业接触客户的方式。此举将Meta定位在 emerging '智能体网络'范式的前沿。
币安已对《华尔街日报》提起诽谤诉讼,该报的报道引发了政府对币安涉及17亿美元受制裁加密货币转账的调查。币安声称该报道虚假指控其报复合规员工并进行'虚假'调查。目前司法部、财政部和国会多个机构正在调查币安涉嫌违反制裁规定的行为。
自主武器制造商Anduril Industries宣布收购空间情报公司ExoAnalytic Solutions,此举将使Anduril的空间部门规模扩大一倍以上。ExoAnalytic拥有全球最大的商业望远镜网络,专门监测卫星活动并为国家安全任务提供支持。此次收购标志着以自主武器闻名的Anduril正在加速扩张其空间防御能力。
据报道,英伟达正在开发名为NemoClaw的开源AI代理平台,旨在与OpenClaw竞争。该公司正在向Salesforce、思科和谷歌等企业合作伙伴推广该平台,计划在下周的开发者大会上发布。NemoClaw将专注于安全性和隐私工具,以解决OpenClaw数据访问模式引发的担忧。
IBM利用量子计算辅助成功制造出具有半莫比乌斯拓扑结构的分子,展示了量子算法在复杂化学研究中的应用进展。该研究证明了量子计算机能够帮助设计传统方法难以实现的特殊拓扑结构分子。这标志着量子计算在材料科学和化学领域的实用化迈出了重要一步。
微软透露其代号为Project Helix的下一代Xbox游戏机要到2027年才能达到Alpha开发阶段。该主机将配备定制AMD芯片,光线追踪性能将大幅提升,并搭载下一代AI驱动的超分辨率技术。这一时间表表明新款Xbox距离正式发布仍有数年时间。
据报道,OpenAI计划将其Sora视频生成器直接集成到ChatGPT中,允许用户在聊天机器人界面内创建视频。此举旨在提升ChatGPT的吸引力,但也引发了关于增加AI生成深度伪造内容风险的担忧。Sora目前作为独立工具,尽管功能先进,但尚未获得ChatGPT同等的广泛采用。
彭博社报道称,苹果传闻中的可折叠iPhone将具备类似iPad的多任务处理功能,可在类似iPad Mini尺寸的内屏上并排显示应用。不过该设备不会运行现有的iPad应用,且预计将取消Face ID。外屏尺寸与小型iPhone相当,内屏宽高比则接近谷歌第一代Pixel Fold。
Site Spy是一款浏览器扩展,可监控特定网页元素的变更并通过RSS订阅、差异对比视图和通知推送更新。该工具允许用户跟踪单个页面元素(如价格或库存状态)而非整个页面,支持浏览器推送、邮件和Telegram提醒。它还包含用于AI代理集成的MCP服务器,并提供带可视化差异对比的详细变更历史。
文章讨论了引发科技社区热议的'MacBook Neo'概念或潜在产品,其在Hacker News上的高参与度证明了这一点。这似乎是一篇关于新款MacBook设计或愿景的推测性、前瞻性文章,引发了关于苹果未来硬件方向的广泛分析和辩论。
Simon Willison认为AI编程工具应该帮助开发者产出更高质量的代码,而不是接受低质量输出。文章围绕技术债务展开讨论,指出AI可以帮助避免常见的债务诱因,如API不一致、命名不规范和功能重复等问题。作者强调使用AI产出更差代码是一种选择,开发者应积极改进流程来利用AI实现更好的结果。
Gabagool 是一个用 Rust 从头编写的 WebAssembly 解释器,具备完整的快照功能,允许序列化、暂停和恢复整个执行状态。该项目符合 96% 的 WebAssembly 规范,通过了 1,960 项核心测试中的 1,960 项,仅剩 SIMD 和垃圾回收支持待完善。这为 WebAssembly 工作负载实现了进程分叉和精确状态保存等新颖用例。
开发者在使用AI辅助下为OpenBSD开发ext4文件系统驱动取得重大进展,实现了200MB/s的只读支持和近500KB/s的读写支持。该驱动未参考Linux源代码,完全兼容Linux ext4格式和工具。这标志着OpenBSD文件系统能力的重要提升。
Go 1.26 在 go fix 子命令中引入了新的源码级内联器,允许包作者创建自定义的 API 迁移和更新工具。该工具通过将函数调用替换为函数体来实现源码转换,类似于编译器内联但直接在源码文件上操作。这项技术基于 2023 年开发的算法,为 Go 生态系统中的各种重构工具奠定了基础。
Zig 编程语言完成了编译器重大重构,涉及 30,000 行代码的类型解析逻辑重设计。主要改进包括:当类型仅作为命名空间使用时延迟分析字段,以及增强依赖循环的错误提示。这些变化使编译器更高效并改善了开发体验。
据报道,Netflix以可能高达6亿美元的价格收购了本·阿弗莱克联合创立的AI初创公司InterPositive,该公司专注于为电影制作人提供后期制作编辑工具。此次收购符合Netflix将AI整合到内容制作的更广泛战略,亚马逊和迪士尼等竞争对手也采取了类似举措。不过,这笔交易正值行业持续担忧AI对工作岗位影响及创作者公平补偿问题之际。
iOS替代应用商店AltStore PAL现已加入联邦宇宙,通过启动自己的Mastodon服务器实现集成。该集成允许开发者在联邦宇宙平台上分享应用更新和公告,包括Mastodon和Threads等平台。这代表了在传统应用商店生态系统之外进行应用分发和社区建设的新颖方法。
由Rivian创始人RJ Scaringe创立的Mind Robotics公司已完成5亿美元A轮融资,用于开发AI驱动的工业机器人。该初创公司计划利用Rivian工厂的数据训练其系统,并在Rivian工厂内部署这些机器人。此次大规模融资表明投资者对AI机器人应用于工业自动化领域充满信心。
WordPress推出了my.WordPress.net服务,这是一个基于浏览器的平台,允许用户无需托管或注册即可创建私人网站。该服务将WordPress转变为个人工作空间,支持写作、研究和AI工具使用。这标志着WordPress向更便捷的个人和实验性使用场景的重要转变。
WhatsApp正在为13岁以下用户推出家长管理账户,将功能限制在基本消息和通话,同时为家长提供PIN码保护的控制权限。新系统允许家长批准联系人和群组、接收警报,并保持对孩子消息活动的监督。这标志着WhatsApp将其用户群扩展到年轻人群,并加强了安全措施。
Meta在其主要平台Facebook、WhatsApp和Messenger上推出了新的诈骗检测工具。这些功能旨在用户遇到可疑内容或互动时主动发出警报。这是Meta在其社交应用生态系统中加强用户安全的最新举措。
NASA的范艾伦探测器A号卫星正在进行不受控制的再入大气层,其风险超过了该机构的安全标准,造成伤害的概率为1/4200,而标准阈值为1/10000。这艘研究了地球辐射带十多年的航天器因其科学价值获得了风险豁免。尽管大部分1323磅的卫星将在再入过程中烧毁,但部分碎片可能到达地球表面。
Valve正针对纽约总检察长提起的诉讼进行抗辩,该诉讼指控该公司通过《反恐精英2》等游戏中的战利品箱推广非法赌博。Valve辩称战利品箱类似于棒球卡等实体收藏品,并在游戏行业广泛使用。该公司自2023年以来一直与当局合作解释其虚拟物品系统的运作方式。
美国国立卫生研究院院长发起'科学自由讲座'系列,首场讲座邀请了一位以边缘化COVID-19理论闻名的前记者而非科学家。讲座将讨论缺乏科学证据的SARS-CoV-2实验室泄漏理论。此举反映了院长在疫情期间的争议立场及其认为观点被压制的个人经历。
美国司法部出人意料地与Live Nation-Ticketmaster达成和解而非推进分拆诉讼,令业内人士感到困惑。和解协议包括对Live Nation场馆服务费设置15%上限等让步措施。但行业利益相关者怀疑这些措施能否真正改善票务市场竞争环境。
Grammarly已禁用其AI'专家评审'功能,该功能未经许可声称其编辑建议'受启发于'真实作家,包括The Verge主编及员工。公司承认该功能存在问题,将重新设计以让专家能控制自己的形象代表权。这反映了AI公司未经适当同意使用他人作品和身份引发的日益关注。
微软将于4月开始在所有Windows 11电脑上推出全屏'Xbox模式',这是其统一Xbox与PC游戏生态战略的一部分。此举早于其下一代Xbox平台'Project Helix'(计划2027年进入Alpha测试),旨在为玩家提供更沉浸的游戏体验。该功能此前已在预览计划中作为'Xbox全屏体验'进行测试。
Canva推出了名为'Magic Layers'的新工具公测版,该工具利用AI将平面图像和AI生成的可视化内容自动分离为可编辑图层。用户现在可以单独选择和修改设计组件(如对象和文本),而不会破坏原始布局。该功能目前在美国、英国、加拿大和澳大利亚的用户中可用。
开发者在优化光线追踪器时发现了一种更快的asin()函数实现方法,但后来发现这其实是他们之前忽略的现有技术。该优化使用多项式近似方法,在频繁调用三角函数的图形应用中显著提升了性能。这提醒我们在实现自定义优化前应先研究现有解决方案。
Okmain是一个新库,改进了通过将图像缩放到1x1像素来提取主色调的常见方法。它使用Oklab色彩空间中的k-means聚类来识别有意义的颜色组,并选择视觉上更美观的主色调。这个基于Rust的库解决了从鲜艳图像中提取颜色时结果暗淡的问题,并包含Python绑定。
本文反驳了2015年微软一篇题为《代码审查找不到缺陷》的研究论文,提供了关于代码审查有效性的相反证据。文章指出虽然只有15%的审查评论识别出缺陷,但这个统计数据具有误导性,因为审查者还会评论其他方面。作者引用研究表明代码审查能以仅15%的时间投入发现60%的额外缺陷,证明其缺陷检测效率很高。
一位程序员分享了在尝试了多种文本编辑器后,决定自己开发并日常使用定制编辑器的经历。作者详细列举了之前使用的编辑器在项目搜索、SSH兼容性和终端集成等方面的不足。这反映了开发者对个性化工具需求的普遍现象。
Igalia发布了Moonforge,这是一个基于Yocto的新Linux发行版,专为构建生产就绪的嵌入式操作系统而设计。该操作系统框架提供精选的Yocto层和配置文件,简化了创建可定制、可维护的嵌入式Linux镜像的过程。Moonforge强调可扩展性、灵活性和长期可维护性,同时利用成熟的行业工具。
对开发者ngoldbaum的采访探讨了他从天体物理学模拟工作转向为NumPy和PyO3等主要Python项目贡献的经历,包括消除Python GIL的努力。他分享了关于开源贡献、可重复科学以及作为特权开发者维护在线存在的观点。对话还涉及职业倦怠、版本控制系统以及帮助技术社区他人的满足感。
本文通过Andy Wingo的Mastodon帖子,引用了Gerald Sussman的观点:现代编程已从组合小型、可理解的部件,转变为对不透明的外部库进行'基础科学'式的探索。文章探讨了这一变化如何影响MIT放弃Scheme作为入门课程的决定,因为当今的工程需要探究未知系统,而非从透明组件构建。这是一篇关于软件工程本质演变及系统构建中深度理解缺失的评论。
一位资深博主回顾了十年在线写作经历,分享了笔记工作流、写作技巧和使用开放格式的重要性。作者认为博客的未来在于互联内容而非线性文章,并通过交互式图表展示了相关笔记的连接。文章强调了通过公开写作和互联笔记构建'第二大脑'的价值。
Pike是一款旨在解决公路旅行中常见困境的新应用:是当前出口停车,还是赌下一个出口更好。它通过简洁、一目了然的卡片展示接下来几个出口的便利设施,所有选项都在出口5分钟车程内,设计灵感来源于高速公路的标识牌。该应用旨在减少决策疲劳,避免错过关键站点,比如错过几百英里内最后一家心仪的餐厅。
瑞典初创公司Lovable在2月份达到了4亿美元的年度经常性收入。该公司仅用146名员工就在上个月实现了1亿美元的收入增长。这家推崇'氛围编码'开发方法的编程平台已跻身独角兽企业行列。
电子商务平台Quince在由Iconiq Capital领投的E轮融资中筹集了5亿美元,估值达到100亿美元。此次大规模融资距离公司上一轮融资不到一年,表明投资者对其增长轨迹充满信心。这一估值使Quince跻身全球最有价值的私营电子商务公司之列。
Replit在达到30亿美元估值仅六个月后,又以90亿美元估值完成了4亿美元的D轮融资。本轮融资由现有投资者Georgian Partners领投,Andreessen Horowitz、Coatue等知名机构参与。该公司目标在年底前实现10亿美元的年经常性收入,显示出其从专业开发者转向更广泛用户群体后的快速增长。
Breakout Ventures已筹集1.14亿美元资金,专门用于投资早期阶段的AI科学初创公司,特别是生物和化学等科学领域的企业。该风险投资公司专注于支持将人工智能与科学研究相结合的公司。此轮融资反映了投资者对AI与硬科学交叉领域日益增长的兴趣。
由前Google Pay高管创立的印度数字银行Fi在运营四年多后宣布停止银行服务。这一决定反映了印度金融科技领域激烈的竞争环境,数字银行初创公司面临监管和运营挑战。尽管拥有经验丰富的领导团队,Fi的关闭凸显了新银行在维持运营方面遇到的困难。
据报道,风险投资公司General Catalyst和Spark Capital正在分别筹集100亿美元和30亿美元的新基金,延续了VC行业大型基金形成的趋势。这表明尽管近期市场波动,投资者信心正在恢复,初创企业将获得大量可用资本。此次募资活动是在其他知名风投公司完成类似大型基金募集之后进行的。
电动汽车初创公司Harbinger推出了一款新型小型工作卡车,提供纯电动和混合动力两种版本,专为商业用途设计。该公司强调其产品拥有更低的总持有成本和更好的驾驶体验,旨在与传统卡车竞争并抢占商用电动车市场份额。此举针对城市和区域配送领域对电动化商用车辆日益增长的需求。
亚马逊正在扩大其Shop Direct计划,允许更多商家参与,将亚马逊客户引导至商家自己的网站完成购买。该计划让零售商能够利用亚马逊庞大的客户群,同时保持对其品牌和客户关系的控制。此次扩张代表了亚马逊在传统市场模式之外继续尝试替代性电商模式。
英特尔正在通过Core Ultra 200S Plus处理器更新其桌面CPU产品线,增加了能效核心数量、提升了时钟速度并支持更快的内存,以弥补与上一代及AMD X3D芯片在游戏性能上的差距。这些升级旨在将游戏性能平均提升15%。这是一次增量更新,而非新一代产品发布。
特朗普第二任期内的EPA声称执法行动创纪录,但数据显示75%的刑事案件在其政府之前就已立案。该机构强调的16亿美元日野汽车罚款案实际上在特朗普就职前五天就已公布。环保监督组织批评这份执法报告是误导性宣传而非实质性成果。
本文讨论了各大主流电子阅读器品牌的常见缺陷,指出虽然Kindle经常受到批评,但所有领先品牌都存在显著缺点。文章对比分析了软件限制、硬件耐用性和生态系统限制等问题,旨在通过强调不同电子阅读器选项之间的权衡来帮助消费者做出明智决策。
文章讨论了过去十年消费者行为的重大转变,数字内容支出从电子书扩展到有声书。它强调了数字阅读如何从一个利基便利发展为全球数百万人接受的主流习惯。
Audible首席执行官Bob Carrigan在伦敦书展上宣布,该有声读物服务将在未来一年内扩展到11个新的国际市场。此次扩张将使Audible平台面向全球数百万新增听众开放。这标志着亚马逊旗下有声读物子公司在全球市场的重大扩张。
亚马逊更新了旧款 Kindle 电子阅读器的加密系统,使得常用工具更难破解其 DRM 保护。此举主要影响依赖第三方软件转换或备份电子书的用户,进一步强化了亚马逊对其数字内容生态的控制。