注册并分享邀请链接,可获得视频播放与邀请奖励。

搜索结果 Haskell
Haskell 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 Haskell 的推特
STRATO @strato_net 已经把黄金、白银抵押借稳定币的功能做进了主网应用 说项目可能大家不太熟,介绍下团队背景吧,这个项目由以太坊联合创始人、ConsenSys 创始人 Joe Lubin 担任顾问,背后的 BlockApps 团队累计融资超过 4100 万美元 CEO Kieren James-Lubin 和 CTO Jim Hormuzdiar 在 2014 年就参与了以太坊 Haskell 客户端的开发,这个客户端是 2015 年以太坊主网上线时六个兼容客户端之一 Joe Lubin 在官网列明的身份是顾问,主要提供生态、战略和长期基础设施方面的建议 根据项目文档,GOLDST 和 SILVST 每枚分别对应金库里的 1 金衡盎司黄金和白银,支持实物赎回 比较有意思的是,这些代币可以放进 CDP,也就是抵押借款仓位,铸出美元稳定币 USDST,再拿去兑换、储蓄或者做流动性 也就是说,不用先卖掉黄金,也能借出一笔稳定币去用,黄金本身的价格敞口还在 我觉得这个用途比单纯持有黄金代币更值得看。但借出来的钱有成本,金价下跌也会影响抵押率,低于最低要求就可能被清算 抵押品也不只有金银,文档里还包括加密资产、生息稳定币和代币化股票 需要注意的是,USDST 和项目代币 $STRATO 是两回事 按目前的公开材料,网络每笔交易收取 0.01 USDST 或一张 voucher,用 $STRATO 付 gas、持币降低借款费用都还在规划中,期待 TGE 表现
显示更多
0
72
37
0
转发到社区
🔧 光看教程学不会编程,project-based-learning 直接甩给你一份从零手搓真项目的清单。 GitHub 上 28 万 star、3.6 万个 fork,是那种攒了快十年、到现在还在更新的老仓库。 学编程最容易卡住的地方,是语法教程看完之后不知道该干嘛。书上的例子全跑通了,自己动手写点东西还是一片空白,然后就卡在那儿,慢慢就放弃了。 project-based-learning 收的全是那种带你做出一个能跑的东西的教程,按语言分好了类,C、C++、Go、Rust、Python、JavaScript、Java、Kotlin、Swift、Haskell 这些都有。往细里翻更带劲:C/C++ 那栏能找到手写解释器、内存分配器、shell、文件系统、文本编辑器,一直到操作系统和编译器;Python 那栏是爬虫、Web 应用、机器人、机器学习、OpenCV;Dart 那栏干脆是一堆 Flutter 教程,把 Instagram、WhatsApp、TikTok、Netflix 的界面挨个复刻一遍。 这类清单最怕的是链接烂掉,点进去一半是死链。这个仓库挂了一个自动跑的链接失效检查,坏掉的链接能被扫出来。 编程这东西,看一百遍不如自己踩着坑做出来一个。 GitHub:
显示更多
0
7
108
19
转发到社区
因为 DeepSeek Harness,很多人才第一次听到崔添翼 @tianyi 这个名字。 我好奇继续深挖了下他的公开经历,发现这人的技术轨迹很有意思。 很多程序员都看过的《背包问题九讲》,第一版是他 2007 年写的。2010 年他已经在维护 NixOS 的 Git mirror,后来 NixOS 正式迁往 GitHub,官方还专门感谢他提供了 NixOS 这个 GitHub organisation。 大学期间他很痴迷函数式编程,研究过纯函数式 B-Tree,还用 OCaml 实现过《Purely Functional Data Structures》。 2013 年找工作,他说自己一直想找一份真正使用 Haskell 或类似语言的工作。看到 Jane Street 全面使用 OCaml 后,他从零开始学 OCaml,写了一个 Lisp interpreter 去准备面试。 最后他同时拿到 Google Mountain View 和 Jane Street 的 offer,去了 Jane Street,在香港和纽约做了接近 9 年的软件开发和量化研究。 中间还有个很少被提到的细节:他 2015 年其实还署名过一篇 AAAI 的 NLP 论文。 2022 年出来联合创办 TSY Capital,做的已经是另一类很硬的系统:Python/AWS 的量化研究基础设施,加上 Rust 的低延迟交易系统。 今年 3 月,他加入 DeepSeek,负责 Harness 团队。现在打开他的 GitHub,两个置顶项目刚好一老一新,《背包问题九讲》和 DeepSeek Harness。 这条线串起来,我大概能理解 DeepSeek 为什么会找他来做 Harness 了。 量化系统和 Agent 有一个很像的地方:上层可以产生有不确定性的决策,真正落到现实世界执行时,状态、依赖、风险、失败恢复和可追踪性都不能含糊。 DeepSeek Harness 这次强调「Everything is a plugin」「Every run is traceable」,底层 Cordis 甚至专门研究如何撤销组件产生的副作用。 算法 → 函数式编程 → 交易系统 → Agent Harness。 未来顶级 Agent 团队里,这种系统和基础设施背景的人,可能会比我们现在想象得多。
显示更多
0
75
1K
80
转发到社区
我发现黄金上链这事,我可能盯错标的了 前两天一直在看 DefiLlama 的有色金属,本来想看 XAUT、PAXG 又多了多少流动性,往下滑,发现 GOLDST 在黄金类 DeFi 活跃 TVL 里排第三,白银那边 SILVST 按 STRATO 自己的口径也排在前列。 STRATO @strato_net 这条链在贵金属赛道按 DeFi 活跃 TVL 能看到排在前排,RWA 协议里也靠前。 我原来对黄金代币的印象就是链上有个凭证,实物在金库。 但 STRATO 不是只看: 黄金、白银、RWA、加密资产都能放进去,能抵押借 USDST,能存金库、组 LP 吃收益,也能兑换交易。 然后我才注意到一个细节: XAUT、PAXG 这些黄金代币背后没有网络代币,但 STRATO 有 $STRATO 。 你除了参与黄金白银和 RWA 代币化本身,还能吃到生态增长的利润。 不是非让你买,就是觉得这个结构之前没太有人讲。 因为 CEO Kieren 他们 2014 年就在参与早期以太坊基础设施,Jim 是早期 Haskell 客户端贡献者,微软 Azure 区块链、企业以太坊联盟都沾过,Joe Lubin 做顾问,Consensys 支持。 5000 万美元是 BlockApps 主体累计融资,不是单给 STRATO 这轮,投资方包括 ConsenSys、Galaxy、Fenbushi 这些。 现在 RWA 活跃 AUM 大概 2900 万美元,DeFi 活跃 TVL 大约 1350 万美元,此前披露的黄金支持贷款发放额接近 500 万美元。 积分计划也上了,TGE 说是在 Q4。 纯分享,别当投资建议,但如果你只看黄金代币市值,可能会漏掉我说的这两个角度。 @strato_net #RWA# #黄金# #DeFi# #STRATO#
显示更多
0
179
113
3
转发到社区
因为我过早(2008年)就投入苹果的怀抱,所以这近20年对 Windows 基本没有什么了解。 直到本月因为给某厂做培训,才意识到,其实微软有些东西很先进。 就比如说,Rust 里的 async/await ,这种让异步代码写起来、读起来几乎和同步一样的优雅特性,是 C# 率先带入主流(2012)的。 再比如 IOCP,它的 proactor 完成模型比 Linux io_uring 早多了。 这些我之前也知道,但当时我并未因此意识到微软的先进性。 但当我知道这个 IOCP 在 1993 年就随 Windows NT 3.1 引入的时候,我就有点惊到了。 因为在我脑子里,微软/Windows 相比于 Linux/Macos 都是落后的代表 。。。 然后我又发现 TypeScript 是 2012 年开始给动态语言补渐进类型的路数。。。 LSP 是 2016 年 。。。 最牛逼的是 COM 的 ABI 思路了,领先业界 30 年 。。。 继续深挖还发现了不得了的事 , 微软研究院 90 年代末做的 Singularity/Midori,用 Sing#(C# 变体)写的实验操作系统,靠类型系统保证隔离而不是硬件 MMU,里面已经有线性类型和所有权语义的影子。 它比 Rust 早十年在探索"用类型系统替代运行时安全检查"这条路。 惊到了。 还有 Simon Peyton Jones (Haskell 的核心作者之一),在微软研究院待了二十年。GHC 的很多演进是微软发工资做的。 从某种意义来说, Rust 的 trait/类型类的血统里,流着微软研究院的钱😆 随着深挖,我逐渐意识到,微软有一个别人长期没有的东西: 一个真正做研究的实验室,和一条把研究成果推进产品的通道。
显示更多
0
53
144
10
转发到社区
今天 Stripe 和 Paradigm 一起公布了稳定币公链 @Tempo 的更多信息,快速整理一下: ◦ 基础定位:独立的 Layer 1 公链,作为独立公司运营,由 Stripe 和 Paradigm 共同孵化 (投资)。 ◦ 技术特性:支持任意稳定币作为 gas、TPS 达 100,000+、EVM 兼容、低手续费。 ◦ 核心用例:全球支付/汇款、跨境收/付款、薪资结算、企业金融账户、小额支付等 ◦ 公链生态:任何人都可以在 Tempo 上发行稳定币,并用于 gas;秉承去中心化、中立原则;内置稳定币 AMM 模块。 ◦ 项目阶段:目前在私有测试网阶段。 ◦ 合伙伙伴:包括 Anthropic, DoorDash, OpenAI, Shopify, Visa, 德意志银行, 渣打银行等初期合作伙伴,我估计是 Tempo 公链的第一批验证节点。 ◦ 团队成员:目前团队 15 人。Paradigm 创始人 @matthuang 既是 Stripe 董事会成员,这次也亲自挂帅作为 Tempo 项目负责人。其他早期成员包括 @malleshpai @sytaylor @nischayup @samczsun @liamihorne @0xKitsune @zhygis @lindsey_haswell ◦ 参考资料:Stripe 此前在稳定币、钱包方面的收购布局: ◦ 未知问题:Tempo 会像 Plasma 那样发行公链代币吗?估计是不会。 ◦ 参与机会:??? 留给开发者 / 创业者来补充吧
显示更多
0
10
39
4
转发到社区