伏尔泰正在通过可“栖息”在电线上的自充电无人机彻底改变无人机技术，实现真正无限的续航里程并实现完全自主运行。这项技术最初是为空军和DARPA开发的，伏尔泰的系统消除了对更换电池的需求——这是大规模部署无人机的主要障碍。 他们的首要重点是服务电力公司，提供大幅改进且具有成本效益的基础设施检查。这些检查可以主动识别维护问题，防止代价高昂的停电并降低野火风险——这对电力公司来说是一项重大责任。 伏尔泰已经验证了其充电技术并制造了五个原型机，检查了近2000根电线杆。除了电力线之外，该公司计划扩展到铁路、公路、电信和房地产检查领域，数据应用潜力包括保险和电网交易，最终目标是成为现实世界数据的核心基础设施层。
每日HackerNews RSS
## fenv：一个FoundationDB CI/开发框架 fenv简化了构建和测试依赖于FoundationDB的代码，在本地和CI（GitHub Actions）中提供一致的环境。它提供了一个基础Docker容器，包含FDB客户端库，可以通过自定义Dockerfile扩展以添加诸如Go或linter之类的工具。 主要特性包括：为集成测试自动启动FDB容器，集群文件配置，以及Docker镜像缓存以加速工作流程。一个持久的`/cache`目录通过在运行之间保留缓存来优化构建时间。 **用法：** * **本地开发：** `fenv/fenv.sh --build --exec fdbcli --exec "status"` * **GitHub Actions：** 使用`./fenv` action，可以自定义Dockerfile（可选）。 * **扩展：** 基于`fenv`镜像创建Dockerfile以安装依赖项。镜像按项目命名（从Git仓库或目录派生）。 fenv支持通过GitHub Actions中的矩阵策略测试多个FDB版本。配置通过环境变量灵活，例如`FENV_FDB_VER`和`FENV_PROJECT_NAME`。一个完整的示例可以在`fdb-mutex`项目中找到。
英国皇家检察院（CPS）的新指南正在考虑将男性割礼列为一种潜在的虐待儿童形式，与女性生殖器切割等做法相提并论。虽然目前不违法，但CPS的草案文件强调了该程序造成的疼痛和伤害问题，尤其是在由不合格人员或操作不当的情况下。 这一提议源于与割礼相关的多起死亡和严重并发症，促使验尸官呼吁更严格的监管。宗教团体，特别是犹太教和伊斯兰教领袖，对此表示震惊，认为割礼是一种重要的文化和宗教习俗。他们认为，正确进行的割礼是安全且有益的。 这场争论的中心在于平衡宗教自由与儿童福利。呼吁监管的人士强调需要有资质的从业者和易于获取的风险信息。一些医疗专业人士认为割礼没有物理益处，应该只在成年人同意的情况下进行。预计CPS将最终确定该指南，这可能会影响涉及割礼案件的起诉方式。
## 黑客新闻讨论摘要：包皮环切与虐童
一份来自儿童保护服务机构的草案文件，将包皮环切归类为潜在的虐童行为，在黑客新闻上引发了激烈的讨论。 核心争论在于，非医疗目的的包皮环切是否构成对身体自主权的侵犯，并将其与女性外阴残割（FGM）相提并论。
许多评论员认为，包皮环切是一种生殖器残割，不可逆转且在儿童不知情的情况下进行，应该被禁止。 另一些人指出了这种做法可能造成的心理创伤，并质疑在非必要的情况下继续进行它的合理性。
反方观点将包皮环切与其他儿童手术（如穿耳洞或扁桃体切除术）进行比较，质疑划定界限的位置。 一些人基于宗教或文化传统为包皮环切辩护，而另一些人则认为这个问题可能成为一个重要的政治分歧点，并可能影响投票模式。
讨论还涉及了手术的安全性，一些人淡化了风险，而另一些人则强调即使是罕见的并发症对于非必要手术也是不可接受的。 一位引用SCP基金会的用户对社会对包皮环切的接受程度进行了讽刺性的评论。 该帖子已被标记，但仍然可以访问，版主指出标记与完全删除是不同的。
## 用户注册验证的基于属性测试：摘要 本教程演示了使用 Haskell 和 Hedgehog 进行基于属性测试 (PBT)，以识别和修复用户注册验证系统中的错误。该系统验证用户名（长度 0-50）和年龄（18-150）。核心原则是定义属性——软件*应该*始终满足的通用规则——并让 PBT 框架生成大量测试用例来验证它们。 最初，创建了正向和反向测试，分别验证有效和无效的表单。这个过程强调了测试生成器本身的重要性，发现了一个年龄生成器未能完全覆盖无效年龄范围的问题。然后实施了覆盖率检查，以确保生成器产生具有代表性的输入样本。 当需求转变为使用出生日期而不是年龄时，验证函数被修改为接受今天的日期作为参数，从而保持确定性和可测试性。开发了一个单一、全面的属性测试，结合了对闰年边缘情况的覆盖率检查，最终揭示了日期计算逻辑中的一个错误。 本教程强调了确定性函数对测试的价值，覆盖率检查指导生成器设计的强大功能，以及多个简单属性与单个复杂属性之间的权衡。最终，PBT 结合了仔细的生成器设计和覆盖率分析，证明了其在发现和解决微妙错误方面的有效性。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
基于属性的测试修复bug和时间旅行 (2019) (wickstrom.tech)
21点 由 todsacerdoti 1天前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 [已标记]danielspace23 1天前 | 隐藏 | 过去 | 收藏
Andys 1天前 | 下一个 [–]
我很惊讶我们又回到禁止作为解决方案的讨论，要知道我们（互联网）都知道这从长远来看行不通。表面上看似乎不错，可以平息大家的情绪，但实际上是一个过于粗暴的工具，被用作政治武器等等。
FrankWilhoit 1天前 | 上一个 | 下一个 [–]
这是一个受众问题。
bediger4000 1天前 | 上一个 [–]
新贵是围绕特朗普建立的政治、资本和科技精英的小圈子，而X是他们的协调基础设施。
这真是一个非常、非常大胆的观点。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 从挑剔到发布：我为何用 Go 构建 SaaS 平台 尽管我是一位经验丰富的程序员，偏爱 F#、Haskell 和 Rust 等语言，但我还是勉强选择了 Go 来构建 AudioText Live——一个旨在降低 Twilio 价格的实时音频智能平台。我的理由并非对 Go 的喜爱（我认为它有些过时），而是实用性。 Go 的简洁性使得 AI 代码生成能够非常准确，从而大大提高了开发速度——这对单人开发者来说至关重要。此外，它快速的编译时间也是从 Rust 切换过来的一大优势。 我没有选择传统的单体架构，而是选择了微服务架构（在 k3s 上运行超过 15 个服务），以隔离关键的音频处理任务，例如录音、转录和分析，防止一个领域的故障影响其他领域。核心管道利用 WebSockets、NATS JetStream 用于消息传递、Soniox 用于转录以及 Gemini 用于摘要。 最大的挑战不是代码本身，而是正确配置 NATS 以及与 Watermill 库中的意外超时问题作斗争。最终，AudioText Live 通过解耦服务并异步处理音频以提高准确性，实现了显著的成本优势（0.30 美元/小时，而 Twilio 为 1.50 美元/小时）。 虽然我仍然更喜欢“更纯粹”的语言，但 Go 使我能够发布一个复杂、分布式的 SaaS 平台，证明有时实用主义胜过纯粹性。
一位独立开发者，自称函数式编程爱好者（Rust/Scala），不情愿地使用了Go语言快速构建了一个分布式音频采集系统，与Twilio相比，成本降低了80%。作者发现LLM在编写Go代码方面表现出色，这归功于Go语言的简洁性和大量的训练数据——与他们在Rust和Haskell方面的经验形成了鲜明对比。
最初的文章发表在audiotext.live上，借助LLM进行了“润色”，可能过度，以至于一些评论者质疑其真实性。作者确认使用了LLM并为此道歉，欢迎大家提问关于项目架构的问题。
多名用户报告网站在各种浏览器（Firefox、Chrome、Safari）和设备（桌面、iPhone）上存在CSS加载问题，可能与Cloudflare的自动压缩和SRI标签有关。作者正在积极调试这些问题，怀疑是Cloudflare的设置出现了问题。
Tailwind Labs 最近解雇了 75% 的工程团队，这是人工智能对其商业模式影响的直接结果。CEO Adam Wathan 解释说，人工智能“压力测试”了他们对开发者通过访问文档发现和购买 Tailwind Plus（预构建 UI 组件）的依赖——而现在人工智能代码生成绕过了这一渠道。
核心问题不是人工智能 *扼杀* 开源，而是 **使完全可规范的元素**（如文档和 UI 组件）**商品化**。现在接受过 Tailwind 资源训练的人工智能公司提供类似的结果，*而无需* 将流量导回 Tailwind，从而造成价值提取问题。
Wathan 认为，价值正在从规范转移到 **运营**：部署、维护、安全和正常运行时间等持续工作——这些是人工智能目前无法提供的。Vercel（Next.js）和 Acquia 等公司通过提供围绕开源框架的 *服务*，而不是框架本身来证明这一点。
Tailwind 的未来仍然不确定，这表明虽然该框架本身很强大，但在人工智能时代，仅靠可规范的功能建立可持续的业务越来越具有挑战性。
跳过内容元崽世界首页特色关于我们加入我们英语简体中文繁體中文英语简体中文繁體中文外观元崽世界在App Store下载在Google Play获取世界之树🚀无限探索自由探索浩瀚的时空，时刻保持对未来的好奇！⚔️改变世界逆转既定事实，改变世界线的变化率？💡锚定时空将你的想法告诉元崽，一起穿梭时空！🧑🤝🧑世界种子与朋友分享，共同走向理想世界！截图‹›游戏预告片系统要求兼容设备iPhone：iOS 13及以上iPad：iOS 13及以上Android：Android 7及以上ICP备案号：浙ICP 2025163571©元崽智能 | 杭州元崽人工智能应用软件有限公司
## 源仔世界：社区驱动的LLM角色扮演游戏
源仔世界是一个新的移动平台（iOS & Android），允许用户协作创造和体验由多个大型语言模型（LLM）驱动的文字冒险。与典型的聊天机器人不同，源仔世界专注于社区世界构建，玩家定义背景，而具有持久记忆和关系的LLM代理则使其栩栩如生。
一个关键特性是“世界线分歧”，一种受视觉小说启发的有限状态机。该系统追踪玩家的选择，并在发生重大互动时（例如改变NPC的信念），将叙事转移到全新的预定义结局，避免了AI角色扮演游戏中常见的无目的感。
该平台利用混合LLM方法（Gemini, GPT, DeepSeek）以降低成本，并使用Milvus进行长期代理记忆。目前已上线，源仔世界正在寻求反馈，以了解这种有限状态机方法是否有效地解决了AI角色扮演游戏中缺乏游戏方向性的问题。一些用户指出，需要登录才能使用，并且由于开发者地址规定，在德国和荷兰等地区可用性有限。
最近的测试表明，尽管微软声称Windows 11是最快的版本，但它可能是25年来最慢的Windows版本。YouTuber TrigzZolt 在联想ThinkPad X220上对Windows XP到11进行了基准测试，结果显示Windows 11的性能持续较差。 该操作系统在关键领域表现滞后：启动时间、应用程序启动速度（甚至像Paint这样简单的程序）、视频编辑和空闲RAM使用量——由于后台进程和新的AI功能而消耗更多内存。虽然文件传输和系统应用程序存储略有改进，但总体性能甚至落后于Windows Vista。 研究结果表明，Windows 11的臃肿——许多用户不需要的众多功能——正在阻碍其速度和效率。结论指出，微软需要简化操作系统，专注于优化而不是增加功能。
这个 GitHub 项目收到了大量贡献，从功能改进到有趣的添加都有。 热门更新包括计算反应值（+1/-1）、Rust 重写，以及显示合并冲突和 CI 状态的 PR 健康指标。 一些功能侧重于用户体验：亮/暗模式切换、信息视频、带有雪花覆盖的多语言支持，以及直接链接到相关内容。 更多实验性（且混乱！）的添加包括每 10 秒内容随机打乱和具有毫秒级精度的倒计时器。 值得注意的是，有人贡献了一个“dickbutt”作为玩笑，而其他人则专注于提高活跃贡献者的可见性和投票进度条。 该项目显然拥抱了一种有趣且迭代的开发流程，贡献内容多种多样。
## 开放混沌：一个社区驱动的 GitHub 项目
开放混沌 (openchaos.dev) 是一个实验性的、自我进化的开源项目，社区通过投票决定合并哪些拉取请求来直接控制其开发。本质上，它就像“Twitch 玩 GitHub”，但没有 Twitch 界面。
用户通过 PR 提交更改，每周合并得票最高的 PR，导致网站（也就是代码仓库本身）的演变不可预测且可能混乱。该项目引发了关于它是否会保持最初的范围或朝着意想不到的方向发展的问题。
早期的 PR 专注于完善投票流程本身和提高效率，而有些人设想集成 AI 生成的代码。人们担心潜在的安全风险以及项目可能变得混乱不堪，但许多人对观察这个独特的协作编码社会实验的结果感到兴奋。 讨论中还链接了一个类似但更早的项目。