网址:https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro,创立于 2011 年,通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml,同时,还开发了 Alt-Ergo 等验证工具。很长一段时间,OCaml 语言是由学者们为学者开发的。
Animoca Brands联创:亚洲地区的发行商在Web3开发方面更为活跃:金色财经报道,Web3游戏开发商和投资公司 Animoca Brands 的联合创始人兼董事长Yat Siu周二表示,亚洲公司比北美同行更愿意采用和投资 Web3 技术。Siu 表示,在主要的国际游戏发行商及其 400 家投资组合公司中,位于日本、韩国、香港和东南亚的公司在讨论、构建和采用技术方面更为活跃,例如 NFT 和元宇宙,而不是位于美国。
Siu 解释说,由于去年许多美国公司遭遇了严酷的加密冬天,它对 NFT 的影响导致许多美国公司放弃了对 Web3 的投资。然而,投资区块链的热情在亚洲仍然存在。[2023/3/22 13:18:19]
自 2014 年以来,OCaml Pro 深入参与 Tezos 的开发工作,并帮助设计 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作,为发布做足准备。此外,OCaml Pro 还启动了几个与 Tezos 相关的项目,如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity,使用 Why3(INRIA)与 Alt-Ergo 等做为形式化验证的初始工具。
链游The Unfettered完成250万美元融资,Animoca Brands参投:5月23日消息,Awkay Technologies 公司推出的首个区块链游戏项目The Unfettered宣布完成250万美元融资,Vendetta Capital和Icetea Labs领投,Animoca Brands、Morningstar Ventures、Bridge Mutual、Momentum6、FomoCraft、GAINS Associates、Paribu Ventures、Cryowar、Gate.io Labs、AU21、ZBS Capital、Good Games Labs、BreederDAO、PolkaCity、RBL Labs等参投。
The Unfettered是一款类魂系列游戏,采用边玩边赚P2E模式,本次募资将帮助其改进游戏内容。(雅虎财经)[2022/5/23 3:36:24]
动态 | 韩国、秘鲁和哈萨克斯坦在LocalBitcoins上的比特币交易量均创历史新高:据dailyhodl报道,Coin Dance数据显示,截至2019年5月18日,韩国、秘鲁和哈萨克斯坦在点对点交易平台LocalBitcoins上的比特币交易量均创历史新高。其中,韩国较上周上涨68.33%,BTC总成交量从120,387,232韩元增至202,063,448韩元;秘鲁交易量上升上涨11.71%,BTC总成交量从3,560,270秘鲁索尔增至3,977,089秘鲁索尔;哈萨克斯坦则以微弱优势再创历史新高,BTC总成交量从56,087,581坚戈增至56,896,982坚戈。[2019/5/24]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。