熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
人們必須想像 Guille 總是快樂的
7月4日 08:10
today's ridiculous bit in Julia: implementing a (simple!) formal verification mini-PL by using Julia types
it can even verify that 1+1=2 from Peano axioms!
1.14K
熱門
排行
收藏