Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
DDD泛在语言UL
黄仁勋:不要学习编码
不要学习编码:Nvidia 创始人黄仁勋建议走一条不同的职业道路 英伟达(Nvidia)是一家由老牌显卡公司转型为人工智能巨头的公司,去年加入了 1 万亿美元估值俱乐部,随着 ChatGPT 等大型语言模型对其加速卡的需求激增,目前估值仅比 2 万
有没有带有本地Web界面的真正RAG知识库 ?
有没有任何本地Web用户界面具有真正的 RAG 功能和知识库处理功能? Open WebUI - 对较大的文档集合处理不佳,缺乏引文使用户无法识别它是在处理知识还是在产生幻觉。在下载较大的模型时也会出现错误。 AnythingLLM - 文档的批量处理非常不灵活,模型切换隐
大模型是否成功支持了维特根斯坦“意义即使用”?
比特币为啥有用?不是它本身用多少黄金 石油做标的,不是它本身指向了多少实在物质,而是有人使用它,只要被使用就有价值,而不在于该符号本身有多少价值。 我们所说的 "成功 "是指当前的人工智能/LLM 能够生成被人类读者认为连贯、翔实甚至令人信服的文本
最常见领域驱动设计错误
DDD中的错误抽象比其他设计方法具有更大的破坏性影响。这篇文章分享了 DDD 中代价最高的设计错误;导致单一和紧密耦合系统盛行的一个常见错误。 背景企业中存在很多臃肿而脆弱的客户应用程序接口,而针对这种脆弱性提出的
柏拉图洞穴寓言 vs. AI表征假说 vs. 表观遗传
柏拉图的洞穴寓言是一个哲学思想实验,首次出现在他的著作《理想国》中。用来说明人类认知和现实之间的关系。 什么是柏拉图洞穴寓言?一群人从出生起就被囚禁在一个洞穴里,他们背对着洞口,只能看到洞穴的墙壁。在他们的背后,有
如何发现商业规则以及表达它们的五项基本技能
人们需要哪些技能来分析正式沟通以制定商业和政府中的实用规则?源材料的解释需要什么? 本讨论确定了您需要的五项基本技能。为了说明这些技能,它检查了我们一位客户的政策手册中的以下简短文字,该客户的任务是支付医疗保健索赔。
黑格尔辩证法与形式逻辑哲学比较
首先,我们比较一下三种逻辑思维:前逻辑思维、形式逻辑和辩证逻辑。 前逻辑思维(Pre-Logic Thought):日常推理与逻辑学家设计的形式逻辑系统之间存在很大差异。日常思维大多是实际的、直观的和情感的,而形式逻辑的思考则需要明确的训练。 形式逻辑(Formal Logi
Java中实现GraphQL完整指南
对于寻求创建强大而高效的 GraphQL API 服务器的 Java 开发人员来说,本指南是宝贵的资源。 本详细指南将带您了解在 Java 中为实际应用程序实现 GraphQL 的所有步骤。它涵盖了 GraphQL 的基本概念,包括其查询语言和数据模型,并
AGI来了?特拉斯用大模型帮助自动驾驶
Grok-1.5V能将“像素->动作”映射提升为“像素->语言->动作”。 Tesla FSD v13可能会是Grokking语言令牌。Grok-1.5V最让人兴奋的是解决自动驾驶中边缘情况的潜力。使用语言进行“思维链”将有助于汽车分解复杂的场景,
计算形式化和表征也有局限性
关于计算形式化和表征方法的局限性,我们应该从休伯特·德雷福斯那里读到什么? 休伯特·德雷福斯是谁?德雷福斯的工作对于理解人类认知、行为和技能的本质,以及人工智能的局限性都产生了深远的影响。
蛋白质语言模型综述
蛋白质“语言”很像人类语言。鉴于这些相似之处,研究人员一直在蛋白质序列数据上构建和训练语言模型,复制其他领域的成功经验,具有深远的影响。在这篇文章中, 我将探讨 Transformer 模型如何应用于蛋白质数据以及我们的发现。 蛋白
什么是亚历山大形式?
亚历山大Alexander形式:一套有组织、连贯的模式,用于解决设计问题,定义了一套有组织的、连贯的模式,用于描述特定专业领域内的问题和解决方案。也称为亚历山大模式语言(Alexander Pattern Language)。 由建筑师克里斯托弗-亚历山大
幽默:交通标志是一种符号和交通语言
使用知识图实现领域知识建模与测试
知识图成为现代软件工程实践的基石。 知识图是一个巨大的信息网络,其中元素和想法相互链接以显示它们在现实世界中的关系。这超出了仅存储信息的数据库的范围。知识图谱还存储信息之间的联系。 这使得知识图谱在各个领域都非常
美国语法:19 世纪的句子图解
一旦你真正懂得了如何绘制句子图解,你就掌握了英语语法的所有知识点。 从某种意义上说,句子是自己绘制的,揭示了语言和思维中内在的逻辑和潜在结构?在诺姆·乔姆斯基普及通用语法思想一个多世纪之前,美国的语言学家就开始绘制句子图解,试图将母语核心的复杂结构
自动生成特定领域模型和图表
PDF文件的内容是一篇关于特定领域建模语言(Domain-Specific Modeling, DSM)的学术论文,标题为《Automated Annotations in Domain-Specific Models: Analysis of 23 Cases》,作者是Steven Kel
构建计费系统14个痛点
如果您希望通过业务获利,计费和收入系统是必需的。 计费是困难的、相互交织的、复杂的。 三种模式这并不是计费系统所独有的。以下三种模式之一很常见:
Rama通过拓扑通用语言实现ACID事务
Rama是一个新的编程平台, Rama 的突破最重要的是,它首次出现了用于构建软件应用程序的内聚模型,无论规模如何。 ACID事务ACID原子性、一致性、隔离性和持久性是数据库系统的关键特征。
上页
下页