Flutter 3.47 -- Flutter 3.47

Flutter 3.47发布,带来重大更新:Material和Cupertino设计系统作为独立包发布1.0版本,实现与核心SDK解耦;Impeller渲染器在桌面端默认启用;Flutter Widget预览功能稳定。

Hax – 一个用C语言编写的极简终端原生编程助手 -- Hax – a minimalist, terminal-native coding agent written in C

hax是一款轻量级、终端原生的编码代理工具,采用单一C语言二进制文件,启动快且内存占用低(仅几MB)。它优先支持本地模型,自动发现模型和运行时能力,无需自定义配置。尊重终端操作,保留原生滚动,支持流式Markdown和实时工具输出。提供可检查的对话记录和详细协议追踪,兼容多种AI提供商(如OpenAI、Anthropic等)。作为Unix工具,遵循XDG路径规范,配置和会话文件为纯文本。目标用户是终端开发者、本地模型运行者、工具审计者及资源受限环境下的代理使用者。

打破WAL -- Breaking the WAL

SQLite在2026年修复了一个自2010年就存在的WAL-Reset数据竞争漏洞,该漏洞极难复现。作者受此启发,计划使用Antithesis工具来追踪这一经典且棘手的数据库bug。

社交媒体导致罐装沙丁鱼在超市货架上供不应求 -- Thanks to social media, canned sardines are a scarcity on the supermarket shelf

社交媒体上的沙丁鱼饮食潮流导致罐头沙丁鱼需求激增,同时海洋环境问题加剧了供应短缺,造成全美超市货架空空,消费者难以买到心仪品牌。

《数学原理》现代且富有洞见 -- Principia Mathematica is modern and insightful

《数学原理》虽出版于1910年,但读起来像现代编程语言文本,书中关于指称透明性、定义、命题函数、类型等概念极具前瞻性,甚至预见了λ演算和直觉主义思想。

我的代理设置 -- My Agent Setup

作者分享其AI代理设置:为扩展多个产品和非营利组织,创建了由6个代理组成的“员工团队”,包括执行管理代理等,目前仍处于早期实验阶段。

Pixel 11 Pro Fold -- Pixel 11 Pro Fold

谷歌发布Pixel 11 Pro Fold折叠屏手机,设计更轻薄,重量减轻近10%,厚度减少约1毫米,新增HiLight相机条LED灯带,可显示来电等提示信息,提升耐用性和智能功能。

气候仪表盘上的冰川 -- Glaciers on the Climate Dashboard

冰川是重要的淡水资源,其消融会影响人类用水和沿海社区。过去30年,冰川质量平衡受降雪、温度等因素影响,持续出现退缩现象。全球冰川监测服务正对代表性冰川进行详细监测。

Lovable完成4亿美元C轮融资 -- Lovable raises $400M Series C

Lovable宣布完成4亿美元C轮融资,估值133亿美元。该公司致力于打造软件创建平台,让更多人能将想法转化为软件。自2024年11月上线以来,用户已创建超6000万个项目,月访问量超9亿次。

Pixel Watch 5 -- Pixel Watch 5

Pixel Watch 5 在上一代基础上进一步升级,主打 Gemini 智能主动协助和突破性的 Health Guardian 健康监测功能,为用户提供更及时、更全面的腕上健康与生活辅助体验。