跳轉至主要內容
行情
掃鏈
追蹤
信號
牛人榜
兌換
資產
邀請計劃
更多
產品
DeFi
市場
洞察中心
Eco Hub
安全中心
開發者中心
DEX API
探索 DEX API
DEX API 文檔
API Key 管理
區塊鏈瀏覽器
X Layer
探索 X Layer
X Layer 瀏覽器
跨鏈橋
開發者文檔
測試網水龍頭
GitHub
DApp 連接錢包
Boost
X Launch
參與 X Launch,搶先賺新幣
Giveaway
完成指定任務,領取空投好禮
交易賽
交易熱門代幣,衝榜贏大獎
獎勵中心
領取獎勵和空投
預警
語言
貨幣
下載 OKX Wallet
Web3 指南
公告
返回
繁體中文
简体中文
English
Tiếng Việt
Русский
Español (Latinoamérica)
Bahasa Indonesia
Français
Deutsch
Italiano
Polski
Čeština
Română
Português (Portugal)
Português (Brasil)
Українська
Español (España)
Nederlands
العربية
日本語
Norsk (bokmål)
Suomi
Svenska
返回
返回
使用教程
學院
幫助中心
探索 Web3 Giveaway 活動,每週豐厚獎勵等您來領取
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
-2.24%
USELESS
-7.24%
IKUN
-12.77%
gib
-13.21%
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
Bonk
-1.07%
ALON
-9.11%
LAUNCHCOIN
-1.87%
GOONC
-7.54%
KLED
+4.15%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
-0.24%
Boopa
+7.79%
PORK
+0.17%
主頁
Taelin
種類 / 彎曲 / HVM / INets / λ微積分
查看原文
Taelin
7 小時前
使用一個優秀的思維模型的一個方便方法是擴展你的編譯器,以檢測它尚未足夠智能™找到的問題。也就是說,新的錯誤信息涵蓋新的錯誤類別。 例如,我最近用原始 C 編寫了一個較大的(15k tokens)文件。該文件實現了一些 HVM 中的硬核函數,HVM 是一種線性語言,其中變量不能被使用超過一次,否則會有損壞內存的風險。 這是一個非常微妙的錯誤。視覺上檢查整個文件會花費很長時間。調試非常困難。我在過去為此損失了數小時/數天。這次,我只是寫了一個提示,要求 AI 檢測非線性用法——這是 GCC 無法做到的。 它沒有一次性檢測出所有錯誤,所以我不得不重新運行提示幾次。儘管如此,它很快指出了代碼中錯誤的地方,使我能夠快速修復。我不斷重新運行提示,直到它開始產生幻覺,這基本上意味著大部分錯誤都消失了。
7.86K
102
Taelin
7 小時前
使用一個優秀的思維模型的一個方便方法是擴展你的編譯器,以檢測它尚未足夠智能™ 找到的問題。也就是說,新的錯誤信息可以檢測新的錯誤類別。 例如,我最近用原始 C 編寫了一個較大的(15k tokens)文件。該文件實現了一些 HVM 中的硬核函數,HVM 是一種線性語言,其中變量不能被使用超過一次,否則會有損壞內存的風險。 這是一個非常微妙的錯誤。視覺上檢查整個文件會花費很長時間。調試非常困難。我在過去為此損失了數小時/數天。這次,我只是寫了一個提示,要求 AI 檢測非線性用法——這是 GCC 無法做到的。 它沒有一次性檢測出所有錯誤,所以我不得不重新運行提示幾次。儘管如此,它很快指出了代碼中錯誤的地方,使我能夠快速修復。我不斷重新運行提示,直到它開始產生幻覺,這基本上意味著大部分錯誤都消失了。
925
Taelin
9月9日 01:15
當 gpt-5-high 失敗時,只需讓它提問 在下面的互動中: - gpt-5-high 在一個任務上表現得很糟糕 - 我告訴它停止嘗試,只需向我請求澄清 - 我注意到它誤解了我的代碼,所以我用例子進行了澄清 然後它寫了一個正確的 C 文件,150 行代碼
51.93K
856
熱門
排行
收藏