法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
V神：曾使用TornadoCash向乌克兰捐款:金色财经报道，以太坊创建者Vitalik Buterin公开承认使用Tornado Cash为乌克兰捐款。Vitalik Buterin澄清说，他使用Tornado Cash来保护资金的接受者，而不是他自己。Buterin在评论Twitter讨论时概述了合法的Tornado Cash使用案例和财务隐私的好处，包括在不通知俄罗斯政府的情况下向乌克兰捐款，Buterin说他已经使用该协议向乌克兰进行了私人捐款。（cryptobriefing）[2022/8/10 12:14:13]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
无聊猿公布与Animoca Brands合作的项目页面，需进行KYC认证:3月12日消息，无聊猿在其社交网站公布了与 Animoca Brands 合作的项目页面，该页面使用地址登录后需进行 KYC 认证。无聊猿并未透露合作项目的具体内容，但表示并非 P2E 游戏或 Token 发布。[2022/3/12 13:52:08]
Infinity Force完成550万美元种子轮融资，Animoca Brands领投:1月20日消息，服务于P2E生态的游戏公会管理系统Infinity Force宣布完成550万美元种子轮融资，Animoca Brands领投，Jump Capital、SkyVision Capital、OKEx Blockdream Ventures、MEXC等参投。资金将用于进一步扩展平台的功能并促进向Infinity Force DAO的过渡。[2022/1/20 9:01:34]
有了它们,才可以在立秋的开始“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
木星链
