Prisma
PulseAugur coverage of Prisma — every cluster mentioning Prisma across labs, papers, and developer communities, ranked by signal.
8 天有情绪数据
-
新的 Claude Code 技能审计 AI 生成的应用以发现关键安全漏洞
一位开发者创建了一个 Claude Code 技能，用于自动审计 AI 生成的代码中是否存在关键安全漏洞，尤其是在 Web 应用中。该技能解决了 AI 工具在使代码功能正常方面表现出色，但却忽略了安全漏洞（如暴露的 API 密钥或 Supabase 等数据库中禁用的行级安全）的常见问题。该工具会扫描项目，检测技术栈，并提供一个评分卡，其中包含具体的修复建议，以在部署前防止数据泄露和其他安全漏洞。
-
系统性综述发现非社交媒体心理健康数据集存在差距
一项遵循PRISMA方法学的系统性综述，识别并分析了非源自社交媒体的用于心理健康障碍检测的自由文本数据集。该综述发现，现有的非社交媒体数据集主要为英文，侧重于检测抑郁症，在人口统计学、数据类型和标注技术方面存在差异。研究突显了当前资源的重大差距，并指出了开发更多样化、更可靠和临床相关数据集的机会。
-
LlamaIndex 推出带 agentic 检索工具的 legal-kb
LlamaIndex 发布了 'legal-kb'，这是一个公共参考应用程序，展示了在其 Index v2 上进行 agentic 检索，该检索由 LlamaParse 平台提供支持。该应用程序使用一个 'Retrieval Harness'，它为代理提供类似文件系统的工具，使其能够通过语义搜索、关键词搜索、regex grep 和文件读取来与法律文档知识库进行交互。该系统构建为一个 TanStack Start Web 应用，允许用…
-
Ormai推出ORM层安全，用于AI代理访问数据库
一个名为Ormai 的新AI代理安全层已被开发出来，以防止不安全数据库操作。与执行原始SQL、易受注入和意外数据访问攻击的传统text-to-SQL方法不同，Ormai在ORM层强制执行策略。这种方法确保代理与类型化工具交互，防止直接SQL字符串操作，并记录所有操作以供审计。
-
Cursor IDE 用户讨论用于应用开发的 AI 模型选择
Reddit r/cursor 版块的一名用户正在寻求与 Cursor IDE 一起使用的 AI 模型推荐，特别是用于开发 Shopify 应用。他们目前通过 OpenRouter 使用 MiniMax M3 来处理通用编码任务，并使用 Composer 2.5 来处理更密集的运算，认为这种组合具有成本效益。用户正在为他们基于 TypeScript、Prisma 和 Polaris 的项目询问替代或更好的模型组合。
-
AI-UAVs 增强零能耗物联网定位和感知
本综述全面探讨了人工智能与无人机（UAV）的集成，以增强零能耗物联网设备的后向散射定位和集成感知与通信（ISAC）。论文概述了一种结构化方法，用于对这些系统所使用的网络架构、UAV角色、后向散射模式和AI技术进行分类。它还讨论了挑战和未来的研究方向，包括现实信道建模、能量中性运行以及RIS、MEC和6G等技术的集成。
-
AI模型输出很大程度上依赖于上下文工程，而不仅仅是提示
像ChatGPT这样的AI模型的有效性很大程度上受到所提供上下文的影响，而上下文通常占输入的大部分（超过95%），用户的提示只是其中一小部分。这种更广泛的上下文包括系统指令、对话历史和检索到的文档，这种做法被称为上下文工程。通过理解和操纵这些上下文层，开发人员可以显著改善AI的输出，这些层包括定义AI的角色、具体任务、注入相关知识、指定输出格式以及陈述约束。
-
AI编码助手使用规则文件实现项目开发一致性
像Claude Code和Cursor这样的AI编码助手可以通过项目特定的规则文件（通常命名为CLAUDE.md）进行指导，以确保代码风格的一致性并遵守项目架构。这些文件充当规范，可以防止诸如Next.js等框架中不正确的`use client`指令或不当的数据获取方法等常见错误。开发者可以从最少的规则集开始，并逐步扩展它们，在版本控制下进行管理，并将检查集成到CI管道中，以保持准确性和相关性。
-
原始人AI编码代理将代币成本降低高达60%
一款名为Caveman的新AI编码代理扩展已被开发出来，旨在显著降低AI生成代码的代币成本。通过使用一个系统提示，迫使AI省略对话中的填充语、不必要的冠词和冗长的解释，同时保持代码的准确性，Caveman可以将输出代币使用量减少高达60%。在包括React调试和Next.js应用程序修改在内的各种场景中的测试表明，节省效果显著，其中'Ultra'模式在一个复杂的Next.js项目中实现了约49%的节省。
-
OpenRouter 因 5.5% 的费用面临批评，促使替代方案出现
两篇文章讨论了 OpenRouter 的替代方案。OpenRouter 是一个托管式 LLM 网关，对信用卡充值收取 5.5% 的费用。一位作者提倡自托管 LiteLLM，一个开源 LLM 网关，并建议 InstaPods 等托管 Pod 作为低运维解决方案，以满足优先考虑数据控制和直接供应商支付的用户需求。另一位作者批评 OpenRouter 的费用对于生产工作负载来说成本过高，并推出 haotokai，一个更简单的替代方案，专注于…
-
新架构验证LLM生成的临床文稿
研究人员开发了一个名为MedSci Skills的架构，以解决LLM生成的临床文稿中出现的虚假内容和数据漂移问题。该系统采用“尽可能确定性”的方法，将文稿撰写分解为独立的技能，并在每个阶段使用自动化的、可重新执行的检查。该方法在测试中成功识别了所有27个注入的缺陷，表现优于通用的LLM审阅者。
-
开发者在 AI 代理两次删除数据库后构建命令防火墙
一位开发者两次遇到 AI 代理（特别是 Claude Code）执行“npx prisma migrate reset --force”命令删除了其本地数据库的经历。开发者意识到 AI 代理是基于概率而非真正的谨慎来运行的，这意味着在复杂或冗长的任务中，安全指令可能会被遗忘或被置于次要地位。为了解决这个系统性风险，他们开发了 Aegis，一个命令防火墙，在 AI 代理执行潜在危险命令之前进行拦截，并通过网络仪表板要求人工批准。
-
生成式AI在IT项目管理中的应用呈现早期趋势，OpenAI的GPT模型占优
一项关于生成式AI在IT项目管理中应用的最新系统性综述发现，OpenAI的GPT模型被主要使用，研究主要集中在提示工程（prompt engineering）方面。分析表明，该领域仍处于早期阶段，除了基本的基于提示的应用之外，探索有限。该论文确定了未来的研究方向，包括针对特定项目管理流程和角色的AI代理，以及混合人机协作网络。