法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
前Spartan Group合伙人：SBF竞标Voyage只是为了防止持有人抛售FTT:金色财经报道，前Spartan Group合伙人 、资深加密从业者Jason Choi在社交媒体上披露，此前FTX 竞标 Voyage 其实很可能为了救助大量持有 FTT 的人，以防止他们抛售 FTT。十月初，法庭文件显示FTX在对Voyager的收购中支付了5100万美元的现金，FTX破产后Voyager 又宣布重新启动其资产的竞标过程并表示与FTX US之间的资产购买协议中的条款不再具有约束力。[2022/11/16 13:11:18]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
TITAN销毁90亿已发行代币:据TITAN (Titanswap) 官方消息，TITAN已于9月24日上线火币“全球观察区”并开启“新币挖矿”。TITAN基金会为了让通证模式更合理，能进一步赋能项目长期发展的战略目标，在反复征求社区意见和与所有投资人协商达成一致的基础上，对TITAN已经发行的100亿中的90亿代币进行销毁，链上记录将同步公布。
参与火币锁仓赚币的TITAN上新挖矿的用户不受影响，90亿代币直接从早期投资人和基金会持仓中等比例销毁，即TITAN总量变更为10亿，其中早期投资人持有1亿代币，基金会持有9亿代币并通过流动性挖矿释放。按照0.3 USDT的现价，TITAN销毁后总市值约3亿USDT，流通市值约3000万USDT。[2020/9/25]
动态 | 区块链初创企业Adhara将开设新加坡办事处，并任命Stanley Yong为负责人:伦敦区块链初创企业Adhara宣布，本月将扩大团队规模，并在新加坡开设办事处。公司将任命Stanley Yong为其新加坡办事处负责人，他还将负责Adhara的财务产品GroupNet。（FintechFutures）[2019/9/14]
概览：Crypto头部量化机构梳理概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet由SIG的三位.
概览：Crypto头部量化机构梳理 简介与概览 概览：使用小众Ocaml语言的,做MarketMaking&Arbitrage的proptradingfirm；背景：JaneStreet.
头条 Facebook上线加密货币项目Libra官网,同期发布白皮书6月18日17点,Facebook加密货币项目Libra官网上线,同期发布了项目白皮书.
???? 概览：Crypto头部量化机构分布???????????? 概览：Crypto头部量化机构梳理???????????? 简介与概览 概览：使用小众OCaml语言的.
区块见闻
