Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
DDD泛在语言UL
有没有带有本地Web界面的真正RAG知识库 ?
有没有任何本地Web用户界面具有真正的 RAG 功能和知识库处理功能? Open WebUI - 对较大的文档集合处理不佳,缺乏引文使用户无法识别它是在处理知识还是在产生幻觉。在下载较大的模型时也会出现错误。 AnythingLLM - 文档的批量处理非常不灵活,模型切换隐
黄仁勋:不要学习编码
不要学习编码:Nvidia 创始人黄仁勋建议走一条不同的职业道路 英伟达(Nvidia)是一家由老牌显卡公司转型为人工智能巨头的公司,去年加入了 1 万亿美元估值俱乐部,随着 ChatGPT 等大型语言模型对其加速卡的需求激增,目前估值仅比 2 万
最常见领域驱动设计错误
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
柏拉图洞穴寓言 vs. AI表征假说 vs. 表观遗传
柏拉图的洞穴寓言是一个哲学思想实验,首次出现在他的著作《理想国》中。用来说明人类认知和现实之间的关系。 什么是柏拉图洞穴寓言?一群人从出生起就被囚禁在一个洞穴里,他们背对着洞口,只能看到洞穴的墙壁。在他们的背后,有
形式验证的历史和方法
这篇文章主要介绍了形式验证领域的历史和数学起源,涉及了形式推理的历史演变、可证明的递归函数、逆向数学和构造性数学中的类型论。 文章还提到了形式验证对编程语言理论的影响,包括类型系统的发展和依赖类型语言的应用。
蛋白质语言模型综述
蛋白质“语言”很像人类语言。鉴于这些相似之处,研究人员一直在蛋白质序列数据上构建和训练语言模型,复制其他领域的成功经验,具有深远的影响。在这篇文章中, 我将探讨 Transformer 模型如何应用于蛋白质数据以及我们的发现。 蛋白
幽默:交通标志是一种符号和交通语言
Rama通过拓扑通用语言实现ACID事务
Rama是一个新的编程平台, Rama 的突破最重要的是,它首次出现了用于构建软件应用程序的内聚模型,无论规模如何。 ACID事务ACID原子性、一致性、隔离性和持久性是数据库系统的关键特征。
自动生成特定领域模型和图表
PDF文件的内容是一篇关于特定领域建模语言(Domain-Specific Modeling, DSM)的学术论文,标题为《Automated Annotations in Domain-Specific Models: Analysis of 23 Cases》,作者是Steven Kel
上页
下页