拒绝访问。您没有权限访问此服务器上的 "http://thereader.mitpress.mit.edu/the-lost-civic-life-of-movie-rental-stores/"。引用编号 #18.d2753617.1785427358.fa6d53e https://errors.edgesuite.net/18.d2753617.1785427358.fa6d53e
每日HackerNews RSS
这场讨论聚焦于“第三空间”（即电影租赁店、游戏厅和独立零售店等基于兴趣的实体聚集地）的式微及其对公共生活的影响。
参与者指出，这些场所的流失加剧了社会经济圈层的固化与社会疏离。虽然有人认为这些空间本身存在缺陷（如店员态度冷漠、高额滞纳金以及普遍不友好的氛围），但也有人怀念那些因随性的线下闲逛和共享社区空间而产生的意外社交联系。
现代社会的特征是日程安排过满且阶层分化日益严重，许多曾经的公共活动已被昂贵的私人化体验或高效却孤立的数字化替代品所取代。尽管有人认为公共图书馆和公园仍可作为可及的第三空间，但也有人认为，我们已经失去了定义 20 世纪末那种随性、无压力的“在这里碰面”的文化。归根结底，这场对话反映了一种更深层的担忧：尽管数字时代带来了便利，但我们却以牺牲有意义的、本土化的实体社区为代价，换取了一种更加交易化和碎片化的生存状态。
Google 推出了 **Gemini Robotics 2**，这是一项机器人智能领域的重大进步，旨在从重复的预编程任务转向真正适应性的自主行为。 这一新一代平台利用三种专用模型，使机器人能够在不可预测的环境中“思考、行动和交互”： * **Gemini Robotics 2**：一种先进的视觉-语言-动作 (VLA) 模型，提供全身控制，涵盖从复杂的人形运动到精细、灵活的物体操控。 * **Gemini Robotics ER 2**：一种具身推理模型，允许机器人与人类交流、理解周围环境并规划复杂的多步骤任务。它还引入了多个机器人团队协作的能力。 * **Gemini Robotics On-Device 2**：VLA 模型的高效本地版本，使机器人只需几小时的训练即可适应新的物理形态。 通过整合这些模型，Google 使机器人能够以空前的灵活性和独立性执行复杂的现实任务，例如打扫房间或进行协作工作。这一演进标志着机器人向能够无缝适应我们世界的方向迈出了重大一步，无论其具体外形或设计如何。
Google DeepMind 宣布推出旨在为机器人赋予“全身智能”的“Gemini Robotics 2”，这在 Hacker News 上引发了激烈讨论。
乐观者将机器人技术的现状比作大语言模型（LLM）早期并不起眼的阶段，认为技术的快速进步可能在几年内使家用机器人成为现实。他们认为，即使是行动缓慢的机器人，只要能可靠地处理重复性任务，也具有实用价值。然而，怀疑论者强调了硬件方面的巨大局限性，指出灵活性和物理耐用性比纯软件 AI 难解决得多。
讨论的重点包括：
* **经济障碍**：虽然机器人可能会迅速进入工业环境（替代多班制劳动力），但高昂的成本使得它们在短期内难以大规模进入家庭。
* **安全性与可靠性**：该领域的专业人士警告称，目前的人形机器人模型难以应对现实世界的模糊性，且存在重大的安全风险。
* **形态因素**：一些人认为专用自动化设备（如改进型洗碗机）优于人形机器人；另一些人则反驳称，由于我们的物理世界是专门为人体设计的，人形结构是必要的。
总体而言，社区认为这项技术前景广阔，但对于其是否已准备好投入实际的日常使用仍持谨慎态度。
黑客公共广播 Hacker Public Radio
14 小时前
Hacker Public Radio (HPR) 是一个由社区驱动的播客，每个工作日都会发布新节目。该节目面向黑客、创客和爱好者，鼓励听众制作并贡献各种技术及爱好主题的内容。HPR 致力于营造一个建立在积极反馈和相互尊重基础上的友好交流环境。 该项目汇集了听众创作的各种节目。近期节目展示了该平台兼收并蓄的特点，涵盖的主题包括： * **技术与计算：** 播客 Shell 脚本编写、UNIX 文件合并以及安全摄像头固件调试。 * **创客项目：** “廉价黄色显示屏”（Cheap Yellow Display）项目编程，以及使用 Audacity 创作噪音音乐。 * **爱好与兴趣：** 业余无线电、C++ 编程、复古短波收听技巧，以及像《文明 5》这样的游戏攻略。 无论您是专业开发人员还是充满好奇的爱好者，Hacker Public Radio 都为您提供了一个易于参与、由社区主导的空间，供您分享知识并探索多元化的技术兴趣。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Hacker Public Radio (hackerpublicradio.org)
39 点，由 bmacho 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 3 条评论 | 帮助
sixtyj 11 分钟前 | 下一条 [–]
他们的证书过期了 :(
回复
new23d 4 分钟前 | 父级 | 下一条 [–]
我这边显示生效日期：2026 年 7 月 9 日星期四 01:02:21 GMT；失效日期：2026 年 10 月 7 日星期三 01:02:20 GMT。用起来也正常。
回复
dec0dedab0de 58 分钟前 | 上一条 [–]
哇，我都快忘了这个了，我以前在 2006-2009 年迷恋播客的时候经常听。他们居然还在运营，太棒了！
回复
考虑申请 YC 2026 年秋季批次！申请开放至 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Certisfy 的贴纸功能支持用户将网址转换为可信且经加密验证的声明。通过在这些已签名的声明中嵌入链接，创作者和新闻工作者能够在充斥着人工智能内容的数字环境中彰显真实性。 为确保安全，这些链接可被限定于特定的来源引用（Referrer），从而防止欺诈性转载。当用户点击这些链接时，可以即时验证提供者的身份，进而对信息的可靠性做出明智判断。通过将可验证声明与网页导航相结合，Certisfy 推动构建了一个“已验证的网络”，使信任变得透明、可迁移且易于分享。
Hacker News 上的这篇帖子讨论了 **Certisfy**，这是一个专注于通过加密签名验证 URL 的项目。该工具由 Edmond 开发，旨在建立信任链并验证数字资产，其应用范围涵盖从去中心化的“信任网络”到执行排他性协议等。
讨论期间，开发者分享了包括 SDK 在内的多项资源，并展示了如何利用 Keybase 进行身份验证。其他社区成员也参与了讨论，其中一位开发者指出该项目与他们利用可验证凭证（Verifiable Credentials）和基于 OIDC 的身份钱包所做的工作有相似之处。
当被问及该项目的主要挑战时，Edmond 表示，该开发过程是一个长期的、迭代式的持续解决问题的过程，而非单一的技术障碍。对话还探讨了 Certisfy 如何区别于 S3 预签名 URL 等标准基础设施工具。目前，人们正在探索该项目，将其作为在网络上建立身份和来源证明的一种替代方法。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本网站的一个必要组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接、禁用广告拦截器，或尝试使用其他浏览器。
这篇 Hacker News 帖子探讨了遗传、环境和生活方式选择在癌症风险方面复杂的相互作用。虽然原文探讨了为什么紫外线辐射和吸烟等外部因素对个人的影响各不相同（主要是由于 DNA 修复机制和遗传韧性的差异），但讨论很快扩展到了实际操作和经验谈层面。
评论中的关键主题包括：
* **防晒与过度防晒：** 用户讨论了防晒霜使用（可能会阻碍有益的 UVB 吸收及维生素 D 合成，且防护质量参差不齐）与适度、循序渐进的阳光照射之间的权衡。许多人指出，长期处于室内后突然的强烈暴晒，往往比持续、温和的阳光照射更有害。
* **风险认知：** 评论者反驳了“吸烟或接触阳光就等于确诊癌症”的观点，将患癌风险视为一种受遗传“防弹背心”（即 DNA 修复效率）影响的概率性“掷骰子”过程，而非直接且必然的因果关系。
* **预防策略：** 参与者分享了个人防晒策略，包括穿着防紫外线服装、使用“哑光”防晒配方以及定期体检的重要性；其他人则强调癌症并非唯一的健康风险，并提到了慢阻肺（COPD）等呼吸系统疾病。
SDL_gp 是一个为 SDL3 设计的极简、高性能 2D 图形绘制库。它受原始 *sokol_gp* 启发，作为一个封装层，简化了底层 SDL_gpu API 的资源管理。
该库为渲染图元（如点、线、三角形、矩形）及精灵（sprite）提供了简洁的接口。它包含用于处理图像、着色器、图形管线和坐标变换的强大 API，使开发者能够轻松设置投影、旋转和缩放。
主要特性包括：
* **资源管理：** 简化了图像和管线等 GPU 相关资源的创建与销毁。
* **易用性：** 提供清晰的工作流程，用于设置上下文、记录绘制指令并将其提交至 GPU。
* **状态控制：** 提供对混合模式、视口和裁剪矩形的精细控制。
本项目由 nsix 开发，以 MIT 许可证发布。它为那些既希望获得 SDL3 GPU API 高性能，又追求高级 2D 绘图库便利性的开发者提供了一座桥梁。如需查看实现示例及更多详情，用户可浏览提供的 samples 文件夹或开发者的博客。
```
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
SDL_GPU 极简、单头文件、高性能 2D 图形绘制库 (github.com/n67094)
11 分，n67094 发布于 32 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
kryptiskt 11 分钟前 | 下一条 [–]
这不是 SDL_gpu，那是 SDL3 的一部分。这是 SDL_gp，一个构建在前作基础上的外部库。 回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
Steelman Labs 认为，当前的智能体计算机操作模型之所以失败，是因为它们优先考虑“破解”系统而非进行真正的交互。尽管大语言模型（LLM）擅长推理，但在点击按钮或填写表单等基础 UI 任务上却表现欠佳，在实际基准测试中的成功率仅为 20%–26%。
目前的模型并没有按照设计初衷使用图形用户界面（GUI），而是通过逆向工程 API 或注入脚本来绕过界面。这种做法往往比软件原本设计的人类级交互更慢、更昂贵且更不可靠。因此，这些智能体将计算资源浪费在低级感知和“工具使用开销”上，而非用于复杂的规划或错误纠正。
Steelman Labs 主张，单纯增加参数或 token 数量是死胡同。他们提出了一种范式转移：将高级规划与专用的“系统 1”操作器分离开来。他们认为，通过将屏幕视为一个动态的、以视觉为先的环境，并优先考虑类人的反应时间，智能体可以突破当前的局限。他们的方法专注于构建能够像人类一样使用任何界面的智能体，从而实现高效、可靠且真正实用的计算机操作。
这份Hacker News讨论指出，当前的AI开发往往因为忽视了现有软件接口的复杂性而遭遇瓶颈。评论者认为，企业不应寄希望于所谓的“魔法”AI代理来解决遗留工作流，而应优先考虑如何让AI与当前的计算机界面进行实际的代理式交互。
其中一个观点强调，如果没有专门的自动化工程，当前的AI趋势有沦为空谈的风险。虽然传统的机器人流程自动化（RPA）因过于脆弱且维护成本高而难以奏效，但参与者认为，未来在于将RPA演进为更强大的AI代理，使其能够操作那些缺乏官方API的软件界面。归根结底，共识在于：成功的自动化需要一种更具实践性的计算机使用方式，而不是单纯寄希望于AI能凭空理解遗留系统。
请启用 JavaScript 和 Cookie 以继续。
这场 Hacker News 的讨论围绕近期一篇关于欧洲野火威胁加剧及更广泛的气候危机的文章展开。
参与者表达了悲观的看法，认为气候并未达到所谓的“新常态”，而是在持续恶化的坡道上不断下滑。许多评论者认为，只要二氧化碳排放持续存在，全球状况就会继续恶化，并可能威胁到全球粮食安全。
这场辩论凸显了对政治不作为的深切不满。一些人认为领导人和气候专家未能预见到气候波动的加速，而另一些人则指出，这些领导人是由主要关注短期利益而非气候政策的公众选举产生的。
讨论中还出现了关于能源政策的激烈争论。一些用户将气候进展受阻归咎于放弃核能，而另一些人则强调可再生能源和电池储能的快速增长。最终，评论者们达成的共识是，气候问题可能已越过“不归点”，但他们认为，立即采取强有力的行动对于保护现存的环境仍然至关重要。
请启用 JavaScript 和 Cookie 以继续。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
我们是否被 Lean 困住了？ (mathoverflow.net)
12 点，作者：jjgreen，2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
7373737373，20 分钟前 [–]
Metamath 的 Python 验证器（其可信内核）仅需 700 行简短的 Python 代码：https://github.com/david-a-wheeler/mmverify.py/blob/master/m...
Metamath Zero 的 Haskell 实现为 700 行，C 实现为 1000 行（总计 1800 行）：https://github.com/digama0/mm0
其他证明系统的对比情况如何？
部分错误统计：https://tristan.st/blog/in_search_of_falsehood
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
这份幽默的演示以一种轻松的方式开设了一门编码理论的“研究生课程”，通过爱丽丝（Alice）和鲍勃（Bob）这两个虚构且总是陷入麻烦的角色，阐述了该领域的三大核心支柱。 **信源编码**专注于数据压缩以节省成本，这对“吝啬鬼”爱丽丝来说是必须的。**信道编码**旨在解决通信中的噪声问题，使用户能够通过冗余（例如使用字母解释法）来重构丢失的数据。最后，**保密编码**（密码学）旨在保护私人信息免受对手窃取，它依赖“密钥”来确保即使通信机制是标准化的，外人也无法理解其内容。 演讲者强调了标准化通信需求与保密必要性之间永恒的张力。讲座最后以讽刺的视角审视了现代信息技术，并警告称，尽管我们的设备已经变得极其先进，但它们依然是僵化的“哑巴”机器。通过一个虐待自己感知计算器的男人的警示故事，演讲者幽默地展现了人机交互的挫败感，并指出在复杂处理和即时全球通信的时代，最顽固的问题往往依然存在于用户与机器之间。
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Alice 和 Bob 的晚宴演讲 (1984) (hex.ooo)3 分，由 kamma4434 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
kimi 13 分钟前 [–]
我确定这之前已经发布过，但重读一遍总是很好。第一篇帖子似乎是 16 年前发布的：https://news.ycombinator.com/item?id=1372371回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```