11小时前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20251128
今天这份日报信息量爆炸！从切尔诺贝利“吃”辐射的神秘真菌，到能检测摄像头智能眼镜的DIY项目，脑洞大开！还有科技巨头暗中角力AI监管，开源社区的请愿，以及各种酷炫的开源工具和技术解析。想知道AI的未来、隐私保护、系统性能优化，甚至还有“沙子电池”这种黑科技？赶紧点开全文，一起探索科技前沿的奇妙世界！保证让你大开眼界，收获满满！
---
## 切尔诺贝利的神秘黑色真菌：以辐射为食？
这篇文章探讨了在切尔诺贝利核事故遗址发现的黑色真菌，它们似乎以辐射为食，并可能为清理放射性污染和保护宇航员提供新的方法。研究表明，这些真菌富含黑色素，这种色素可能帮助它们吸收和利用辐射能。
文章指出，1997年，科学家在切尔诺贝利核电站的废墟中发现了黑色霉菌，它们生长在墙壁、天花板和电缆管道内，这些地方的辐射水平极高。进一步的研究表明，这些真菌不仅适应了高辐射环境，而且似乎还朝着放射性粒子生长，这种现象被称为“放射趋性”。黑色素在其中扮演了关键角色，类似于皮肤中的黑色素保护我们免受紫外线辐射一样，真菌中的黑色素可能保护它们免受电离辐射的伤害。更令人惊讶的是，一些研究表明，这些真菌甚至可以利用辐射能来促进生长，这意味着它们可能将辐射转化为能量。
除了真菌，研究人员还发现，切尔诺贝利地区的青蛙体内黑色素浓度较高，颜色也更深，这使得它们更能适应当地的辐射环境。这些发现不仅颠覆了我们对辐射如何影响生命的认知，也为未来的应用提供了新的可能性。例如，利用这些真菌来清理放射性污染场地，或者在太空旅行中用真菌墙来保护宇航员免受宇宙射线的伤害。这些黑色真菌可能为我们在其他星球上建立可持续的生命支持系统提供新的思路。
- 原文: [The mysterious black fungus from Chernobyl that may eat radiation](https://www.bbc.com/future/article/20251125-the-mysterious-black-fungus-from-chernobyl-that-appears-to-eat-radiation)
- Hacker News: [https://news.ycombinator.com/item?id=46077992](https://news.ycombinator.com/item?id=46077992)
- 作者: bookmtn
- 评分: 139
- 评论数: 39
- 发布时间: 2025-11-28 20:17:15
---
## 使用特制眼镜检测带摄像头的智能眼镜
NullPxl 在 GitHub 上开源了一个项目 banrays，旨在开发一副能够检测周围环境中带有摄像头的智能眼镜的眼镜。这个项目 Ray-BANNED，利用技术手段来应对日益增长的隐私担忧。
该项目通过特定的技术，让佩戴者能够识别出潜在的监控设备，从而保护个人隐私。虽然项目具体的技术细节没有详细展开，但其核心思想在于主动防御，提醒用户注意可能存在的隐私泄露风险。banrays 项目的出现，反映了人们对于新兴科技可能带来的隐私侵犯的担忧，并尝试通过技术手段来解决这个问题。这个项目也引发了关于公共场合隐私权的讨论，以及个人如何保护自己免受不必要的监视。该项目目前有 131 个 star 和 1 个 fork，表明社区对该项目有一定的关注度。
- 原文: [Show HN: Glasses to detect smart-glasses that have cameras](https://github.com/NullPxl/banrays)
- Hacker News: [https://news.ycombinator.com/item?id=46075882](https://news.ycombinator.com/item?id=46075882)
- 作者: nullpxl
- 评分: 342
- 评论数: 120
- 发布时间: 2025-11-28 13:52:38
---
## 德国请愿：正式承认开源工作为公民服务
这份在线请愿书呼吁德国政府正式承认开源工作为一种公民服务 (Ehrenamt)。这意味着从事开源项目的人员可以获得与从事其他志愿工作相同的认可和潜在福利。
开源工作对社会贡献巨大，但往往不被认可。请愿书旨在改变这种状况，让开源贡献者也能享受到公民服务带来的益处。通过正式认可，能够提高开源贡献者的积极性，鼓励更多人参与到开源社区中来。这也能让更多人了解开源的重要性，促进开源生态的健康发展。目前，该请愿正在征集签名，希望能够引起政府的重视并推动相关政策的改变。如果成功，这将是对开源社区的重大肯定，并可能为其他国家提供借鉴。
由于文章内容仅为请愿书的简单介绍，没有评论内容，因此无法进行评论分析。
- 原文: [Petition to formally recognize open source work as civic service in Germany](https://www.openpetition.de/petition/online/anerkennung-von-open-source-arbeit-als-ehrenamt-in-deutschland#petition-main)
- Hacker News: [https://news.ycombinator.com/item?id=46078770](https://news.ycombinator.com/item?id=46078770)
- 作者: PhilippGille
- 评分: 123
- 评论数: 26
- 发布时间: 2025-11-28 22:08:14
---
## 科技巨头筹集巨额资金对抗AI监管
华尔街日报报道指出，科技巨头们正在积极筹集数百万美元的资金，用于对抗可能出现的AI监管。 这篇文章揭示了科技公司在AI监管方面的态度和行动，引发了人们对AI发展方向和社会影响的关注。
文章暗示，这些公司认为目前的AI产品正朝着商品化方向发展，利润空间可能受到挤压。 通过影响监管政策，他们可能试图限制市场参与者，从而保持或扩大自身优势。 然而，这种做法也可能扼杀创新，并可能导致AI技术发展的不平衡。
评论区对AI监管的必要性和时机存在分歧。 一些人认为，应该在AI技术造成实际问题后再进行监管，避免因过度监管而扼杀创新。 另一些人则担心，如果不对AI技术进行有效监管，可能会导致大规模监控、劳工剥削等问题。 还有人质疑，所谓的“AI乌托邦”是否真实，以及在这一过程中谁将拥有AI模型和数据中心。
评论中也提到了AI技术栈中存在的安全风险和依赖性问题，认为应该允许各个地区进行试验，探索不同的监管方法。 此外，还有人批评科技巨头利用资金影响舆论，试图阻止对其不利的监管措施。 甚至有人认为，这背后是资本主义本身在推动AI的发展，以寻找新的载体。 总体而言，评论区对AI监管的态度复杂，既有对技术风险的担忧，也有对过度监管可能扼杀创新的顾虑。
- 原文: [Tech Titans Amass Multimillion-Dollar War Chests to Fight AI Regulation](https://www.wsj.com/tech/ai/tech-titans-amass-multimillion-dollar-war-chests-to-fight-ai-regulation-88c600e1)
- Hacker News: [https://news.ycombinator.com/item?id=46077038](https://news.ycombinator.com/item?id=46077038)
- 作者: thm
- 评分: 78
- 评论数: 83
- 发布时间: 2025-11-28 17:21:55
---
## TigerBeetle 的四种 Fuzzers：提升分布式系统测试效率
本文深入探讨了 TigerBeetle 如何通过采用四种不同的模糊测试器 (fuzzers) 来改进其自适应复制路由 (ARR) 算法，强调了单一模糊测试方法的局限性，并展示了多种测试策略的必要性。文章重点介绍了在构建高可靠、高性能分布式系统时，进行全面测试的重要性。
TigerBeetle 为了保证数据的持久性，采用了数据复制技术，最初使用星型和环形拓扑结构，但这些结构存在带宽利用率低和容易受到网络变化影响的问题。为了解决这些问题，TigerBeetle 开发了自适应复制路由 (ARR)，它使用动态环形拓扑，并根据实际测量到的性能指标来调整复制路径。ARR 的核心思想是避免对系统进行建模，而是直接测量不同复制路径的性能，并选择最优路径。
文章详细介绍了 ARR 的工作原理，包括如何通过实验性的路由来探索更优的拓扑结构，以及如何根据 `.prepare_ok` 消息的延迟来评估路由的性能。文章还提到了使用整体系统模拟 (VOPR) 进行测试的方法，但指出这种方法可能效率较低，因为它需要模拟整个系统，而不仅仅是路由组件。
为了更有效地测试 ARR，TigerBeetle 团队开发了四种不同的模糊测试器。这些模糊测试器各有侧重，可以覆盖不同的测试场景和边界条件，从而更全面地验证 ARR 的正确性和性能。通过结合使用这些模糊测试器，TigerBeetle 能够更有效地发现潜在的问题，并提高系统的可靠性。
文章强调了在分布式系统开发中，测试的重要性，并展示了如何通过采用多种测试策略来提高测试的覆盖率和效率。通过学习 TigerBeetle 的经验，开发者可以更好地理解如何构建高可靠、高性能的分布式系统。
- 原文: [A Tale of Four Fuzzers](https://tigerbeetle.com/blog/2025-11-28-tale-of-four-fuzzers/)
- Hacker News: [https://news.ycombinator.com/item?id=46077964](https://news.ycombinator.com/item?id=46077964)
- 作者: jorangreef
- 评分: 36
- 评论数: 4
- 发布时间: 2025-11-28 20:11:39
---
## PocketBase：单文件开源实时后端解决方案
PocketBase 提供了一个开箱即用的开源后端服务，它将实时数据库、身份验证、文件存储和管理面板集成在一个可执行文件中，方便开发者快速搭建应用。它支持 JavaScript SDK，可以轻松地与各种前端框架集成，简化了后端开发的流程。
PocketBase 的主要特点包括：
* **易于上手：** 只需一个文件即可运行，配置简单，方便快速启动项目。
* **实时数据库：** 内置实时数据库功能，方便构建实时应用。
* **身份验证：** 提供身份验证功能，简化用户管理。
* **文件存储：** 支持文件存储，方便管理应用中的文件资源。
* **管理面板：** 提供图形化管理界面，方便管理数据库和用户。
* **可扩展性：** 虽然设计简洁，但也提供了扩展机制，允许开发者根据需要进行定制。
评论区对 PocketBase 的评价褒贬不一。许多开发者对其快速搭建原型和内部工具的能力表示赞赏，认为它非常适合小型和中型项目，可以避免维护传统后端的复杂性。也有开发者分享了将 PocketBase 与其他工具（如 PocketPages）结合使用的经验，以实现更丰富的功能。
然而，也有开发者提出了对 PocketBase 的担忧，主要集中在以下几个方面：
* **扩展性：** 有开发者认为，在某些情况下，扩展 PocketBase 可能会比较困难。
* **备份：** SQLite 数据库的备份可能会带来压力。
* **锁定：** 有开发者担心会被锁定在单个实例和一个 SQLite 文件中，批量删除操作可能会导致系统崩溃。
总的来说，PocketBase 是一个有吸引力的后端解决方案，尤其适合快速原型开发和小型项目。但在选择使用时，需要仔细评估其局限性，并考虑是否满足项目的长期需求。
- 原文: [Pocketbase – open-source realtime back end in 1 file](https://pocketbase.io/)
- Hacker News: [https://news.ycombinator.com/item?id=46075320](https://news.ycombinator.com/item?id=46075320)
- 作者: modinfo
- 评分: 448
- 评论数: 131
- 发布时间: 2025-11-28 11:45:04
---
## Rust 实现的 Linux 兼容内核：Moss
Moss 是一个使用 Rust 编写的，并且与 Linux 兼容的内核，目前代码量约为 26,000 行。这个项目展示了 Rust 在操作系统开发中的潜力，并尝试提供一种更安全、更可靠的内核替代方案。
该项目使用 MIT 许可证，意味着它是一个开源项目，允许开发者自由使用和修改。Moss 旨在与 Linux 系统调用接口兼容，这意味着理论上现有的 Linux 应用程序无需修改即可在 Moss 上运行。这大大降低了采用新内核的门槛。
这个项目在 GitHub 上获得了近千个 star 和三十多个 fork，表明它在开发者社区中引起了相当大的关注。开源项目通常会提供 Branches, Tags, Activity 等功能，方便开发者追踪代码的演进和参与贡献。
该项目使用 Rust 语言，Rust 具有内存安全和并发安全的特性，这对于操作系统的开发至关重要。传统的 C 语言内核容易出现内存泄漏和数据竞争等问题，而 Rust 可以在编译时避免这些问题，从而提高内核的稳定性和安全性。该项目可以作为学习 Rust 操作系统开发的优秀案例。开发者可以通过阅读源码，了解 Rust 在内核开发中的应用，例如内存管理、进程调度、设备驱动等。
- 原文: [Moss: a Rust Linux-compatible kernel in 26,000 lines of code](https://github.com/hexagonal-sun/moss)
- Hacker News: [https://news.ycombinator.com/item?id=46012803](https://news.ycombinator.com/item?id=46012803)
- 作者: hexagonal-sun
- 评分: 224
- 评论数: 42
- 发布时间: 2025-11-22 15:11:59
---
## A16Z 的声明引发的关于 AI 内容真实性的讨论
Neal Stephenson 对 A16Z 阅读列表中关于他的作品“大多数书没有结尾，实际上是在句子中间停止”的描述提出了质疑。 他认为这是一个虚假且容易被证伪的陈述，并推测这可能是 AI 生成的内容未经人工核实的结果。
Stephenson 指出，尽管他对自己的作品结尾存在争议并不感到惊讶，但 A16Z 的声明明确表示他的书在句子中间停止，这是一种事实性的错误。他提出了几种解释，包括 AI 生成内容、使用劣质盗版副本或翻译不准确的可能性。他强调了互联网上信息真实性日益严峻的问题，因为人们可能会无意中受到 LLM 生成的不准确信息的影响。他甚至提到了早年垃圾邮件发送者将他的作品片段添加到垃圾邮件中的经历，这可能导致 AI 产生错误的印象。
文章的核心在于探讨了 AI 生成内容对信息生态的影响，以及在互联网时代核实信息的重要性。 Stephenson 认为，即使是最精通互联网的人也容易受到虚假信息的影响，而这在很大程度上是因为我们倾向于相信在互联网上看到的内容。 他警告说，由于 LLM 没有动机，也没有确定事实与虚构的基本模型，因此互联网上的内容可能并非由有意误导的人编写，而是由 LLM 编写的。
评论区也对此事进行了热烈的讨论。
* 有人指出，通过查看 A16Z 阅读列表的 commit 历史记录，可以更容易地判断 AI 是否参与了编写。
* 另一些人则对 A16Z 的可信度表示怀疑，认为他们是“绝对的骗子和小丑”。
* 还有人开玩笑说，博文应该在句子中间结束。
* 一些评论者认为 Stephenson 的作品结尾并没有问题。
* 有人推测阅读列表中的所有描述都带有强烈的 LLM 气息。
* 还有人提出了另一种假设，认为这可能是人类记忆失误造成的，将 Stephenson 的作品与其他结尾不完整的作品混淆了。
总的来说，评论区对 A16Z 的声明持批评态度，并普遍认同 Stephenson 关于 AI 生成内容可能导致信息不准确的观点。
- 原文: [A Remarkable Assertion from A16Z](https://nealstephenson.substack.com/p/a-remarkable-assertion-from-a16z)
- Hacker News: [https://news.ycombinator.com/item?id=46078138](https://news.ycombinator.com/item?id=46078138)
- 作者: boplicity
- 评分: 122
- 评论数: 47
- 发布时间: 2025-11-28 20:41:32
---
## Spikelog：面向脚本、Cron 任务和 MVP 的简易指标服务
Spikelog 是一款旨在简化指标记录和可视化的工具，特别适合脚本、定时任务和 MVP 项目。它通过提供一个简单的 API 接口，让开发者可以轻松地发送数值数据，并自动生成图表，无需复杂的配置和学习成本。
Spikelog 的核心理念是“发送数值，而非遥测数据”，避免了传统监控方案中繁琐的配置和学习过程。开发者只需拥有一个 API 密钥，就可以通过 HTTP POST 请求发送包含图表名称和数值的数据，Spikelog 会自动创建并更新图表。它适用于各种可以通过 HTTP 请求发送数据的场景，例如定时任务、脚本或后台服务。
相较于完整的可观测性解决方案，Spikelog 更加轻量级，无需配置导出器和代理、学习查询语言或构建仪表板。它提供免费的使用额度，包含 10 个图表，每个图表最多可存储 1000 个数据点，采用滚动窗口机制，自动保留最近的数据，并移除旧数据，无需手动清理。
Spikelog 还集成了 AI 功能，可以通过简单的提示词，让 AI 自动识别代码中需要添加计数器的地方，并将数据发送到 Spikelog。它适用于需要在短时间内快速了解项目运行状况的场景，例如监控任务是否成功执行、用户注册数量的变化或关键指标的趋势。
对于需要长期数据保留、复杂查询和合规性要求的项目，作者推荐使用 Axiom。Spikelog 则定位于简化指标跟踪，尤其是在 Grafana 等工具显得过于复杂的情况下。未来，Spikelog 计划增加简单的阈值告警功能。
目前评论区还没有评论，所以无法进行观点分析。
- 原文: [Show HN: Spikelog – A simple metrics service for scripts, cron jobs, and MVPs](https://spikelog.com)
- Hacker News: [https://news.ycombinator.com/item?id=46068138](https://news.ycombinator.com/item?id=46068138)
- 作者: dsmurrell
- 评分: 4
- 评论数: 0
- 发布时间: 2025-11-27 19:10:51
---
## 机器学习研究员Ilya Sutskever：Gen-AI可能浪费万亿美元
本文讨论了著名机器学习研究员Ilya Sutskever的观点，他认为通过增加芯片和数据来改进AI的scaling（扩展）正在变得平缓，我们需要新的技术。Sutskever甚至对神经符号技术和先天性持开放态度，他对纯粹的大型语言模型的前景并不看好。文章还指出，Sutskever的观点与Gary Marcus过去几年来的观点相符，包括神经符号方法、内置约束以及scaling的收益递减。
Sutskever认为，这些模型在泛化能力上远不如人类，这是一个非常根本的问题。文章指出，这对于许多机器学习社区的人来说可能是一个新闻，特别是考虑到Sutskever是深度学习的代表人物。
文章还引用了其他研究人员的观点，例如Subbarao Kambhampati关于LLM规划局限性的观点，Emily Bender关于过度关注LLM导致其他研究方法被忽视的观点，以及苹果公司关于LLM泛化问题的论文。
文章进一步探讨了如果Sutskever的观点是正确的，即AGI无法直接从LLM中产生，那么社会为此付出的代价是什么。文章估计，这可能涉及大约一万亿美元的资金浪费，主要用于Nvidia芯片和高额薪资。文章还引用了Ed Zitron的计算，认为大型科技公司需要在2030年之前获得2万亿美元的AI收入，否则他们的资本支出将被浪费。
文章最后指出，各大科技公司都在重复同样的实验，即构建更大的LLM，希望实现AGI，但这种方法从未奏效，并且存在幻觉、泛化、规划和推理等核心问题。除了资金浪费外，LLM还可能对社会造成附带损害，例如对高等教育的负面影响。
- 原文: [A trillion dollars (potentially) wasted on gen-AI](https://garymarcus.substack.com/p/a-trillion-dollars-is-a-terrible)
- Hacker News: [https://news.ycombinator.com/item?id=46078407](https://news.ycombinator.com/item?id=46078407)
- 作者: flail
- 评分: 57
- 评论数: 30
- 发布时间: 2025-11-28 21:21:17
---
## Unix 44年演化历史版本库
本文介绍了一个包含Unix操作系统44年演化历史的Git版本库，记录了从1972年最初的5000行代码到2015年2600万行代码的演变历程。
这个版本库通过整合贝尔实验室、伯克利大学和386BSD团队开发的24个系统快照、两个遗留版本库以及FreeBSD系统的现代版本库而创建，共包含65.9万个提交和2306个合并，并且识别出了850位贡献者。该版本库托管在GitHub上，可用于软件工程、信息系统和软件考古等领域的实证研究。
该版本库以`Epoch`标签作为起点，仅包含许可信息和README文件。重要的标签和分支包括：`Research-VX`（贝尔实验室的研究版本），`Bell-32V`（Unix第七版到DEC/VAX的移植），`BSD-X`（伯克利发布的快照），`386BSD-X`（Intel 386架构的开源版本），以及`FreeBSD-release/X`（FreeBSD项目的116个版本）。
通过`git blame`命令，可以追溯代码的来源。例如，在`BSD-4`标签下，查看`kernel/pipe.c`文件，可以看到Ken Thompson和Bill Joy在不同时期编写的代码。研究表明，即使在现代的FreeBSD 9中，仍然可以找到来自BSD 4.3等早期版本的代码片段。有趣的是，在创建386BSD和FreeBSD 1.0时所做的快速开发的代码似乎并没有保留下来。FreeBSD 9中最古老的代码是`timezone.c`文件中的一段18行代码，可以追溯到Unix第七版。
- 原文: [A Repository with 44 Years of Unix Evolution](https://www.spinellis.gr/pubs/conf/2015-MSR-Unix-History/html/Spi15c.html)
- Hacker News: [https://news.ycombinator.com/item?id=46077106](https://news.ycombinator.com/item?id=46077106)
- 作者: lioeters
- 评分: 52
- 评论数: 10
- 发布时间: 2025-11-28 17:32:38
---
## 欧盟理事会批准新的“聊天控制”授权，推动大规模监控
欧盟理事会最近批准了一项新的“聊天控制”授权，旨在打击儿童性虐待，但引发了关于大规模监控和隐私侵犯的担忧。这项措施虽然表面上是为了保护儿童，但实际上可能重塑欧洲的数字通信格局。
新提案取消了公司扫描所有私人消息的明确义务，转而采用一种间接的压力系统，通过奖励或惩罚来鼓励在线服务提供商进行“自愿”扫描。批评者认为，这实际上是将侵入式监控变成了商业期望，而非法律要求。前欧洲议会议员 Patrick Breyer 警告说，这项协议为永久性的大规模监控基础设施铺平了道路，并可能导致匿名性丧失，用户需要进行身份验证才能使用在线服务。
该提案要求服务提供商评估其平台上的儿童虐待内容风险，并采取经当局批准的“缓解措施”，这可能导致他们被迫安装扫描工具来监控加密和未加密的通信。一些欧洲议会议员和隐私倡导者对此表示反对，认为这将导致对公民消息的全面扫描，并威胁到在线隐私。荷兰、波兰和捷克共和国对该计划投了反对票，意大利弃权。
批评者还指出，所谓的“自愿扫描”实际上是将大规模监控变成了标准操作程序，并且可能导致大量合法内容被错误标记。此外，为了满足“可靠识别未成年人”的新要求，服务提供商可能需要实施普遍的年龄检查，这可能会对记者、活动家以及依赖匿名性的人构成威胁。最后，该框架可能会阻止 17 岁以下的用户访问许多平台，除非他们通过严格的身份验证。
总而言之，这项新的“聊天控制”授权在隐私保护和儿童安全之间引发了激烈的争论，批评者担心它可能会导致大规模监控、匿名性丧失和数字隔离。
评论区里，大家也纷纷表达了自己的看法：有人惊讶于欧盟立法的高效率，一项有争议的法案可以快速地被提出、否决、然后又复活通过。有人质疑这项法案的包装方式，是否会以反恐、打击儿童色情或者应对俄罗斯特工为名义。还有人认为这是一种高级持续性威胁（APT），即使一时击败了它，它仍然会不断尝试。有人好奇为什么丹麦如此热衷于推动这项法案。也有人指出，类似的数字身份认证正在美国等其他国家推行，并强调了开源替代方案的重要性。
- 原文: [EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance](https://reclaimthenet.org/eu-council-approves-new-chat-control-mandate-pushing-mass-surveillance)
- Hacker News: [https://news.ycombinator.com/item?id=46077393](https://news.ycombinator.com/item?id=46077393)
- 作者: fragebogen
- 评分: 420
- 评论数: 247
- 发布时间: 2025-11-28 18:36:08
---
## 使用 SQLite 作为应用程序文件格式
本文探讨了使用 SQLite 数据库文件作为应用程序文件格式的优势，并将其与其他常见格式（如自定义格式、文件堆格式和包装的文件堆格式）进行了比较。SQLite 提供了一种结构化、高效且易于访问的方式来存储应用程序数据。
文章首先定义了“应用程序文件格式”，区分了它与“文件格式”的区别。接着，文章将常见的应用程序文件格式分为三类：完全自定义格式（如 DOC、DWG、PDF）、文件堆格式（如 Git）和包装的文件堆格式（如 EPUB、ODT）。每种格式都有其优缺点，例如，自定义格式通常是“不透明的”，需要专门的工具来读写，而文件堆格式则更易于访问，但管理起来不太方便。包装的文件堆格式试图在两者之间找到平衡。
文章随后提出了使用 SQLite 数据库文件作为应用程序文件格式的观点，并列举了十二个理由：简化应用程序开发、单文件文档、高级查询语言、可访问的内容、跨平台、原子事务、增量和持续更新、易于扩展、性能、多进程并发使用、多种编程语言以及更好的应用程序。SQLite 不仅可以像文件堆格式一样存储键值对，还可以拥有复杂的表结构、索引和约束，从而实现更高效的数据管理和检索。此外，SQLite 数据库可以像 ZIP 压缩包一样紧凑，并且可以单独更新文件而无需重写整个文档。
总而言之，文章认为 SQLite 提供了一种优于传统应用程序文件格式的替代方案，它兼具结构化、高效、易于访问和跨平台等优点，非常适合用于存储和管理应用程序数据。
- 原文: [SQLite as an Application File Format](https://sqlite.org/appfileformat.html)
- Hacker News: [https://news.ycombinator.com/item?id=46076642](https://news.ycombinator.com/item?id=46076642)
- 作者: gjvc
- 评分: 32
- 评论数: 7
- 发布时间: 2025-11-28 16:15:50
---
## 瑞士数据保护机构对政府部门实施广泛的云禁令
瑞士数据保护会议Privatim对联邦机构使用国际云服务，特别是AWS、Google或Microsoft等超大规模云服务，施加了严格限制。这意味着瑞士政府部门在采用美国云服务时将面临诸多限制。
Privatim认为，由于美国《外国情报监视法》（FISA）和《云法案》（CLOUD Act），美国当局可以访问存储在这些云服务中的数据，这与瑞士的数据保护法律相冲突。因此，联邦机构只能在有限的情况下使用这些服务，并且必须采取额外的保护措施。这些措施可能包括加密、匿名化或将数据存储在瑞士境内。禁令的目的是确保瑞士公民的数据受到充分保护，免受外国政府的监视。
该禁令可能会对瑞士政府部门的IT战略产生重大影响，迫使他们重新评估其云服务的使用方式，并寻找替代方案。这可能包括使用瑞士本土的云服务提供商，或构建自己的私有云基础设施。此外，该禁令也可能对其他欧洲国家产生影响，促使他们重新考虑与美国云服务提供商合作的数据保护风险。
目前尚不清楚该禁令的具体实施细节，以及联邦机构将如何遵守这些规定。预计Privatim将发布更详细的指南，以帮助政府部门理解和实施这些限制。
- 原文: [Switzerland: Data Protection Officers Impose Broad Cloud Ban for Authorities](https://www.heise.de/en/news/Switzerland-Data-Protection-Officers-Impose-Broad-Cloud-Ban-for-Authorities-11093477.html)
- Hacker News: [https://news.ycombinator.com/item?id=46077885](https://news.ycombinator.com/item?id=46077885)
- 作者: TechTechTech
- 评分: 60
- 评论数: 26
- 发布时间: 2025-11-28 20:00:35
---
## Tiger Style：一种关注安全、性能和开发者体验的编码哲学
Tiger Style 是一种编码哲学，它强调在软件开发中关注安全性、性能和开发者体验，旨在通过严谨的工程实践构建健壮、高效且易于维护的软件。其核心在于通过实践来提升代码的可靠性、效率和可维护性。
Tiger Style 的核心原则包括安全性、性能和开发者体验。安全性是基础，意味着编写在各种情况下都能正常工作的代码，并降低出错的风险。性能则关注如何高效利用资源，提供快速响应的软件。良好的开发者体验能够提高代码质量和可维护性，鼓励协作，减少错误，从而形成更健康的代码库。
在设计目标方面，Tiger Style 侧重于构建安全、快速且易于维护的软件。安全性依赖于清晰、结构化的实践，以防止错误并加强代码库。这包括可预测的控制流、有界限的系统资源、使用显式大小的类型、静态内存分配、最小化变量作用域，以及完善的错误处理机制。例如，限制函数长度在 70 行以内，集中控制流，使用断言验证代码中的关键条件，并将编译器警告视为错误等。
性能方面，Tiger Style 强调在早期设计阶段就考虑性能，通过“餐巾纸数学”进行快速估算，批量处理操作以减少开销。同时，需要关注资源使用效率，按照网络、磁盘、内存、CPU 的顺序进行优化。编写可预测的代码可以提高 CPU 缓存命中率和分支预测，从而提升性能。
总而言之，Tiger Style 是一种综合性的编码方法，它不仅关注代码的功能实现，更关注代码的质量、性能和开发效率。通过遵循这些原则，开发者可以构建出更可靠、更高效、更易于维护的软件系统。
- 原文: [Tiger Style: Coding philosophy (2024)](https://tigerstyle.dev/)
- Hacker News: [https://news.ycombinator.com/item?id=46075628](https://news.ycombinator.com/item?id=46075628)
- 作者: nateb2022
- 评分: 93
- 评论数: 91
- 发布时间: 2025-11-28 12:53:07
---
## 开源实时对话语音合成模型 dia2
本文介绍了一个名为 dia2 的开源语音合成（TTS）模型，它能够以流式方式实时生成对话音频。这个模型由 nari-labs 开发，并以 Apache 2.0 许可发布。
dia2 的主要特点是其流式处理能力，这意味着它可以边接收文本输入，边生成音频输出，而无需等待整个文本输入完成。这对于实时对话应用至关重要，例如聊天机器人、虚拟助手等。该项目在 GitHub 上开源，提供了代码、文档和相关资源，方便开发者使用和定制。项目使用 Apache-2.0 许可，允许用户自由使用、修改和分发该模型，促进了其在语音合成领域的应用和发展。开发者可以利用 dia2 构建各种实时语音交互应用，并根据自身需求进行优化和改进。该项目也提供了 Issues 功能，方便用户提交问题和反馈，促进了社区的交流与合作。
- 原文: [Open (Apache 2.0) TTS model for streaming conversational audio in realtime](https://github.com/nari-labs/dia2)
- Hacker News: [https://news.ycombinator.com/item?id=46033386](https://news.ycombinator.com/item?id=46033386)
- 作者: SweetSoftPillow
- 评分: 33
- 评论数: 3
- 发布时间: 2025-11-24 20:28:44
---
## Ajax Systems 如何打造极简主义的 OS Malevich
本文介绍了 Ajax Systems 如何通过打造全新的操作系统 OS Malevich，在保证安全性和可靠性的前提下，实现功能的快速扩展和开发效率的提升。他们面临着在实时操作系统（RTOS）的可靠性和 Linux 这样的高级操作系统的可扩展性之间做出选择的难题。
为了解决这个问题，Ajax Systems 决定从简化入手，创建了 OS Malevich。这个系统的核心理念是，增加功能不应使系统复杂化或降低开发速度。为了实现这个目标，他们彻底改变了架构、编程方法、编码和设计标准、工作组织以及开发环境。
OS Malevich 在保持对进程执行时间的关注的同时，也开始获得 Linux 的一些特性。他们实现了类似的 CPU 时间分配机制，使 Hub 处理器即使在执行资源密集型任务时，CPU 使用率也最多只占用 20%。此外，系统还采用了模块化设计，使用标准 API 实现元素之间的交互。这种模块化设计使得模块易于使用，可以快速识别和消除错误，并且可以轻松地增加功能和进行实验，以达到理想的效率。
通过 OS Malevich，Ajax Systems 实现了 Hub、服务器和应用程序开发速度的统一，消除了技术对其创新的限制。他们希望，随着时间的推移，OS Malevich 所实现的理念能够成为物联网领域的经典。
评论区里，有开发者称赞 Ajax Systems 兼顾了研究级的雄心和实际产品，这是一种并不常见的组合。这表明 OS Malevich 不仅在理论上具有创新性，而且在实际应用中也具有价值。
- 原文: [OS Malevich – how we made a system that embodies the idea of simplicity (2017)](https://www.ajax-systems.uz/blog/hub-os-malevich-story/)
- Hacker News: [https://news.ycombinator.com/item?id=46032623](https://news.ycombinator.com/item?id=46032623)
- 作者: frxx
- 评分: 12
- 评论数: 1
- 发布时间: 2025-11-24 18:52:37
---
## VSORA Jotunn 8：欧洲 5nm 推理芯片
VSORA 推出了 Jotunn 8，一款旨在提升 AI 推理效率的芯片。该芯片专为数据中心设计，目标是在速度、成本和可扩展性之间取得平衡，满足大规模、实时 AI 应用的需求。Jotunn 8 强调低延迟、高吞吐量和成本效益，旨在降低 AI 推理的运营成本和碳足迹。
Jotunn 8 旨在为各种应用提供动力，包括聊天机器人、欺诈检测、推荐引擎和 LLM API。该芯片的关键特性包括超低延迟，这对于实时应用至关重要；极高的吞吐量，满足高需求服务的要求；以及成本和功率效率，这对于大规模 AI 推理的商业可行性和可持续性至关重要。VSORA 强调，Jotunn 8 不仅仅是更快的推理，而是为大规模 AI 奠定新的基础。他们声称，Jotunn 8 在性能上优于市场上的其他产品，特别是在运行 Llama3 405B 等模型时。该芯片旨在帮助企业充分发挥其 AI 投资的潜力，同时降低运营成本并致力于可持续性。
- 原文: [Vsora Jotunn-8 5nm European inference chip](https://vsora.com/products/jotunn-8/)
- Hacker News: [https://news.ycombinator.com/item?id=46074111](https://news.ycombinator.com/item?id=46074111)
- 作者: rdg42
- 评分: 151
- 评论数: 57
- 发布时间: 2025-11-28 07:30:11
---
## 高性能 EDN 解析器：edn.c
`edn.c` 是一个用 C11 编写的快速 EDN (Extensible Data Notation) 解析器，它利用 SIMD 加速技术，旨在提供高性能的 EDN 数据读取功能。该项目支持多种平台，包括 macOS、Linux、Windows 和 WebAssembly，并且具有零依赖、内存安全等特点。
`edn.c` 的核心优势在于其速度和效率。它通过 SIMD 指令集（如 NEON、SSE4.2 和 SIMD128）加速解析过程，从而在各种硬件平台上实现卓越的性能。此外，该解析器采用零拷贝策略，尽量避免不必要的内存分配，直接引用输入数据，进一步提升了效率。它还提供了简单易用的 API，方便开发者集成到自己的项目中。`edn.c` 支持 EDN 的所有核心特性，包括 Map, vectors, strings, numbers, booleans, null, sets, keywords, symbols, characters, lists，以及通过 tagged literals 进行扩展。
该项目不仅功能强大，而且非常注重代码质量。它拥有超过 340 个测试用例，覆盖了各种场景，确保代码的稳定性和可靠性。`edn.c` 还支持 UTF-8 编码，能够处理各种语言的文本数据。此外，它还提供了一些可选特性，如 Map Namespace Syntax、Extended Characters、Metadata、Text Blocks、Ratio Numbers 和 Extended Integers，可以根据需要启用。通过 Arena allocator 进行内存管理，只需一次 `edn_free()` 调用即可释放所有分配的内存，简化了资源管理。
总而言之，`edn.c` 是一个优秀的 EDN 解析器，适用于需要高性能、低开销的场景。无论是服务器端应用、移动应用还是 Web 应用，都可以从中受益。
- 原文: [A fast EDN (Extensible Data Notation) reader written in C11 with SIMD boost](https://github.com/DotFox/edn.c)
- Hacker News: [https://news.ycombinator.com/item?id=46032230](https://news.ycombinator.com/item?id=46032230)
- 作者: delaguardo
- 评分: 98
- 评论数: 34
- 发布时间: 2025-11-24 17:51:45
---
## 使用 Linux Vsock 实现快速 VM 通信
本文介绍了如何利用 Linux 的 vsock 技术，在虚拟机 (VM) 和宿主机之间建立高效的通信，并以 gRPC 服务为例，展示了具体实现方法和代码示例。
文章首先解释了 vsock 的优势，它无需 TCP/IP 协议栈或网络虚拟化，就能实现 VM 间或 VM 与宿主机之间的通信，并且在 API 层面与标准 socket 类似。随后，文章详细讲解了使用 Bazel 构建 gRPC 服务的步骤，包括外部依赖的配置、gRPC 库的生成、以及服务端和客户端的具体实现。服务端代码展示了如何监听指定的 vsock 地址，并处理客户端的请求。客户端代码则演示了如何连接到 VM 上的 gRPC 服务，并发送请求。文章还特别解释了 CID (Context ID) 的概念，它类似于 IP 地址，用于标识 VM 或宿主机。CID 2 代表宿主机，VM 的 CID 通常从 3 开始分配。文章通过代码示例，展示了如何使用 `vsock:` 前缀指定 vsock 作为 gRPC 的传输层，以及如何设置 CID 和端口号。最后，文章强调了静态链接二进制文件在简化部署方面的优势，使得只需将单个文件复制到 VM 即可运行。
由于没有评论内容，这里省略评论分析部分。
- 原文: [How to use Linux vsock for fast VM communication](https://popovicu.com/posts/how-to-use-linux-vsock-for-fast-vm-communication/)
- Hacker News: [https://news.ycombinator.com/item?id=46075746](https://news.ycombinator.com/item?id=46075746)
- 作者: mfrw
- 评分: 61
- 评论数: 13
- 发布时间: 2025-11-28 13:19:45
---
## GitLab 发现大规模 NPM 供应链攻击
GitLab 发现了一起大规模的 NPM 供应链攻击，恶意软件通过受感染的软件包传播，对用户数据构成严重威胁。该攻击利用了名为 "Shai-Hulud" 的恶意软件的变种，并具有蠕虫般的传播特性，会自动感染受影响开发者维护的其他软件包。
这次攻击的关键在于其“死亡开关”机制，如果恶意软件失去对其基础设施的访问权限，就会触发数据销毁。GitLab 的内部监控系统检测到多个受感染的 NPM 包，这些包包含复杂的恶意代码，能够窃取 GitHub、NPM、AWS、GCP 和 Azure 的凭据，并将窃取的数据泄露到攻击者控制的 GitHub 仓库。恶意软件通过修改 `package.json` 文件，添加指向 `setup_bun.js` 的 preinstall 脚本来感染系统。这个脚本表面上安装 Bun JavaScript 运行时，但实际上会执行捆绑的 `bun_environment.js` 恶意负载，该负载经过混淆处理，难以检测。
恶意软件一旦执行，会立即开始从多个来源收集凭据，包括环境变量、GitHub CLI 配置、云服务 SDK、`.npmrc` 文件和文件系统扫描。为了持久化，恶意软件会创建带有特定标记（"Sha1-Hulud: The Second Coming"）的公共 GitHub 仓库，作为被盗凭据和系统信息的投放点。更重要的是，如果初始 GitHub 令牌权限不足，恶意软件会搜索其他受感染的仓库，从而创建一个具有弹性的僵尸网络，共享访问令牌。利用窃取的 NPM 令牌，恶意软件会下载受害者维护的所有软件包，将 `setup_bun.js` 注入到每个软件包的 preinstall 脚本中，捆绑恶意负载，增加版本号，然后重新发布受感染的软件包到 NPM。
GitLab 强调他们自身没有使用任何恶意软件包，并分享他们的发现，以帮助更广泛的安全社区有效应对。
由于文章中没有评论内容，因此无法提供评论观点的分析。
- 原文: [GitLab discovers widespread NPM supply chain attack](https://about.gitlab.com/blog/gitlab-discovers-widespread-npm-supply-chain-attack/)
- Hacker News: [https://news.ycombinator.com/item?id=46070203](https://news.ycombinator.com/item?id=46070203)
- 作者: OuterVale
- 评分: 298
- 评论数: 163
- 发布时间: 2025-11-27 23:36:56
---
## Linux 系统上实现蓝牙 LE Audio 和 Auracast
本文主要介绍了如何在 Linux 系统上实现蓝牙 LE Audio 和 Auracast 技术，这是蓝牙音频领域的一项重大革新。LE Audio 基于蓝牙低功耗（LE）架构，与传统的蓝牙经典模式相比，功耗更低、延迟更小，并引入了 Auracast™ 广播音频技术，为用户带来全新的音频体验。
LE Audio 采用模块化框架，核心是基础音频协议（BAP），并在此基础上构建了音量控制协议（VCP）、麦克风控制协议（MICP）等。Auracast™ 允许多个接收设备同时接收音频广播，类似于传统无线电广播，但具有更强的安全性和数字化优势。在 Linux 系统中，LE Audio 的实现依赖于 BlueZ（蓝牙主机堆栈）和 PipeWire（音频路由），PipeWire 已经支持包括 A2DP、HSP/HFP、ASHA 和 LE Audio 在内的多种蓝牙协议。
要使 LE Audio 在 Linux 系统上运行，需要 Linux kernel 6.4 或更高版本，以及较新版本的 BlueZ 和 PipeWire。硬件方面，包括 Intel、NXP、联发科、高通等厂商的最新型号都已支持 LE Audio，但 Auracast™ 的支持情况有所不同。可以使用 `bluetoothctl` 命令来验证控制器的能力。配置 LE Audio 需要在 BlueZ 的 `/etc/bluetooth/main.conf` 文件中启用实验性功能，并在内核实验选项中包含 ISO socket UUID。
双栈设备（同时支持蓝牙经典和 LE Audio）的切换是一个挑战，因为需要在两个堆栈之间断开并重新连接设备。BlueZ 5.84 将引入改进的工具，提供显式的堆栈连接状态和 D-Bus API，以实现程序化控制。
- 原文: [Implementing Bluetooth LE Audio and Auracast on Linux Systems](https://www.collabora.com/news-and-blog/blog/2025/11/24/implementing-bluetooth-le-audio-and-auracast-on-linux-systems/)
- Hacker News: [https://news.ycombinator.com/item?id=46038684](https://news.ycombinator.com/item?id=46038684)
- 作者: losgehts
- 评分: 102
- 评论数: 4
- 发布时间: 2025-11-25 04:15:53
---
## 为你的 AI 编码助手升级记忆：Beads
Beads 是一个轻量级的、基于图结构的 issue 追踪系统，旨在为 AI 编码助手提供“记忆升级”，帮助它们更好地组织、聚焦，并处理长期任务。它通过四种依赖关系将 issue 串联起来，使 AI 能够可靠地按正确顺序执行复杂的任务流。
Beads 的核心功能包括：零配置快速启动，通过 `bd init` 即可在项目本地创建数据库；支持四种依赖类型（blocks, related, parent-child, discovered-from）的依赖追踪；自动检测没有开放 blockers 的“就绪”任务；提供 `--json` 标志方便与 Agent 进行程序化集成；使用 Git 版本控制，将 JSONL 记录存储在 Git 中，跨机器同步；为多 Agent 协同设计，通过 Git 共享一个逻辑数据库；可选的 Agent Mail，实现实时多 Agent 协同；支持受保护的分支；可扩展，允许向 SQLite 数据库添加自定义表；多项目隔离，每个项目拥有独立的数据库；可视化依赖关系树；提供美观的 CLI 界面和完整的审计追踪；高性能批量操作；以及语义压缩，优雅地减少旧的已关闭 issue。简单来说，Beads 就像一个项目管理的“珠子”，把各种任务串起来，让你的 AI 助手思路更清晰。
Beads 的安装非常简单，可以通过 npm、curl、Homebrew 等多种方式进行安装。安装完成后，只需运行 `bd init` 即可初始化项目。对于人类用户，Beads 主要由 AI 编码助手使用，它们会代表你创建和管理 issue。Beads 能够显著提升 AI 助手处理复杂、嵌套计划的能力，避免因缺乏上下文而遗漏问题，从而提高工作效率和代码质量。
- 原文: [Beads – A memory upgrade for your coding agent](https://github.com/steveyegge/beads)
- Hacker News: [https://news.ycombinator.com/item?id=46075616](https://news.ycombinator.com/item?id=46075616)
- 作者: latchkey
- 评分: 86
- 评论数: 46
- 发布时间: 2025-11-28 12:50:57
---
## 芬兰启动 250MWh “沙子电池” 建设项目
芬兰正在建设一个大型沙子电池项目，旨在为区域供热网络提供热能，并参与电网平衡。该项目由 Polar Night Energy 和 Lahti Energia 合作，将成为世界上最大的沙基热能存储 (TES) 项目。
这个沙子电池的加热功率为 2MW，热能存储容量高达 250MWh，相当于一个可以持续供热 125 小时的系统。它不仅能为 Lahti Energia 的 Vääksy 区域供热网络供热，还能参与 Fingrid 的备用和电网平衡市场。Polar Night Energy 的技术原理是利用电力加热沙子或类似的固体材料，储存热量，然后将热量释放出来用于工业或供热。
该项目预计每年可减少 Vääksy 区域供热网络中约 60% 的化石燃料排放，天然气使用量将减少 80%，木片消耗量也将降低。此前，Polar Night Energy 已经完成了一个 1MW/100MWh 的沙子电池 TES 项目，并投入商业运营，该项目使用陶瓷生产的副产品皂石作为存储介质。这次的新项目将使用当地的天然沙子，储存在一个高 14 米、宽 15 米的容器中。
该项目已获得芬兰国家机构 Business Finland 的资助。Polar Night Energy 将担任该项目的总承包商，现场施工将于 2026 年初开始，预计 2027 年夏季完工。Lahti Energia 的 CEO Jouni Haikarainen 表示，该项目有助于降低客户的供热成本，利用可再生能源进行供热生产，并为电网平衡做出贡献。
评论区里，有人提到了芬兰冬季日照时间短的问题，指出这种储能方式对于应对冬季寒冷和高压系统造成的太阳能和风能不足的情况非常重要。也有人讨论了热存储的几何特性，指出大型热库会因为体积与表面积的比例关系而具有自保温的特性。还有人分享了自己 DIY 热电池的尝试，但苦于难以高效地将热能转化为电能。另一些评论则批评了“为什么不...”式的提问，认为设计者在选择方案时已经考虑了各种因素。
- 原文: [250MWh 'Sand Battery' to start construction in Finland](https://www.energy-storage.news/250mwh-sand-battery-to-start-construction-in-finland-for-both-heating-and-ancillary-services/)
- Hacker News: [https://news.ycombinator.com/item?id=46073855](https://news.ycombinator.com/item?id=46073855)
- 作者: doener
- 评分: 298
- 评论数: 222
- 发布时间: 2025-11-28 06:48:44
---
## 基于 io_uring 和 kqueue 的 I/O 友好的抽象
本文讨论了如何通过在 Linux 上使用 `io_uring` 和在 FreeBSD/macOS 上使用 `kqueue`，来构建一个对开发者更友好的 I/O 抽象层，从而提高 I/O 性能。文章从传统的阻塞 I/O 开始，逐步过渡到非阻塞 I/O，然后深入探讨了 `io_uring` 和 `kqueue` 的优势，并展示了如何使用它们来构建一个事件循环。
文章首先介绍了阻塞 I/O 的基本概念，即通过 `open()`、`read()`、`write()` 等系统调用来操作文件描述符。然而，由于系统调用的开销，频繁的阻塞 I/O 会影响性能。因此，文章引入了非阻塞 I/O 的概念，允许程序在数据不可用时避免阻塞。
为了进一步提高性能，文章重点介绍了 `io_uring` 和 `kqueue`。这两个 API 允许开发者批量提交 I/O 请求到内核，并在另一个队列中获取完成事件。`io_uring` 甚至允许内核直接执行 `read()` 和 `write()` 操作，从而减少了用户态和内核态之间的切换开销。
文章提供了一个使用 `io_uring` 实现的简单 TCP Echo 服务器的示例代码，展示了如何使用 `io_uring` 来处理 I/O 操作。但是，作者指出，将 `io_uring` 的行为直接绑定到业务逻辑中并不理想，尤其是在大型应用程序中。
为了解决这个问题，文章提出了一个 I/O 调度器的概念，允许开发者在代码的任何地方调度 I/O 操作，并传递一个回调函数，在 I/O 完成时被调用。这个调度器可以根据底层内核选择使用 `io_uring` 或 `kqueue`，并对 I/O 调用进行批量处理，从而隐藏了底层的实现细节。
此外，文章还介绍了 `flush` 和 `run_for_ns` 函数，用于提交 I/O 请求并轮询完成事件。最终，文章将用户置于一个循环中，独立于正常的程序执行来调用 `run_for_ns` 函数，从而构建了一个传统的事件循环。
最后，文章讨论了如何在提交队列和完成队列之间跟踪回调函数。`io_uring` 和 `kqueue` 事件都具有用户数据字段，内核在事件完成时会将这些数据传递回来，从而允许开发者在回调函数中访问相关的信息。
(由于文章没有评论内容，因此跳过评论相关的输出。)
- 原文: [A programmer-friendly I/O abstraction over io_uring and kqueue (2022)](https://tigerbeetle.com/blog/2022-11-23-a-friendly-abstraction-over-iouring-and-kqueue/)
- Hacker News: [https://news.ycombinator.com/item?id=46073817](https://news.ycombinator.com/item?id=46073817)
- 作者: enz
- 评分: 107
- 评论数: 32
- 发布时间: 2025-11-28 06:41:06
---
🫵 来啊，说点有用的废话!
▲
