跳轉至主要內容
幣幣兌換
行情
掃鏈
追蹤
信號
牛人榜
資產
更多
產品
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
返回
返回
使用教程
學院
幫助中心
探索 Web3 Giveaway 活動,每週豐厚獎勵等您來領取
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
+12.25%
USELESS
+8.83%
IKUN
+7.63%
gib
-12.4%
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
Bonk
+5.12%
ALON
+2.51%
LAUNCHCOIN
+14.55%
GOONC
-18.36%
KLED
-0.54%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
+1.57%
Boopa
+5.01%
PORK
+6.7%
主頁
Hari
@cantinaxyz @spearbit 整個 // 上一頁 @solidity_lang
更多
查看原文
Hari
13 小時前
形式上可證明的程式語言只是個晦澀的數學/計算機科學概念,無法很好地轉化為現實世界。它們在實際代碼中根本無法擴展。 現實是,如果你想建立一個成功的開發者生態系統,你的語言需要更像JavaScript而不是Haskell。隨著大型語言模型(LLMs)的崛起,這一點尤其真實,擁有更多訓練數據的語言將繼續擴大其市場份額。 我這樣說是因為我最喜歡的程式語言是Haskell,並且我從語言設計到編譯器,甚至到底層數學求解器,都是從頭到尾開發這些系統的。它們無法擴展,因為底層數學求解器呈指數級爆炸。
更多
toly 🇺🇸
18 小時前
通過構造的小型形式可證明的DSL到 => bpf 會很酷。
2.37K
21
Hari
8月25日 03:58
我開始接受GPT-5了,如果你能讓它認真思考,它確實很不錯!
更多
Hari
8月8日 23:24
我對GPT-5的初步印象是,它是為了與Gemini競爭而設計的。 它似乎是一個工作馬模型,而不是賽馬。
2.73K
31
Hari
8月21日 08:37
我嘗試了5個不同的數學問題,但它在所有5個問題上都失敗了。其中一個問題甚至在訓練集中,但它仍然失敗了。 它盡力尋找「歸納模式」,但推理得並不好。
更多
Hari
8月19日 12:13
我對Gemini Deep Think寄予厚望。今天我給它出了一道奧林匹克風格的數學題,但它表現得很糟糕。 它在過程早期做出了錯誤的假設,並且繼續沿著錯誤的方向前進。
1.98K
18
Hari
8月20日 03:12
我對AI代理有一種奇怪的感覺。 當我查看那些使用LLM開發編碼工作流程的人的GitHub時,我並沒有看到貢獻的指數增長。 發生了什麼事?
更多
3.86K
37
Hari
8月20日 02:08
@monad 是如何生成那些圖像的?是 LoRA 嗎?
更多
2.05K
23
Hari
8月20日 01:09
對於今天在加密領域構建的人來說:遊戲規則已經改變。 過去五年你所採用的構建方式將無濟於事。適應吧。
更多
3.22K
27
Hari
8月19日 23:37
ETH Denver 😂
更多
4.35K
53
Hari
8月18日 07:01
在VPS中的代理是飛行WiFi上完美的編碼體驗。 它迫使你在提示上更加努力,而執行不會因為糟糕的網絡而受到瓶頸。
更多
2.33K
30
Hari
8月11日 00:29
諷刺的是,我們將看到計算機科學技能的傳統回歸。 我相信現在最重要的計算機科學技能將是編譯器、基礎設施和安全性。 有一個關於上計算機科學課卻無法在結束時構建完整應用程序的迷因。但現在不再是這樣了!
更多
Hari
8月10日 06:51
關於 LLMs 寫代碼: - 投資於你的 CI/CD 系統。想想如果你有一個龐大的工程團隊,你會如何設置你的管道。這就是你想要達到的水平。 - 在自動化工具上過度投資,特別是安全性方面。大型團隊會這樣做,但往往忽視這些工具的輸出。LLMs 可以幫助篩選這些輸出。 - 選擇一個流行的技術棧,擁有大量的公共訓練數據。這些將獲得更好的模型支持。比如 React、Tailwind、Postgres、Typescript、AWS 等等。
4.57K
80
Hari
8月11日 00:26
諷刺的是,我們將看到計算機科學技能回歸傳統。 我相信現在最重要的計算機科學技能將是編譯器、基礎設施和安全性。 有一個關於上計算機科學課卻無法在結束時構建全棧應用的迷因。但現在不再是這樣了!
更多
Hari
8月10日 06:51
關於 LLMs 寫代碼: - 投資於你的 CI/CD 系統。想想如果你有一個龐大的工程團隊,你會如何設置你的管道。這就是你想要達到的水平。 - 在自動化工具上過度投資,特別是安全性方面。大型團隊會這樣做,但往往忽視這些工具的輸出。LLMs 可以幫助篩選這些輸出。 - 選擇一個流行的技術棧,擁有大量的公共訓練數據。這些將獲得更好的模型支持。比如 React、Tailwind、Postgres、Typescript、AWS 等等。
149
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