熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Ethan Buchman (🐝,🦇)
互聯網生物物理學家。可持續性存在主義者。貨幣地方主義者。
@cosmos.首席執行官 @informalinc。
孵化@cyclesmoney。
開放源碼密碼學的發表權正在接受審判，與此同時，通信和交易的隱私權這一重要人權也受到影響。
祝 @rstormsf 我們的行業，還有坦白說，我們的文明好運。
2021年5月5日
您有權保持私密。
您洩漏的任何數據都可以並將被用來對付您。
您有權使用加密技術。
如果您無法負擔自己的加密技術，開源社區將為您提供。
5.74K
祝互聯網上人類聚集在一起做的最酷的事情之一十歲生日快樂，並且從未停止過。
相信 somETHing。
2020年11月23日
以太坊是一個騙局。開玩笑的。以太坊是一項實質上具有變革性的技術，釋放了在政治經濟學中無價的實驗。
1.76K
如果你的協議沒有 Quint 規範，那它真的存在嗎？
2025年7月26日
在過去幾週中，@dnkolegov（以及@asymmetric_re 團隊）將 Minimmit 翻譯成可執行的規範（用 Quint 編寫）。
為什麼？我們現在可以自動化檢查 Minimmit 的不健全性，對抗 Apalache 符號模型檢查器 🤖。
1.65K
熱門
排行
收藏