跳转至主要内容
行情
扫链
追踪
信号
牛人榜
兑换
资产
邀请计划
更多
产品
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
-5.69%
USELESS
-8.33%
IKUN
-6.7%
gib
-12%
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
Bonk
-1.12%
ALON
-9.87%
LAUNCHCOIN
-6.65%
GOONC
-13.21%
KLED
+6.38%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
-0.34%
Boopa
+11.4%
PORK
+1.84%
主页
Taelin
种类 / 弯曲 / HVM / INets / λ微积分
查看原文
Taelin
3 小时前
使用一个优秀的思维模型的一个方便方法是扩展你的编译器,以检测它尚未足够智能™找到的问题。也就是说,新的错误信息涵盖新的错误类别。 例如,我最近用原始 C 编写了一个较大的(15k tokens)文件。该文件实现了一些 HVM 中的硬核函数,HVM 是一种线性语言,其中变量不能被使用超过一次,否则会有损坏内存的风险。 这是一个非常微妙的错误。视觉上检查整个文件会花费很长时间。调试非常困难。我在过去为此损失了数小时/数天。这次,我只是写了一个提示,要求 AI 检测非线性用法——这是 GCC 无法做到的。 它没有一次性检测出所有错误,所以我不得不重新运行提示几次。尽管如此,它很快指出了代码中错误的地方,使我能够快速修复。我不断重新运行提示,直到它开始产生幻觉,这基本上意味着大部分错误都消失了。
4.4K
52
Taelin
3 小时前
使用一个优秀的思维模型的一个方便方法是扩展你的编译器,以检测它尚未足够智能™ 找到的问题。也就是说,新的错误信息可以检测新的错误类别。 例如,我最近用原始 C 编写了一个较大的(15k tokens)文件。该文件实现了一些 HVM 中的硬核函数,HVM 是一种线性语言,其中变量不能被使用超过一次,否则会有损坏内存的风险。 这是一个非常微妙的错误。视觉上检查整个文件会花费很长时间。调试非常困难。我在过去为此损失了数小时/数天。这次,我只是写了一个提示,要求 AI 检测非线性用法——这是 GCC 无法做到的。 它没有一次性检测出所有错误,所以我不得不重新运行提示几次。尽管如此,它很快指出了代码中错误的地方,使我能够快速修复。我不断重新运行提示,直到它开始产生幻觉,这基本上意味着大部分错误都消失了。
652
Taelin
9月9日 01:15
当 gpt-5-high 失败时,只需让它提问 在下面的互动中: - gpt-5-high 在一个任务上表现得很糟糕 - 我告诉它停止尝试,只需向我请求澄清 - 我注意到它误解了我的代码,所以我用例子进行了澄清 然后它写了一个正确的 C 文件,150 行代码
51.92K
856
热门
排行
收藏