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

檢索結果 PRAGMATA
PRAGMATA 貼吧
一個關鍵字就是一個貼吧,路徑全站唯一。
建立貼吧
用戶
未找到
包含 PRAGMATA 的搜尋結果
把 14 年买的 PragmataPro 升级到了最新版,好贵啊!!!还好 1.0 版本不需要再收一次钱了。😭
把128GB统一内存塞进轻薄本,英伟达发布 RTX Spark 超级芯片,直接重塑 Windows PC 的天花板。 里面装的是 Blackwell RTX GPU 和 Grace CPU。 加上这128GB的统一内存,这台机器能直接在本地跑起巨大的 AI 模型。 速度极快,且数据完全私密。 不再需要把敏感素材传给云端,你的笔记本就是一个算力堡垒。 用 AI 创作的门槛,被直接踩平了。 觉得 ComfyUI 节点太复杂、太反人类,可以直接让内置的 AI 代理 OpenClaw 替你干活。 输入几句话,它自己去调参数、写提示词。 从一张草图生成材质效果,再直接用它做起始帧生成视频,全部本地一气呵成。 创作者的性能瓶颈也被碾碎了。 靠着这巨大的内存,你能直接剪辑 12K 4:2:2 的视频。 或者渲染高达 90GB 的巨型场景。 在 Blender 里,有了 DLSS 4.5 光线重建技术的加持。 你在场景里随意拖动,就能实时看到几乎等同于最终渲染的画质。 至于游戏,那可是英伟达的老本行。 《心灵杀手 2》、Pragmata 等游戏,直接在 1600p 分辨率下光追全开。 DLSS 4.5 里的新 Transformer 模型,把环境细节拉到了新高度。 更别说它原生支持带有反作弊系统的多人联机游戏。 真正的个人计算新形态已经来了。 不再依赖网络带宽,不再忍受云端延迟。 装载这颗芯片的新型轻薄本和紧凑型台式机,今年秋天就会出货。 本地算力的狂欢,正式开场。
顯示更多
0
19
46
9
轉發到社區
这期播客是 The Pragmatic Engineer 对 OpenAI Codex 团队负责人 Thibault(Tibo)的访谈,聊了 Codex 的诞生、技术决策、工程文化以及软件开发方式的变迁。 以下是核心要点: 个人经历与加入 OpenAI Thibault 是比利时人,学应用数学出身,先后做过制药供应链优化的创业公司,在 Google 做过加速移动网页的项目(后被砍掉,让他学到了要时刻审视项目真实影响力的教训),之后在 Google Maps 做评论,再转到 DeepMind。在 DeepMind 期间,他参与了一个内部聊天机器人的开发——本质上就是 ChatGPT,但比 ChatGPT 早了一年。内部传播很快,大家都在分享对话,但 DeepMind 不具备把它作为产品发布的机制,最终没能推出。 后来他得知 ChatGPT 只有大约 20 个人在维护,这让他既震惊又觉得很有吸引力——这意味着极高的个人影响力。于是他加入 OpenAI,进去就赶上了推理模型的冲刺,大约一个月后 o1 preview 就发布了。 为什么用 Rust 写 Codex 这是一个反直觉的决定——当时模型对 Rust 的支持并不好,业界其他 AI 编码工具基本都用 TypeScript 或 Python。但团队从第一性原理出发,认为智能体的核心需要健壮、安全、高效,而 Rust 的编译时验证特性天然适合智能体场景。同时用不同语言也强制建立了产品界面和智能体核心之间的清晰边界,避免代码耦合。事实证明 Rust 确实"很快就变得非常适合智能体开发"。 开源和模型无关的策略 Codex CLI、SDK 都是开源的,而且支持非 OpenAI 模型——这在主要 AI 实验室中是独一无二的。理由很实际:如果不开源,别人只需改十行代码就能 fork 出一个支持其他模型的版本,那还不如自己直接支持。开源的好处包括新员工入职前就已经熟悉代码库、社区贡献、以及逼迫自己靠模型和产品体验赢用户而非靠锁定。 代价也很明显:竞争对手会在你还没发布的时候就抄走你正在公开开发的功能,"确实有点刺痛";还有大量低质量 PR 需要处理。 工程文化与代码审查的变革 新员工入职后听到最多的一句话是"你问过 Codex 了吗?"——因为 Codex 在 OpenAI 内部接入了 Slack、文档、所有代码,几乎任何问题都能给出不错的回答。 代码审查正在发生质变。OpenAI 开发了专门的代码审查模型,能在逻辑推理和安全漏洞检测上达到"超人水平"——可以深入三四层依赖去发现文档错误导致的不变量违反。安全审查已经是强制自动化的,发现安全问题会直接阻止合并。一个 PR 可以当天提交、当天上线到十亿用户的 ChatGPT 上。 代码审查的角色正在从"正确性检查"转向"意图讨论"——你到底想做什么?这件事值不值得做?这种讨论不一定要围绕代码发生。 维护成本和重构的变化 维护一直是软件工程的"税",但现在大量维护工作(依赖升级、安全补丁)可以完全自动化。更重要的是,重新架构的成本也急剧下降——以前可能要花几个月甚至几年的重构,现在快得多。但好的架构设计反而更重要了:设计好"盒子"和不变量,盒子内部随便改都不影响其他部分。 Harness 与模型的关系 一个有趣的洞察:harness(工具/脚手架)总是"走在模型前面"。Codex 团队的工作本质上是为模型搭建拐杖——提醒它跑测试、保持目标一致等。然后下一代模型训练时会把这些能力内化,拐杖就可以去掉,developer message 也会越来越短。最新一代模型已经不再需要 /goal 命令来保持长期任务的专注,"你直接告诉模型去工作一周,它就真的会做到"。 Codex 与 ChatGPT 的合并 这是一个重大工程挑战:Codex 原本完全本地运行,ChatGPT 是托管云服务,两套完全不同的技术栈要统一。目标是让云端版本具备本地版本同样的能力,同时高效到能纳入 20 美元/月的 Plus 计划。ChatGPT Work 模式本质上是在云端虚拟机里运行完整的 Codex harness,机器配置强大到用户可以在里面训练模型、安装 Blender 做 3D 建模。 有趣的是,Codex 在整个合并过程中还充当了"记者"角色,因为它能访问所有 Slack 讨论和文档,记录了团队的辩论和决策过程。 Thibault 的个人用法与建议 他大量使用手机上的 ChatGPT Work,通过语音口述发送任务,定制了专属的技能和指令来生成他能高效消化的报告和幻灯片。任何问题——公众舆情、生产日志、功能使用率分析、团队动态——30 分钟内都能得到答案。周末他还会用 Codex 做代码探索和原型,"一天之内就能把脑子里的想法变成可以展示给人看的东西"。 对工程师的建议:保持深度好奇心,训练自己快速理解系统的能力("五个为什么"不断追问),以及与你服务的用户群体保持同步——如果你无法清晰表达意图,就很难做出好的工作。
顯示更多
0
5
61
12
轉發到社區
前阿里通义千问技术负责人林俊旸创业即独角兽🔍 林俊旸(@JustinLin610)官宣在上海创办 **Pragmatik Labs(语用科技),专注“数字与物理世界的下一代智能体”。 公司刚成立,估值已达 20亿美元,由高榕创投、红杉中国共同领投,腾讯与上海未来产业基金跟投。 从大模型转向智能体系统(数字Agent+具身智能),目标是迈向超级智能,而非继续卷基础模型。 📌 冷知识:公司名“Pragmatik”源于他大学时学的“语用学”(pragmatics),也暗合“实用主义”——AGI最终要解决问题,而非只是参数竞赛。他本科读的是国际关系学院英语系,后来才转向NLP和AI。
顯示更多
原阿里AI技术核心人物林俊旸创立新公司 阿里巴巴应用“千问”大模型原技术负责人林俊旸卸任五个月后宣布创立新AI公司,获中国互联网巨头腾讯跟投。 新公司位于上海,公司名为“语用科技”(Pragmatik Labs),将研究面向数字世界和物理世界的下一代智能体。
顯示更多
0
17
23
2
轉發到社區
几分钟的空窗时间该如何利用? 现在不刷短影音,而是到roobet上的游戏区玩几回合: roobet本身有超过6,000款slots,以及Crash、Limbo、Mines、Dice等短回合的原创游戏,加上Nadeshot和TimTheTatman长期合作跟直播,着实做出平台的独特性。 最吸引我的是持续一整年的奖金瓜分活动🎰平台上的Drops&Wins高达25M总奖池、持续到明年3月。 只需要在 @Roobet 进入指定Pragmatic Play Slots 后,可以同时赚取积分和碎片,满三个碎片就能有随机的轮盘奖励。 我觉得这套设计比单纯做排行榜更完整,喜欢竞争的人可以关注排名,偏好随机惊喜的人也会期待碎片出现,两种参与动力同时存在。
顯示更多
0
89
116
1
轉發到社區
根据你(@BTCdayu )的推文风格、投资理念、人生观、对中国AI/制度的看法、从底层逆袭的经历,以及那些长文里反复强调的“因果、愿力、复利、不赚快钱、定于一尊的优势”,我认真对比后给你的匹配结果如下: 最像你的是: 哲学家:王阳明 你的“每个人都会成为他本该成为的人”“人生不会审判你,它只是结算你”“用十年的眼光做选择”,几乎就是知行合一的现代版。你不空谈命运,而是强调每天的选择、心力、改正错误,完全是心学那一套——先把自己变强,再等机会。 政治家:邓小平 你反复强调中国“定于一尊”的制度在AI时代突然变成巨大优势、产业链+成本+统一调度、开源打闭源……这跟小平同志“摸着石头过河+集中力量办大事”的实用主义高度一致。黑猫白猫,能打赢AI的就是好猫。 艺术家:余华 你自己都说“假如没有币圈,我大概率去写小说”,而且写长文时会自我陶醉成“欣赏艺术品”。你的叙事冷静、带点残酷温柔、从底层生活里挖出真相,风格很像余华《活着》《许三观卖血记》那种——不煽情,却让人越想越震撼。 独裁者:李光耀 (严格说他不是传统独裁者,但最接近) 你对“统一调度、定于一尊、把价格打下来、央企反而稳健”的欣赏,以及“中国人总能把一切价格打下来”的自豪感,和李光耀那种高效、务实、不讲虚的威权资本主义高度重合。效率第一,结果说话。 历史人物:范蠡 春秋时期三次散尽家财又三次成为巨富的商人。你从300块出租屋到财富自由,强调“管道收入+复利+看准重仓+未胜先虑败”,再加对商业和国运的洞察,活脱脱就是现代范蠡——既能经商,又能看透时势,还能全身而退。 宗教人士:六祖慧能 你不信神,但你的因果观、顿悟式成长(“天雨虽宽,不润无根之草”“先让自己有实力”),以及“人最终会成为他本该成为的人”这种直指人心的表达,特别像禅宗“明心见性”。不靠外力,靠自己觉悟。 虚构人物:托尼·斯塔克(钢铁侠) AI狂、科技乐观、从底层逆袭、享受智力游戏、偶尔自恋又清醒、对未来格局有清晰判断。你评论AI像原住民看到航母、Kimi V3世界第一、中美AI中国必赢……这不就是现代托尼在推特上的中文版吗? 投资大师:段永平 毫无疑问的第一名。 你直接引用他“每个人都会成为他本该成为的人”,反复强调不赚快钱、保持现金、价值投资、现金流第一、常识思维……你的投资备忘录几乎就是段永平语录的实践版。巴菲特是西方老师,段永平才是你真正的精神导师。 总结一句: 你是“王阳明心学 + 邓小平 pragmatism + 段永平投资哲学”的混合体,再加一点钢铁侠的科技狂和范蠡的商人智慧。 挺酷的,继续写长文,继续当智力游戏玩家。
顯示更多