原文链接：https://mp.weixin.qq.com/s/P26zhHzmuqe0M2TDTLRlvg 星尘智能很高兴正式发布 AI 机器人助理—— Astribot S1 我们精心打磨了 S1 背后的技术与产品细节， 希望它为你而生，为你而智（Naturally Yours）。 星尘智能 S ...

在设计领域，Figma 无疑是一个巨人。它彻底改变了设计流程，将协作带到了一个全新的高度。然而，随着 Adobe 收购 Figma 的消息传出，许多设计师和开发者开始担心：Figma 未来会如何演变？那些好用的特性会不会被砍掉？ 出于白嫖的本能，大家都想寻找一个强大而可靠的 Figma 替代品。在众 ...

1. 引言 在人工智能飞速发展的今天，大语言模型（LLM）、智能代理（Agent）、检索增强生成（RAG）、以及提示词工程（Prompt Engineering）这些词语频繁出现在我们的技术讨论中。今天，我们来聊聊提示词工程，看看它怎么成为开发者手中一种新型的“编程语言”。 2. 传统软件开发流程回 ...

DDD是一种成熟的软件设计方法，旨在确保领域专家和开发人员能够有效合作，创造出高质量的软件。 本文介绍咋将FP（函数式编程）应用于DDD的实现，使其既优雅又简洁。C4模型中，软件架构图分为四个层次：“系统上下文”、“容器”、“组件”和“代码”。 “组件”是构成容器的基本单位，也是本文描述的层次。 1 ...

0 前言 本文主要讲解KNN算法中用于快速检索最近元素的KD树的构建及查找原理。 为了达到最佳阅读效果，请读者按照本文顺序阅读，文章使用了大量图片帮助读者理解。 1 背景 1.1 为什么要使用KD-Tree? k近邻法(KNN)最简单的实现方法是线性扫描。这时要计算输入实例与每一个训练实例的距离。当 ...

互信息 互信息用于表示两个随机变量相互依赖的程度。随机变量 \(X\) 和 \(Y\) 的互信息定义为 \[\begin{aligned} I(X, Y) & = \mathrm{KL}[p(\boldsymbol{x}, \boldsymbol{y}) \parallel p(\boldsymbo ...

本文讨论软件设计中的决策，特别是关于将较大的系统拆分为多个可独立部署的服务端点。不会特别讨论【服务端点设计】，但我想探讨一下为创建多个服务应用程序进行构思的阶段。 面对复杂问题，通常试图理解复杂性的各部分。将问题拆解为更易于理解和处理的小模块，可以更有效地应对。 如同在许多产品/项目管理周期中描述的 ...

原文链接：https://qwenlm.github.io/zh/blog/qwen2-math/ 友情链接 Github：https://github.com/QwenLM/Qwen2-Math Hugging Face：https://huggingface.co/Qwen ModelScope ...

大家好 今天要跟大家介绍的是一款速度超快的换脸AI——Rope的最新版本。这款软件最让人惊艳的地方是融合换脸和脸部区域控制换脸。 你别看他只有区区4K多stars 除了它的换脸速度让人惊艳之外，这个工具还支持多张照片同时进行换脸。也就是说，你可以选几张人脸照片，算法会自动融合这些面部特征， 最终替换 ...

如下内容由chatgpt生成 在非凸优化问题中，使用期望平方梯度范数 ( E[|\nabla f(x_k)|^2] ) 作为收敛性分析的指标有几个重要原因。以下是详细的解释： 1. 非凸优化问题的复杂性 在非凸优化中，目标函数 ( f(x) ) 可能存在多个局部最优解，甚至是鞍点、平坦区域等复杂的几 ...

MidJourney订阅计划 MidJourney提供四种不同的订阅计划： 订阅计划 每月费用 年度费用 使用限制 基础计划 $10/月 $96/年（$8/月） 每月可生成200张图，无fast模式，不能免排队生成图 标准计划 $30/月 $288/年（$24/月） 每月可无限量生成图片，15小时f ...

将 AI 功能添加到 .NET 开发是一种令人兴奋的全新体验。在这篇博文中，我们将探讨 Prompty 以及如何使用它来将大型语言模型（如 GPT-4o）集成到您的开发流程和 .NET 应用程序中。 Prompty 简介 作为 AI 爱好者和 .NET 开发人员，我们一直在寻找能够简化工作流程并提高 ...

大家好，今天给大家介绍一款强大的换脸工具——FaceFusion。 官方宣称的是： 下一代脸部交换器和增强器。新版本在原有基础上增加了更多的模型和高清算法，显著提升了图片和视频的换脸效果。此外，还新增了三种遮罩功能，有效解决了脸部有物体遮挡时的融合效果差和跳闪问题。 现在基础换脸模型+帧着色器模型+ ...

竞争学习机制是无监督学习中的一种方法，它通过大量神经元的竞争最终得出给定输入的推理输出，并以类似在线学习的方式动态调整参数，这类网络通常是其他神经网络中的子网络。 ...

这一章我们就重点关注描述性指令优化。我们先简单介绍下结构化Prompt编写，再聊聊从结构化多角度进行Prompt最优化迭代的算法方案UniPrompt ...

编写prompt让LLM直接生成结构化的数据 用prompt让LLM生成能够生成结构化数据的代码 用prompt让LLM合成文本数据 处理不平衡（imbalanced）或非多样化（non-diverse）的文本数据 合成数据（Synthetic Data）是指通过人工生成的方式创建的数据，而非从现实 ...

赛题名称：RSNA 2024 Lumbar Spine Degenerative Classification 中文：腰椎退行性病变分类 kaggle官网赛题链接：https://www.kaggle.com/competitions/rsna-2024-lumbar-spine-degenerat ...

【导读】谷歌版Her，抢先OpenAI登场了？谷歌语音模型Gemini Live，即将在全球30亿安卓和22亿iOS设备中上线。虽然现场演示依旧小翻车了一下，但谷歌下定决心不等了，一心截胡OpenAI，还要对打苹果！ OpenAI，刚被截胡了？ 紧追着OpenAI的「Her」，谷歌也正式官宣：发布A ...

有一种办法：发送会议邀请给所有团队，经过101次会议后，发布维护横幅，所有人同时点击发布按钮。或... 可用适配器，但微调。没错！就像软件开发中90%问题一样，有种模式帮助你找到聪明解决方案。 1 问题 你已经有了一个模式，消费者已知咋处理它，所以他们依赖你保持兼容性，但实际上，你要打破这种兼容性。 ...

DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确性。 今天，DeepSeek 开源 Prover-V1.5 版本，引入了类似 AlphaGo 的强化学习系统，模型通过自我迭代和 Lean 证明器监督，构建 ...