大卫小东（Sheldon）

[置顶] 斯梅尔问题（Smale's Problems）清单

摘要： 1900年，大卫·希尔伯特在巴黎国际数学家大会上提出了23个问题，深刻塑造了20世纪数学的研究方向。近一个世纪后的1998年，国际数学联盟（IMU）委托菲尔兹奖得主斯蒂芬·斯梅尔（Stephen Smale, 1930–）为《Mathematics: Frontiers and Perspectiv 阅读全文

posted @ 2026-07-23 14:04 大卫小东（Sheldon）阅读(306) 评论(0) 推荐(2)

2026年9月9日

DeepSeek Harness（DSH）入门

摘要：大家对"本地 Agent"这词儿应该不陌生, 用过 Claude Code、Codex或者其他类似的工具。DSH (DeepSeek Harness) 是同一个赛道的新玩家，但它的野心很直白：Everything is a Plugin，一切皆插件。工具、模型、界面、权限，几乎全挂在插件体系上——意阅读全文

posted @ 2026-09-09 11:43 大卫小东（Sheldon）阅读(672) 评论(0) 推荐(2)

2026年8月6日

小鹤音形词典新版发布了 - 离线的小鹤双拼\音形编码查询软件，支持AI多轮对话

摘要：小鹤音形（flypy）输入法的离线桌面查询与管理工具发布新版了，增加了AI对话功能，美化了Mac版本的菜单。支持 macOS 和 Windows，词典数据内置在应用中，无需联网即可查询。当前版本：v2.2.0 仓库地址：https://github.com/davelet/xiaohe-yin 阅读全文

posted @ 2026-08-06 11:32 大卫小东（Sheldon）阅读(268) 评论(2) 推荐(3)

2026年7月22日

小鹤音形词典：一个离线小鹤编码查询桌面工具

摘要：起因用小鹤双拼10年了，最近在用小鹤音形，日常打字速度确实上来了，但偶尔遇到不确定的编码还是得去翻官方文档或者在线查码。在线工具有几个痛点：要联网、页面广告多、查完还得切回原来的窗口。Rime 用户还有一层需求——本地 .dict.yaml 词库文件越来越多，想加个自定义词组还得手动编辑 YAML 阅读全文

posted @ 2026-07-22 14:17 大卫小东（Sheldon）阅读(345) 评论(2) 推荐(0)

2026年6月22日

Rust 推荐使用宏而非普通函数的场景

摘要：一、宏与函数的本质区别（理解场景的前提）维度函数宏执行时机运行期执行，参数是运行时值，类型固定编译期展开，输入是语法树（token/抽象语法），能操作代码结构类型约束参数必须是确定类型，泛型函数仍受类型系统、生命周期、Trait 约束不限制输入语法，可以接收任意代码片段、标识符、类阅读全文

posted @ 2026-06-22 13:42 大卫小东（Sheldon）阅读(211) 评论(0) 推荐(0)

2026年5月26日

华为公司发布半导体演进新范式 - “韬(τ)定律”（Tau Law）

摘要：华为在 2026 年 5 月 25 日的 IEEE 国际电路与系统研讨会（ISCAS 2026）上正式发布了 “韬(τ)定律”（Tau Law）。这被业界视为在摩尔定律失效背景下，华为提出的半导体演进新范式。简单来说，它把行业追求了 60 年的“把芯片做小”（几何缩微），切换到了“把速度做快、把阅读全文

posted @ 2026-05-26 14:47 大卫小东（Sheldon）阅读(1211) 评论(5) 推荐(2)

2026年5月11日

霍尔定理和最大流算法入门

摘要：霍尔定理和最大流，本质是解决「二分图匹配」的两种思路——前者是"判断能不能匹配"的"理论条件"，后者是"实际算出怎么匹配、能匹配多少"的"算法工具"。读者无需记复杂公式，跟着例子走，就能看懂两者的关联和区别。基础概念二分图：简单说就是"两个阵营"的图，比如左边是「男生」（集合A），右边是「女生」阅读全文

posted @ 2026-05-11 14:25 大卫小东（Sheldon）阅读(220) 评论(0) 推荐(0)

2026年4月14日

Rudist v0.5.1 发布：AI 驱动的 Redis 客户端，更快、更直观

摘要：如果你每天都在和 Redis 打交道，你一定有这种时刻：记不住 KEYS 和 SCAN 的语法、在 MEMORY STATS 里找半天、或者小心翼翼地执行一条可能有副作用的命令。 Rudist 的目标，就是让这一切变成"说一句人话"。今天，Rudist 正式发布 v0.5.1，带来了全新的实时日志阅读全文

posted @ 2026-04-14 15:55 大卫小东（Sheldon）阅读(228) 评论(0) 推荐(0)

2026年4月1日

Rudist 0.4.3 发布：让 AI Agent 替你操作 Redis

摘要：本次更新主要推出了 agent 模式： Agent Mode 使用场景：适用于复杂操作、多轮对话以及直接访问 Redis 数据。特性：有状态（Stateful）对话上下文会在多轮消息之间保持，从而实现更自然的交互。 Redis 工具访问 AI 可以访问所有 Redis 工具，包括： fil 阅读全文

posted @ 2026-04-01 11:32 大卫小东（Sheldon）阅读(194) 评论(0) 推荐(0)

2026年3月25日

集成AI 的 Redis 客户端 Rudist发布新版了

摘要： 🚀 拒绝 Electron 臃肿！首款 Rust 原生 + 私有化 AI 的硬核 Redis 客户端 —— Rudist v0.4.0 发布天下苦 Electron 架构的数据库 GUI 久矣。动辄大几百 MB 的内存占用、拖泥带水的冷启动速度、在加载海量 Key 时令人崩溃的卡顿…… 作为开发阅读全文

posted @ 2026-03-25 10:31 大卫小东（Sheldon）阅读(298) 评论(3) 推荐(1)

公告