註冊並分享邀請連結,可獲得影片播放與邀請獎勵。

檢索結果 NixOS
NixOS 貼吧
一個關鍵字就是一個貼吧,路徑全站唯一。
建立貼吧
用戶
未找到
包含 NixOS 的搜尋結果
因为 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
轉發到社區
吴说获悉,据以太坊升级协调者 Nixo Rokish,以太坊核心开发者已决定将账户抽象提案 EIP-8141 从 Considered 调整为 Hegotá 升级的 Scheduled 状态,意味着账户抽象(Account Abstraction)将作为 Hegotá 升级的重点功能推进。不过,最终实现方案仍未确定,EIP 编号、交易类型及具体规格均可能发生较大变化。近期,计划于 9 月在 Base 部署的另一账户抽象方案 EIP-8130 也成为候选方案。
顯示更多
2010年代末,美國總統特朗普的第一個任期中,「抵抗」(Resistance)成為美國政治中的風潮:特朗普宣誓就職的第二天就有五十萬人參加了首都華盛頓的反特朗普示威,後來民主黨控制的國會眾議院曾兩次試圖彈劾特朗普。 如今,當年的「抵抗派」卻風雲不再,在今年的民主黨初選中一敗塗地。 其中,曾在特朗普政府任國家安全官員的文德曼(Alex Vindman)在8月18日佛羅里達州民主黨參議員初選以超過12%的劣勢大敗於進步派候選人、美國民主社會主義者組織(DSA)成員 Angie Nixon。 文德曼的失敗固然有自身競選敷衍的原因,但「抵抗派」在此前後的一系列初選敗局,尤其是好幾場輸給進步派的選舉,則無疑反映了「抵抗派」在2020年代民主黨政治中的退潮。 曾為民主黨立下汗馬功勞的「抵抗派」為何不再受選民的歡迎?誰又在取代「抵抗英雄」的位置?👉點擊連結,閱讀全文,端為你詳細分析: 【端傳媒11周年限時優惠】 🌠 加入暢讀方案,立即解鎖11年來所有深度報導: 🍨 選擇全新守護方案,省下52美元,同步解鎖《紐約時報》: 🍧 訂閱守護方案,省下52美元,同步解鎖《華爾街日報》:
顯示更多
🔶YZi Labs 第四季 EASY Residency 入选项目速览 YZi Labs @yzilabs 表示,第四季阵容体现了其对全球支付、链上市场与「代理式金融」(agentic finance)方向的判断:更可编程、更本地化、更注重合规,并真正嵌入日常金融流程。 以下是 24 家入选公司及简要介绍: 🔸Aile :面向区域稳定币的无许可链上外汇层 🔸 @alloco_fi :从市场观点到链上投资产品 🔸D0:链上金融的本地支付轨道 🔸De¹:基于实时执行的金融世界模型 🔸ElfomoFi:EVM 市场的 Prop-AMM 基础设施 🔸Facto:让链上余额直接用于日常支付的中间件 🔸FinTax:数字资产金融的会计、税务与 AI 基础设施 🔸Kravata:拉丁美洲受监管的稳定币「最后一公里」基础设施 🔸Liquorice:意图与 RFQ 做市商的库存信贷层 🔸Meddcom AI:AI 驱动的个性化预防健康与长寿平台 🔸Nara:跨境支付的可编程信贷层 🔸 @TradeNeutral :通过金库基础设施代币化对冲基金策略 🔸Nxos:面向跨境贸易的稳定币新银行 🔸 @primus_labs :机构链上金融的机密基础设施 🔸Roostoo :AI 交易代理的资格认证层 🔸 @SmartXTerminal :链上市场的个性化社交交易 🔸Spectrum :Web2 向 Web3 过渡的加密到法币清算 🔸 @surgepayxyz :面向全球印度侨民的账单支付 🔸 @ViFi_Labs :新兴市场货币的去中心化交易所 🔸xAPI:AI 代理的 API 市场 🔸 @xhunt_ai :AI 原生创作者智能与机会基础设施 🔸XStable:链上黄金与外汇交易的 AI 原生基础设施 🔸@ZeroDriftSec :企业软件的代理式安全基础设施
顯示更多
0
78
37
12
轉發到社區
回家時收到了超棒的夏日禮物🎁❤️🌊🍻 竟然是Claude Diallo Situation 的專輯💿 而且竟是從遙遠的北國寄來的❤️ 謝謝 Peter&Ann 👀❤️(蹭蹭蹭🐶❤️ 雖然看肌肉帥哥很開心🥳但是在中野百老匯找CD對我來說也是好好玩的體驗的汪👀✨ 真的好棒歐👀✨ 心情飛上天了(尾巴螺旋槳啪嗒啪嗒🐶❤️
顯示更多
🚨 九命公社 · 半月报(2026 年 3 月上) 🌏 九命公社 × 2026 香港 Web3 嘉年华 @festival_web3 九命公社成为 2026 香港 Web3 嘉年华官方合作社区 📅 时间:2026.4.20 – 4.23 📍 地点:香港会议展览中心 🎫 专属 85 折优惠码:RPC 🎟 购票链接: 本次嘉年华由 万向区块链实验室 与 HashKey Group 联合推出品牌,由 W3ME 承办。 ——— 🏃 九命公社兴趣俱乐部正式启动,目前社区已成立: ⚽ 足球俱乐部 ⛰️ 爬山俱乐部 🧊 冰浴俱乐部 希望通过不同兴趣方向,让猫友们在市场之外也能建立更紧密的连接。在长期主义的道路上,我们不仅一起穿越周期,也一起锻炼身体、交流生活、建立信任与友谊。欢迎有兴趣的猫友积极报名参与,具体俱乐部报名方式请在九命公社官方微信群中查看。 ——— 📢 RPC NFT Holder 召集令 & 预备猫友机制持续执行 无论是长期持有还是近期在 OpenSea 新购 RPC NFT 的伙伴,请尽快前往官网登记加入社群。 🌱 「预备猫友」机制已正式运行 3 个月观察期,通过贡献、推荐或持有猫形 NFT 即可转为正式猫友,共同维护社区长期活力。 ——— 🐱 新增猫友 本期新增 3 位正式猫友: Kimmy - 来自为溪咨询 Shuman - 小红书博主,香港中文大学人类学系博士候选人 Fan - 尼克松·皮博迪律师事务所(Nixon Peabody)中国业务主管 九黎 - 投资人 Blue - 慢雾科技, 合伙人兼 CTO 欢迎加入九命公社 🐾 ——— 🎊 近期回顾 2 月,九命公社作为 Consensus Hong Kong Top Performing Community Partner 组织会员深度参与大会,并举办 4 场边会活动: 🧊 冰浴活动(已建立专属社群,未来香港/上海持续举办) ⛰ 爬山活动(长期主义线下连接) 🔶 BNB Chain 生态交流 🏛 RWA 生态主题交流 🎉 2 月 21 日, × 九命公社联合举办「链上迎财神」抽奖活动,正式会员获得专属 18 美元代金券,抽取最高 10 BNB 大奖 ——— 🔮 预告 🎁 九命公社全新周边即将发布,基于全新 Logo 设计的会员专属礼品正在制作中。 📒 九命公社会员花名册系统开发中,未来将支持: ▪️ 成员查询 ▪️ 成员直接连接 ▪️ 资源匹配 让长期建设者更容易找到同路人。 ⚽ 九命足球俱乐部首次观赛活动 焦点赛事:曼城 vs 阿森纳 📅 2026.4.19 📍 香港(具体地点群内公布) ——— 📡 官方渠道 官网: X: 微信小程序:九命公社
顯示更多