typescript

Foobar 技术周刊#160：大模型让大规模形式化软件验证成为现实丨AI写C++代码之后会发生什么？丨我们真的需要alpha() 函数吗丨重试，有时会让故障更互联网技术周刊 #160 如约而至：为你整理每周必看的前沿技术资讯！本期一共收录 40 篇优质链接，分为 5 大板块，阅读愉快！

[Playwright ][16]Playwright + TypeScript API 自动化测试实战：API测试页面报错，到底是前端还是后端背锅？这篇用 Playwright 的 request 直连后端，带你从跑通第一条 /health 测试开始，一步步搞懂断言、异常输入、CRUD。全程不用开浏览器，新手照着抄就能跑。

Vue 3 + TypeScript + uni-app 组件库推荐：hy-app（华玥组件库）hy-app = Vue 3 + TypeScript + uni-app + 跨端 UI + 强类型 + AI Coding + MCP

你写的 import 重试，从来没生效过产品上线三个月，每次发布之后的一小时里，错误追踪都会冒出几百条 Failed to fetch dynamically imported module。

长不大的杨瑞杰

OpenCode v2 Custom Tools 实战：开发数据库、工单与发布工具摘要：OpenCode 自带的 read、edit、bash、webfetch 等工具已经能覆盖通用开发任务，但企业项目里真正有价值的动作，往往藏在数据库、工单、发布平台和内部服务中。Custom Tools 可以把这些能力封装成模型可理解、参数可校验、权限可控制的工具。本篇不只演示一个 Hello World，而是从目录约定、Zod 参数、会话上下文讲起，完整实现“只读数据查询、创建工单、发布前检查”三个工具，并给出权限、密钥、幂等和错误处理方案。

shmily麻瓜小菜鸡

TypeScript 知识点补充（第三部分：工程化与高级类型）本部分是前两部分的延续。前面已覆盖「基础坑」「进阶坑」「实战模式」，本部分聚焦工程化配置、模块/声明文件、类型体操底层原理与框架实战。

TypeScript 泛型(Generics)：类型占位符实现复用与安全摘要：泛型是 TypeScript 中非常强大的特性，它相当于类型占位符，定义代码的时候不用写死具体类型，使用的时候再传入真实类型。既实现代码复用，又保留类型检查，避免滥用any带来的隐患。本文包含泛型函数、泛型接口、泛型类、泛型约束、keyof，附带完整可运行示例。

MCP 开发实战：把你自己的后端 API 接入 Agent本文写的也是通俗实战版。去掉了繁琐的工程踩坑流水账、Node/TS 模块机制细节与单元测试源码，保留全部核心设计思想、多模态看图登录方案与开箱即用代码，大概15分钟左右轻轻松松即可读懂 MCP 并把你自己的后端 API 变成 AI 随叫随到的工具。

长不大的杨瑞杰

OpenCode v2 LSP 实战：内置语言服务器、自定义配置与诊断闭环这是《OpenCode v2 实战：从零搭建企业级 AI 编程助手》专题的第 26 篇。前一篇完成了 GitHub Issue、PR 审查与定时任务自动化，本篇回到代码工作区，系统拆解 OpenCode 的 LSP 能力：怎样启用内置语言服务器，怎样按项目收口配置，以及怎样把诊断真正变成 Agent 可验证的修复闭环。

Highcharts 集成到 React 或 Vue 项目中时，如何高效地使用 TypeScript技巧？在将 Highcharts 集成到 React 或 Vue 项目中时，遵循一些最佳实践可以帮助您更高效地使用 TypeScript。

二哈赛车手

新人笔记---hermes定时功能设计，具体讲解以及可优化点该笔记篇主要是博主在设计自己Agent项目定时功能时的笔记篇，主要是学习，参照hermes成熟的cron设计体系，如何支持任务高度定制，风险管控，权限审批，消息溯源机制等等一系列cron功能设计的细节点，通过深入学习hermes的设计，可以深入理解他cron功能设计的精妙点，同时结尾附上博主自己项目的该功能的优化点以及设计思路方案，参考文档hermes定时功能深入讲解

每个节点 41 字节：把一棵百万节点树拆进 14 个 typed array前情：《WASM 不是银弹》算了边界账，《MPTT 不是万能编号》讲了写操作，《100 万节点里搜 3 个字》讲了搜索。这篇往下一层：一个节点到底占多少内存，这些字节花在哪，紧凑存储到底换来了什么。

vue3+element-plus 文件上传<template><div class="file-upload-container"><el-alert

QianhangQianping

撤销重做不是「存快照」：一个可视化编辑器的Operation 设计“撤销重做还不简单？每次操作前把整个画布 JSON 存一份，撤销就把上一份塞回去。”这句话在 demo 里永远成立，在真产品里最多撑到第三个迭代。下面这套设计来自我们对自家可视化编辑器内核的勘察记录，只讲结构，不含业务数据。

用户093407773514

HarmonyOS WPS Open SDK 工程实践：把 registerApp 做成就绪门禁把 WPS Open SDK 接进 HarmonyOS 工程后，registerApp 经常被当成“启动时顺手调用一下”的代码。真正上线时，这段初始化会同时面对页面重建、按钮连点、调试包与正式包切换、HAR 升级等变量。只要某个入口在注册回调到达前发起 sendRequest，日志里就会出现看似是文档打开失败、实际却属于初始化时序的异常。

tsrs 技术解析用 Rust 移植 TypeScript 7，类型检查还能怎样提速？理解 tsrs，首先要分清“编译器的实现语言”和“业务代码的输出语言”。你仍然编写 TypeScript，仍然使用 tsconfig.json。Rust 描述的是 tsrs 本身的实现方式；业务代码按配置生成 JavaScript、声明文件和 source maps。只想检查类型时，使用 --noEmit。

中文全文检索加向量，我用 SQLite 做到零依赖delta search 第一版是废的。FTS5 建好了，bm25 排序也接上了，delta search "pool" 能把所有聊过连接池的消息捞出来。然后我拿中文试：

GitHub 今日推荐｜rea：用 MCP 把反编译器和 AI agent 接到一起的逆向工具项目地址：https://github.com/morluto/rearea 把反编译器变成了 AI agent 能直接对话的工具。它用 MCP（Model Context Protocol，一种让程序和 AI 助手互相调用的协议）把 Ghidra、Hopper 这类逆向分析软件接起来，agent 发一条指令，桥接脚本在对应工具里跑完分析，再把结果连同证据一起传回来。

AI 改了 300KB 的文件，我让浏览器一屏都不多拿文件面板有个绕不开的问题：Agent 改完代码，你得看它到底改了什么。最省事的做法是把 git diff 或者自制的差异文本直接丢给前端，前端渲染成带颜色的行。我第一版就这么写的，然后在一个 8000 行的日志文件上崩了。

给 Agent 写终端界面，我一个 UI 库都没装CLI 第一版是 readline 加 console.log。用户输入一行，屏幕上滚一堆字，再输入下一行。