oldhu's

13 Oct 2022

参考：http://www.matrix67.com/blog/archives/234 费马小定理费马在1636年发现这个定理。如果p是质数，a是小于p的正整数，则 $ a^{p-1} \bmod p = 1 $ 证明先证明一个定理：...

11 Oct 2022

腾讯Xuming 基于中文STS-B数据集训练的CoSENT模型，对应的github repo ATEC, BQ, LCQMC, PAWSX, STS-B数据集人民大学数据库与智能信息检索实验室大量的预训练模型对应的huggingfa...

08 Oct 2022

演讲链接演讲的核心内容 null本身是个巨大的错误，为了解决null的问题，引入了Maybe/Optional这样的类型为什么要使用null/Maybe/Optional 可选的参数有条件的返回值管理不完整的信息(一个数据结构中有可...

30 Sep 2022

Intro Clojure中的 defprotocol 主要是解决表达问题(Expression Problem) 所谓表达问题，就是当应用程序要被扩展的时候，如何确保扩展的新的方法和数据类型，与原有的方法和数据类型，可以一起工作。所以...

27 Sep 2022

安装与运行先安装好rust, node, yarn # package管理可选yarn yarn create tauri-app # cd app yarn tauri dev 架构代码架构主配置文件，在 src-tauri/tau...