20 Dec 2022

fp-ts介绍

参考 https://github.com/enricopolanski/functional-programming 基本工具 flow与pipe 先准备几个基本方法 function return1(): number { return...
18 Nov 2022

Clojure Transient Data Structure

参考 https://sq.sf.163.com/blog/article/220973851641442304 Clojure中的数据结构(list, vector, map)等,有persistent和transient两种存在形态。 ...
25 Oct 2022

Use Vercel as Notion API Proxy

If you call notion API directly from a web page, it will complain about CORS. So we need a proxy to it. rewrite rule in ...
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...