俄罗斯数学家尤里·马宁的著作《数学家的数学逻辑课程》英文版第二版现在面向公众免费开放了 | #电子书

本书是为数学家提供的一本高级的数学逻辑教科书,涵盖了数学逻辑的重要发现,如连续统假设的独立性、可数集的丢番图性质以及一些古老问题的算法不可解性。
图解计算机网络、操作系统、计算机组成、数据库 | github | 在线阅读

共 1000 张图 + 50 万字
一篇傅里叶变换的可视化的、交互式的教程,助读者以直观的方式理解傅里叶变换的核心概念,而不依赖复杂的数学公式。| blog
Media is too big
VIEW IN TELEGRAM
斯坦福新开设的一门教你如何利用LLM提高开发者的生产力的课程:现代软件开发者

课程还在更新中,会逐步放出PPT等资料。
在过去的几年里,大型语言模型引入了一个在软件开发中具有革命性的新范式。传统的软件开发生命周期正被人工智能自动化在每个阶段所改变,这引发了一个问题:下一代软件工程师应该如何利用这些进展,提升十倍生产力并为他们的职业生涯做好准备?

本课程展示了现代人工智能工具不仅能提高开发者的生产力,还能使软件工程更加普及,惠及更广泛的受众。我们将展示,软件开发已从零到一的代码创建,发展为一个迭代工作流程,包括计划、与人工智能协作生成、修改和重复。学生将掌握传统软件工程挑战背后的理论,以及当前通过前沿的人工智能工具解决这些问题的实践。

通过实际的工程任务和行业先锋的讲座,学生将获得使用人工智能辅助开发、自动化测试、智能文档编写和安全漏洞检测的实践经验。在课程结束时,你将清晰理解如何将先进的语言模型集成到复杂的开发工作流程中,并避免常见的陷阱。
构建一个真正有效的简单搜索引擎 | blog | #教程 #搜索引擎

“我知道你在想什么。“为什么不直接使用Elasticsearch?”或者“那Algolia怎么样?”这些都是有效的选择,但它们也带来了复杂性。你需要学习它们的API,管理它们的基础设施,并处理它们的各种怪癖。
有时候,你只想要一个:
※与现有数据库兼容的
※不需要外部服务的
※易于理解和调试的
※能够真正找到相关结果的

这就是我所构建的。一个使用你现有数据库的搜索引擎,尊重你当前的架构,并且让你完全掌控它的工作方式。

核心理念
这个概念很简单:将一切进行标记化(tokenize),存储起来,然后在搜索时匹配标记。

它的工作原理如下:
※索引:当你添加或更新内容时,我们将其分解为标记(单词、前缀、n-grams),并带有权重地存储它们
※搜索:当有人进行搜索时,我们以相同的方式对他们的查询进行标记,找到匹配的标记,并对结果进行评分
※评分:我们使用存储的权重来计算相关性分数

其中的关键在于标记化和加权。让我给你演示一下我的意思。”
OpenAI、Anthropic 和 Google 内部使用的10大顶级提示工程技巧,能显著提升生成结果准确率和实用性,堪称AI高手的秘密武器。

【实战效果总结】
- 技术文档幻觉率降至0%
- 代码迭代速度提升3倍
- 复杂分析准确率超90%

见评论区 | 帖子 | #技巧
Zara Zhang提出了一个颠覆传统AI使用方式的思路:别再“提示”AI,而是让AI来“采访”你。她通过语音模式,让AI逐条提问,自己则自由表达想法,10分钟后只需一句“帮我写成产品方案”,文档便自动成型。

这其实是“橡皮鸭调试法”的升级版——通过讲述激发思考,AI帮你理清思路,但真正的洞见依然来自你自己。正如多位用户反馈,这种“被采访”的模式能带来更自然、深入的思考,适合有自我认知和目标清晰的人,也能帮助理清杂乱无章的想法。

关键在于,AI不是代替思考,而是帮你外化和组织思维。长期与同一AI模型互动,还能形成一种“共生智慧”,人机合作超越单独任何一方。有人通过“预采访”先录音转文字,再由AI针对盲点提问,让效率和深度更进一步。

但也有提醒:没有清晰的观点,AI只能帮你重组空洞;AI的问题可能跑偏,需要你灵活引导;输出质量依赖输入质量,不能指望AI凭空产生好点子。

这是一种思维方式的转变——人做决策,AI做整理,真正释放创造力。试想,若每个人都能把头脑中的杂乱想法“被采访”出来,再由AI帮你打磨成结构化方案,工作和创作将变得更加高效且富有洞见。
人类通过经验不断提炼技能与偏好,而许多AI代理却缺乏持续学习的能力。为此,Lance Martin开发了“Claude Diary”插件,赋予Claude Code从经验中学习、更新自身记忆的能力,代码开源可查。| #插件

核心理念来源于2023年Sumers等人的CoALA论文,提出了代理记忆框架,区分“程序性记忆”(如提示指令)与“情景记忆”(如过去行为)。Claude Code将系统指令存储于CLAUDE.md文件,且会保存会话日志。但如何将过往日志转化为持久且通用的规则,并融入指令体系,是关键难题。

2023年Park等人的Generative Agents论文展示了“反思”步骤:将过去行为综合为通用规则,指导未来规划与决策。2025年Zhang等人进一步提出“成长与精炼”方法,结合推理轨迹生成器、成功失败提炼器和结构化整合者,持续优化代理指令。Anthropic的Claude Code团队也采用类似思路,基于会话创建日记条目并反思发现模式。

Lance的实现基于此反思方法,令Claude提炼会话日记,定期汇总反思以更新CLAUDE.md。具体做法:

- 生成日记条目不再解析复杂日志,而是利用当前会话上下文,通过/diary命令捕捉完成任务、设计决策、挑战、用户偏好及PR反馈,保存路径为~/.claude/memory/diary/YYYY-MM-DD-session-N.md。
- 创建日记结合手动调用与PreCompact自动触发,兼顾用户控制与自动覆盖长会话。
- 反思由/reflect命令执行,分析日记,检查规则违背,强化薄弱规则,识别反复出现的模式,生成一行规则更新同步至CLAUDE.md,反思结果保存在~/.claude/memory/reflections/YYYY-MM-reflection-N.md。
- 利用processed.log避免重复反思,保持反思过程人工审核以确保规则质量。
- 仅更新用户级CLAUDE.md文件,因许多模式如提交风格、测试习惯、代码质量具有通用价值。

实践中,Claude Diary显著提升了:

- PR审查反馈的记忆和应用,利用pr-comments命令导入评论。
- Git工作流偏好捕捉,如原子提交、分支命名、提交信息格式。
- 测试策略优化,先快速执行针对性测试,再运行全面测试套件。
- 代码质量提升,避免命名冲突、陈旧目录残留及冗长代码。
- 代理设计改进,倾向单代理任务委派,优先令牌效率及上下文文件系统卸载。
- 自我纠正能力,强化未遵守规则的行为修正。

Claude Diary是一种简洁但有效的持续学习框架,将零散会话转化为结构化记忆更新。其命令由提示语驱动,易于定制和自动化扩展,未来仍有巨大提升空间。插件代码托管于Claude Code生态,欢迎试用与改进。
准备技术面试最头疼的,莫过于刷了一堆题,进考场发现全是死记硬背的理论,遇到真实场景就歇菜。想找个覆盖面全、贴近实战的题库,往往要翻遍几十个网站。

Tech Vault 由经验丰富的工程师整理,专门收录了那些 “真枪实弹” 的面试挑战。|#面试

涵盖了 Linux、DevOps、AWS、系统设计等核心领域,重点在于解决实际工程问题而非单纯背书。

仓库还开发了命令行工具(CLI),让我们在终端里就能直接刷题,复习效率极高。

内容完全开源且持续更新,对于正在备战大厂或者想系统查漏补缺的朋友,这份指南不可多得。
Back to Top