发现功能使用指南
discoveryBanners
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-9.03%
USELESS
USELESS-11%
IKUN
IKUN-7.04%
gib
gib-14.01%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-8.76%
ALON
ALON-9.93%
LAUNCHCOIN
LAUNCHCOIN-11.51%
GOONC
GOONC+3.07%
KLED
KLED-1.77%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.42%
Boopa
Boopa+4.54%
PORK
PORK0.00%
Gabriela Moreira
Gabriela Moreira
2025年11月8日·
在看到Murrat的博客文章中的TLA+版本后，我在Quint和Choreo中模拟了AWS故障DNS竞争条件。 Choreo版本更冗长，但在可读性和记录故障场景方面有一些真正的优势 🧶