Hasty Briefs - 每日科技新闻摘要

双语

Show HN: EPEE, an expert-annotated ASL dataset from native Deaf signers
2 days ago
- CLERC Épée v0.2是一个AI级手语数据集，用于训练、基准测试和手语者间变异性研究。
- 它包含600个美国手语视频片段（150个独特短语），由四位聋人手语者在完全并行结构中录制。
- 数据包括提取的关键点（手部、身体、眼睛、嘴巴、头部轮廓）和注释标注。
- 一项基准测试显示，在多手语者上进行训练能够提升对新手语者的泛化能力。
- 关键点位于MediaPipe图像归一化空间中，每帧包含128个关键点。
- 该数据集以CC BY-NC-SA 4.0许可协议发布，并提供商业许可选项。
- 旨在用于研究和教育用途，不适用于监控或生物识别应用。
US home prices hit an all-time high as sales slow and mortgage rates rise
2 days ago
- 美国6月成屋销售量环比下降2.4%，折合年率为409万套，低于经济学家的预期。
- 房屋销售中位价同比上涨1.8%至440,600美元，创历史新高，连续第36个月上涨。
- 受高房价、抵押贷款利率上升和住房供应短缺影响，可负担性挑战持续存在，导致销售量在400万套年化水平附近徘徊，表现低迷。
- 销售额仍低于历史正常水平，2024年上半年销量仅比2025年同期增长0.7%。
- 尽管抵押贷款利率低于去年同期，但近几个月呈上升趋势，主要受地缘政治紧张局势引发的通胀预期影响。
China's Nuclear Sector Now Able to Build Fifty Reactors at a Time
2 days ago
- 中国可以同时建造多达50个核反应堆。
- 该国正专注于快速扩张核电。
- 中国旨在成为全球核能领域的领导者。
- 该信息来源于中国核能协会的报告。
Ollama raises $65M, grows to nearly 9M users
2 days ago
- Ollama 在 B 轮融资中筹集了 6500 万美元，由 Theory Ventures 领投，总融资额达到 8800 万美元。
- 该工具允许开发者在本地和其云平台上运行开源权重 AI 模型，并提供订阅层级服务。
- Ollama 由前 Docker Desktop 团队成员创立，旨在简化 AI 模型使用，类似于 Docker 的容器化方式。
- Ollama 拥有 890 万月活跃用户，服务 85% 的《财富》500 强公司，仅由 14 名员工运营。
- 公司的云业务在 2024 年初开源模型获得编程等智能体任务能力后实现了增长。
- Ollama 代表了开源 AI 项目吸引风险投资的趋势，尽管社区对其商业化存在一些担忧。
Rust 1.97.0
2 days ago
- Rust 1.97.0 稳定版发布公告，包含通过 rustup 的更新说明。
- 符号重整 v0 默认启用，取代了传统的基于 Itanium 的方案。
- Cargo 现在支持拒绝警告，改善了 CI 工作流程和缓存效率。
- 链接器输出不再默认隐藏，为调试显示警告信息。
- 已稳定的 API 包括整数和 NonZero 类型的方法，以及常量上下文更新。
The internet does not want readers. It wants livestock
2 days ago
- 互联网将用户视作牲畜，专注于转化受众、优化漏斗和捕捉潜在客户，而不是提供真正有价值的内容。
- 平台和工具变得过于复杂且具有侵扰性，它们优先考虑通过互动指标和注意力收割来实现增长和衡量，导致了'体验恶化'的现象。
- 越来越多的人正在创建拒绝跟踪、弹窗和数据收集的网站，提倡简洁、尊重隐私的在线体验，将其视为一种体现良好网络礼仪的激进行为。
A Road to Lisp: Why Lisp
2 days ago
- Lisp拥有非常规的语法，包含大量括号和独特的缩进风格，需要新程序员进行调整适应。
- 学习Lisp需要掌握包、符号、项目、REPL、条件、重启机制，以及一种新的算法思维模式。
- Lisp陡峭的学习曲线因其强大特性（如允许语言扩展的宏）而能解锁独特的技能。
- 布鲁布悖论解释了为何来自功能较弱语言的程序员难以理解Lisp的优势。
- Lisp通过宏实现可扩展性，使程序员能够创建新构造，并针对特定问题演进语言。
- 宏将参数视为未求值的数据，允许代码操作，这与立即求参数的函数不同。
- Lisp的同像性意味着代码和数据都表示为列表，这促进了宏和程序转换的实现。
- REPL驱动的开发允许在活跃的Lisp进程中持续评估代码，支持实时测试和调试。
- Lisp天然支持热重载，因为更改无需停止进程即可评估，从而动态演进程序。
- Lisp中的可扩展软件通过宏构建领域特定语言（DSL），允许用户自定义而无需单独的API。
- 示例包括AutoCAD的AutoLISP和Emacs，它们利用Lisp在各种应用中实现可扩展性。
- 尽管未成为主流，Lisp依然具有影响力且强大，结合了重新定义编程范式的特性。
LLMs for technical editing: The good, the bad, and the ugly
2 days ago
- 若品牌关联与内容品质至关重要，人工智能完全取代人类编辑的效率较低。
- 克劳德在识别结构、逻辑和一致性错误方面表现良好，但在错别字和语法方面表现欠佳。
- 人工智能编辑存在丧失作者声音、意图和风格的风险，可能导致内容趋同化。
- 两种模型均提出了相互矛盾的建议，并虚构或误判了错误，需由人类进行裁决。
- 建议采用混合方法：人工智能负责初步筛选、逻辑检查和一致性校验；人类负责逐行编辑、重写和最终校对。
Reverse-engineering Nvidia's CUDA-checkpoint for faster cold starts
2 days ago
- 英伟达的cuda-checkpoint工具允许冻结CUDA进程，并将GPU状态序列化到主机内存中，之后可精确恢复至原有状态。
- 检查点涉及将GPU状态传输到主机端的匿名缓冲区，在恢复前可直接操作此缓冲区（例如修改GPU计数器）。
- 检查点操作由目标进程内的服务线程执行，通过管道通信，并使用普通的驱动程序ioctl而非专用的检查点系统调用。
- 检查点与恢复的速度受暂存缓冲区的分配和释放限制，检查点复制速度约为3 GiB/s，恢复速度约为8 GiB/s，远低于PCIe带宽上限。
- 可通过使用透明大页（THP）降低缓冲区清零开销，或拦截mmap调用重用预清零缓冲区来提升性能，最高可实现4倍加速。
The Backstory of Jiki
5 days ago
- 创始人花了两年时间打造了Jiki，这是一个专为初学者设计的学习编程平台，旨在弥补现有编程教育的不足。
- Jiki的诞生源于Exercism平台的使用经历，许多初学者在注册后发现该平台主要面向经验丰富的开发者，难以从中获益。
- 该平台强调通过趣味性的问题解决和从第一天起就开始构建项目来学习，而不是依赖视频或测验等被动方式。
- 2025年1月的一项训练营揭示了需要更慢节奏的需求，导致Jiki课程进行了调整，引入了更多循序渐进的练习。
- Jiki通过定制解释器移除了JavaScript和Python中的“foot-guns”（指高级或令人困惑的功能），简化了早期学习阶段。
- 该平台支持多语言内容（i18n），计划在年底前扩展到英语以外的语言，以覆盖全球95%的人口。
- Jiki采用免费增值模式：核心内容免费，可选的高级功能如AI支持和直播则需要支付小额月费。
- 尽管像Claude Code这样的AI工具正在改变编码方式，但Jiki同时教授编码基础和软件设计技能，强调人类创造力。
- 该平台的哲学注重培养问题解决能力和扎实的基础，使进一步学习变得更加容易和愉快。
- 鼓励用户尝试Jiki、提供反馈，并通过捐款或口碑分享来支持这一使命。
Files over tools: how we built our agent with a virtual filesystem and bash
2 days ago
- Knock Agent 是一款用于管理客户消息资源的 AI 代理，能够创建和更新工作流、模板、受众群体，对用户进行细分，并回答性能相关的问题。
- 该代理的构建采用了虚拟文件系统和 bash，灵感来源于 Vercel 的方法，使其能够通过文件系统探索和编写资源脚本，而非暴露大量的 API 工具。
- 开发了一个基于 Elixir 的自定义虚拟 bash 解释器，名为 just-bash，提供了一个轻量级的内存环境，避免了完整沙箱的性能开销。
- 该代理采用了基于 Oban 和 Postgres 的持久化工作流，将资源懒加载到文件系统中，并提供了 bash、read_file、edit_file、write_file 和 upsert_resource 等工具用于操作。
- 通过引入技能来教导代理资源特定的细节，并集成了一个 CLI（knock 命令）用于查询动态数据（如日志），减少了对额外工具的需求。
- 通过 OpenTelemetry 追踪到 Honeycomb 和 Braintrust 实现了可观测性，并使用基于 LLM-as-judge 的自建评估系统来测试和监控代理性能。
- 未来的改进包括更好的会话压缩、扩展的评估系统，以及探索用于聚焦任务的子代理，这些都将基于文件系统的基础来增强代理的能力。
Transparency efforts behind the Helium Browser
2 days ago
- Helium 浏览器在所有决策中都将透明度、隐私和用户同意置于首位。
- 其源代码采用著佐权许可证公开，拥有透明的提交历史和公开的拉取请求。
- 构建版本从公共仓库编译而成，不包含专有附加组件，并提供签名且不可变动的版本发布。
- 用户体验上杜绝广告，启用服务前需获得明确同意，并提供可自定义的端点设置。
- 该浏览器避免有偏见的广告拦截例外和暗黑模式设计，法律文档已在GitHub上公开。
- Helium 倡导以人为本的互联网，鼓励用户创建优先考虑隐私的替代方案，并推动透明度提升。
TLS certificates for internal services done right
2 days ago
- 通过使用分离视野DNS，同一域名可以根据客户端连接解析为公共或私有IP。
- 设置WAF（例如通过nginx）可以阻止来自公共互联网的流量，从而在DNS之外增加安全性。
- 使用acme.sh和cron作业自动化证书续订，确保无需手动干预即可持续进行TLS加密。
- 使用SAN证书可以在一个证书下为多个子域名启用安全连接，从而避免通配符证书的安全风险。
A new way to reflect on how you use Claude
2 days ago
- Claude引入了一项新的测试功能，允许用户反思并可视化自己的AI使用模式，帮助有效将AI融入日常生活。
- 该反思仪表板提供关键主题、使用模式和任务类型的摘要，可选择回顾1至12个月的聊天活动，并设置静音时段或休息提醒。
- 它整合了4D AI熟练度框架（委托、描述、辨别、尽职），以培养相关技能，并通过排除匿名聊天、敏感健康数据和基础文件来保障隐私。
- 该工具处于测试阶段，适用于启用了记忆功能的免费版、专业版和Max版用户，是与麻省理工学院媒体实验室及其他机构的数字健康专家合作开发的。
Introducing Muse Spark 1.1
2 days ago
- Meta发布Muse Spark 1.1，这是专为代理任务升级的多模态推理模型，在工具/计算机使用、编码和多模态理解方面均有改进。
- 该模型具备100万token的上下文窗口，支持多智能体协调以加速项目处理，并通过Meta Model API提供公开预览。
- Muse Spark 1.1在计算机工作流、编码（调试、迁移）、多模态感知和安全性方面表现卓越，具有强大的对抗鲁棒性。
- 早期合作伙伴如Replit和Box称赞其为大规模代理工作负载和企业应用提供的全面能力。
- Meta强调持续的研究势头，表示更多先进模型正在训练中，朝着个人超级智能的方向迈进。
You're already living in the Chinese Century
2 days ago
- 中国的工业规划旨在从‘中国制造’转向‘中国创造’，强调质量和品牌建设。
- 超过200家中国公司正在研发人形机器人，数量远超美国。
- 东海县通过资本运作和直播，主导了全球水晶贸易。
- 中国的克隆‘超级奶牛’产奶量几乎是典型美国奶牛的两倍。
- 中国电池产业全球领先，全球超过80%的电池单元在中国生产，工厂正在全球扩张。
- 预计到2025年，中国的电动汽车销量将远超美国。
- 与NASA的复杂计划相比，中国的探月任务更加简洁高效。
- 中国是全球最大的纺织品制造商，每年产生大量的服装废弃物。
- 基因编辑科学家贺建奎在服刑后私下继续工作，被称为‘中国的弗兰肯斯坦’。
- 众筹科幻小说《临高启明星》探索通过时间旅行改变历史。
- 中国创下无人机表演的世界纪录，取代了传统烟花。
- 中国女性使用AI伴侣和角色扮演者来建立浪漫关系，主导了这一市场。
- 中国的算法注册表规范了AI风险，绘制了详细的AI生态系统图。
- 中国公司远大集团能在几小时内建起一栋10层高的建筑。
- 中国的可再生能源革命混乱而竞争激烈，由市场力量而非国家控制驱动。
- 2025年初，中国安装的太阳能发电容量超过了世界其他地区的总和。
- 中国警方利用DNA和人脸识别技术帮助被收养者与亲生家庭团聚。
- 在中国防火墙内，本土应用至关重要，塑造着数字体验。
- 动画电影《哪吒2》在中国成为票房十亿美元的热门影片，但被美国观众忽视。
- 中国的监控摄像头数量超过了世界其他地区的总和，对隐私观念构成挑战。
- 本土中国产品如运动鞋和科技产品正在成为潮流，影响全球品味。
- 小天才智能手表在中国儿童中引发了社交竞争，导致黑客行为和约会现象。
- 中国的高速铁路网络远超美国铁路公司，里程数广泛覆盖。
- 中国收藏玩具Labubu全球走红，已扩展到制造和电影领域。
Beni Is a Cute Autonomous Camera Robot on Wheels
2 days ago
- Beni是一款全地形、便携式、自主摄像机机器人，它能跟随用户拍摄，具备避障功能、多角度追踪能力，以及跳跃10英寸（约25厘米）高度的本领。
- 它能以最高18英里/小时（约29公里/小时）的速度追踪动作运动，电池续航为1.5小时，支持电池更换，并以30帧/秒录制4K视频。
- Beni旨在简化单人拍摄，包含丰富的表现功能：如可变换表情的面部、变色眼睛，以及耳朵和帽子等配件。
- 它配备配套应用用于控制和自动编辑，外加一款腕表式运动控制器，可用于编程功能。
- 现已在Kickstarter上首发，早鸟价499美元（比零售价799美元优惠300美元），预计10月发货，原型机已由30名用户测试完成。
MSG database tracked hundreds. Labels include "LGBTQIA," and low to high "risk."
2 days ago
- 尼克斯队超级球迷法特·乔为老板吉姆·多兰辩护，尽管麦迪逊广场花园的内部数据库将他标记为‘中等风险’名人。
- 一份遭黑客入侵的MSG贵宾数据库揭露了对名人的风险评分，评分基于网络对多兰或该组织的批评，收录了超过400个评分条目。
- 该数据库追踪名人的风险等级（标记、低、中、高），并包含种族、性别认同和性取向等个人详细信息。
- MSG安保部门监控社交媒体上的负面帖子，即使是轻微批评也会标记，甚至标记与批评者相关的人员，如法特·乔因贾达基斯而被标记。
- ShinyHunters黑客组织入侵并泄露了45GB数据，包括一个包含数百万条个人记录的Salesforce数据库以及内部监控做法。
- ShinyHunters通过语音钓鱼入侵MSG系统，索要赎金；该组织部分因多兰有争议的监控措施而将MSG列为目标。
- 尽管存在风险评分，许多被标记的名人仍参与了尼克斯队夺冠后的庆祝活动，这可能意味着MSG内部评级发生了潜在变化。
Data Centers Are Quietly Taking over Texas. The Pollution Could Be Catastrophic
2 days ago
- OpenAI在德克萨斯州阿比林市的星门数据中心，在没有提前通知的情况下建在奥迈拉·加西亚的牧场旁，引发了粉尘和污染担忧。
- 德州监管机构允许星门等数据中心使用小型空气许可（“按规则许可”）来规避全面的环境评估和公众意见征询，导致天然气厂和柴油发电机组得以悄然建设。
- 《探照灯》调查发现，小型许可使数十个德州数据中心得以运行现场电源，排放大量污染物，全州已许可的备用柴油发电机超过2100台。
- 星门开发者采用“先小后大”策略，先为10台涡轮机和62台发电机获取小型许可，随后申请重大扩建，增加41台涡轮机和18台发电机，这可能使其成为德州最大的化石燃料电厂之一。
- 前监管人员和监督组织批评德州环境质量委员会执法不严，指出公众参与往往在设施建成后为时已晚，且该机构积压案件超过1400起。
- 研究表明，到2030年，德州可能超越弗吉尼亚州成为顶级数据中心市场，人工智能驱动的建设将导致天然气厂形成“影子电网”，带来长期化石燃料依赖和大量温室气体排放的风险。
- 像加西亚这样的居民生活质量下降，面临交通、垃圾和健康问题，房产价值受到影响，搬迁选择有限，凸显了快速、无管制的人工智能基础设施增长对人类的影响。
Is It Safe to Host HTML That Runs Its Own JavaScript?
2 days ago
- ShareMyPage 未经净化即可托管任意的HTML和JavaScript。
- 页面在具有空来源的沙盒化iframe中运行，阻止了cookie和存储访问。
- 内容从一个独立的、无cookie且无会话数据的来源提供服务。
- 多层安全防护确保无单点故障。
- 隔离保护用户和平台免受恶意代码侵害，但不涉及内容审核问题。

Hasty Briefsbeta

Show HN: EPEE, an expert-annotated ASL dataset from native Deaf signers

US home prices hit an all-time high as sales slow and mortgage rates rise

China's Nuclear Sector Now Able to Build Fifty Reactors at a Time

Ollama raises $65M, grows to nearly 9M users

Rust 1.97.0

The internet does not want readers. It wants livestock

A Road to Lisp: Why Lisp

LLMs for technical editing: The good, the bad, and the ugly

Reverse-engineering Nvidia's CUDA-checkpoint for faster cold starts

The Backstory of Jiki

Files over tools: how we built our agent with a virtual filesystem and bash

Transparency efforts behind the Helium Browser

TLS certificates for internal services done right

A new way to reflect on how you use Claude

Introducing Muse Spark 1.1

You're already living in the Chinese Century

Beni Is a Cute Autonomous Camera Robot on Wheels

MSG database tracked hundreds. Labels include "LGBTQIA," and low to high "risk."

Data Centers Are Quietly Taking over Texas. The Pollution Could Be Catastrophic

Is It Safe to Host HTML That Runs Its Own JavaScript?