## Ventoy：一个通用的可启动USB驱动器创建工具
Ventoy是一个免费、开源的工具，可以简化可启动USB驱动器的创建。Ventoy允许您简单地*复制* ISO、WIM、IMG、VHD(x)和EFI文件到USB驱动器，而无需反复格式化和复制文件。Ventoy随后会显示一个启动菜单，让您选择要启动的镜像。
它支持广泛的操作系统——包括Windows、Linux和ChromeOS——以及架构（x86、ARM64等）。MBR和GPT分区方案均兼容，并且支持安全启动。Ventoy与超过1200个ISO文件以及DistroWatch上列出的90%的分发版兼容。
主要功能包括Linux的持久性支持、自动安装选项和可定制的启动菜单。它速度快，不需要为文件持续占用磁盘空间，并且在升级过程中不会破坏现有数据。在[https://www.ventoy.net](https://www.ventoy.net) 找到更多信息并下载Ventoy。
每日HackerNews RSS
## Ventoy：便捷的可启动USB解决方案
Ventoy是一个简化创建可启动USB驱动器的工具。与传统方法需要为每个ISO重新刷新不同，Ventoy允许用户只需将ISO、WIM、IMG、VHD(x)和EFI文件拖放到USB驱动器上。然后，驱动器会呈现一个启动菜单，允许选择所需的镜像。
用户称赞它的便捷性和可靠性，尤其是在双启动场景中。然而，一些用户报告说某些ISO存在兼容性问题，尤其是Linux发行版，可能与UEFI设置或驱动器格式（推荐GPT）有关。
虽然总体上评价很高，但讨论强调了对软件中二进制blob的担忧，以及对安全启动配置的仔细考虑的必要性。Rufus、Balena Etcher和IODD等替代方案也存在，但Ventoy的多启动功能和易用性使其在许多方面脱颖而出。最近的更新解决了有关潜在的不安全Windows内核驱动程序的问题。
国际刑事法院希望摆脱对美国技术的依赖。
The International Criminal Court wants to become independent of USA technology
31 天前
国际刑事法院（ICC）正致力于减少对美国技术，特别是微软的依赖，原因是担心特朗普政府可能采取报复行动。此前，包括首席检察官卡里姆·汗在内的ICC官员受到制裁，他的微软邮箱访问被阻止，被迫使用瑞士服务。 ICC的目标是用德国数字主权中心（Zendis）开发的OpenDesk软件，替换其当前的微软软件，以实现更大的数字独立。虽然此次转变只影响“1800”个工作站，但它凸显了人们对通过技术进行地缘政治杠杆操作的日益担忧。 此举反映了一种更广泛的趋势，其他德国机构，如公共卫生服务部门和武装部队，也正在采用Zendis的解决方案，以减少对美国数字公司的依赖，并保护其运营免受潜在外部压力。ICC的决定强调了“数字主权”日益重要性，在技术日益成为政治影响力的关键工具的世界中。
3D太阳能塔提升容量因子50%，太阳能表面积增加三倍。
3D solar tower increases capacity factor 50%, triples solar surface area
31 天前
Janta Power，一家创新型垂直太阳能塔开发商，已获得Mac Venture Capital和Collab Capital领投的550万美元种子轮融资。这笔资金将用于扩大其专利3D塔的规模，该塔专为在有限空间内实现高能量密度而设计，非常适合数据中心、电动汽车充电站和工业设施。
Janta Power的塔在相同土地面积上，太阳能表面积是传统平板阵列的三倍，通过独特的双峰功率曲线，全天都能捕获更多阳光。其容量因子达到32%（而典型值为22%），有可能将电费降低至每千瓦时0.05美元。
Janta Power目前提供5千瓦型号，并正在开发更大版本。该公司已经在达拉斯-沃斯堡国际机场和慕尼黑国际机场等大型机场试点其技术，展示了其耐用性——设计可承受高达170英里/小时的风力——以及简化的安装。该设计还旨在提供更稳定的能源供应，从而减轻电网压力。
## 3D太阳能塔总结
一家初创公司Janta Power正在开发“3D太阳能塔”——本质上是安装在电机结构上的、角度各异的太阳能板，专为空间有限的区域设计。该技术旨在提高能源密度，并可能使太阳能表面积比传统安装方式增加三倍。
讨论的重点在于收益是否超过成本，包括可能遮挡邻居、风荷载以及跟踪系统维护等问题。虽然一些人认为该技术在数据中心和停车棚等应用中具有潜力，但另一些人质疑其新颖性，指出已有的垂直双面组件解决方案。
对话突出了太阳能的成本动态，许多人认为过度铺设太阳能板比跟踪系统更便宜，但同时也承认该技术针对的是特定的空间受限场景。总的来说，这项创新似乎是对面板布局的重新构想，而不是一种根本上新的能量产生方法。
## 理解 JavaScript 中的 NaN
在 JavaScript 中，`NaN`（非数字）出现在算术运算不产生有效数字时。 关键是，*任何* 涉及 `NaN` 的数学运算都会产生 `NaN`，从而将错误传播到计算中。 与 `NaN` 的比较总是评估为 `false`，即使 `NaN !== NaN` 也是如此——这是因为 `NaN` 代表计算中断，而不是特定值。
这种独特行为源于 `NaN` 需要在计算*内部*充当错误标志。 为了避免意外结果（例如 `NaN / NaN` 等于 1），`NaN` 在技术上是一种数字类型，但它不等于自身。
检测 `NaN` 需要小心。 直接比较 (`=== NaN`) 会失败。 全局 `isNaN()` 函数检查一个值*是否可以强制转换为* `NaN`，而 `Number.isNaN()` 专门检查一个值*是否是* `NaN`，不进行强制转换。 在大多数情况下，`isNaN()` 适合于验证一个值是否可以在计算中使用，而 `Number.isNaN()` 最适合于明确识别计算错误。
## NaN：深入探讨“非数字”
这次Hacker News讨论围绕编程中NaN（“非数字”）的特殊行为，尤其是在IEEE 754浮点标准中。一个关键点是`NaN !== NaN`，意味着NaN不等于自身——这是为了防止计算中出现意外错误的设计选择。如果NaN等于自身，`NaN / NaN`可能会错误地解析为1，掩盖错误而不是标记它们。
对话探讨了这种看似违反直觉的行为存在的原因，涉及历史硬件限制以及对“有毒”错误传播系统的需求。不同的语言对NaN的处理方式不同；例如，Julia认为具有相同位表示的NaN相等。
参与者们讨论了替代方案，例如第三种布尔值（“NaB” - 非布尔值）或抛出错误，但最终承认该标准背后的原理。讨论还强调了浮点运算的复杂性、理解NaN在错误处理中的作用的重要性，以及语言设计中固有的权衡。
替换EBS并从第一性原理重新思考Postgres存储
Replacing EBS and Rethinking Postgres Storage from First Principles
31 天前
## 流体存储：数据库基础设施新时代 Tiger Cloud 推出了流体存储，这是一种专为“智能体”时代设计的下一代存储架构——即需要快速迭代和扩展的自动化系统。与通常无法满足需求的传统“弹性”存储不同，流体存储提供了一个分布式块层，具有**真正的弹性、零拷贝分叉和同步复制**，同时**完全兼容 PostgreSQL 和其他数据库/文件系统。** 流体存储的核心是将存储分离成一个可扩展的 NVMe 支持的块存储，由代理层管理并通过用户空间驱动程序访问。这实现了**即时快照和分叉、自动扩展，并消除了过度配置。** 基准测试显示，其持续性能达到 **110,000+ IOPS 和 1.4 GB/s 的吞吐量。** 流体存储在认识到 EBS 等现有解决方案的局限性后从头开始构建，优先考虑**成本效益（按需付费）、可预测的性能以及开发者/平台易用性。** 它现在正在为 **Tiger Cloud 中的所有免费数据库**提供支持，让开发者能够亲身体验其功能。 Tiger Cloud 正在寻找**早期合作伙伴**，他们正在构建智能体或基础设施平台。请通过 **Tiger CLI 和 MCP Server** 立即开始使用流体存储。这代表着向一种“流体”系统的转变，该系统能够像其所服务的负载一样持续地适应，为自动化开发和数据驱动型应用程序解锁新的可能性。
## TigerData 新的 Postgres 存储方案：摘要
TigerData 正在重新思考 Postgres 的存储方式，由于成本、恢复时间慢、容量限制和缺乏灵活性，他们正在放弃使用 AWS EBS。他们探索了本地 NVMe 和定制解决方案，但发现它们要么太昂贵，要么太复杂。
他们的解决方案“Fluid Storage”（流体存储）利用块复制写入 (COW) 技术，构建了一个逻辑化、可扩展且多租户的存储系统。它基于分布式块存储层，并采用同步复制以确保数据的持久性，提供动态调整大小的功能，并利用 Linux 原语来提升性能。
基准测试显示，读取速度为 110,000 IOPS/1.375 GB/s，写入速度为 40,000-67,000 IOPS/500-700 MB/s。虽然承认性能尚未与物理磁盘相当，但他们强调其优势在于“agentic”（代理型）工作负载——频繁分叉和扩展数据库——这正是他们平台关注的重点。该系统运行在 AWS 上，使用 EC2 和 NVMe，但用他们自己的存储层取代了 EBS。他们目前提供具有多可用区集群和灾难恢复功能的 Beta 版本。
## 纽约市人行道“幽闭恐惧症”指标：摘要
一项新指标旨在量化纽约市人行道的“幽闭恐惧症”感受，同时考虑行人流量和物理障碍——或称“杂乱”。 该指标是《纽约时报》“街头战争”系列的一部分，结合了纽约市开放数据（人行道几何形状、街道家具）和通过物体检测分析的众包行车记录仪镜头，以估算行人密度。
该方法涉及简化人行道几何形状，将其划分为50英尺的间隔，并根据不同类型杂乱物（公交车站、脚手架、树木等）的估计尺寸和影响，分配加权值。 行人流量计算为每英尺人行道宽度上的行人数量。
初步结果以街区汇总区域和普查区层级可视化，显示曼哈顿中城、布鲁克林市中心以及皇后区（如杰克逊高地和法拉盛）的“幽闭恐惧症”水平较高。 斯塔滕岛始终记录较低的水平。
该项目承认了局限性，包括某些类型杂乱物的 incomplete 和不精确的数据，以及行车记录仪覆盖范围的差距（缺失数据36.11%）。 未来的研究，详见即将发表的论文，将完善加权系统并纳入其他数据源以提高准确性。 代码和可视化内容可在 GitHub 上找到 ([github.com/mattwfranchi/claustrophobic-streets](https://github.com/mattwfranchi/claustrophobic-streets))。
## 纽约幽闭恐惧症：数据分析
最近一项分析试图通过基于建筑高度、人行道宽度、交通以及脚手架和垃圾等障碍物等因素的加权评分系统来量化纽约市街道的“幽闭恐惧症”。这项研究引发了Hacker News用户关于他们对城市密度的个人经历的讨论。
许多评论者发现研究结果与他们的感受相符，注意到视角的变化——例如，在曼哈顿之后觉得布朗克斯更安静——以及在其他密集城市（如德里或东京）的经历如何改变对纽约空间感的认知。 历史背景也被提及，强调纽约过去的人口密度*更高*，以及人们尽管条件恶劣仍然留下的原因。
讨论涉及城市设计，有人建议人行道宽度和建筑退让等因素至关重要，并与巴黎和东京等以良好管理密度而闻名的城市进行比较。 许多用户指出，脚手架或路边停车等看似微小的事情，都会影响拥挤的感觉。 最终，这场对话强调了“幽闭恐惧症”的主观性以及导致城市体验的复杂因素相互作用。
一个有趣的观察是，987654321/123456789 非常接近 8，这并非仅限于十进制。这种现象也存在于其他进制中。在任何进制 *b* (大于 2) 中，由降序数字组成的一个数与由升序数字组成的一个数的比例始终*非常*接近 *b-2*。
具体来说，这个比例等于 *b-2* 加上一个 *b-1* 的余数，导致小数部分大约等于 1/b<sup>(b-2)</sup>。 这解释了为什么十六进制的例子产生了一个看起来完全是 14 的结果——小数部分太小，无法用标准的浮点精度表示。
作者通过计算验证了这种模式在高达 1000 的进制中都成立，并指出存在一个直接（但繁琐）的证明。他们提倡将计算演示与证明相结合，因为程序可以发现不同类型的错误，并阐明通常在形式证明中隐含的细节。
这个Hacker News讨论围绕一个有趣的数学现象：下降数字序列（如987654321）与上升数字序列（123456789）的比率在十进制中非常接近8，在其他进制中甚至更接近`base - 2`。
用户们探索了这个现象，分享了不同进制（如十六进制）的例子，并链接到相关的资源，如OEIS（整数序列在线百科）和Stack Exchange讨论。提供了一个精确的公式，展示了这种关系以及随着进制增加误差的减小。
对话还涉及了证明、代码和浮点精度之间的联系，一些用户指出，在正式证明之外，计算演示的价值。最终，这个帖子强调了看似简单的数字序列中一个美丽而意想不到的模式。
受俄罗斯谚语“奶来时灵魂也来，奶去时灵魂也去”的启发，一位父亲想为儿子寻找一种超越传统学校教育的金融素养培养方式。他没有给儿子购买生日礼物，而是鼓励他用现金来开始投资。
为了使这个概念更具体，他用HTML创建了一个名为“D-investments”的简单应用程序，并安装在一个旧智能手机上。这个“仪表盘”被安装在冰箱上，以每日、每周和每月收益的形式直观地显示投资随时间增长的情况。
该应用程序允许输入投资金额、利率和开始日期，自动计算并展示复利的力量。父亲希望通过扮演“投资代理”的角色，并使用真实的利率，让儿子深刻理解时间和投资如何协同工作——他认为这比任何物质礼物都更有价值。该应用程序易于访问和安装，是一个渐进式Web应用程序。
## Typst 数学模式：优先级难题与拟议解决方案 Typst 的数学模式在处理下标、上标和函数调用时面临一个棘手的问题。目前，`f_i(x)` 渲染为 `i(x)`，而不是预期的 `fᵢ(x)`。这源于 Typst 解析表达式的方式：它优先考虑函数调用（`abs(x)`）而非附件（下标/上标），因为函数调用具有更强的绑定力。 这种优先级排序，源于社区的一个拉取请求，解决了另一个问题，但却造成了不直观的行为。此前，附件可以按预期工作，但 `abs(x)` 无法正常运行。核心歧义在于 Typst 如何解释一个标识符后跟括号——它是 Typst 函数调用、数学函数还是隐式乘法？ 已经讨论了多种解决方案，包括运行时解析、添加新的表达式类型，或使用井号符号更改语法（`#abs(x)`）。然而，作者现在提倡**恢复到 Typst 0.3 的行为**（选项 B）。虽然这将要求用户编写 `e^(abs(x))` 而不是 `e^abs(x)`，但它提供了简单性和可预测性。 作者认为，一致地将所有函数调用（Typst 或数学函数）都以相同的优先级处理，并通过蓝色高亮显示来指示，比复杂的解决方法更可取。一个实现此回滚的拉取请求已打开，并且可能很快会被合并。
## Typst 数学模式的挑战：总结
最近在 Hacker News 上的讨论强调了 Typst 数学模式中持续存在的问题，特别是关于解析歧义。核心问题是：Typst 试图从像 `1/2(x+y)` 这样的表达式中推断含义，而没有明确的分组，导致结果不一致且常常出乎意料。
用户们争论解决方案，许多人提倡强制使用分组符号（如 TeX 的 `{}` 或括号）来强制可预测性。另一些人建议将文本表示与编辑表示分离——允许输入 `e^abs(x)`，但内部表示为 `e^{abs(x)}`。
一个关键的批评是 Typst 偏离了既定的 LaTeX 惯例，这可能会阻碍兼容性和可重用性。一些人认为应该拥抱 LaTeX 的复杂性以求完整性，而另一些人则认为 Typst 应该开辟自己的道路，即使这意味着打破传统。文章作者承认需要对数学语法进行适当清理，并且正在进行工作以解决这些问题。像 Pandoc 这样的工具可以帮助从 LaTeX 迁移，但过渡仍然是一些人的障碍。
Alphabet第三季度收益超出预期，盘后交易股价上涨5%。营收达到1023.5亿美元，调整后每股收益达到3.10美元——显著高于分析师预测。增长主要得益于谷歌云的强劲表现，营收为151.5亿美元（同比增长35%），这得益于对Gemini等人工智能服务的强劲需求，目前Gemini月活跃用户已超过6.5亿。 YouTube广告收入也超出预期，达到102.6亿美元，总体广告收入增加至741.8亿美元。然而，“其他业务”继续亏损。 Alphabet正在大幅增加资本支出，目前预计2025年将达到910-930亿美元，以支持人工智能基础设施建设和不断增长的客户需求。尽管受到34.5亿美元的欧盟反垄断罚款影响，净利润仍上升至349.7亿美元。该公司正在有效地向现有云客户追加销售人工智能产品，积压订单高达1550亿美元。