网址：https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
电影订阅服务MoviePass完成种子轮融资，Animoca Brands领投:金色财经报道，电影订阅服务MoviePass完成种子轮融资，Animoca Brands领投，Claritas Capital、Emerald Plus、Gaingels、Harlem Capital、PKO VC和Sandhill Angels等参投。作为交易的一部分，Animoca Brands的执行主席兼联合创始人Yat Siu将加入MoviePass的董事会。
MoviePass联合创始人Stacy Spikes于2021年底回购了该公司，他表示计划在2023年底或2024年进行另一轮融资。
MoviePass表示，它计划利用新资金加速其电影院订阅服务的测试版重新启动，并制定和实施公司的Web3战略，其中包括虚拟现实影院体验和使用技术来推动影院流量。Spikes表示，Animoca Brands认为电影客户与元宇宙和区块链的粉丝之间存在重叠。[2023/1/13 11:09:01]
自 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与韩国唱片公司Cube Entertainment合作打造“K-pop音乐元宇宙”:11月15日消息，NFT游戏公司Animoca Brands今日宣布与韩国唱片公司、经纪公司和音乐制作公司Cube Entertainment达成合作，以打造“K-pop音乐元宇宙”。双方将合作创建多媒体NFT，以纪念Cube名单上的流行演员和韩国流行歌手。NFT将以艺术家肖像和专辑艺术等图像为特色，还将包括全长专辑等数字声源。（Cointelegraph）[2021/11/15 6:52:30]
Animoca Brands CEO：NFT为社会提供了一种“存储文化”的新方式:金色财经报道，NFT 游戏开发商 Animoca Brands 的联合创始人兼董事长 Yat Siu 在接受采访时表示，不可替代的代币为文化在虚拟领域中的存储提供了一种新方式。Siu 认为，虽然支撑 NFT 的技术可能是新的，但在整个人类历史上，“存储文化”的愿望一直伴随着我们。
我们将 NFT 描述为文化的存储，因为它们体现了历史上的一个时刻，并补充道：什么是艺术？艺术储存文化。当被问及他会给 NFT 新手什么建议时，Siu 敦促新手不要寻求快速牟取暴利的机会，而是建议他们沉浸在该技术带来的革命性实用程序中。（cointelegraph）[2021/10/8 20:13:04]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。