10.1 枚举法 10.1 枚举法 问题求解中常用的一种算法设计方法是枚举策略。给定问题 P，如果知道 P 的可能解构 成一个有限集合 S = {s1, s2, …, sn}，则可以逐一列举每个 si，检验它是否确实是 P 的解，这 就是枚举法。枚举法简单而直接，算法容易设计实现，但当可能解集合 S 很大时，枚举策 略的效率很差。实际使用枚举法时，经常...

配置说明 本地配置说明 namespace配置说明 slice配置 shard配置 users配置 全局序列号配置 配置示例 kingshard路由 mycat路由 全局表路由 配置说明 gaea配置由两部分组成，本地配置为gaea_proxy直接使用的配置内容，一般不需要在运行时改变。gaea为多租户模式，每个租户称为一个name...

含义 基本用法 语法 返回 Promise 对象 Promise 对象的状态变化 await 命令 错误处理 使用注意点 async 函数的实现原理 与其他异步处理方法的比较 实例：按顺序完成异步操作 顶层 await 含义 ES2017 标准引入了 async 函数，使得异步操作变得更加方便。 async 函数是什么？一句话，...

The History of Artificial Intelligence History of Computing CSEP 590A University of Washington December 2006 Introduction – Chris Smith The Turing Test – Brian McGuire H...

训练玩马里奥的 RL 智能体 RL 定义 环境 初始化环境 预处理环境 智能体 行动 缓存和回忆 学习 神经网络 TD 估计和 TD 目标 更新模型 保存检查点 全部放在一起 日志记录 开始吧！ 总结 训练玩马里奥的 RL 智能体 原文：https://pytorch.org/tutorials/intermediat...

ECMAScript 要了解JavaScript，我们首先要回顾一下JavaScript的诞生。 在上个世纪的1995年，当时的网景公司正凭借其Navigator浏览器成为Web时代开启时最著名的第一代互联网公司。 由于网景公司希望能在静态HTML页面上添加一些动态效果，于是叫Brendan Eich这哥们在两周之内设计出了JavaScript语言。...

为什么使用消息队列？ 面试题 面试官心理分析 面试题剖析 为什么使用消息队列 解耦 异步 削峰 消息队列有什么优缺点 Kafka、ActiveMQ、RabbitMQ、RocketMQ 有什么优缺点？ 为什么使用消息队列？ 面试题 为什么使用消息队列？ 消息队列有什么优点和缺点？ Kafka、ActiveMQ、RabbitMQ、Ro...

把文件添加到版本库 疑难解答 小结 什么是版本库呢？版本库又名仓库（Repository），你可以简单理解成一个目录，这个目录里面的所有文件都可以被Git管理起来，每个文件的修改、删除，Git都能跟踪，以便任何时刻都可以追踪历史，或者在将来某个时刻可以“还原”。 所以，创建一个版本库非常简单，首先，选择一个合适的地方，创建一个空目录： $ mkd...

BERT 上的动态量化（Beta） 简介 1.设置 1.1 安装 PyTorch 和 HuggingFace 转换器 1.2 导入必要的模块 1.3 了解辅助函数 1.4 下载数据集 2.微调 BERT 模型 2.1 设置全局配置 2.2 加载经过微调的 BERT 模型 2.3 定义分词和评估函数 3.应用动态量化 3.1 检查模型大小 ...

Vim 实操教程（Learn Vim） 以我个人学习 vim 的经验来看，通过看文档或看其他人操作其实是很难真正学会 vim 的，你必须在实际应用中，进入真实场景才能逐渐熟悉并掌握相关命令。 因此，为了同时满足学习和操作的需求，项目中的文件都采用了 Markdown 格式，即可以当作说明文档来阅读，也可以用 vim 打开文件进行实际操作（建议...