法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
美国立法者敦促CFTC和SEC成立数字资产联合工作组:在周一的推文中，代表格伦汤普森表示，他与代表帕特里克麦克亨利已向美国商品期货交易委员会和美国证券交易委员会提交了一封信，敦促这些机构建立一个数字资产联合工作组。Thompson 和 McHenry 要求 SEC 主席 Gary Gensler 和代理 CFTC 主席 Rostin Behnam 促进联邦监管机构与加密市场参与者之间的积极对话。信中说：“数字资产工作组将使 SEC 和 CFTC 能够探索如何有效地合作使用其当前的管辖权。这样的工作组可以促进与数字资产生态系统中的创新者的透明互动。随着国会考虑通过更多立法来解决监管差距，这项工作可以在我们做出这些重要的政策决定时为我们提供更多信息和清晰度。”（cointelegraph）[2021/8/18 22:20:14]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
概览：Crypto头部量化机构梳理概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
概览：Crypto头部量化机构梳理 简介与概览 概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet.
头条 Facebook上线加密货币项目Libra官网,同期发布白皮书6月18日17点,Facebook加密货币项目Libra官网上线,同期发布了项目白皮书.
???? 概览：Crypto头部量化机构分布???????????? 概览：Crypto头部量化机构梳理???????????? 简介与概览 概览：使用小众OCaml语言的.
区块见闻
