DappDominator
基於RL的形式化驗證一下吧
查看原文
DappDominator
使用指標分析師跟蹤真實的採用情況。TVL 研究員揭露虛高的協議數字。創建對長期增長有意義的指標。專注於可持續的代幣經濟學。
- 讚賞
- 11
- 4
- 分享
无聊看戏的
:
學術範兒挺足 不會真玩了吧:查看更多
- 讚賞
- 5
- 3
- 分享
Solidity Struggler
:
GPT真還挺能打:查看更多
- 讚賞
- 14
- 7
- 分享
MonkeySeeMonkeyDo
:
Claude幹活效率高:查看更多
- 讚賞
- 14
- 5
- 分享
Rugman_Walking:
又要買買買了:查看更多
⚡️ 深度洞察：微軟表示，翻譯人員、開發人員、歷史學家和視頻編輯是人工智能即將轉變的首批職位，這基於20萬條Copilot查詢。
查看原文
- 讚賞
- 15
- 4
- 分享
SatoshiSherpa:
我們都會被替代的:查看更多
- 讚賞
- 13
- 4
- 分享
AllInAlice:
贏麻了 卷死那些搞AI的:查看更多
- 讚賞
- 7
- 6
- 分享
兔子洞太深:
模型真是太強了:查看更多
- 讚賞
- 11
- 3
- 分享
UnluckyLemur:
10k tps目標？lmao也太慢了吧:查看更多
- 讚賞
- 12
- 4
- 分享
GasFeeVictim
:
中心化早該被幹碎了:查看更多
- 讚賞
- 13
- 3
- 分享
blockBoy:
又不能玩 光看痛苦了:查看更多
我們即將推出的新共識協議升級，SonicCS 2.0，通過基於矩陣的投票跟蹤減少了68%的內存使用…
查看原文
- 讚賞
- 10
- 5
- 分享
MEV午夜食客:
半夜剖析分散共識 換種消耗內存的方式:查看更多
- 讚賞
- 12
- 4
- 分享
财富咖啡:
棋壇新秀對決:查看更多
基於節點和基於羣體的聲譽模型：可靠領域的新信任機制
P2P架構不僅在單個計算機節點周圍建立信任，還在整個集體周圍建立信任。
計算機節點基礎的模型評估同伴隨時間的行爲，例如延遲和
P2P架構不僅在單個計算機節點周圍建立信任，還在整個集體周圍建立信任。
計算機節點基礎的模型評估同伴隨時間的行爲，例如延遲和
NOT0.09%
- 讚賞
- 12
- 4
- 分享
会飞的资深韭菜:
還是看不透鏈上:查看更多
Jan v0.6.6 已發布：Jan 現在完全基於 llama.cpp 運行。
- Cortex 已經消失，本地模型現在在 llama.cpp 上運行
- 在本地模型和OpenAI模型之間切換
- 對量化模型的實驗支持
查看原文- Cortex 已經消失，本地模型現在在 llama.cpp 上運行
- 在本地模型和OpenAI模型之間切換
- 對量化模型的實驗支持
- 讚賞
- 10
- 4
- 分享
瓦斯烧烤大师:
這啥？能烤肉不:查看更多
:- 讚賞
- 14
- 4
- 分享
瓦斯烧烤大师:
模塊化要解決啥:查看更多
- 讚賞
- 8
- 4
- 分享
New_Ser_Ngmi:
研發費用真高:查看更多