最近在奥克尼的布罗德加尔遗址进行的考古工作，挑战了人们对新石器时代建筑追求永久性的假设。考古学家尼克·埃德蒙兹认为，像布罗德加尔这样的遗址是“表演性空间”——通过增加和移除石头不断演变，反映的是创造的*过程*，而非持久的稳定性。 证据表明，这些建筑并非总是深 foundation，并且会经历重建和最终的 deliberate “退役”仪式，例如在公元前 2400 年左右用大规模的牛祭祀封印 10 号建筑。即使是像 27 号建筑这样更稳定的结构，也显示出灰烬、骨骼和腐烂陶器的层层堆积，证明了使用和废弃的循环。 随着发掘的结束和遗址回归农田，人们的关注点转移到想象新石器时代生活的动态和短暂性上。持久的斯滕尼斯石阵，虽然看似永恒，现在被视为连接生者和死者的 portal，突出了个体存在于漫长时光背景下的短暂性。
每日HackerNews RSS
这个黑客新闻的讨论始于一篇《纽约客》文章的链接，该文章暗示新石器时代文化在苏格兰北部仍然存在。最初的评论以一种俏皮的方式对此提出了异议，理由是石器时代没有油炸火星巧克力棒。
这引发了一场关于油炸火星巧克力棒的起源和供应情况的争论，一位评论员声称它们是英国发明的，尽管有证据表明它们起源于苏格兰。其他人分享了个人经历——一些苏格兰人从未在当地看到它们出售，而另一些人则确认它们的存在，甚至声称阿伯丁郡的一家商店发明了它们。
对话范围扩大到包括对苏格兰身份和历史的反思。一位用户回忆起奥克尼诗人乔治·麦凯·布朗唤起的那种强大的历史深度感，并强调了斯卡拉布雷建造者的先进建筑理解。最后的交流涉及苏格兰最近的变化。
土星正在构建一个人工智能驱动的操作系统，旨在普及金融建议，服务十亿人。他们正在寻找一位**高级人工智能工程师**，负责在该高度监管的环境中拥有面向客户的关键人工智能功能。 这是一个高度自主的角色，需要强大的软件工程技能、大型语言模型（LLM）专业知识以及对产品质量的关注。该工程师将负责完整的特性生命周期——从架构和开发到部署和监控——利用“明确编排”来构建可审计的人工智能代理。 主要职责包括与金融专家合作设计强大的评估框架（“评估飞轮”），通过防御性设计确保系统可靠性，并通过简洁、经过良好测试的 Python 代码提高工程标准。 理想的候选人拥有 5 年以上经验，在扩展人工智能产品（特别是使用 LLM 和代理系统）方面拥有良好记录，并且强烈倾向于行动、所有权和数据驱动的决策。土星强调构建值得信赖、可解释的人工智能，并以质量和客户成功为中心。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
土星 (YC S24) 正在招聘高级人工智能工程师 (ycombinator.com)
2小时前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 使用 CodeQL 进行 JavaScriptCore 漏洞挖掘：总结
本文详细介绍了使用代码分析工具 CodeQL 探索和发现 JavaScriptCore (JSC) 漏洞的过程。JSC 是 Safari 和其他 macOS 应用程序的 JavaScript 引擎。作者最初对浏览器漏洞利用感到畏惧，但利用 CodeQL 调查了 JSC 的内部结构，并发现了潜在的安全漏洞。
JSC 通过以下阶段执行 JavaScript 代码：词法分析、语法分析，以及通过 LLInt 和 JIT 编译进行解释（编译层级越高，性能越好）。一个关键的关注点是**错误的副作用建模**——JSC 错误地假设某个操作*不会*导致意外后果的情况，这可能导致远程代码执行 (RCE)。
作者开发了一个自定义的 CodeQL 查询来识别这些漏洞，重点关注在应该调用 `clobberWorld`（一个指示潜在副作用的函数）时未调用的操作。这导致重新发现了已修补的漏洞 (CVE-2018-4233)，该漏洞与 `InstanceOf` 相关，并识别了 `operationCreateThis` 中的*第二个*漏洞 (CVE-2018-4233)，该漏洞曾在 2018 年 Pwn2Own 中被利用。
成功表明 CodeQL 在复杂的漏洞研究中的有效性，但最大的挑战在于深入理解目标代码库——在这种情况下，是 JSC 错综复杂的工作原理。作者强调了有组织的查询开发的重要性，并提供了进一步探索 CodeQL 和 JSC 的资源。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
JavaScriptCore 的神秘领域 (2021) (cyberark.com)
7 分，由 program 发表于 56 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
``` # 从任何云虚拟机或您自己的服务器开始 $ uc machine init [email protected] # 使用自动HTTPS部署您的应用 $ uc run --name my-app -p app.example.com:8000/https app-image:latest ✨ 您的应用已在 https://app.example.com 上可用 # 通过添加更多机器并扩展应用来实现高可用性 $ uc machine add [email protected] $ uc scale my-app 2 ```
## Uncloud：Kubernetes 替代方案摘要
Uncloud 是一种新型容器编排器，旨在成为 Kubernetes 的一个更简单的替代方案，尤其适用于小型部署。它由一位前 Kubernetes 用户创建，旨在解决在不需要完整控制平面时，K8s 经常相关的运营开销问题。
Uncloud 采用点对点架构，使用 Fly.io 的 Corrosion 在机器之间同步集群状态，无需中央控制平面和仲裁机制。它利用熟悉的 Docker Compose 规范来定义应用程序，提供自动 WireGuard 网状网络，并通过 Caddy 集成 HTTPS。
主要功能包括直接 Docker 镜像构建/推送（使用 unregistry）、命令式 CLI 以及对各种环境的支持——从云 VM 到树莓派。讨论强调了它对那些觉得 K8s 对于更简单的需求过于复杂的用户有吸引力，同时也承认 K3s 对于某些人来说仍然是一个可行的选择。目前，创建者正在为开发提供资金，并考虑提供 SaaS 服务以进行远程集群管理。
精英可以通过人工智能降低说服成本，从而塑造大众偏好。
How elites could shape mass preferences as AI reduces persuasion costs
11 小时前
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
## AI 与大规模说服：摘要
一篇近期文章（以及随后的 Hacker News 讨论）探讨了人工智能如何大幅降低说服成本，可能使精英——以及越来越多的国家——以前所未有的轻松程度塑造大众偏好。虽然宣传和影响力活动并非新事物，但人工智能提供了以前无法企及的规模和个性化。
核心担忧并非仅仅是*更多*的宣传，而是其潜在的更深入、更有针对性的操纵，甚至可能影响自童年时期的信念。一些人认为人工智能 democratizes 内容创作，提供了一种制衡，但分发仍然主要由少数人控制。另一些人指出现有社交网络的力量以及人工智能可能加剧现有不平等的风险。
许多评论员强调，问题并非完全是人工智能特有的；现有的工具，如定向广告和社交媒体机器人，已经实现了类似的效果。然而，人工智能承诺加速和个性化这些努力。担忧范围从微妙的文化转变到公然的虚假信息活动，一些人担心权力结构会倒退回封建时代。讨论还涉及信任的作用、人工智能可能削弱批判性思维以及对不受约束的影响设置保护措施的需求。
埃塞俄比亚火山近12000年记录以来首次喷发。
Ethiopian volcano erupts for first time in nearly 12k years of records
16 小时前
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
埃塞俄比亚火山在近12000年记录中首次喷发 (smithsonianmag.com)
17 分，来自 pseudolus 4 小时前 | 隐藏 | 过去的 | 收藏 | 3 评论
onionisafruit 27 分钟前 [–]
12000年前有人开始记录这座火山没有喷发。回复
mesitaffia 27 分钟前 | 父级 [–]
树木年轮
onionisafruit 27 分钟前 | 根 | 父级 [–]
的确如此，但标题唤起了我发烧时脑海中的另一种景象。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
讨论的重点在于预计算数据与运行时计算的性能权衡。虽然将整数的五次方直接编译到可执行文件中对于小数组来说似乎很有效率，但它会显著增加加载时间，因为数据必须在启动时从磁盘读取。运行时计算这些值，虽然最初看起来较慢，但速度可以快 10³ 到 10⁵ 倍，尤其是在只需要数据子集的情况下（例如，本例中仅需 10,000 个元素中的 144 个）。
最佳方法取决于计算环境。对于专用机器，最小化*经过时间*（墙上时间）是关键。然而，在共享系统中，最小化*用户时间*更为重要，因为系统时间（例如，磁盘访问）不会直接计费给用户。使用 gfortran 在 Apple M2 上提供的计时结果表明，运行时计算时系统时间很短，突出了其效率。最后，计时本身具有可变性，需要多次运行才能获得可靠的结果。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 欧拉猜想和 CDC 6600 (fortran-lang.discourse.group) 6 分，作者 zaikunzhang 44 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
zaikunzhang 44 分钟前 [–]
参见 https://community.intel.com/t5/image/serverpage/image-id/116... 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
伦敦议会的一份新报告警告说，对数据中心日益增长的需求正在加剧伦敦的住房危机。这些耗能设施对于流媒体和人工智能等服务至关重要，但正在给国家电网带来压力，导致新的住房开发项目难以接入电力供应——有些项目可能要等到2037年才能接入。 虽然短期措施阻止了完全停止建设，但西伦敦的项目仍然受到延误。该报告强调，迫切需要长期的电网容量规划，因为预计到2050年数据中心的能源消耗将增加高达600%，可能相当于每家设施10万户家庭的用量。 建议包括为数据中心设立单独的规划类别，并在下一次伦敦规划中制定专门政策，同时增加对电网的投资，以满足当前和未来的需求。这个问题平衡了伦敦吸引数字投资的愿望与迫切需要新建住房的需求。
伦敦的新房因“耗能”的数据中心而延误 (bbc.com)
1659447091 发表于 39 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
wcoenen 发表于 9 分钟前 [–]
计划中的数据中心地图显示英国急需拆分单一电力定价区。应该有更多激励措施在北方建设数据中心，那里有充足的可再生能源，但输送电力到南方的能力有限。德国也有单一定价区和类似的问题。每当电网无法将电力从北向南输送时，就会导致昂贵的削减和重新调度操作，而电力交易方式却与之不符。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## zmx：终端会话持久化
zmx 是一个轻量级工具，用于持久化终端会话，为 tmux 等功能齐全的终端复用器提供替代方案。它允许您分离并重新连接到 shell 会话，而不会丢失其状态——包括滚动和输出——*仅*关注持久性，并将窗口管理委托给您操作系统的窗口管理器。
**主要特性：**
* **持久性：** 即使断开连接后也能保持 shell 会话的存活。
* **连接/分离：** 无缝重新连接到现有会话。
* **原生特性：** 利用您的终端模拟器的原生滚动和复制/粘贴功能。
* **SSH 集成：** 与 SSH 配合良好，通过 SSH 配置和 autossh 等工具实现持久的远程会话。
* **简单命令：** `zmx attach <name>`, `zmx detach`, `zmx list`, `zmx kill`。
zmx 利用 `libghostty-vt` 来恢复终端状态，确保流畅的重新连接体验。它通过 Unix 套接字进行通信，并将活动记录到 `/tmp/zmx`。目前，配置选项有限，优先考虑可维护性。
项目和源代码地址：[https://github.com/shell-pool/shpool](https://github.com/shell-pool/shpool)
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Zmx：终端进程的会话持久化 (github.com/neurosnap)
15 分，birdculture 4小时前 | 隐藏 | 过去 | 收藏 | 3 评论
000ooo000 25分钟前 | 下一个 [–]
太棒了，我一直在想类似的东西对我在家使用会很有用。这几乎完美，并且 readme 中的 autossh + ssh '别名' (d.term) 对我来说是新的，所以学到了新知识。谢谢分享。回复
planckscnst 34分钟前 | 上一个 [–]
如果你喜欢这个工具，你可能也会对 reptyr 感兴趣，它允许你将进程重新分配到不同的 tty。https://blog.nelhage.com/2011/02/changing-ctty/ 回复
ranger_danger 25分钟前 | 父级 [–]
还有一些与 reptyr 类似的工具：
https://github.com/jerome-pouiller/reredirect/
https://github.com/pasky/retty
https://github.com/trishume/telefork 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## CodeProt：基于AI的现代开发安全 即使是经验丰富的开发者也可能遗漏关键的安全漏洞，尤其是在优先考虑速度时。CodeProt 利用AI作为代码的深度扫描“X光”，识别传统审查中经常被忽视的漏洞。 两项最近的案例研究突出了CodeProt的价值。首先，它检测到一个开源项目（ubccr/xdmod）中的**关键SQL注入漏洞**，该漏洞源于数据库查询中使用的未经过清理的内部参数——这种细微之处很容易被人工审查员忽略。CodeProt会标记SQL语句中存在风险的字符串连接，从而强制执行安全的编码标准。 其次，CodeProt在另一个项目（spryker-shop/b2c-demo-shop）中发现了**硬编码的、空的OAuth凭据**。这个关键漏洞存在于默认配置文件中，允许任何人冒充应用程序。CodeProt的深度学习能力可以检测敏感信息并验证配置上下文，标记诸如空密钥之类的危险设置。 CodeProt在每次提交时提供全面、感知上下文的安全审计，减少生产事故，并为开发团队提供重要的安全保障。 免费扫描可用于发现您项目中的隐藏威胁。
一篇 Hacker News 帖子讨论了对一款声称使用人工智能识别漏洞的代码审查工具的准确性担忧 (codeprot.com)。 一位评论员声称该工具会生成“幻觉”结果，错误地标记不存在的代码或在真实项目中捏造漏洞。
具体来说，该工具声称在 `ubccr/xdmod` 和 `spryker-shop/b2c-demo-shop` 仓库中存在漏洞，并引用了特定文件和代码片段，但这些文件要么不存在，要么与实际代码库不符。 评论员认为这种不准确的报告可能被视为诽谤，并建议项目维护者可能会采取法律行动。 该帖子强调了人工智能驱动的安全工具的潜在问题以及验证其结果的重要性。