洞察中心
Cryptoverse
交易競技場
Cryptopedia
Giveaway
Eco hub
探索 Web3 Giveaway 活動，每週豐厚獎勵等您來領取
discoveryBanners
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+0.87%
USELESS
USELESS-10.18%
IKUN
IKUN+11.54%
gib
gib+14.71%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-2.18%
ALON
ALON+2.83%
LAUNCHCOIN
LAUNCHCOIN+2.84%
GOONC
GOONC-6.78%
KLED
KLED+5.65%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-2.88%
Boopa
Boopa-0.47%
PORK
PORK+7.13%
guille
guille
7月4日 08:10·
今天 Julia 中的荒謬部分：使用 Julia 類型實現一個（簡單的）形式化驗證 mini-PL 它甚至可以驗證 1+1=2 來自 Peano 公理！
4.68K