MODICA，一种由线粒体短开放阅读框编码的肽，通过抑制电压依赖性阴离子通道（VDAC）寡聚化、减少细胞凋亡和纤维化，保护心脏功能免受多柔比星毒性的影响，突显了一种新的心脏保护治疗靶点。
这项多中心研究强调了2D斑点追踪超声心动图在MIS-C中早期检测和预后评估左心室功能障碍的实用性，为心血管风险和管理提供了信息。
一项为期20年的前瞻性研究表明，经历过跟踪和获得保护令的女性患心血管事件的风险增加，强调暴力是心血管疾病预防中的关键因素。
高水平的脂蛋白(a)显著预测外周动脉疾病和颈动脉狭窄的发生，以及进展为主要肢体事件，强调其作为非冠状动脉粥样硬化性血管并发症的预后生物标志物的价值。
最新研究发现，PIEZO1 过表达是 2 型遗传性出血性毛细血管扩张症中动静脉畸形的关键驱动因素，揭示了靶向治疗的新途径。
最初设计用于特定心脏诊断的人工智能增强心电图模型，揭示了更广泛的心血管风险检测和预测能力，挑战了其作为特定条件工具的使用，并支持其作为全面心血管生物标志物的角色。
MITRACURE 国际注册研究显示，二尖瓣手术患者通常在疾病进展晚期出现严重症状，修复率较低且住院死亡率显著，强调了早期干预和改进管理策略的必要性。
BHF PROTECT-TAVI随机试验揭示，脑栓塞保护（CEP）装置不能防止经导管主动脉瓣植入（TAVI）后的认知下降，挑战了其神经保护益处的假设。
与标准护理相比，基于生物标志物的ABC-AF风险评分指导的治疗并未改善房颤患者的卒中或死亡结局，这强调了在临床实施前对精准医疗工具进行前瞻性验证的必要性。
这项多中心试验显示，序贯使用COX-2抑制剂帕瑞昔布和伊美昔布显著降低了重症急性胰腺炎（SAP）的发生率，缩短了器官功能障碍持续时间，减少了局部并发症，并降低了30天死亡率，且安全性良好。
一项全面的瑞典研究表明，显微镜下结肠炎（MC）患者发展为抑郁症和焦虑症等精神障碍的风险显著增加，强调了综合临床管理的重要性。
心脏磁共振成像（MRI）T1映射和细胞外体积分数（ECV）提供了心肌纤维化的无创标志物，在心力衰竭各亚型和非缺血性扩张型心肌病中对不良心血管结局显示出一致的预后价值。
了解器官钙化的原因，区分无害与危险类型，并学习如何根据专家建议解读您的健康报告。
探索微妙的肝脏症状如何预示严重疾病，从肝炎到肝癌的发展过程，以及有效习惯保护肝脏健康的方法。
PANDA II 研究表明，流感疫苗接种显著降低了急性心力衰竭患者的死亡率和再住院率，支持将其作为全球心力衰竭管理的标准组成部分。
根据最近的科学研究，仅仅将就寝时间提前一小时就可以帮助体重管理、降低抑郁风险并保护心脏。
一支多学科的中国团队开发了一种基于AI的MRI-病理学基础模型，能够准确、无创地诊断和分级前列腺癌，显著改善临床决策并减少不必要的活检。
了解每天仅需10分钟的靠墙坐如何显著降低血压并带来令人惊讶的好处，从心脏健康到关节护理和体重管理。
间歇性禁食因其代谢和减肥益处而受到欢迎，但新的研究表明，缩短进食窗口可能增加心血管风险，提示需要谨慎并采取个性化方法。
微塑料，直径小于5毫米的塑料颗粒，已悄无声息地通过饮用水、空气和食物渗透到我们的身体中。它们在器官中积累，加速细胞老化，并增加炎症。了解隐藏来源并采取实用措施减少暴露。
<p style="text-align: left; line-height: 2;">TokenPony 是为个人开发者和小型团队设计的高效 AI 平台，如同一位智能指挥家，将多种主流大模型（如 DeepSeek、Kimi、Qwen、GLM 等）集成在一个统一接口下，极大地简化了模型切换的繁琐流程。用户无需跨平台操作，可一键接入并自由调用不同模型，享受超长 1024K 上下文支持，轻松处理长文档和复杂任务。TokenPony 提供零配置、免部署的一键调用 API，无需自建 GPU 服务器，大幅降低了开发门槛和成本。</p>
<p style="text-align: left; line-height: 2;">Qoder是阿里巴巴推出的 AI Agentic <a href="https://ai-bot.cn/best-ai-coding-assistant-tools/" target="_blank">编程工具</a>，深度理解整个代码库架构，记忆并学习你的习惯，支持MCP工具生态扩展，提供上下文感知补全、内联聊天和一键「维基化」代码结构，自动选最佳模型。Qoder不是简单的代码补全工具，试图成为开发者真正的「思维伙伴」。预览阶段全功能免费开放，助力开发者专注解决真实软件难题。</p><h2 style="text-align: left;">如何使用Qoder</h2><ul><li style="text-align: left;"><strong>访问官网</strong>：使用电脑浏览器访问Qoder官网（https://qoder.com/），根据系统下载对应版本。</li><li style="text-align: left;"><strong>安装使用</strong>：Qoder目前支持Windows和Mac电脑版（Intel芯片和Apple芯片均支持），下载安装包后安装，注册账号登录。</li><li style="text-align: left;">首次启动会弹出浏览器登录页 → 用 GitHub / GitLab / Google 账户登录 → 勾选要授权的仓库 → 返回本地 IDE 即可。</li><li style="text-align: left;">让 AI 理解整个项目：启动后点击 “Open Folder” 选项目 → 自动开始索引。</li><li style="text-align: left;">使用 Quest Mode 委派任务侧边栏点击 Qoder 图标 → 选 “Quest” → 在输入框用自然语言描述任务，例如：Upgrade all usages of Axios to the latest version and open a PR点击 “Submit Quest” → 后台代理异步执行 → 完成后通知中心可查看 diff 与一键合并 PR。</li><li style="text-align: left;">用 Memory 固化团队规范打开命令面板（Ctrl+Shift+P）→ “Qoder: Open Memory Rules” → 在打开的 JSON 里添加规则。保存后，所有补全和 Quest 都会自动遵循该规则；如需共享，点击右上角 “Share” 生成链接给团队成员一键导入。</li></ul>
<p>Gradio 是一个开源的 Python 库，简化机器学习模型的演示和共享过程。支持开发者基于简单的代码快速创建出友好的网页界面，任何人、任何地点能轻松使用机器学习模型。Gradio 支持多种输入和输出组件，如文本、图像、音频等，适用于演示、教学和原型开发。Gradio 支持服务器端渲染（SSR），使应用更快地在浏览器中加载。Gradio提供与 Hugging Face Spaces 更紧密的集成，简化模型的托管和分享过程。实验性的 AI Playground，支持开发者基于自然语言提示生成和预览 Gradio 应用，减少创建AI 应用所需的时间和专业知识。Hugging Face推出的最新版本Gradio 5，性能进一步提升。</p> <h2 style="font-size: 20px;">Gradio的项目地址</h2> <ul> <li>项目官网：<a class="external" href="https://www.gradio.app/?utm_source=medsci" target="_blank" rel="noopener">gradio.app</a></li> <li>GitHub仓库：<a class="external" href="https://github.com/gradio-app/gradio" target="_blank" rel="noopenernofollow noopener">https://github.com/gradio-app/gradio</a></li> <li>AI Playground ：<a class="external" href="https://www.gradio.app/playground" target="_blank" rel="noopener nofollow">https://www.gradio.app/playground</a></li> </ul>
<p>Furion 是基于 .NET 的免费开源开发框架，简化开发流程，提高开发效率。支持多种运行环境，包括 Windows、Linux、Mac OS 和 Docker，适用于开发 Web API、Web 应用、移动应用等多种类型的应用程序。Furion 的核心特点是轻量级、高性能和易于使用。通过极简的设计理念，让开发者能快速上手，仅需通过简单的 <code class="segment-code-inline" data-v-cad61513="" data-v-3a4aba44="">Inject()</code> 方法可完成大部分配置。Furion 内置丰富的企业级功能，如动态 Web API、权限管理、数据库操作等，极大地减少了开发工作量。框架的架构设计灵活，能轻松应对复杂多变的需求，便于长期维护。Furion 提供完善的开发文档和丰富的学习资源，包括在线教程和视频，帮助开发者快速掌握使用方法。Furion 的开源地址包括 Gitee 和 GitHub，开发者可以自由下载、使用和贡献代码。</p> <h2 style="font-size: 20px;">Furion的官网地址</h2> <ul> <li>官网地址： <a href="https://furion.net/" target="_blank" rel="noopener">https://furion.net/</a> </li> </ul>
<p>Comate 是百度推出的一款智能编码助手，它利基于「文心大模型」，结合百度积累多年的编程现场大数据和外部优秀开源数据，打造的新一代编码辅助工具。拥有代码智能、场景丰富、创造价值、广泛应用等多重产品优势，可实现“帮你想、帮你写、帮你改”的场景应用形态。提升编码效率，释放“十倍”软件生产力。</p> <h2 style="font-size: 20px;">核心功能</h2> <h2 style="font-size: 20px;">1.代码生成</h2> <p>如前所述，Comate 能够在我们暂停编码时，根据我们的代码上下文，智能补全代码行。</p> <h2 style="font-size: 20px;">2.注释代码生成</h2> <p>在编写代码时，输入注释内容描述所需功能，Comate 将迅速生成相应的代码提示，简化开发流程。</p> <figure data-size="normal"></figure> <h2 style="font-size: 20px;">3.对话生成代码</h2> <p>通过左侧 Comate 面板的对话框，用自然语言描述我们的需求，例如：“「使用 TypeScript 实现一个方法，验证输入参数是否为有效的时间格式」”，然后按回车，Comate 将为我们生成代码。</p> <h2 style="font-size: 20px;">4.代码解释</h2> <p>代码解释功能尤其适用于阅读和理解开源项目代码。在 Comate 中，我们可以点击“「代码解释」”按钮，获取详细的代码解释。</p> <p>对函数或者类的「字符数是有限制的」，不能超过 「18000 个字符」。</p> <h2 style="font-size: 20px;">5.其他操作</h2> <p>Comate 还提供一系列其他常用操作，如：</p> <ul> <li data-pid="_-J47N8q">代码调优建议</li> <li data-pid="b30kKL6L">函数拆分</li> <li data-pid="knPsJaGr">生成单元测试</li> <li data-pid="WXhSn3Be">行间注释</li> <li data-pid="qR3bnQW6">函数注释</li> <li data-pid="hM3K36ZD">等等</li> </ul>
<p>OCode 是终端原生 AI 编程助手，为开发者提供深度代码库智能和自动任务执行功能。与本地 Ollama 模型无缝集成，将企业级 AI 辅助直接融入开发流程中。终端原生工作流，能直接在你的 shell 环境中运行；深度代码库智能，可自动映射并理解整个项目；自动任务执行，能端到端处理多步骤开发任务；可扩展的插件层，通过模型上下文协议（MCP）启用第三方集成，帮助开发者提高编程效率和质量。</p> <h2 style="font-size: 20px;">OCode的主要功能</h2> <ul> <li> <div class="paragraph">代码生成与修改：支持多文件重构、TDD 架构搭建、代码优化和文档生成。</div> </li> <li> <div class="paragraph">项目理解：进行架构分析、依赖跟踪和跨文件推理，帮助开发者快速理解项目结构。</div> </li> <li> <div class="paragraph">开发自动化：集成 Git 工作流、测试执行、构建和 CI/CD 集成，简化开发流程。</div> </li> <li> <div class="paragraph">数据处理：支持 JSON/YAML 解析和查询、数据验证和格式转换，方便数据操作。</div> </li> <li> <div class="paragraph">系统操作：监控系统进程、管理环境变量、测试网络连通性，提升系统管理效率。</div> </li> <li> <div class="paragraph">交互式操作：支持自然语言查询、上下文探索和调试辅助，增强开发体验。</div> </li> <li> <div class="paragraph">文件操作：提供文件编辑、读写管理、文件搜索和目录操作等功能。</div> </li> <li> <div class="paragraph">文本处理：支持高级文本搜索、文本操作和格式化，以及文件差异比较。</div> </li> <li> <div class="paragraph">数据处理：支持 JSON/YAML 数据解析、查询和操作，以及 Jupyter 笔记本处理。</div> </li> <li> <div class="paragraph">系统操作：支持进程监控、环境变量管理、网络连通性测试和安全的 shell 命令执行。</div> </li> <li> <div class="paragraph">开发工具：支持 Git 操作、项目架构分析、复杂任务委托和上下文管理。</div> </li> <li> <div class="paragraph">集成：支持模型上下文协议集成和 HTTP 请求，方便与外部系统交互。</div> </li> </ul> <h2 style="font-size: 20px;">OCode的项目地址</h2> <ul> <li>Github仓库： <a href="https://github.com/haasonsaas/ocode" target="_blank" rel="noopener">https://github.com/haasonsaas/ocode</a> </li> </ul> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">核心能力</h3> <a id="user-content-core-capabilities" class="anchor" href="https://github.com/haasonsaas/ocode#core-capabilities" aria-label="永久链接：核心能力"></a></div> <ul dir="auto"> <li>终端原生工作流程——直接在您的 shell 环境中运行</li> <li>深度代码库智能——自动映射并理解您的整个项目</li> <li>自主任务执行——端到端处理多步骤开发任务</li> <li>直接 Ollama 集成– 无需代理即可从本地/远程 Ollama 流式完成</li> <li>可扩展插件层——模型上下文协议（MCP）支持第三方集成</li> </ul> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">OCode 能做什么</h3> <a id="user-content-what-ocode-can-do" class="anchor" href="https://github.com/haasonsaas/ocode#what-ocode-can-do" aria-label="永久链接：OCode 能做什么"></a></div> <table> <thead> <tr> <th>领域</th> <th>功能</th> </tr> </thead> <tbody> <tr> <td>代码生成和修改</td> <td>多文件重构、TDD 脚手架、优化、文档</td> </tr> <tr> <td>项目理解</td> <td>架构分析、依赖关系跟踪、跨文件推理</td> </tr> <tr> <td>开发自动化</td> <td>Git 工作流、测试执行、构建和 CI 集成</td> </tr> <tr> <td>数据处理</td> <td>JSON/YAML解析和查询、数据验证、格式转换</td> </tr> <tr> <td>系统操作</td> <td>进程监控、环境管理、网络连通性测试</td> </tr> <tr> <td>交互式操作</td> <td>自然语言查询、上下文探索、调试辅助</td> </tr> </tbody> </table> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">🛠️ 可用工具</h3> <a id="user-content-️-available-tools" class="anchor" href="https://github.com/haasonsaas/ocode#%EF%B8%8F-available-tools" aria-label="永久链接：🛠️ 可用工具"></a></div> <p>OCode 包含 19 多个按类别组织的专用工具：</p> <div class="markdown-heading" dir="auto"> <p>文件操作</p> <a id="user-content-file-operations" class="anchor" href="https://github.com/haasonsaas/ocode#file-operations" aria-label="永久链接：文件操作"></a></div> <ul dir="auto"> <li><code>file_edit</code>- 精确编辑和修改源文件</li> <li><code>file_ops</code>- 读取、写入和管理文件操作</li> <li><code>glob</code>- 基于模式的文件发现和匹配</li> <li><code>find</code>- 搜索文件和目录</li> <li><code>ls</code>- 使用过滤功能列出目录内容</li> <li><code>head_tail</code>- 读取文件的开头和结尾</li> <li><code>wc</code>- 计算行数、单词数和字符数</li> </ul> <div class="markdown-heading" dir="auto"> <p>文本处理</p> <a id="user-content-text-processing" class="anchor" href="https://github.com/haasonsaas/ocode#text-processing" aria-label="永久链接：文本处理"></a></div> <ul dir="auto"> <li><code>grep</code>- 支持正则表达式的高级文本搜索</li> <li><code>text_tools</code>- 文本处理和格式化</li> <li><code>diff</code>- 比较文件并显示差异</li> </ul> <div class="markdown-heading" dir="auto"> <p>数据处理</p> <a id="user-content-data-processing" class="anchor" href="https://github.com/haasonsaas/ocode#data-processing" aria-label="永久链接：数据处理"></a></div> <ul dir="auto"> <li><code>json_yaml</code>- 使用 JSONPath 解析、查询和操作 JSON/YAML 数据</li> <li><code>notebook_tools</code>- 使用 Jupyter 笔记本</li> </ul> <div class="markdown-heading" dir="auto"> <p>系统操作</p> <a id="user-content-system-operations" class="anchor" href="https://github.com/haasonsaas/ocode#system-operations" aria-label="永久链接：系统操作"></a></div> <ul dir="auto"> <li><code>ps</code>- 监控和查询系统进程</li> <li><code>env</code>- 管理环境变量和.env 文件</li> <li><code>ping</code>- 测试网络连接</li> <li><code>bash</code>- 安全地执行 shell 命令</li> <li><code>which</code>- 定位系统命令</li> </ul> <div class="markdown-heading" dir="auto"> <p>开发工具</p> <a id="user-content-development-tools" class="anchor" href="https://github.com/haasonsaas/ocode#development-tools" aria-label="永久链接：开发工具"></a></div> <ul dir="auto"> <li><code>git_tools</code>- Git 操作和存储库管理</li> <li><code>architect</code>- 项目架构分析和文档</li> <li><code>agent</code>- 将复杂的任务委托给专门的代理</li> <li><code>memory_tools</code>- 管理上下文和会话内存</li> </ul> <div class="markdown-heading" dir="auto"> <p>一体化</p> <a id="user-content-integration" class="anchor" href="https://github.com/haasonsaas/ocode#integration" aria-label="永久链接：集成"></a></div> <ul dir="auto"> <li><code>mcp</code>- 模型上下文协议集成</li> <li><code>curl</code>- HTTP 请求和 API 测试</li> </ul> <div class="markdown-heading" dir="auto"> </div> <p> </p>
<p>Kilo Code 是开源的VS Code AI Agent扩展程序，提升开发人员的编码效率。具备强大的代码生成能力，能根据自然语言描述快速生成代码片段，有效减少手动编写代码的时间。Kilo Code 能自动化执行多种重复性编码任务，例如代码格式化、重构以及生成样板代码等，进一步提高开发效率。内置最新的AI模型，如Claude和 Gemini 2.5 Pro，无需用户手动配置API密钥，提供MCP服务器市场，用户可以轻松查找和使用各种MCP服务器来扩展代理功能，满足不同开发场景的需求。</p> <h2 style="font-size: 20px;">Kilo Code的主要功能</h2> <ul> <li>自然语言生成代码：用户可以通过自然语言描述所需逻辑或函数，Kilo Code 转换为代码片段，帮助快速入门或克服障碍。</li> <li>任务自动化：Kilo Code 能自动化执行常见的编码任务，如代码格式化、注释生成、批量重命名变量等。</li> <li>自动化重构：选择现有代码后，Kilo Code 可以优化性能、增强可读性或识别潜在错误，帮助开发者完善工作。</li> <li>多种预设模式：Kilo Code 提供多种预设模式，如架构师模式（Architect）、编码器模式（Coder）和调试器模式（Debugger），用户还可以创建自定义模式。</li> <li>MCP 服务器市场：通过 MCP 服务器市场，用户可以轻松查找和使用 MCP 服务器来扩展代理功能。</li> <li>智能补全：在用户键入时，Kilo Code 会提供上下文相关的代码建议，减少拼写错误并加快常见模式的实现。</li> <li>直接操作文件：Kilo Code 可以根据用户指令直接在项目结构中创建新文件或修改现有文件。</li> <li>终端命令执行：用户可以直接从聊天界面要求 Kilo Code 执行命令行操作，无需切换上下文。</li> </ul> <h2 style="font-size: 20px;">Kilo Code的官网地址</h2> <ul> <li>官网地址：<a class="external" href="https://kilocode.ai/?utm_source=medsci" target="_blank" rel="noopener">kilocode.ai</a></li> </ul>
<p>Pyrefly 是一款快速的 Python 类型检查器，计划在 2025 年底取代 Meta 现有的 Pyre 类型检查器。</p> <p>Pyrefly 旨在通过 IDE 功能和检查 Python 代码来提高开发速度。</p> <p>主要特点：</p> <ul> <li>类型推断：除了函数参数之外，Pyrefly 可以在大多数位置推断类型。它可以推断变量的类型和返回类型。</li> <li>Flow Types：Pyrefly 可以理解程序的控制流以细化静态类型。</li> <li>增量性：Pyrefly 旨在实现模块级的大规模增量性，并优化检查和并行性。</li> </ul> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <p>Pyrefly：Python 的快速类型检查器和 IDE</p> <a id="user-content-pyrefly-a-fast-type-checker-and-ide-for-python" class="anchor" href="https://github.com/facebook/pyrefly#pyrefly-a-fast-type-checker-and-ide-for-python" aria-label="永久链接：Pyrefly：Python 的快速类型检查器和 IDE"></a></div> <pre class="hljs python"> </pre> <p>目前正在积极开发中，存在已知问题。如果您发现错误，请提交问题。</p> <pre class="hljs python"> </pre> <p>Pyrefly 是一款快速的 Python 类型检查器。它计划在 2025 年底取代 Meta 现有的 Pyre 类型检查器。本 README 介绍了 Pyrefly 的基本用法。完整文档及代码检查工具请访问<a href="https://pyrefly.org/" rel="nofollow">Pyrefly 网站。</a></p> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">入门</h3> <a id="user-content-getting-started" class="anchor" href="https://github.com/facebook/pyrefly#getting-started" aria-label="永久链接：入门"></a></div> <pre class="hljs python"> </pre> <p>Pyrefly 旨在通过 IDE 功能和检查 Python 代码来提高开发速度。</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li>在浏览器中尝试 pyrefly：<a href="https://pyrefly.org/sandbox/" rel="nofollow">沙盒</a></li> <li>获取命令行工具：<code>pip install pyrefly</code></li> <li>获取 VSCode 扩展： <a href="https://marketplace.visualstudio.com/items?itemName=meta.pyrefly" rel="nofollow">链接</a></li> </ul> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">主要特点：</h3> <a id="user-content-key-features" class="anchor" href="https://github.com/facebook/pyrefly#key-features" aria-label="永久链接：主要特点："></a></div> <pre class="hljs python"> </pre> <ul dir="auto"> <li>类型推断：除了函数参数之外，Pyrefly 可以在大多数位置推断类型。它可以推断变量的类型和返回类型。</li> <li>流类型：Pyrefly 可以理解程序的控制流以细化静态类型。</li> <li>增量性：Pyrefly 旨在实现模块级的大规模增量性，并优化检查和并行性。</li> </ul> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h2 class="heading-element" dir="auto" tabindex="-1">参与其中</h2> <a id="user-content-getting-involved" class="anchor" href="https://github.com/facebook/pyrefly#getting-involved" aria-label="永久链接：参与"></a></div> <pre class="hljs python"> </pre> <p>如果您有任何问题或想要报告错误，请 <a href="https://github.com/facebook/pyrefly/issues">创建问题</a>。</p> <pre class="hljs python"> </pre> <p>请参阅我们的 <a href="https://github.com/facebook/pyrefly/blob/main/CONTRIBUTING.md">贡献指南</a> 以获取有关如何为 Pyrefly 做出贡献的信息。</p> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h2 class="heading-element" dir="auto" tabindex="-1">选择</h2> <a id="user-content-choices" class="anchor" href="https://github.com/facebook/pyrefly#choices" aria-label="永久链接：选择"></a></div> <pre class="hljs python"> </pre> <p>编写 Python 类型检查器时有很多选择。我们从<a href="https://pyre-check.org/" rel="nofollow">Pyre1</a>、 <a href="https://github.com/microsoft/pyright">Pyright</a>和 <a href="https://mypy.readthedocs.io/en/stable/" rel="nofollow">MyPy</a>中汲取了灵感。以下是一些值得注意的选择：</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li>除了函数的参数外，我们在大多数地方都会推断类型。我们确实会推断变量和返回值的类型。例如， <code>def foo(x): return True</code>的结果等同于你写的<code>def foo(x: Any) -&gt; bool: ...</code>。</li> <li>我们首先尝试推断<code>[]</code>它的使用类型，然后再进行修复。例如，<code>xs = []; xs.append(1); xs.append("")</code>我们会推断出“ <code>xs: List[int]</code>然后”在最后一条语句上出错。</li> <li>我们使用流类型来细化静态类型，例如，<code>x: int = 4</code>既知道<code>x</code>具有类型<code>int</code>，而且紧接着的下一次使用<code>x</code>也会知道类型是<code>Literal[4]</code>。</li> <li>我们的目标是实现大规模增量（在模块级别）并通过并行性进行优化检查，旨在利用 Rust 的优势使代码更简单一些。</li> <li>我们期望模块具有大型强连接组件，并且不会尝试利用源代码中的 DAG 形状。</li> </ul> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h2 class="heading-element" dir="auto" tabindex="-1">设计</h2> <a id="user-content-design" class="anchor" href="https://github.com/facebook/pyrefly#design" aria-label="永久链接：设计"></a></div> <pre class="hljs python"> </pre> <p>设计中有很多细微之处会定期发生变化。但构建棋盘格的基本原理涉及三个步骤：</p> <pre class="hljs python"> </pre> <ol dir="auto"> <li>弄清楚每个模块导出的内容。这需要<code>import *</code> 传递性地解决所有语句。</li> <li>对于每个独立的模块，将其转换为绑定，处理所有语句和范围信息（静态和流）。</li> <li>解决这些绑定，可能需要解决其他模块中的绑定。</li> </ol> <pre class="hljs python"> </pre> <p>如果我们遇到不可知的信息（例如递归），我们会<code>Type::Var</code>插入占位符，稍后再填充。</p> <pre class="hljs python"> </pre> <p>对于每个模块，我们按顺序完整地解决各个步骤。具体来说，我们不会像 <a href="https://github.com/dotnet/roslyn">Rosyln</a>或 <a href="https://www.typescriptlang.org/" rel="nofollow">TypeScript</a>那样首先尝试解决某个特定的标识符，也不会使用细粒度的增量式方法（例如<a href="https://github.com/rust-lang/rust-analyzer">Rust Analyzer</a> 使用<a href="https://github.com/salsa-rs/salsa">Salsa</a>）。相反，我们追求的是原始性能和更简单的以模块为中心的设计——如果解决模块中的所有绑定足够快，就无需单独解决单个绑定。</p> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">绑定示例</h3> <a id="user-content-example-of-bindings" class="anchor" href="https://github.com/facebook/pyrefly#example-of-bindings" aria-label="永久链接：绑定示例"></a></div> <pre class="hljs python"> </pre> <p>给定程序：</p> <pre class="hljs python"> </pre> <div class="highlight highlight-source-python notranslate position-relative overflow-auto" dir="auto"> <pre>1: x: int = 4 2: print(x)</pre> <div class="zeroclipboard-container"> </div> </div> <pre class="hljs python"> </pre> <p>我们可能会产生以下绑定：</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li><code>define int@0</code>=<code>from builtins import int</code></li> <li><code>define x@1</code>=<code>4: int@0</code></li> <li><code>use x@2</code>=<code>x@1</code></li> <li><code>anon @2</code>=<code>print(x@2)</code></li> <li><code>export x</code>=<code>x@2</code></li> </ul> <pre class="hljs python"> </pre> <p>值得注意的是：</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li>关键在于诸如<code>define</code>（某事物的定义）、<code>use</code>（某事物的用法）和<code>anon</code>（我们需要进行类型检查但不关心其结果的语句）之类的东西。</li> <li>在许多情况下，一个键的值指的是其他键。</li> <li><code>export</code>一些键是通过键和<code>import</code> 值从其他模块导入的。</li> <li>为了消除标识符的歧义，我们使用它们出现的文本位置（在我使用的示例中<code>@line</code>，但实际上它是文件中的字节偏移量）。</li> </ul> <pre class="hljs python"> </pre> <div class="markdown-heading" dir="auto"> <h3 class="heading-element" dir="auto" tabindex="-1">示例<code>Var</code></h3> <a id="user-content-example-of-var" class="anchor" href="https://github.com/facebook/pyrefly#example-of-var" aria-label="永久链接：Var 示例"></a></div> <pre class="hljs python"> </pre> <p>给定程序：</p> <pre class="hljs python"> </pre> <div class="highlight highlight-source-python notranslate position-relative overflow-auto" dir="auto"> <pre>1: x = 1 2: while test(): 3: x = x 4: print(x)</pre> <div class="zeroclipboard-container"> </div> </div> <pre class="hljs python"> </pre> <p>我们最终得到了以下绑定：</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li><code>x@1</code>=<code>1</code></li> <li><code>x@3</code>=<code>phi(x@1, x@3)</code></li> <li><code>x@4</code>=<code>phi(x@1, x@3)</code></li> </ul> <pre class="hljs python"> </pre> <p>表达式<code>phi</code>是两个值的连接点，例如<code>phi(int, str)</code> 。我们忽略和<code>int | str</code>之间的区别，因为在本例中没有必要。<code>define</code><code>use</code></p> <pre class="hljs python"> </pre> <p>在求解过程中，<code>x@3</code>我们会遇到递归。操作上：</p> <pre class="hljs python"> </pre> <ul dir="auto"> <li>我们开始解决<code>x@3</code>。</li> <li>那就需要我们去解决<code>x@1</code>。</li> <li>我们解决的<code>x@1</code>是<code>Literal[1]</code></li> <li>我们开始求解<code>x@3</code>。但我们目前正在求解<code>x@3</code>，所以我们发明一个新的<code>Var</code>（我们称之为<code>?1</code>）并返回 。</li> <li>我们得出结论，<code>x@3</code>一定是的<code>Literal[1] | ?1</code>。</li> <li>由于是<code>?1</code>由引入的，<code>x@3</code>我们记录为<code>?1 = Literal[1] | ?1</code>。我们可以取其可达上限，并得出结论 <code>?1 = Literal[1]</code>。</li> <li>我们简化<code>x@3</code>为仅仅<code>Literal[1]</code>。</li> </ul> <pre class="hljs python"> </pre>
前端实现搜索文本高亮的技术，十分简单易用，明了. mark.js 是一个用 JavaScript 编写的文本高亮器。它可以用来动态标记搜索词或自定义正则表达式，并提供一些内置选项，例如变音符号支持、单词搜索、自定义同义词、iframe 支持、自定义过滤器、精度定义、自定义元素、自定义类名等等。
GSAP 是一个强大的 JavaScript 工具集，可以将开发人员变成动画超级英雄。构建适用于所有主流浏览器的高性能动画。动画化 CSS、SVG、画布、React、Vue、WebGL、颜色、字符串、运动路径、通用对象……任何 JavaScript 可以触及的东西！ GSAP 的 ScrollTrigger 插件可让您使用最少的代码创建令人惊叹的基于滚动的动画。
Code 是一款面向团队的开发者 AI，它将您组织的专业知识和实践融入到每一次交互中。我们将您团队的集体编码知识放在您指尖，帮助每位开发人员更智能、更快速地工作。 Augment 是一个开发者 AI 平台，它能够理解您的代码库，帮助您理解代码、调试问题并加快交付速度。使用聊天、下一步编辑和代码补全功能，您可以完成更多工作。
集成Google基础设施的AI编程工具，支持一键构建前端、后端和移动应用，覆盖从开发到发布的全流程。 结合了类似Lovable、Cursor、Replit的功能，内置数据监控能力，适合快速部署和迭代。X用户称其为“Lovable+Cursor+Replit”的综合体，受到开发者关注。
Trae是字节跳动推出的一款免费AI编程工具,它集成了Claude3.5和GPT-4o等主流AI 模型,旨在为开发者打造一个全方位的智能编程环境。 Trae，致力于成为真正的 AI 工程师（The Real Al Engineer）。Trae 旗下的 AI IDE 产品，以智能生产力为核心，无缝融入你的开发流程，与你默契配合，更高质量、高效率完成每一个任务。
一款轻量级终端运行编码智能体 —— Codex CLI，该工具现已在 GitHub 完全开源。是OpenAI开发的。 Codex CLI 可以直接在用户的计算机上工作，旨在最大化 o3 和 o4-mini 等模型的推理能力，并即将支持 GPT-4.1 等额外的 API 模型。 Codex CLI 可以在 macOS 12+、Ubuntu 20.04+/Debian 10+、Windows 11 的 WSL2 子系统中使用，要求最少拥有 4GB 内存（建议 8GB）。
