• Deepseek引入的深度搜索成为2025年新标准。各大公司纷纷推出深度研究产品,AI工程师通过整合长期思考与推理,显著提升了搜索系统的性能与深度。 要点: 深度搜索DeepSearch经过搜索、阅
  • 有一种新的编程方法,我管它叫“氛围编码(vibe coding)”,意思就是你完全跟着感觉走,不用太在意那些复杂的代码规则,甚至可以忘掉代码这回事。这是因为现在的AI编程工具(比如 icon
  • 有人爆料:今天我跟一个FAANG公司的CEO聊了,他说他们现在不再用LeetCode(一种编程题库)来筛选人了,因为AI太厉害了。他们现在只关心你在GitHub上有没 icon
  • 如何在AI大模型秒变一篇文章的今天,划清人类与机器的界限,人类如何保持创见,而不是被机器喂养的奴隶? Nathan Savage 于 2025 年 1 月 2 日发表的文章《超越 RAG:构建增强而非取代思维的知识管理系统》讨论了在检索增强生成 ( icon
  • 霍夫斯塔德的《表面与本质》这本书很不错,是一本500页的书,讲的是思想的本质。他基本上是给你列了一大堆例子,来证明所有的思维归根结底都是靠类比(analogy、category )推动的。 他认为所有的想法都首先得 icon
  • 卡词不仅仅是词汇的缺失或表达的停顿,它更像是一种思维与语言之间的“卡壳”。 当我们无法找到合适的词语时,思维也随之停滞,仿佛被卡在了某个节点上。 这种“卡壳”不仅影响了表达的流畅性,也暴露了思维逻辑中漏洞,人好像 icon
  • Deepseek R1-Zero关键两项发现:无需人类专家、有自己专业领域语言DSL,也就是没有SFT,有自己DSL! ARC Prize基金会对DeepSeek发布的R1-Zero和R1“推理”系统的分析。 icon
  • 《连线》杂志最新爆料,马斯克手下的DOGE公司正在组队改造社保局的电脑系统,要把用了多年的COBOL编程语言换掉。 icon
  • 人工智能编码助手 Cursor 最近做了一件挺有意思的事,它告诉一个叫“janswist”的用户,让他自己写代码,而不是依赖 Cursor 帮他完成。这让我们看到了机器人在工作中也能有自己的“态度”。 事情是这样的:janswist 用 Cursor 这个 icon
  • 以下是经过精心分类的架构图资源列表,可帮助您找到适合您需求的资源。 ️ 架构图表工具专为建模软件和系统架构而构建的工具。这些工具通常支持 icon
  • (撸起袖子)来来来,老师给同学们讲个程序员界的鬼故事——需求就像你妈的脸,说变就变! (敲黑板)第一幕:需求变变变想象你在写情书,刚写完"你是我的优乐美",结果女神说"我要当你的香飘飘",你只能撕了重写。写 icon
  • Vibe 编码(或 vibeware)现在在 X 上流行起来。据我所知,Andrej Karpathy 在本 X 条目中发起了“模 icon
  • 在手机APP最火爆的那几年,iOS和安卓程序员经常被朋友、亲戚甚至派对上认识的陌生人团团围住:"我有个超棒的APP点子......" 要是程序员没表现出足够兴趣,对方就会死缠烂打。如果程序员不赶紧假装认同——既要显得"听懂了"点子,又不能被赖上帮忙 icon
  • 本体管道(Ontology Pipeline)怎么帮AI系统更好地理解知识? 现在要让AI和大语言模型表现好,必须给它们喂"有营养的知识"——就是那些整理得井井有条、带标签分类的知识库。但很多人对知识库有两种误解: icon
  • 该Github项目使用 UML 图来展示 Eric Evans 著作(领域驱动设计:解决软件核心复杂性)中 DDD 示例(货物运输系统)的结构和行为。这些图基于GitHub 上dddsample-core项目的源代码创建。这些图旨在帮助我们理解该示例如何实现 DDD 的战略和战术设计及其运作 icon
  • 这篇博客是Micheal Huth和Mark Ryan写的《计算机科学中的逻辑》这本书的一个简单介绍[1]。它会讲到书里第一章的前五个部分。为了让事情简单点,这个介绍写得很随意。所以,书里很多复杂的定理和证明这里都没提。 陈述句</ icon
  • 在 Python 的世界里,我们经常引用 Python 之禅:“应该有一种——最好只有一种——显而易见的方法来实现它。” [  icon