跳转至主要内容
币币兑换
行情
扫链
追踪
信号
牛人榜
资产
更多
产品
DeFi
Cryptoverse
奖励中心
市场
洞察中心
Eco Hub
邀请计划
安全中心
开发者中心
DEX API
探索 DEX API
DEX API 文档
API Key 管理
区块链浏览器
X Layer
探索 X Layer
X Layer 浏览器
跨链桥
开发者文档
测试网水龙头
GitHub
DApp 连接钱包
预警
语言
货币
下载 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
返回
返回
使用教程
学院
帮助中心
币币兑换
行情
扫链
追踪
信号
牛人榜
资产
更多
产品
DeFi
Cryptoverse
奖励中心
市场
洞察中心
Eco Hub
邀请计划
安全中心
开发者中心
探索 DEX API
DEX API 文档
API Key 管理
区块链浏览器
探索 X Layer
X Layer 浏览器
跨链桥
开发者文档
测试网水龙头
GitHub
DApp 连接钱包
预警
语言
货币
下载 OKX Wallet
Web3 指南
探索 Web3 Giveaway 活动,每周丰厚奖励等您来领取
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
+10.66%
USELESS
+3.78%
IKUN
+5.1%
gib
-8.74%
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
Bonk
+6.61%
ALON
+3.06%
LAUNCHCOIN
+22.88%
GOONC
-11.49%
KLED
-5.68%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
+0.69%
Boopa
+2.7%
PORK
+8.1%
主页
Hari
@cantinaxyz @spearbit whole // 上一页 @solidity_lang
更多
查看原文
Hari
5 小时前
形式上可证明的编程语言只是一个晦涩的数学/计算机科学概念,无法很好地转化为现实世界。它们在实际代码中根本无法扩展。 现实是,如果你想建立一个成功的开发者生态系统,你的语言需要更像JavaScript而不是Haskell。随着大型语言模型(LLMs)的崛起,这一点尤其真实,拥有更多训练数据的语言将继续扩大其市场份额。 我这样说是因为我最喜欢的编程语言是Haskell,并且我从语言设计到编译器,甚至到底层数学求解器,都是从头到尾开发这些系统的。它们无法扩展,因为底层数学求解器呈指数级爆炸。
更多
toly 🇺🇸
10 小时前
通过构造的小型形式可证明的DSL到 => bpf 会很酷。
1.08K
10
Hari
8月25日 03:58
我开始接受GPT-5了,如果你能让它认真思考,它确实很不错!
更多
Hari
8月8日 23:24
我对GPT-5的初步印象是,它是为了与Gemini竞争而设计的。 它似乎是一个工作马模型,而不是赛马。
2.66K
30
Hari
8月21日 08:37
我尝试了5个不同的数学问题,但它在所有5个问题上都失败了。其中一个问题甚至在训练集中,但它仍然失败了。 它尽力寻找“归纳模式”,但推理得并不好。
更多
Hari
8月19日 12:13
我对Gemini Deep Think寄予厚望。今天我给它出了一道奥林匹克风格的数学题,但它表现得很糟糕。 它在过程早期做出了一个错误的假设,并且继续沿着错误的方向前进。
1.96K
18
Hari
8月20日 03:12
我对AI代理有一种奇怪的感觉。 当我查看那些使用LLM开发编码工作流程的人的GitHub时,我并没有看到贡献的指数增长。 发生了什么事?
更多
3.84K
37
Hari
8月20日 02:08
@monad 是如何生成那些图像的?是 LoRA 吗?
更多
2.04K
23
Hari
8月20日 01:09
对于今天在加密领域构建的人来说:游戏规则已经改变。 过去五年你所采用的构建方式将无济于事。适应吧。
更多
3.2K
27
Hari
8月19日 23:37
ETH Denver 😂
更多
4.33K
53
Hari
8月18日 07:01
在VPS中的代理是飞行WiFi上完美的编码体验。 它迫使你在提示上更加努力,而执行不会因为糟糕的网络而受到瓶颈。
更多
2.32K
30
Hari
8月11日 00:29
具有讽刺意味的是,我们将看到计算机科学技能的传统回归。 我相信现在最重要的计算机科学技能将是编译器、基础设施和安全性。 有一个关于上计算机科学课却无法在结束时构建一个全栈应用程序的梗。现在可不再是这样了!
更多
Hari
8月10日 06:51
关于LLM编写代码: - 投资于你的CI/CD系统。想想如果你有一个庞大的工程团队,你会如何设置你的管道。这是你想要达到的水平。 - 在自动化工具上过度投资,特别是安全方面。大团队会这样做,但往往忽视这些工具的输出。LLM可以帮助整理这些输出。 - 选择一个流行的技术栈,拥有大量的公共训练数据。这些将获得更好的模型支持。比如React、Tailwind、Postgres、Typescript、AWS等。
4.55K
80
Hari
8月11日 00:26
具有讽刺意味的是,我们将看到计算机科学技能回归传统。 我相信现在最重要的计算机科学技能将是编译器、基础设施和安全性。 有一个关于上计算机科学课却无法在结束时构建一个全栈应用程序的梗。现在可不再是这样了!
更多
Hari
8月10日 06:51
关于LLM编写代码: - 投资于你的CI/CD系统。想想如果你有一个庞大的工程团队,你会如何设置你的管道。这是你想要达到的水平。 - 在自动化工具上过度投资,特别是安全方面。大团队会这样做,但往往忽视这些工具的输出。LLM可以帮助整理这些输出。 - 选择一个流行的技术栈,拥有大量的公共训练数据。这些将获得更好的模型支持。比如React、Tailwind、Postgres、Typescript、AWS等。
130
2
热门
排行
收藏
链上热点
X 热门榜
近期融资
最受认可
PumpSwap
DEX
0x Protocol
DeFi
DEX
AutoShark Finance
DeFi
4
OKX DEX
DEX
5
MarginFi
DeFi
6
Transit Swap
DEX
7
KLAYswap
DeFi
DEX
质押
Yield
8
Galxe
其他
9
Gelato Network
DeFi
10
Aerodrome
DEX