法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
Cool Cats Group宣布获得Animoca Brands战略投资:10月5日消息，NFT项目Cool Cats母公司Cool Cats GroupLLC宣布获得Animoca Brands战略投资，并建立合作伙伴关系，具体投资金额暂未透露。Animoca Brands表示，该合作伙伴关系将推动Cool Cats成为全球最大的NFT品牌和强大的媒体、内容公司，并通过本次合作关系扩展Cool Cats相关游戏产品。[2022/10/6 18:40:19]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
TGV再次向链游独角兽Animoca Brands投资2100万美元:9月22日消息，True Global Ventures (TGV) 再次向区块链游戏独角兽Animoca Brands注资2100万美元，这笔投资也是该风投迄今为止对单一公司的最大单笔投资。9月初，Animoca Brands曾完成1.1亿美元融资，TGV也参与了这轮融资并以可转换债券形式投资了约1700万美元。（techinasia）[2022/9/22 7:14:32]
RippleNet成员dLocal聘请JP Morgan前高管担任首席运营官:RippleNet成员dLocal聘请Sumita Pandit担任首席运营官，在来到dLocal之前，Pandit曾是JP Morgan董事总经理兼金融科技投资银行业务全球负责人，在加入JP Morgan之前，她还曾在高盛工作。dLocal的首席运营官Jacobo Singer被提升为总裁。（U.Today）[2021/4/2 19:41:47]
有了它们,才可以在立秋的开始“sao”一把！ AMBUSH 随着KimJones入驻Dior,这个早在时尚圈红透透的女孩Yoon再次被推上了话题的风口浪尖.
1900/1/1 0:00:00有了它们,才可以在立秋的开始“sao”一把！ AMBUSH 随着KimJones入驻Dior,这个早在时尚圈红透透的女孩Yoon再次被推上了话题的风口浪尖.
1900/1/1 0:00:00概览：Crypto头部量化机构梳理概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
1900/1/1 0:00:00概览：Crypto头部量化机构梳理 简介与概览概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由.
1900/1/1 0:00:00头条Facebook上线加密货币项目Libra官网,同期发布白皮书6月18日17点,Facebook加密货币项目Libra官网上线,同期发布了项目白皮书.
1900/1/1 0:00:00???? 概览：Crypto头部量化机构分布???????????? 概览：Crypto头部量化机构梳理???????????? 简介与概览概览：使用小众OCaml语言的.
1900/1/1 0:00:00
火星链
