法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
美国总统正式签署1.9万亿美元的经济刺激法案:美国总统拜登正式签署1.9万亿美元的经济刺激法案。（金十）[2021/3/12 18:37:36]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
纽约人寿CEO加入NYDIG董事会:3月11日消息，比特币投资和服务提供商NYDIG（纽约数字投资集团）在周三宣布，纽约人寿的CEO Theodore Mathas加入其董事会。NYDIG打算利用Theodore Mathas的专业知识，为客户提供基于比特币的人寿保险产品和金融科技服务。几天前，NYDIG曾宣布完成2亿美元融资，纽约人寿为投资方之一。（The Block）[2021/3/11 18:34:41]
概览：Crypto头部量化机构梳理概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
概览：Crypto头部量化机构梳理 简介与概览 概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet.
头条 Facebook上线加密货币项目Libra官网,同期发布白皮书6月18日17点,Facebook加密货币项目Libra官网上线,同期发布了项目白皮书.
???? 概览：Crypto头部量化机构分布???????????? 概览：Crypto头部量化机构梳理???????????? 简介与概览 概览：使用小众OCaml语言的.
链资讯
