法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
SBF曾投资ModuloCapital4亿美元，其创始人与SBF有恋爱关系:1月25日消息，FTX创始人Sam Bankman-Fried与其投资了4亿美元的Modulo Capital创始人关系密切。据接受纽约时报采访的四位知情人士透露，Sam Bankman-Fried Modulo 的创始人之一 Xiaoyun（Lily）Zhang曾与SBF有过一段恋情。
《泰晤士报》补充说Zhang在Jane Street Capital工作十余年，其中3年曾与SBF成为同事。此外，另一联合创始人 Duncan Rheingans-Yoo两年前才从哈佛大学毕业，其于2020年加入了Jane Street Capital。此前消息，Alameda曾向Jane Street前雇员旗下基金Modulo Capital投资4亿美元。（纽约时报）
?[2023/1/25 11:30:01]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
0xSifu再次转移1000枚ETH至TornadoCash:2月2日消息，Frog Nation 前 CFO 0xSifu 再次转移 1000 枚 ETH 至以太坊隐私交易平台 TornadoCash 中。据链上数据，0xSifu 从 2 月 1 日晚间至今，已转移 3100 枚 ETH 到 TornadoCash 中。[2022/2/2 9:27:25]
Local Bitcoins推出Android版移动APP:10月25日消息，点对点比特币市场Local Bitcoins今天宣布推出面向Android用户的新移动应用程序，在全球超过190个受支持的管辖区内可用。（Prweb）[2021/10/25 20:55:07]
概览：Crypto头部量化机构梳理概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
概览：Crypto头部量化机构梳理 简介与概览 概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet.
头条 Facebook上线加密货币项目Libra官网,同期发布白皮书6月18日17点,Facebook加密货币项目Libra官网上线,同期发布了项目白皮书.
???? 概览：Crypto头部量化机构分布???????????? 概览：Crypto头部量化机构梳理???????????? 简介与概览 概览：使用小众OCaml语言的.
链资讯
