启用 JavaScript 和 cookies 以继续
启用 JavaScript 和 cookies 以继续
文章探讨苹果键盘的脏话系统。一个本地数据库 ~/Library/Keyboard/VulgarWordUsage.db 按应用和收件人记录粗话,以便自动纠错学习何时停止纠正它们;作者的数据库为空。更有趣的是苹果系统词典,其中私有 Lexicon.framework 函数揭示每个词条的两个标记字段。一个字段将数千个单词分入三个层级之一——粗俗、冒犯或敏感;另一个字段分配主题标记,如排泄、身体部位、侮辱、毒品、政治、宗教、性、暴力和武器。这些层级似乎控制未主动触发的建议而非阻止输入。值得注意的发现包括:Oedipus 被列为粗俗,Tom 和 Mick 被列为冒犯,pee、poo、niggle 和 underling 被列为敏感。在英语敏感层级中,Trump 是唯一在世政治人物,与 Hitler、Mao、Osama bin Laden 和 Taliban 并列;Biden、Obama 和 Putin 未被标记。另有短语拦截名单过滤序列。含义为推断,可能因地区和操作系统版本而异。
Kairos 是一个开源的实时欺诈与风险决策平台,可在一次调用中评估注册、登录、订单、支付和提现,返回批准、加强验证、人工审核或拦截,并附带风险评分和原因。它保留每个决策及其信号,并支持工作流、审核队列、案件、实验和 MCP 访问,以便编码代理检查决策并调优模型。其决策模型 Grayson 以校准概率回答自然语言问题,可在少量标签下工作,并可读取非结构化数据;而逻辑回归和梯度提升树等传统模型从你的数据和 Grayson 的回答中学习。Kairos 可以组合两者,并运行实验,按 ROC-AUC 和 PR-AUC 等指标选择最佳变体。它提供 TypeScript/Python SDK、CLI、自托管、入站 webhook 以及 Shopify 等集成。注册会创建沙箱;代理可以构建工作流、提出模型变体并发布胜者。
地味万圣节,又称平凡万圣节,是2014年由Daily Portal Z成年人发起的日本传统,他们希望在不穿浮夸服装的情况下庆祝万圣节。参与者转而穿着需要解释的普通日常生活服装,例如在小居酒屋合照时感到局促的人,或在研究设计师水龙头的人。社交媒体在#地味ハロウィン下展示这些低调服装。
HackerTV HNTV Hacker News 用户彼此推荐观看的视频。全天候广播。所有人看到相同内容。⏻ 开机 播放 ▶ SP 静音 HNTVMODEL HN-1986 -- CH ▲ CH ▼ 指南 画面 静音 剧院 全屏 信息 CC 电源 123 456 789 PREV0ENT 画面:清晰 YouTube 元数据获取前时长为估算,因此部分节目会偏短(“请待机”)或被截断。按键:↑↓ 频道 · 0-9 调台 · G 指南 · F 画面 · M 静音 · C 字幕 · I 信息 · T 剧院 · 双击屏幕全屏 · P 电源 CH ▼ -- CH ▲ 指南 画面 静音 CC ⛶ 退出 ✕ 在 Hacker News 讨论 ↗ 目录由 HackerTube(ODC-By)提供种子,基于 open-index/hacker-news 存档。通过 HN Search API 每周从新 HN 评论更新,经代码过滤并由 Claude 标注 · 来源与流程 视频来自 YouTube。HN 评论仍为其作者作品。与 YouTube、Google、Hacker News 或 Y Combinator 无关联。
Pratt 解析是一种思维方式,而非要死记的算法:为终结符注册语义动作,分为 nuds(无左操作数)或 leds(需要左操作数),并用绑定力处理优先级。这使人们从产生式规则的语法动作转向别处,避免左递归与回溯,并支持副作用与解析器组合子。右结合运算符可使用 bp-1 的绑定力。宏可交织词法器与解析器 API。模态词法分析可帮助有冲突 token 的子语言协作,而词法器应基于拉取、易于复制,并避免 IO 或缓冲。Pratt 需要单独的词法器,不能单独解析语句,且不是增量的。总体而言,学会把语法分解为 nuds 与 leds,并把 Pratt 当作黑盒使用。
Figma 推出了一个专注于对现有画布作品进行精确编辑的设计代理。为了训练它,他们首先在 Figma 原生格式上进行了监督微调,将设计与合成编辑请求配对,并验证了成功变更。随着他们迁移到更新的基础模型,监督微调在泛化能力和样本效率方面的局限性促使他们增加强化学习、更丰富的环境、奖励模型和专家标准。他们使用验证器、视觉评判器和设计师评审,从结构、视觉完成度和设计系统正确性等独立维度评估质量。发布的代理将 Figma 的第一方编辑模型与第三方模型(用于图像生成或新探索等任务)结合。早期结果显示,典型任务快约 20%,用户评分高 33%,撤销少 60%,与前一代代理相比胜/匹配率为 62%;他们自己的模型现在以更低平均成本支持超过两倍的工作份额。这一努力表明,后训练模型可以在专门化、难以验证的设计编辑任务上与前沿模型竞争。
我们正在为网络极客开发一个实验性连接项目。Flipper SIM 是一款适用于路由器、手机和物联网设备的通用 SIM 卡,具备始终在线连接、断网防护、流量过滤和网络管理工具等高级功能。我们很快会分享更多详情!
Hongwei Xi ATS Trustful Software, Inc. 版权所有 © 2010-201? Hongwei Xi 作为一门编程语言,ATS 在语法和特性上都很丰富。本书向读者介绍 ATS 的一些核心特性,包括基础函数式编程、简单类型、(递归定义的)数据类型、多态类型、依赖类型、线性类型、定理证明、结合定理证明的编程(PwTP)以及基于模板的编程。尽管读者并不被假定熟悉编程,但对没有相当编程经验的人来说,本书可能会相当晦涩。 版权所有。允许为个人使用打印本文件。 献给 Jinning、Zoe 和 Chloe。