欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐资本
来自开放百科 - 灰狐
（版本间的差异）
小 (→技术) |
小 (→链接) |
||
| 第20行： | 第20行： | ||
==链接== | ==链接== | ||
*[https://capitalg.com/ CapitalG（原名Google Capital）] | *[https://capitalg.com/ CapitalG（原名Google Capital）] | ||
| + | *[https://www.quora.com/Why-should-I-learn-Haskell-OCaml-or-Lisp Why should I learn Haskell, OCaml or Lisp?] | ||
[[category:financial]] | [[category:financial]] | ||
2022年1月7日 (五) 08:02的版本
灰狐资本
目录 |
简介
灰狐资本（Huihoo Capital）
愿景
基础
- 灰狐量子实验室
- Huihoo Network
- 分形和混沌理论
技术
链接
分享您的观点
