伏尔泰正在通过可“栖息”在电线上的自充电无人机彻底改变无人机技术，实现真正无限的续航里程并实现完全自主运行。这项技术最初是为空军和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`项目中找到。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
janderland/fenv: FoundationDB 开发环境 (github.com/janderland)
5 分，由 surprisetalk 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
英国皇家检察院（CPS）的新指南正在考虑将男性割礼列为一种潜在的虐待儿童形式，与女性生殖器切割等做法相提并论。虽然目前不违法，但CPS的草案文件强调了该程序造成的疼痛和伤害问题，尤其是在由不合格人员或操作不当的情况下。 这一提议源于与割礼相关的多起死亡和严重并发症，促使验尸官呼吁更严格的监管。宗教团体，特别是犹太教和伊斯兰教领袖，对此表示震惊，认为割礼是一种重要的文化和宗教习俗。他们认为，正确进行的割礼是安全且有益的。 这场争论的中心在于平衡宗教自由与儿童福利。呼吁监管的人士强调需要有资质的从业者和易于获取的风险信息。一些医疗专业人士认为割礼没有物理益处，应该只在成年人同意的情况下进行。预计CPS将最终确定该指南，这可能会影响涉及割礼案件的起诉方式。
儿童保护服务机构的一份草案文件将割礼归类为潜在的虐待儿童行为，引发了 Hacker News 的讨论。讨论的中心在于该程序的伦理问题，一些人认为这是对未成年婴儿进行野蛮的残割，应该限制在成年人身上。
另一些人则认为这是一种安全的做法——引用低死亡率——并且是犹太和穆斯林社区的基本宗教习俗，引发了对宗教自由的担忧。一位评论员甚至提出了一种奇怪的理论，认为社会潜意识中对割礼的接受是由未知的力量驱动的。
另一个提出的观点是潜在的政治影响，有人认为左派对割礼的立场可能会影响男性选民的投票率。这场对话凸显了该习俗根深蒂固的文化和宗教方面，使得完全消除它成为一项艰难的任务。
## 用户注册验证的基于属性测试：摘要 本教程演示了使用 Haskell 和 Hedgehog 进行基于属性测试 (PBT)，以识别和修复用户注册验证系统中的错误。该系统验证用户名（长度 0-50）和年龄（18-150）。核心原则是定义属性——软件*应该*始终满足的通用规则——并让 PBT 框架生成大量测试用例来验证它们。 最初，创建了正向和反向测试，分别验证有效和无效的表单。这个过程强调了测试生成器本身的重要性，发现了一个年龄生成器未能完全覆盖无效年龄范围的问题。然后实施了覆盖率检查，以确保生成器产生具有代表性的输入样本。 当需求转变为使用出生日期而不是年龄时，验证函数被修改为接受今天的日期作为参数，从而保持确定性和可测试性。开发了一个单一、全面的属性测试，结合了对闰年边缘情况的覆盖率检查，最终揭示了日期计算逻辑中的一个错误。 本教程强调了确定性函数对测试的价值，覆盖率检查指导生成器设计的强大功能，以及多个简单属性与单个复杂属性之间的权衡。最终，PBT 结合了仔细的生成器设计和覆盖率分析，证明了其在发现和解决微妙错误方面的有效性。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
基于属性的测试修复bug和时间旅行 (2019) (wickstrom.tech)
5 分，by todsacerdoti 3 小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
X 是权力问题，而非平台问题 (connectedplaces.online)
4 点赞 danielspace23 1 小时前 | 隐藏 | 过去 | 收藏 | 2 评论
FrankWilhoit 59 分钟前 | 下一个 [–]
这是一个受众问题。回复
bediger4000 8 分钟前 | 上一个 [–]
新贵是围绕特朗普建立的政治、资本和科技精英的小圈子，而 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 平台，证明有时实用主义胜过纯粹性。
一篇 Hacker News 帖子讨论了一篇文章，标题为“我讨厌 Go，但它拯救了我的创业公司”，作者承认该项目的大部分代码是由 AI 生成的 Go 代码构建的。作者是一位函数式编程爱好者（Rust/Scala），最初不喜欢使用 Go，但作为独立创始人，优先考虑开发速度。
他们发现 LLM 在编写 Go 代码方面非常有效，这得益于 Go 的简洁性和样板代码特性，从而最大限度地减少了 AI 的“幻觉”。最终的系统是一个分布式音频接入平台，成本远低于 Twilio。
然而，评论者很快注意到文章网站存在问题——具体来说，CSS 无法加载，导致在移动 Firefox 上布局损坏。作者可以回答有关项目架构的问题。值得注意的是，一位评论员声称整篇文章都是由 AI 生成的。
Tailwind Labs 最近解雇了 75% 的工程团队，这是人工智能对其商业模式影响的直接结果。CEO Adam Wathan 解释说，人工智能“压力测试”了他们对开发者通过访问文档发现和购买 Tailwind Plus（预构建 UI 组件）的依赖——而现在人工智能代码生成绕过了这一渠道。
核心问题不是人工智能 *扼杀* 开源，而是 **使完全可规范的元素**（如文档和 UI 组件）**商品化**。现在接受过 Tailwind 资源训练的人工智能公司提供类似的结果，*而无需* 将流量导回 Tailwind，从而造成价值提取问题。
Wathan 认为，价值正在从规范转移到 **运营**：部署、维护、安全和正常运行时间等持续工作——这些是人工智能目前无法提供的。Vercel（Next.js）和 Acquia 等公司通过提供围绕开源框架的 *服务*，而不是框架本身来证明这一点。
Tailwind 的未来仍然不确定，这表明虽然该框架本身很强大，但在人工智能时代，仅靠可规范的功能建立可持续的业务越来越具有挑战性。
人工智能是对商业模式的压力测试 (dri.es)
5 分，amarsahinovic 发表于 34 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
techblueberry 发表于 26 分钟前 [–]
这感觉像是 OpenSSL 的问题，我们可能确实需要某种行业组织来维护这些东西。这些人工智能公司需要有人继续维护 tailwind，如果它们想在提示中继续使用它，就存在一个先有鸡还是先有蛋的问题。也许这会限制 tailwind 的负责人经营自己的业务和增加收入的能力，但总要有所牺牲。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
跳过内容元崽世界首页特色关于我们加入我们英语简体中文繁體中文英语简体中文繁體中文外观元崽世界在App Store下载在Google Play获取世界之树🚀无限探索自由探索浩瀚的时空，时刻保持对未来的好奇！⚔️改变世界逆转既定事实，改变世界线的变化率？💡锚定时空将你的想法告诉元崽，一起穿梭时空！🧑🤝🧑世界种子与朋友分享，共同走向理想世界！截图‹›游戏预告片系统要求兼容设备iPhone：iOS 13及以上iPad：iOS 13及以上Android：Android 7及以上ICP备案号：浙ICP 2025163571©元崽智能 | 杭州元崽人工智能应用软件有限公司
## 源仔世界：社区驱动的LLM角色扮演游戏
源仔世界是一个新的移动平台（iOS & Android），用于创建和分享由多个大型语言模型（LLM）驱动的文字冒险角色扮演游戏。由王凯和团队创建，它通过**社区共同创作**区别于典型的聊天机器人——玩家定义世界，而持久的、具有社会意识的AI代理则填充其中。
一个关键特性是“**世界线分歧**”，一种受视觉小说启发的有限状态机。该系统追踪玩家的选择并触发分支叙事，避免了AI角色扮演游戏中常见的随机性，并导向独特的生成结局。
该平台利用混合LLM方法（Gemini、GPT、DeepSeek）以实现成本效益和性能，并由Milvus向量数据库支持，用于长期代理记忆。开发者正在寻求反馈，以确定这种有限状态机方法是否有效地解决了AI角色扮演游戏中目标缺失的问题。
更多信息和演示请访问 [yuanzai.world](yuanzai.world)。
最近的测试表明，尽管微软声称Windows 11是最快的版本，但它可能是25年来最慢的Windows版本。YouTuber TrigzZolt 在联想ThinkPad X220上对Windows XP到11进行了基准测试，结果显示Windows 11的性能持续较差。 该操作系统在关键领域表现滞后：启动时间、应用程序启动速度（甚至像Paint这样简单的程序）、视频编辑和空闲RAM使用量——由于后台进程和新的AI功能而消耗更多内存。虽然文件传输和系统应用程序存储略有改进，但总体性能甚至落后于Windows Vista。 研究结果表明，Windows 11的臃肿——许多用户不需要的众多功能——正在阻碍其速度和效率。结论指出，微软需要简化操作系统，专注于优化而不是增加功能。
## Windows 11 性能与用户沮丧
最近的 Hacker News 讨论集中在 Windows 11 的性能问题上，一些用户称它是 25 年来最慢的 Windows 系统。 许多评论员报告由于操作系统中出现不想要的“宣传”和臃肿软件，包括强制广告和侵入性功能（如 Copilot）而转投 Linux。
对话凸显了对微软发展方向的担忧，抱怨技术债务和侧重于功能而非核心性能。 虽然 Win32 仍然稳定，但现代 Windows 被认为运行缓慢。 Windows 10 的支持结束迫使许多用户升级到 Windows 11，尽管他们有所保留。
许多人发现 Linux 发行版，如 CachyOS 和 Bazzite，越来越具有可行性，特别是通过 Proton/Wine 进行游戏，以及延长旧硬件的寿命，这些硬件不受 Windows 11 的 CPU 要求支持。 最终，用户表达了对微软缺乏关心以及 Windows 操作系统日益臃肿的沮丧之情。
这个 GitHub 项目收到了大量贡献，从功能改进到有趣的添加都有。 热门更新包括计算反应值（+1/-1）、Rust 重写，以及显示合并冲突和 CI 状态的 PR 健康指标。 一些功能侧重于用户体验：亮/暗模式切换、信息视频、带有雪花覆盖的多语言支持，以及直接链接到相关内容。 更多实验性（且混乱！）的添加包括每 10 秒内容随机打乱和具有毫秒级精度的倒计时器。 值得注意的是，有人贡献了一个“dickbutt”作为玩笑，而其他人则专注于提高活跃贡献者的可见性和投票进度条。 该项目显然拥抱了一种有趣且迭代的开发流程，贡献内容多种多样。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
开放混沌：一个自我进化的开源项目 (openchaos.dev)
14 分，stefanvdw 56 分钟前 | 隐藏 | 过去 | 收藏 | 3 评论
sighansen 4 分钟前 | 下一个 [–]
非常有趣。我想知道是否会有好的结果。感觉就像“Twitch 玩宝可梦”。回复
stavros 1 分钟前 | 父评论 | 下一个 [–]
如果你想看速通，我大约一个月前做过类似的东西：https://theboard.stavros.io 回复
kittikitti 20 分钟前 | 上一个 [–]
这是一个非常有趣的实验，我希望变态更像蝴蝶而不是卡夫卡。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：