笔记列表-低调大师优秀个人博客

文章列表

共 188867 篇

2026-08-06

让非法状态不可表示：一篇关于 ADT 的帖子在 Reddit 火了

有一种东西，一旦用过就回不去了。Alex Fedoseev 管它叫"软件设计的基石"。他说的东西不新鲜——代数数据类型（ADT），尤其是和类型（sum type）。但他说清楚了一件事：这不是类型系统的学术体操，是日常编码的思维方式。文章从一个简单的例子切入。一个网站的深色主题设置，如果用布尔值 + 可空字段来表...

阅读约5分钟

2026-08-06

Cloudflare 开源内部企业 AI 平台 Cloudflare OS

Cloudflare 发布了一个开源项目 Cloudflare OS。如果你只看官方博客，你会觉得这是又一个"AI 知识库 + 聊天机器人"——每个大厂都在做，没什么新鲜的。但 Kenton Varda 在 Twitter 上把事情说清楚了：今天我们发布了 Cloudflare OS，一个带连接器的聊天机器人，...

阅读约7分钟

2026-08-06

Python 3.14.7 和 3.13.15 发布

Python 3.14.7 现已发布，这是 3.14 的第七个维护版本；自 3.14.6 以来，包含约 499 项错误修复、构建改进和文档更改。Python 3.13.14 是 3.13 的第十五个维护版本，自 3.13.14 以来，包含了大约 400 个错误修复、构建改进和文档更改。下载： python.org/downloads/release/pyt...

阅读约2分钟

2026-08-06

Deno 团队开源 Celld，可自托管的分布式 Durable Objects

Ryan Dahl 领导的 Deno 团队推出了最新开源项目 Celld，一个能在自己机器上运行 Cloudflare Workers 和 Durable Objects 的守护进程。设计思路很直接：每个对象是一个独立的 SQLite 数据库，按名称寻址，复制到你自己的 S3 兼容存储库里。节点之间只通过这个存储库协调——没有控制平...

阅读约5分钟

2026-08-06

鲁大师7月新机性能/流畅/AI榜：vivo夺性能、流畅双第一，三星Galaxy Z系列新折叠缺席

2026年7月的手机市场，由于存储等硬件成本暴增，手机厂商的日子也不好过啊，新机速度明显放缓，因此硝烟味淡了许多。新机参数规格除开高价的三星折叠（三星Galaxy Z Fold8 Ultra / Z Fold8 / Z Flip8）外，其余要么是中低端机器，例如iQOO Z11i、REDMI Note 17、REDMI Note 17 Pro、OPPO K1...

阅读约10分钟

2026-08-06

Zed 推出 DeltaDB，一个记录 commit 之间所有操作的版本控制系统

Zed 编辑器团队发布了新项目——DeltaDB，一个在 git commit 之间记录每一次编辑操作的版本控制系统。目前处于 Early Access 阶段。 DeltaDB 的核心思路直接写在 landing page 最显眼的位置：「Software is made between commits」——软...

阅读约5分钟

2026-08-06

SpaceXAI 单季资本开支达 183 亿美元

根据风险投资人Tomer Tunguz 博客（VC 分析）披露的最新分析与第二季度业绩报告，SpaceXAI在上个季度的总资本支出飙升至183.7亿美元。其中，绝大部分资金被直接用于 AI 领域，金额高达158.3亿美元，这一单项投入已经逼近微软同期总资本开支的四成。与亚马逊、Alphabet、微软以及 Meta 等传统科技巨头相比，SpaceXAI的资金...

阅读约2分钟

2026-08-06

小米正式开源自研具身基座模型 Xiaomi-Robotics-1

1000个机器人训练场景，1700种物体，10万小时。 2026年8月5日，小米技术官微发了一条帖子：自研的具身基座模型 Xiaomi-Robotics-1 正式开源。这不是一个为了PR放出来的半成品——它在4个主流机器人操作benchmark上干掉了Pi0、Gemma3、Qwen2.5-VL，其中RoboDojo高了58.3%，VL...

阅读约4分钟

2026-08-06

Meta 发布终端编程 Agent“Muse Code” 和 Muse Spark 1.2 模型

Meta 今天发布了两款 AI 产品：Muse Code，一个在终端里运行的编程 agent；Muse Spark 1.2，驱动这个 agent 的新模型。一句话概括：你可以用 curl -fsSL https://dev.meta.ai/install.sh | bash 安装一个能在大项目里自动规划、写代码、验证结果的 AI 终端工具。据介绍，Muse...

阅读约7分钟

2026-08-06

字节发布 SeedRealtime 音视频全双工大模型

字节跳动 Seed 宣布正式推出原生音视频全双工大模型 SeedRealtime。采用统一架构原生融合音频、视频与文本，能在连续的多模态信息流上实时交互，带来“边看、边听、边说”的全新体验。目前，SeedRealtime 已在豆包 App 全量上线。SeedRealtime 实现了以下三项核心突破：音视频联合理解：原生支持声音、画...

阅读约3分钟

2026-08-06

BitFun v0.2.15 发布：新增 MiniApp 市场、跨设备异步任务派发

BitFun 是一个开源（MIT）的桌面端 AI Agent 应用，Agent Runtime 用 Rust 编写，桌面外壳基于 Tauri v2，提供 Windows / macOS / Linux 三端安装包。使用时需自行配置模型 API，不绑定特定厂商。 v0.2.15 已经发布，本次更新的重点是 MiniApp 市场和跨设备任务派发。新增 Mini...

阅读约2分钟

2026-08-06

Syncthing 2.1.3 正式发布，连续文件同步工具

Syncthing 是一个免费开源的工具，它能在你的各个网络计算机间同步文件 / 文件夹，它的同步数据是直接从一个系统中直接传输到另一个系统的，并且它是安全且私密的。 Syncthing 2.1.3 现已发布，主要更新内容包括： Fixes fix(ignore, fs)：允许加载符号链接后面的 ignore 模式（修复#10785）#10786 fix：避...

阅读约4分钟

2026-08-06

DeepSeek 将上调 API 定价，涨幅较大

DeepSeek 开放平台 8.6 发布官方通知：“计划近期整体上调 DeepSeek API 服务的定价，预计涨幅较大，请合理安排您的使用。具体方案以正式通知为准。” 当前的官方 API 价格，尤其是 v4-flash 的价格极低，在一众主流模型中极具性价比。随着大量用户请求涌入，这也导致官方服务出现不稳定的情况。

阅读约1分钟

2026-08-06

腾讯开源 UCL-MPComm 通信库

腾讯网平团队宣布开源了 UCL-MPComm 通信库，并将作为transport接入Mooncake TENT。该通信库针对AI Memory池化场景的数据传输需求进行了深度优化，能够实现数据中心内大规模计算节点间多种内存类型的高性能通信。 UCL-MPComm将作为一种传输引擎接入Mooncake TENT，实现零拷贝传输性能提升30%、非零拷贝传输性能最...

阅读约3分钟

2026-08-06

CoStrict入选工信部2025人工智能应用典型案例

近日，工信部科技司公示《2025人工智能应用典型案例入选名单》，深信服“面向企业研发场景的开源 AI 编程平台 CoStrict 应用”凭借卓越的技术创新与落地成效成功入选。全链路私有化部署，助力企业AI研发安全落地当前，越来越多企业已经开始引入 AI Coding 工具，通过调用公有云模型或企业内部部署模型提升研发效率。但随着 ...

阅读约6分钟

2026-08-06

深信服AI算力网关入选工信部人工智能应用典型案例！

前不久，工业和信息化部正式发布《2025年人工智能应用典型案例名单》，集中展示人工智能在各领域的应用成果，覆盖技术底座、行业赋能、产品应用、支撑保障、专题等五大方向。深信服AI算力网关（AI创新平台）成功入选！随着各行各业的Agent走向规模化建设，算力构成形态逐渐丰富，用户关注的重点也在发生变化：不只是让AI用起来，还要进一步看清混合算力时代下，Toke...

阅读约7分钟

2026-08-06

Visual Studio Code 1.132 发布

Visual Studio Code 1.132 版本现已发布。此版本在集成浏览器中引入了元素级反馈、多语言语音输入、侧边聊天功能，并在混合 Markdown 编辑器中加入了 Markdown diffs 功能。在集成浏览器中添加注释：通过对特定网页元素添加注释，向 agents 提供精准反馈。多语言语音输入：使用设备端模型，根据你的语言偏好或自动检测语...

阅读约1分钟

2026-08-06

跳出 Fatjar 的束缚：Solon 插件的体外扩展（E-Spi）与热插拔（H-Spi）

你把一个 Java 服务打成了单个 fatjar 发布出去。然后现实来了：运维想把数据源指向另一台主机，却不想让你重新构建；业务团队想在凌晨两点把某个模块下线，又不想重启整个进程。如果你唯一的答案是"重新打包、整包重发"，那每一次都能感觉到那股摩擦。 Solon 恰好为这道缝隙准备了两套机制：E-Spi（体外扩展）和 H-Spi（热插拔）...

阅读约14分钟

2026-08-06

Mike Pall 删标签，Hisham 发声：Lua 生态该不该告别永远兼容的旧梦？

最近，Lua 社区被一记重锤敲醒了。LuaJIT 的作者 Mike Pall 直接从上游 GitHub 仓库里删掉了部分旧版本的标签。这在开源圈里堪称“核选项”——通常会被视为不友好甚至粗鲁的举动。可熟悉内情的人却能理解他的可奈：太多项目死守着十多年前的 luajit-2.1.0-beta3 之类的标签不放，b...

阅读约6分钟

2026-08-06

Jeff Dean 离开 Google：一个时代的结束，一个实验室的开始

Google 员工编号 20。MapReduce 作者之一。Bigtable 作者之一。TensorFlow 的作者之一。Gemini 的架构师。Google 首席科学家。 Jeff Dean 在 Google 工作了 27 年后，宣布离职。他不是一个人走。一同离开的还有 Sanjay Ghemawat（Google 员工编号 23，Jeff Dean 二...

阅读约10分钟

资源下载

更多资源

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。

文章列表

让非法状态不可表示：一篇关于 ADT 的帖子在 Reddit 火了

Cloudflare 开源内部企业 AI 平台 Cloudflare OS

Python 3.14.7 和 3.13.15 发布

Deno 团队开源 Celld，可自托管的分布式 Durable Objects

鲁大师7月新机性能/流畅/AI榜：vivo夺性能、流畅双第一，三星Galaxy Z系列新折叠缺席

Zed 推出 DeltaDB，一个记录 commit 之间所有操作的版本控制系统

SpaceXAI 单季资本开支达 183 亿美元

小米正式开源自研具身基座模型 Xiaomi-Robotics-1

Meta 发布终端编程 Agent“Muse Code” 和 Muse Spark 1.2 模型

字节发布 SeedRealtime 音视频全双工大模型

BitFun v0.2.15 发布：新增 MiniApp 市场、跨设备异步任务派发

Syncthing 2.1.3 正式发布，连续文件同步工具

DeepSeek 将上调 API 定价，涨幅较大

腾讯开源 UCL-MPComm 通信库

CoStrict入选工信部2025人工智能应用典型案例

深信服AI算力网关入选工信部人工智能应用典型案例！

Visual Studio Code 1.132 发布

跳出 Fatjar 的束缚：Solon 插件的体外扩展（E-Spi）与热插拔（H-Spi）

Mike Pall 删标签，Hisham 发声：Lua 生态该不该告别永远兼容的旧梦？

Jeff Dean 离开 Google：一个时代的结束，一个实验室的开始

资源下载

Nacos

Spring

Sublime Text

WebStorm

欢迎您来访！