oldhu's
13
Oct 2022
Miller-Rabin质数测试
参考:http://www.matrix67.com/blog/archives/234 费马小定理 费马在1636年发现这个定理。如果p是质数,a是小于p的正整数,则 $ a^{p-1} \bmod p = 1 $ 证明 先证明一个定理:...
11
Oct 2022
针对相似性的中文Sentence Embedding相关资源
腾讯Xuming 基于中文STS-B数据集训练的CoSENT模型,对应的github repo ATEC, BQ, LCQMC, PAWSX, STS-B数据集 人民大学数据库与智能信息检索实验室 大量的预训练模型 对应的huggingfa...
08
Oct 2022
Maybe Not (Rich Hickey) 相关
演讲链接 演讲的核心内容 null本身是个巨大的错误,为了解决null的问题,引入了Maybe/Optional这样的类型 为什么要使用null/Maybe/Optional 可选的参数 有条件的返回值 管理不完整的信息(一个数据结构中有可...
30
Sep 2022
Clojure Protocol
Intro Clojure中的 defprotocol 主要是解决 表达问题(Expression Problem) 所谓表达问题,就是当应用程序要被扩展的时候,如何确保扩展的新的方法和数据类型,与原有的方法和数据类型,可以一起工作。 所以...
27
Sep 2022
Tauri介绍
安装与运行 先安装好rust, node, yarn # package管理可选yarn yarn create tauri-app # cd app yarn tauri dev 架构 代码架构 主配置文件,在 src-tauri/tau...
← Prev page
Next page →