BTC/HKD+0.07%
ETH/HKD+3.26%
LTC/HKD+0.59%
DOT/HKD+4.96%
ADA/HKD+14.94%
SOL/HKD+5.84%
XRP/HKD+0.94%
DOGE/US+1.95%
法國軟件公司 OCaml Pro，創立于 2011 年，通過使用較為正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml，同時，還開發了 Alt-Ergo 等驗證工具。很長一段時間，OCaml 語言是由學者們為學者開發的。
Virtual Arts完成新一輪融資，Animoca Brands Japan參投:金色財經報道，據Animoca Brands官方消息，Virtual Arts宣布完成新一輪融資，Animoca Brands戰略子公司Animoca Brands Japan參投，具體投資金額暫未公開。Virtual Arts正在為全球街舞社區構建一個Web3舞蹈對戰應用，該應用預計將在今年五月上線虛擬化身功能，后續還將添加新功能，將舞蹈視頻轉換為用戶頭像并提供更多Web3內容。[2023/2/16 12:10:09]
自 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和BNB Chain的2億美元鏈游投資計劃僅完成少量投資:金色財經報道，自從Animoca Brands和BNB Chain在去年聯合推出規模為2億美元的鏈游投資計劃以來，僅完成少量投資，根據Dealroom數據顯示，Animoca和Binance Labs共同參與了同一輪融資的次數僅有三次（Heroes of Mavia、Community Gaming和Tatsumeeko），而且這些交易似乎不是通過聯合投資計劃達成的。
此前報道，Animoca Brands聯合創始人兼首席執行官YatSiu在接受采訪時表示，該公司計劃推出高達20億美元的基金Animoca Capital，用于投資元宇宙業務，預計明年將進行第一筆投資。該基金的目標是10-20億美元，但Yat Siu表示尚未籌集到資金。（The Block）[2022/12/6 21:26:08]
動態 | 點對點交易平臺LocalBitcoins.com停機維護 維護時間預計為2小時:比特幣點對點交易平臺LocalBitcoins.com 約20分鐘前發推稱，平臺服務暫時停止以進行維護，我們正在努力盡快修復這個問題。預計維護時間為2小時。“交易超時”已被禁用，因此交易將不會在維護期間過期。[2019/10/15]
有了它們,才可以在立秋的開始“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
比特幣行情
