熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-1.72%
USELESS
USELESS-0.35%
IKUN
IKUN+0.58%
gib
gib-0.78%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+0.29%
ALON
ALON-6.57%
LAUNCHCOIN
LAUNCHCOIN-5.72%
GOONC
GOONC-2.77%
KLED
KLED+4.67%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.53%
Boopa
Boopa-4.64%
PORK
PORK0.00%
header
Tudor Achim
Tudor Achim
Tudor Achim2026年1月27日
哇
zkSecurity
zkSecurity2026年1月27日
We formalized FRI soundness in Lean, using @HarmonicMath and Claude Code. - FRI analysis by @nico_mnbl and collaborators - turned into a Lean proof by @pirapira 🔥
40
Tudor Achim
Tudor Achim2026年1月20日
你是否曾經遇到過一個關鍵的 Python 腳本在運行幾天後卡住？0% CPU。沒有錯誤。重啟會清除調試狀態，而現有的工具只顯示線程為 "閒置"。 今天，我們將 python-memtools 開源，以解決這個問題。🧵👇
160
Tudor Achim
Tudor Achim2025年12月19日
沒有人應該在比賽中宣稱勝利而不分享證據。在數學比賽的情況下，有效的證據應該是自然語言中的非正式證明，或是正式的 Lean4 證明。而這些證據應該與公告一起發布，而不是一週後。 不這樣做只是在進行互動農業和炒作。AI 行業已經受夠了這些。
251