BTC/HKD+1.22%
ETH/HKD+4.08%
LTC/HKD+6.35%
DOT/HKD+6.58%
ADA/HKD+6.1%
SOL/HKD+4.86%
XRP/HKD+5.04%
DOGE/US+5.74%
法國軟件公司 OCaml Pro，創立于 2011 年，通過使用較為正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml，同時，還開發了 Alt-Ergo 等驗證工具。很長一段時間，OCaml 語言是由學者們為學者開發的。
Aradena完成Pre-seed輪融資，Animoca Brands領投:3月30日消息，P2E鏈游開發商Aradena宣布完成Pre-seed輪融資，本輪融資由Animoca Brands領投，具體融資金額暫未透露。本輪融資資金將用于進一步擴展《Aradena：Battlegrounds》和《Aradena：Kingdoms》兩款P2E鏈游的設計和開發。[2022/3/30 14:26:12]
自 2014 年以來，OCaml Pro 深入參與 Tezos 的開發工作，并幫助設計 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基礎上為 Tezos 代碼庫工作，為發布做足準備。此外，OCaml Pro 還啟動了幾個與 Tezos 相關的項目，如 TZScan、Tezos Block Explorer 與智能合約的高級編程語言 Liquidity，使用 Why3（INRIA）與 Alt-Ergo 等做為形式化驗證的初始工具。
日本游戲公會Apricot Planet完成種子輪融資，投資方為Animoca Brands:金色財經消息，日本P2E游戲公會Apricot Planet完成種子輪融資，投資方為Animoca Brands。ApricotPlanet將用metaverse JobJapan作為新公會品牌名稱。（metaversejobjapan）[2022/3/24 14:15:45]
Animoca Brands成為NFT元宇宙游戲Warena主要投資者與合作伙伴:10月4日消息，區塊鏈游戲和NFT開發商Animoca Brands最近成為NFT元宇宙游戲Warena的主要投資者與合作伙伴。與Animoca的合作將幫助Warena將數字產權真正交付給全球游戲玩家與互聯網用戶，并通過邊賺邊玩（Play-to-Earn）模式創造新的資產類別，為用戶構建公平的數字框架以及更開放的元宇宙。
據悉，Warena將分兩階段發布，首個階段將于2021年第三季度推出，此階段包括2D塔防游戲，第二階段將于2022年第二季度推出，會增加新的元宇宙相關功能[2021/10/4 17:23:32]
有了它們,才可以在立秋的開始“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
加密貨幣交易所
