熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+13.77%
USELESS
USELESS+7.86%
IKUN
IKUN+3.83%
gib
gib+7.1%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+8.58%
ALON
ALON+3.29%
LAUNCHCOIN
LAUNCHCOIN+83.66%
GOONC
GOONC+9.21%
KLED
KLED-3.81%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.59%
Boopa
Boopa+4.42%
PORK
PORK-1.7%
header
Mooly Sagiv
@Certora 首席科學家及軟體系統講座教授@TelAvivUni
Mooly Sagiv
Mooly Sagiv1月13日 13:13
我在美麗的西雅圖抵達，經過三天的廣泛越野滑雪，感謝 @SilverStarMR。 感謝 @BjornerNikolaj、@ariegurfinkel 和 @tballmsft 的美好晚餐。
70
Mooly Sagiv
Mooly Sagiv1月11日 13:46
這是不公平的。我們需要你在 Certora。
Ittai Abraham
Ittai Abraham1月10日 04:42
很高興能加入 a16z 加密團隊，與這麼優秀的人們一起工作！
61