Animoca Brands宣布与Planet Hollywood Group成立合资公司MetaHollywood:4月22日消息,Animoca Brands 宣布与 Planet Hollywood Group 成立合资公司 MetaHollywood,该公司将为电影爱好者打造元宇宙社区。用户将能够在以好莱坞为主题的元宇宙中进行互动,还可在社区中使用 MetaHollywood 的原生 Token 购买电影、海报和剪辑片段等形式的 NFT。[2022/4/22 14:40:50]
深入参与 Tezos 的开发工作。
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]
法国软件公司 OCaml Pro,创立于 2011 年,通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml,同时,还开发了 Alt-Ergo 等验证工具。很长一段时间,OCaml 语言是由学者们为学者开发的。
Paxful总交易量首次超越LocalBitcoins:Arcane Research数据显示,点对点加密货币交易平台Paxful的总交易量在历史上首次超越了长期以来的点对点交易平台龙头LocalBitcoins。图表显示,在数次出现冻结交易员账户的状况发生后,LocalBitcoins的交易量一直在持续下降。(CoinGape)[2020/6/17]
自 2014 年以来,OCaml Pro 深入参与 Tezos 的开发工作,并帮助设计 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作,为发布做足准备。此外,OCaml Pro 还启动了几个与 Tezos 相关的项目,如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity,使用 Why3(INRIA)与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。