Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
DDD泛在语言UL
有没有带有本地Web界面的真正RAG知识库 ?
有没有任何本地Web用户界面具有真正的 RAG 功能和知识库处理功能? Open WebUI - 对较大的文档集合处理不佳,缺乏引文使用户无法识别它是在处理知识还是在产生幻觉。在下载较大的模型时也会出现错误。 AnythingLLM - 文档的批量处理非常不灵活,模型切换隐
最常见领域驱动设计错误
DDD中的错误抽象比其他设计方法具有更大的破坏性影响。这篇文章分享了 DDD 中代价最高的设计错误;导致单一和紧密耦合系统盛行的一个常见错误。 背景企业中存在很多臃肿而脆弱的客户应用程序接口,而针对这种脆弱性提出的
大模型是否成功支持了维特根斯坦“意义即使用”?
比特币为啥有用?不是它本身用多少黄金 石油做标的,不是它本身指向了多少实在物质,而是有人使用它,只要被使用就有价值,而不在于该符号本身有多少价值。 我们所说的 "成功 "是指当前的人工智能/LLM 能够生成被人类读者认为连贯、翔实甚至令人信服的文本
讲故事在头脑风暴中重要性
我们天生就喜欢在讲故事中思考,我们在讲故事过程中成就了自我。 理性上,我们喜欢质疑,但是,质疑的下一步: 不是否定对方、不是与对方辩论、不是抬杠,不是打压、不是制造阴谋论, 而是在与对方互动的讲故事
Java中实现GraphQL完整指南
对于寻求创建强大而高效的 GraphQL API 服务器的 Java 开发人员来说,本指南是宝贵的资源。 本详细指南将带您了解在 Java 中为实际应用程序实现 GraphQL 的所有步骤。它涵盖了 GraphQL 的基本概念,包括其查询语言和数据模型,并
构建计费系统14个痛点
如果您希望通过业务获利,计费和收入系统是必需的。 计费是困难的、相互交织的、复杂的。 三种模式这并不是计费系统所独有的。以下三种模式之一很常见:
什么是亚历山大形式?
亚历山大Alexander形式:一套有组织、连贯的模式,用于解决设计问题,定义了一套有组织的、连贯的模式,用于描述特定专业领域内的问题和解决方案。也称为亚历山大模式语言(Alexander Pattern Language)。 由建筑师克里斯托弗-亚历山大
AGI来了?特拉斯用大模型帮助自动驾驶
Grok-1.5V能将“像素->动作”映射提升为“像素->语言->动作”。 Tesla FSD v13可能会是Grokking语言令牌。Grok-1.5V最让人兴奋的是解决自动驾驶中边缘情况的潜力。使用语言进行“思维链”将有助于汽车分解复杂的场景,
黑格尔辩证法与形式逻辑哲学比较
首先,我们比较一下三种逻辑思维:前逻辑思维、形式逻辑和辩证逻辑。 前逻辑思维(Pre-Logic Thought):日常推理与逻辑学家设计的形式逻辑系统之间存在很大差异。日常思维大多是实际的、直观的和情感的,而形式逻辑的思考则需要明确的训练。 形式逻辑(Formal Logi
蛋白质语言模型综述
蛋白质“语言”很像人类语言。鉴于这些相似之处,研究人员一直在蛋白质序列数据上构建和训练语言模型,复制其他领域的成功经验,具有深远的影响。在这篇文章中, 我将探讨 Transformer 模型如何应用于蛋白质数据以及我们的发现。 蛋白
幽默:交通标志是一种符号和交通语言
皮尔斯:第一个认真研究语义学的人
查尔斯·桑德斯·皮尔斯,可能是第一个认真研究语义学的人,他开始列举所有的“符号-情境(上下文)”,希望当所有可能的“意义”的含义被聚集在一起时,它们会显示出经验上的差异,从而可以区分真假。 但这些顽固的“意义”并没有整齐地分成几类,而是分裂成一个最可怕的分
Rama通过拓扑通用语言实现ACID事务
Rama是一个新的编程平台, Rama 的突破最重要的是,它首次出现了用于构建软件应用程序的内聚模型,无论规模如何。 ACID事务ACID原子性、一致性、隔离性和持久性是数据库系统的关键特征。
计算形式化和表征也有局限性
关于计算形式化和表征方法的局限性,我们应该从休伯特·德雷福斯那里读到什么? 休伯特·德雷福斯是谁?德雷福斯的工作对于理解人类认知、行为和技能的本质,以及人工智能的局限性都产生了深远的影响。
自动生成特定领域模型和图表
PDF文件的内容是一篇关于特定领域建模语言(Domain-Specific Modeling, DSM)的学术论文,标题为《Automated Annotations in Domain-Specific Models: Analysis of 23 Cases》,作者是Steven Kel
使用CP-SAT和Python实现约束编程
本文使用 CP-SAT 和 Python 对约束编程 (CP:Constraint Programming ) 进行了实用介绍。以下是要点: 假设您是一家电子商务巨头,想要建造一个新仓库来改善客户服务,但您需要知道最佳仓库位置。 或者您是一家全球运输公司,需要将包裹分
美国语法:19 世纪的句子图解
一旦你真正懂得了如何绘制句子图解,你就掌握了英语语法的所有知识点。 从某种意义上说,句子是自己绘制的,揭示了语言和思维中内在的逻辑和潜在结构?在诺姆·乔姆斯基普及通用语法思想一个多世纪之前,美国的语言学家就开始绘制句子图解,试图将母语核心的复杂结构
是否需要精通数学才能精通编码?
来自X讨论:我在思考编码和数学之间的联系: "你是否需要精通数学才能精通编码? 从数学到编码有很多概念,但我不认为 "数学好 "是硬性要求。 上周我和儿子一起编码时,我就反思了这一点。 我们制作了一个应用程序,输入出生日期,然后打印出年龄
上页
下页
关闭