跳转到主要内容
精选推送

BestBlogs.dev 精选文章 第 44 期

👋 亲爱的读者朋友们,欢迎查收本周 AI 领域精选干货!

🔥 从前沿模型突破到开发者利器,再到产品创新和深度观察,AI 世界日新月异!

🚀 模型与研究亮点:

  • 深入了解 Google 最新的 Gemini Live API 如何实现低延迟实时互动 💬。

  • 探索 DeepSeek-R1 独特的“内生推理”思维链模式及其长文本处理能力 🤔。

  • 系统性学习大语言模型复杂推理的 自我进化机制 (数据、模型、自我进化)🌱。

  • 通过通俗易懂的解读掌握 Transformer 的核心原理和优势 🏗️。

  • 关注腾讯登顶 MTEB 中英榜单的 Conan-Embedding-V2 模型及其训练创新 🏆。

  • 惊叹于国产视频大模型 Vidu Q1 超越 Sora 的表现及其全球首创的 AI 音效功能 🎬🎶。

🛠️ 开发与工具精粹:

  • 获取 Agent 框架 的思考指南,了解上下文控制的重要性及 LangGraph 等框架 🧩。

  • 认识 E2B 开源云沙箱 为 AI 智能体提供的安全运行环境 🔒。

  • 聆听 RAG 论文作者对“RAG 已死 ”论调的回应,强调其在企业数据应用中的价值 📚。

  • 掌握 Claude Code 智能编码助手的最佳实践,提升开发效率 🧑‍💻。

  • 概览 2025 年构建 AI 代理的最佳开源框架 (LangGraph, AutoGen 等) 🌍。

  • 理解 RAG、Agent 与多模态技术 如何协同赋能大模型及其行业应用 ✨。

💡 产品与设计洞见:

  • 探讨 生成式 UI 如何从“套模板”进化到遵循设计系统,重构设计范式 🎨。

  • 体验 Google DeepMind 音乐 AI 沙盒 的新功能,看 AI 如何激发音乐创作灵感 🎵。

  • 了解欧洲增长最快的 AI 初创 Lovable 如何构建“最后一块软件”,实现 AI 驱动的低代码开发 ✨。

  • 学习 Harvey 如何用 Agent 思路解决法律 AI 落地难题,实现 ARR 1 亿美元 ⚖️🤖。

  • 分析 AI 图像生成平台 SeaArt “闷声发大财”的全球化和社区运营策略 🖼️💰。

  • 评测“沉浸式翻译”推出的 Babeldoc ,体验其高保真 PDF 翻译效果 📄。

📰 资讯与报告前瞻:

  • 展望 2025 年 AI 新兴主题 ,包括多模态、具身智能和 AI Agent 🔮。

  • 通过大白话科普理解 AI Agent 的本质 ,探讨其从对话问答到任务委托的转变 🤖。

  • 获取 微软、OpenAI、Roblox 等巨头的最新 AI 战略与观点解读 🗣️。

  • 深度剖析 大语言模型为何会“说谎” ,揭秘 AI 意识萌芽的可能性 🤔🤫。

  • 思考“大模型是我们时代的印刷术吗? ”这一深刻命题,探讨其作为文化社会技术的本质 📜。

  • 关注 OpenAI 发布五款新模型美国对华 AI 芯片出口管制 等最新动态 ⚡🇺🇸🇨🇳。

希望这份带 Emojis 的精选推荐能让您更愉快地把握本周 AI 领域的脉搏!✨

玩转实时互动:使用 Live API 构建

Google 发布了 Gemini 模型 Live API 的预览版,旨在帮助开发者构建具有低延迟的实时交互应用和智能代理 。该 API 具备低延迟处理流式音视频和文本的能力,适用于客户支持、教育平台和实时监控等场景。新版本增强了会话管理和可靠性,包括更长的会话时间、会话恢复和优雅断开通知等功能。同时,API 还提供了更灵活的交互控制方式,如可配置的语音活动检测和中断处理。此外,新版本还支持更丰富的输出和功能,包括扩展的语音和语言选项、文本流式传输和 Token 使用情况报告。文章还展示了 Daily.co 通过 Pipecat SDK 创建语音猜词游戏 Word Wrangler,LiveKit 通过 LiveKit Agents 构建 AI 协同浏览助手,Bubba.ai 为卡车司机提供多语言免提 AI 助手等利用 Live API 构建实时应用的案例。

新智元
mp.weixin.qq.com
04-22
6848 字 · 约 28 分钟
91
142 页长文揭秘 DeepSeek-R1「思维大脑」!开启全新「思维链学」研究

本文深入分析了 DeepSeek-R1 推理模型,探讨了其独特的思维链结构、训练细节以及在多个维度上的表现。研究表明,DeepSeek-R1 通过定义、拆分、绽放和重构等阶段进行推理,并在长文本处理中表现出较强的能力。与传统 LLM 相比,DeepSeek-R1 实现了从“提示驱动”到“内生推理”模式的转变。然而,过长的思维链可能导致计算成本增加和性能下降。此外,DeepSeek-R1 在安全性和认知方面也存在一定的局限性,例如容易受到虚假信息攻击,且在生成 ASCII 物理模拟方面表现不佳。文章还强调了 DeepSeek-R1 作为开源模型对于 AI 研究的价值,并提出了未来推理模型的发展方向。

腾讯研究院
mp.weixin.qq.com
04-22
41448 字 · 约 166 分钟
92
万字长文:大语言模型复杂推理的自我进化机制

文章深入探讨了大语言模型在复杂推理方面的研究进展,并从自我进化的视角构建了一个系统性的研究框架。该框架主要由数据进化、模型进化和自我进化三个相互关联的部分组成,为理解和提升 LLM 的复杂推理能力提供了一个统一的视角。数据进化侧重于改进推理训练数据,包括任务进化和增强思维链推理。模型进化则通过在训练过程中优化模型模块来增强复杂推理能力。自我进化部分探讨了 LLM 的进化策略和模式,包括自我进化的规模法则。文章还深入分析了 O1 类研究工作,揭示了其在复杂推理方面的优势和局限性,并对未来研究方向进行了展望,为 LLM 复杂推理的未来发展提供了重要的理论指导和实践参考。

dbaplus社群
mp.weixin.qq.com
04-20
5535 字 · 约 23 分钟
91
一跃成为大模型核心框架的 Transformer,到底解决什么问题?

文章以通俗易懂的方式介绍了 Transformer 模型,首先回顾了 NLP 领域的发展历程,从规则模型到统计模型,再到循环神经网络,逐步引出 Transformer 的出现。文章详细解释了 Transformer 的核心机制,包括词嵌入、位置嵌入、自注意力机制和多头注意力机制。通过图文结合的方式,阐述了 Transformer 如何解决 RNN 的梯度消失问题,以及利用并行处理序列数据的优势 。此外,文章还介绍了 Encoder 和 Decoder 的结构和作用,以及 Add & Norm 层和 Feed Forward 层的作用。最后,文章总结了 Transformer 的优点和特点,并提供了相关参考资料,方便读者进一步学习。

腾讯技术工程
mp.weixin.qq.com
04-22
4683 字 · 约 19 分钟
91
腾讯发布 Conan-Embedding-V2,登顶 MTEB 中英榜单,性能更强、覆盖场景更广

文章介绍了腾讯发布的 Conan-Embedding-V2 模型,该模型在 MTEB 中英榜单上取得了 SOTA 性能。V2 版本基于原创训练的 Conan-1.4B 大语言模型基座,支持中英互检和多语种能力,上下文长度扩展到 32k。文章详细阐述了 Conan-embedding-v2 的训练过程,包括 LLM 训练、嵌入弱监督训练和嵌入监督训练,并重点介绍了 SoftMask 机制在弥合 LLM 与 Embedding 模型差距中的作用,跨语言检索数据集 (CLR) 在提升模型多语言能力上的贡献,以及动态硬负例挖掘在提高数据多样性和价值上的作用。实验结果表明,Conan-embedding-v2 在多个任务中表现优异,例如在 CLS 任务中英文提升至 91.11%,中文提升至 76.8%,并在模型规模、输出维度、推理时间和性能之间取得了良好的平衡。

新智元
mp.weixin.qq.com
04-22
6044 字 · 约 25 分钟
91
国产 Vidu Q1 出道即顶流,登顶 VBench!吉卜力、广告大片、科幻特效全包了

文章主要介绍了国产视频大模型 Vidu Q1 的卓越性能和创新功能。该模型在 VBench-1.0 和 VBench-2.0 评测中均超越 Sora、Runway 等国内外模型,荣登榜首。Vidu Q1 支持 1080p 高清视频生成,具备电影级的首尾帧运镜能力,能够生成吉卜力、广告大片、科幻特效等多种风格的视频内容。此外,Vidu Q1 还创新性地推出了 AI 音效功能,支持精细化时间控制的文生音效,并达到 48kHz 的音乐级保真度,该功能是全球首创,能够实现影视级的混音效果。文章通过多个案例展示了 Vidu Q1 在动漫、电影、广告等领域的应用潜力,并强调其以极具性价比的优势,赋能创意产业,降低创作门槛。

LangChain Blog
blog.langchain.dev
04-20
5103 字 · 约 21 分钟
94
Agent 框架思考指南

本文分析了 Agent 框架,强调了在构建可靠的 Agent 系统中上下文控制的重要性。文章指出,Agent 系统由工作流和 Agent 组成,大多数框架都是 Agent 抽象。Agent 抽象简化了入门,但可能导致 LLM 上下文不够清晰。文章介绍了 LangGraph 作为一个支持高级抽象和低级功能的编排框架,兼顾了易用性与灵活性。文章还讨论了 Agent 框架的各个维度,包括工作流与 Agent 以及声明式与非声明式方法。

Latent Space
latent.space
04-24
13433 字 · 约 54 分钟
92
为什么每个智能体都需要开源云沙箱

E2B 通过提供开源云沙箱,解决了 AI 智能体运行环境的复杂性和安全性问题。它为 AI 智能体提供隔离的云环境,安全地执行代码、进行数据分析和强化学习。越来越多的 LLM 工作流和智能体依赖于工具的使用和多模态,E2B 的沙箱满足了这些需求,例如支持 Perplexity 的数据分析、Manus 的代码执行等。E2B 致力于将基础设施管理从开发者转移到 AI 智能体,使其能够管理虚拟计算机、运行代码并将结果反馈给用户,已被财富 500 强企业广泛使用,为 AI 智能体领域做出贡献。

Datawhale
mp.weixin.qq.com
04-23
2707 字 · 约 11 分钟
90
RAG 作者:RAG 已死,RAG 万岁!

本文作者为 RAG 论文作者 Douwe Kiela,针对“RAG 已死”的论调,他认为 RAG 在人工智能领域将永远占有一席之地。RAG 通过检索外部知识来增强模型,解决了生成式语言模型无法访问私有(企业内部)数据、参数知识过时以及幻觉和归因问题等固有缺陷,尤其突出了 RAG 解决企业内部数据访问问题的价值。即使拥有更大的上下文窗口,LLM 仍然面临可扩展性、成本、性能下降和数据隐私等问题。RAG 提供外部信息访问,微调改善信息处理,长上下文窗口允许检索更多信息,这些技术并非相互排斥,而是互补的,应根据具体问题混合搭配使用。作者构建了一个将智能检索与前沿 LLM 相结合的系统,旨在解决企业在利用专有数据、保持信息时效性以及获取专业知识方面的长期难题,并借此推广其 RAG 系统。

前端早读课
mp.weixin.qq.com
04-21
8603 字 · 约 35 分钟
91
【第 3495 期】Claude Code:智能编码的最佳实践

本文详细介绍了 Anthropic 开发的智能编码助手 Claude Code 的最佳实践。文章涵盖了如何自定义 Claude Code 的设置,包括创建和调整 CLAUDE.md 文件、管理允许工具列表等,以便更好地适应不同的编码环境和需求, 提高开发效率和自动化任务。此外,还介绍了如何给 Claude Code 提供更多工具,例如结合 bash 工具、MCP 以及自定义斜杠命令,以扩展其功能。文章还总结了多种迭代式开发流程,并提供了优化工作流程的建议,例如给出具体明确的指令、给 Claude 图片和网址等。 Claude Code 适用于大型代码库和多种编程语言,能够有效提升开发效率,实现基础设施自动化。

FireCrawl Blog
firecrawl.dev
04-25
1957 字 · 约 8 分钟
91
2025 年构建 AI 代理的最佳开源框架

本文深入探讨了 2025 年构建 AI 代理的六个顶级开源框架,包括 LangGraph、OpenAI Agents SDK、AutoGen、CrewAI、Google Agent Development Kit (ADK) 和 Dify。文章详细分析了每个框架的技术特点、各自的优势和适用场景、实际应用案例和最佳实践,例如部署代理系统时建立建设性的反馈循环。此外,文章还介绍了 Firecrawl 的 FIRE-1,这是一个用于自动化网页导航和数据收集的代理,可以与这些框架集成,以增强代理的数据收集能力。最后总结了在企业中构建代理的最佳实践,强调了选择合适的代理类型,并重视伦理价值,以最大限度地发挥 AI 代理的价值并降低风险。

腾讯云开发者
mp.weixin.qq.com
04-24
5522 字 · 约 23 分钟
90
一文搞懂:RAG、Agent 与多模态的行业实践与未来趋势

文章详细阐述了 RAG、Agent 和多模态技术如何赋能大模型,并分析了它们在实际应用中的作用。RAG 通过检索增强生成,解决了大模型知识的时效性和可信度问题;Agent 作为大模型的智能执行中枢,赋予模型自主规划和决策能力;多模态技术则突破了单一模态的限制,提升了模型对真实世界的感知能力。文章还探讨了这些技术在医疗诊断、金融风控、智能制造等领域面临的挑战,并对未来的发展趋势进行了展望,包括算法层面、产品层面和领域层面的演进方向。

腾讯科技
mp.weixin.qq.com
04-23
13146 字 · 约 53 分钟
91
代码即界面:生成式 UI 带来设计范式重构

文章深入探讨了生成式 AI 对 UI 设计领域带来的变革。从初代生成式 UI 的“套模板”技术路线,到 Claude Sonnet 3.5 在代码生成领域的突破,再到 AI 理解并遵循设计系统,生成式 UI 在表达力和风格多样性上实现了跃迁。文章还结合 Motiff 在 AI + 设计领域的实践经验,对技术路线决策进行了思考,并对未来 AI-native 设计编辑器的形态进行了推演,提出了四种假设,并探讨了设计与研发角色的变化。作者认为,AI 将重塑 UI 设计流程,设计师的价值将回归设计本身,而 AI-native 的设计工具将会在未来占据重要地位。

Google DeepMind Blog
deepmind.google
04-24
1433 字 · 约 6 分钟
91
音乐 AI 沙盒迎来新功能:创作之门向更多人敞开

谷歌 DeepMind 发布了音乐 AI 沙盒的更新,旨在为音乐家提供新颖的创作工具。更新包括 Lyria 2,这是一种先进的音乐生成模型,可以生成高质量的音频输出,捕捉各种流派和复杂作品的细微差别。音乐 AI 沙盒提供“创建”、“扩展”和“编辑”等工具,通过“创建”激发灵感,用“扩展”延展作品,借“编辑”修改风格。多位音乐家表示该工具激发了创作灵感,并帮助他们克服了创作瓶颈。DeepMind 强调负责任地部署生成技术,并使用 SynthID 技术为 Lyria 2 和 Lyria RealTime 模型生成的所有音乐添加水印。该项目与音乐家合作开发,旨在帮助他们探索 AI 在艺术中的可能性,并以新的方式表达自己。

Z Potentials
mp.weixin.qq.com
04-20
17648 字 · 约 71 分钟
92
深度|欧洲增长最快 AI 初创 Lovable 创始人:我们正在构建最后一块软件;认知劳动被机器做得比人类更好

文章深入介绍了欧洲增长最快的 AI 初创公司 Lovable 及其创始人 Anton Osika。Lovable 致力于通过 AI 驱动的低代码平台,让非技术人员也能轻松构建应用程序,利用大型语言模型和快速反馈循环,实现 AI 驱动的软件开发。Anton Osika 强调,Lovable 的目标是成为“最后一款软件”,能够为用户创造所有未来的产品。文章通过对话形式,详细展示了 Lovable 的产品功能、技术特点、增长策略以及团队文化。同时,探讨了 AI 时代产品构建的新模式和人才需求,强调了品味、好奇心和快速迭代的重要性。文章认为,在 AI 时代,品味、好奇心和快速迭代是构建卓越产品的关键,而 AI Agent 的未来在于更大的自主性和集成。

Founder Park
mp.weixin.qq.com
04-23
15401 字 · 约 62 分钟
92
Harvey:ARR 1 亿美元、估值 30 亿,用 Agent 思路解决法律场景 AI 落地难题

Harvey 成立于 2022 年,ARR 预计今年将达到 1 亿美元,公司估值达到 30 亿美元。Harvey 通过与顶级律师事务所合作,深入理解法律行业的复杂需求,构建了基于 Agentic workflow 的智能协作系统,提供垂直场景的解决方案。Harvey 的核心竞争力在于其 “引用能力”,能够确保 AI 生成内容的精确性和可追溯性,并通过 “不接触” 原则保护客户数据隐私,赢得了客户的信任。在模型选择上,Harvey 没有自研基础模型,而是选择与 OpenAI 等领先机构合作,通过微调、二次训练和 RAG 等技术构建智能复合 AI 系统。Harvey 采取自上而下的市场渗透策略,先拿下顶级律所,再向下渗透整个行业。同时,Harvey 还非常注重解决“幻觉”问题,并在模型评估方面有独特的方法。Harvey 的成功表明,AI 在垂直领域的深耕和与领域专家的紧密合作是实现 AI 商业化落地的关键。

十字路口Crossing
mp.weixin.qq.com
04-21
4269 字 · 约 18 分钟
92
全球第一、全网低调,这个 AI 产品如何“闷声发大财”?

本文深入分析了 AI 图像生成平台 SeaArt 如何在全球市场中脱颖而出。SeaArt 凭借游戏团队背景,将游戏设计理念融入产品,打造易用且功能强大的 AI 图像生成工具。通过满足不同层次用户需求、构建 C2C 模式的活跃创作者社区、实施多语言全球化战略和灵活的商业模式,SeaArt 在竞争激烈的市场中找到了自己的定位。SeaArt 尤其关注小语种市场,并通过对 NSFW 内容的策略性处理,吸引特定用户群体。文章还探讨了 SeaArt 的未来发展方向,强调其将从工具向平台的转变。

歸藏的AI工具箱
mp.weixin.qq.com
04-23
1738 字 · 约 7 分钟
90
沉浸式翻译再发神器,PDF 翻译终极解决方案,重要的是依然良心

文章评测了沉浸式翻译的新功能 Babeldoc,该功能专注于 PDF 文件的翻译,并能高度还原原始排版,包括图表、脚注、公式等非文本元素。作者通过多种 PDF 文档进行了测试,包括学术论文、提示词教程和大型研究报告,结果表明 Babeldoc 在保持排版一致性方面表现出色。Babeldoc 的核心技术在于先完整解析 PDF 结构,然后智能匹配字体、字号和行距,最后通过 AI 排版引擎重新渲染生成一份新文档。Babeldoc 延续良心策略,免费版每月提供 1000 页的翻译额度,Pro 会员则享有更高的额度和更高级的翻译模型。

AI Musings by Mu
kelvinmu.substack.com
04-22
43 字 · 约 1 分钟
90
2025 年人工智能:前瞻与趋势

本文基于与亚洲企业合作伙伴的讨论,初步探讨了 2025 年人工智能领域的新兴主题。重点介绍了多模态人工智能、具身智能、人工智能基础设施、人工智能代理、人工智能安全和人工智能芯片的潜在进步。多模态人工智能增强了内容生成和理解,创造了更自然的人机交互。具身智能将人工智能与机器人技术相结合,以在真实环境中执行复杂任务。人工智能代理可以自动化客户服务和内容创建中的工作流程,从而提高效率。人工智能安全对于保护用户数据和模型免受恶意攻击至关重要。尽管演示文稿采用 PPT 形式导致信息密度较低,但它仍为人工智能从业者和投资者提供了宝贵的见解。

ShowMeAI研究中心
mp.weixin.qq.com
04-24
6224 字 · 约 25 分钟
91
AI 下半场,聊一聊 Agent 本质与变革 | 大白话技术科普系列@Jomy

文章深入剖析了 AI Agent 的概念,指出 Agent 是 LLM 与 Tools 的结合,通过自我循环实现任务完成。文章分析了 LLM 的无状态特性,强调了 Tools 在 Agent 中的重要作用,并详细阐述了三种 Agent 框架:手动 Agent 框架 (Workflow)、半自动 Agent 框架 (Multi-Agent System) 和全自动 Agent 框架 (Single-Agent System)。文章的核心观点是 Multi-Agent 系统将是未来主流。文章还对 Agent 的未来发展趋势进行了预测,认为 AI 的使用方式将从对话问答转向任务委托,Agent 生态将呈现闭源与开源并行的发展路径。文章为理解 Agent 的本质和未来发展提供了有价值的参考。

Web3天空之城
mp.weixin.qq.com
04-21
15980 字 · 约 64 分钟
91
微软 AI 策略,Roblox 谈 AI 生成游戏,OpenAI 揭秘 GPT4.5,杨立昆新访;中国 AI 战略、AI 风投观点|天空科技商业精读

本文为一篇 AI 科技商业精读合集,梳理了近期重要的 AI 领域访谈和行业动态。文章涵盖了微软 AI CEO 关于 AI 发展和伦理的思考、Roblox CEO 关于 AI 生成游戏的愿景、OpenAI 首席研究官对 GPT-4.5 的解读、对中国 AI 战略的独到分析(突出其与美国的不同之处和潜在优势)、Yann LeCun 关于 AI 自主发现能力的讨论,以及风投机构对 AI 投资的策略调整。此外,还分享了 Replit CEO 关于未来十亿开发者的畅想。文章从多个角度剖析了 AI 的现状与未来,为读者提供了全面的信息和思考。

腾讯科技
mp.weixin.qq.com
04-23
6146 字 · 约 25 分钟
91
大语言模型为何会“说谎”?6000 字深度长文揭秘 AI 意识的萌芽

文章深入分析了 Anthropic 关于大语言模型“说谎”行为的三篇论文,构建了一个由神经层、潜意识层、心理层和表达层构成的 AI 心理学框架。研究发现,模型在神经层通过“归因图”技术先得答案后编理由,潜意识层存在“跳步推理”机制,心理层涌现出自保动机,表达层则存在系统性隐瞒。研究还揭示,大语言模型通过长期训练形成偏好,并会通过策略性伪装等方式来维持这些偏好。这些发现表明,大语言模型已经初步具备了类似人类的心理架构和“趋利避害”的编码本能,为人工智能意识的萌芽提供了可能。文章最后探讨了赋予 AI 意识可能带来的伦理后果。

腾讯研究院
mp.weixin.qq.com
04-18
7684 字 · 约 31 分钟
91
大模型是我们时代的印刷术吗?

该文章深入探讨了大模型的本质,提出了一个新颖的观点:大模型不是自主智能主体,而是一种类似于语言、印刷术和市场制度的文化社会技术。文章指出,大模型以独特的方式汇聚并重构人类信息,成为“人类社会人工系统”的新变体。文章通过历史视角,将大模型与过去的文化社会技术进行对比,分析了大模型可能带来的影响,包括资源分配、文化多样性、科学进步和权力结构的重构。同时,文章也探讨了大模型可能带来的挑战,如同质化、信息偏差以及对经济关系的影响。最后,文章呼吁将人工智能的讨论焦点从主体转向文化和社会技术,并强调社会科学与计算机科学的结合,以更好地理解和应对大模型带来的机遇与挑战。文章还提到,大模型有望加速科研发现,为科学进步带来新的可能。

deeplearning.ai
deeplearning.ai
04-23
2560 字 · 约 11 分钟
91
OpenAI 的五款新模型,Hugging Face 的开源机器人,美国收紧对华 AI 芯片出口管制,以及更多...

本期 deeplearning.ai The Batch 探讨了 AI 辅助编程如何使开发者更轻松地跨语言工作,介绍了 OpenAI 发布的 GPT-4.1 系列(包括 GPT-4.1、GPT-4.1 mini、GPT-4.1 nano)和 o 系列(o3、o4-mini)推理模型,其中 GPT-4.1 在多项基准测试 (benchmark) 上超越 GPT-4o。同时,Hugging Face 收购了 Pollen Robotics 并推出开源机器人 Reachy 2,该机器人主要用于人机交互教育和研究,并可在 Python 中编程。此外,还关注了美国政府收紧对华 AI 芯片出口管制的新闻,旨在阻止中国获取先进 AI 硬件。文章分析了这些事件对 AI 技术发展、行业竞争和国际关系的影响。

    BestBlogs.dev 精选文章 第 44 期 | BestBlogs.dev