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