谢尔登·布朗 - 自行车技术信息文章，由谢尔登·布朗和其他人撰写。谢尔登·布朗的自行车术语表：我们的巴黎-布雷斯特-巴黎页面。如果您想在此处创建链接或书签，网址是：https://www.sheldonbrown.com/index.html 最后更新：由约翰·艾伦提供。
每日HackerNews RSS
## 谢尔登·布朗的自行车技术信息：备受喜爱的在线资源
谢尔登·布朗的网站 (sheldonbrown.com) 是一个备受推崇的、全面的自行车维修和保养资源，受到Hacker News社区的赞誉。许多用户认为它——以及当地的自行车合作社——教会了他们必要的自行车机械技能，尤其是在2010年代初。
该网站因其深入的信息、DIY重点以及其创建者的慷慨精神而受到称赞。用户们 fondly 回忆起，多亏了布朗的详细文章，他们学会了轮子组装并解决了复杂的维修问题。讨论中还提到了其他类似的、由个人运营的网站，它们致力于小众技术主题。
虽然布朗于2008年去世，但该网站仍然是一个宝贵的资源，目前由其他人维护。虽然有些信息已过时，但对于旧自行车和晦涩的系统仍然适用。用户还推荐Park Tool的YouTube频道和伦纳德·津恩的网站，以获取更当前的信息。该网站体现了早期互联网的开放知识共享精神。
字节为盲文
Bytes as Braille
18 小时前
该项目解决了在可读格式下显示混合字节和Unicode字符串的难题，尤其是在某些字节故意无法解码的情况下。传统的字节表示（如`\xc0`）显得杂乱，而简单地解码/捕获错误会导致信息丢失。
作者开发了一个函数，利用盲文字符作为无法解码字节的视觉替代。盲文字符单元不是按照标准的Unicode顺序排列，而是根据其字节值重新排序，从而创建紧凑且富含模式的表示。这使得区分可解码字符串和原始字节变得容易。
该解决方案现已在GitHub上提供，包括输入函数和字节颜色编码功能，以增强可见性。这种方法提供了一种更高效、更具视觉信息性的方式来检查二进制数据，尤其是在处理多种语言和数据格式时非常有用。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
字节作为盲文 (engrenage.ch)
7 分，作者 apitman 9 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文探讨了自由 monad 的“高阶 monad”结构，超越了标准 Haskell `Monad` 类型类。作者证明了 `Free f`，通常将函子转换为 monad，*本身*就是在一个内函子范畴 (Endo) 中的一种 monad。 这种 Endo 风格的 monad 需要一个新的类型类 `HFunctor` 和 `HMonad` 来表示作用于其他函子的函子和 monad。关键概念包括定义函子的积和和，以及认识到 `Free` monad 在这个 Endo 范畴中在结构上类似于列表。 作者提供了诸如 `hsingleton` (推广列表的 `singleton`) 和 `hFoldMap` (推广 `foldMap`) 等函数的实现，突出了 monoid/列表 和 monad/自由 monad 之间的相似之处。最终，本文证明了 `Free` 可以成为 `HMonad` 的实例，确认了它在 Endo 范畴中作为列表的地位，并展示了 monad 结构与范畴论之间更深层次的联系。作者指出 haasn 已经存在类似的实现。
## 黑客新闻讨论：名为 Free 的 Monad
一个黑客新闻帖子围绕着 Dan Piponi 2006 年的博文“名为 Free 的 Monad”（[http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...](http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...））展开，许多评论者回忆起它对他们理解 Haskell 的影响。
讨论强调了人们通常认为 Monad 难以掌握，一些用户提倡更简单的解释，重点关注“flatmap”作为核心概念。另一些人强调，理解潜在的数学定律对于*创建*新的 Monad 至关重要，但对于*使用*现有的 Monad 来说并非必要。
评论者还争论 Monad 的实际相关性，一些人指出它们在异步编程（JavaScript 中的 Promises）和错误处理（Optionals/Either）中的普遍性。一个关键点是，许多常见的编程模式——例如 async/await、空值传播和列表推导——本质上是 Monadic 的。“free monad”被呈现为构建抽象语法树和实现其他 Monad 实例的一种方式。然而，有些人对缺乏具体示例的抽象解释表示沮丧。
Waymo 正在通过推出“Waymo World Model”显著提升其自动驾驶技术，这是一种用于超逼真模拟的新型生成式人工智能模型。该模型基于 Google DeepMind 的 Genie 3，允许 Waymo 在虚拟环境中测试其 Driver 在数十亿英里充满挑战的路况下——远远超出在公共道路上测试的可能性。 与仅依赖收集到的驾驶数据进行模拟的传统方法不同，Waymo World Model 利用广泛的现有世界知识来模拟罕见的“极端情况”事件，例如龙卷风、与动物的遭遇或极端天气。工程师可以使用简单的语言提示来控制这些模拟，调整条件和布局，从而主动为 Waymo Driver 准备应对意外情况。 至关重要的是，该模型可以生成来自摄像头和激光雷达传感器的高保真数据，从而增强真实感。它甚至可以将现实世界的行车记录仪镜头转换为交互式模拟。这种对稳健模拟的关注是 Waymo 安全方法的关键支柱，允许在真实环境中部署技术之前进行严格的测试和持续改进。
动画引擎
Animated Engines
19 小时前
动画引擎 - 首页动画引擎首页
欢迎！点击引擎查看其工作原理。四冲程柴油二冲程汪克尔阿特金森格诺旋转杰特推进蒸汽机车振荡蒸汽二氧化碳发动机库默尔曲柄替代旋转气缸瓦特连杆蚱蜢连杆未知连杆纽科门大气式双缸斯特林单缸斯特林罗斯轭斯特林低差斯特林首页关于联系版权政策历史书目如何关注交朋友订阅
Hacker News 的讨论围绕着 Animated Engines 网站（animatedengines.com），该网站展示了内燃机的动画图解，并且自 2000 年以来几乎没有改变。用户对它早期 2000 年代的审美风格与现代网络技术形成鲜明对比印象深刻，例如 2021 年的交互式引擎可视化。
评论者欣赏该网站引人入胜、略带“拟物化”的视觉风格——让人想起 Windows XP——并认为它比当前的网络设计更具吸引力。许多人 fondly 回忆起使用 Animated Engines 和 HowStuffWorks 作为教育资源，强调它们对促进学习和对网络潜力的乐观态度产生了影响。 另一个相关网站 507movements.com 也被提及。 有人请求添加旺克尔旋转发动机的动画。
Heroku 将把重点转移到平台稳定性、安全性和可靠性上，不再频繁开发新功能。这意味着 Heroku 将继续作为一个完全支持、可用于生产环境的平台，但侧重于*维护*现有质量，而非创新。 对于大多数用户，**没有任何变化**。现有的定价、计费和平台功能（应用程序、流水线、附加组件）不受影响，当前工作负载可以照常运行。通过信用卡支付的客户将不会受到任何干扰。 然而，Heroku 将不再提供新的企业账户合同。现有的企业客户的合同将继续有效，并且可以按惯例续订。Heroku 未来的投资将集中在安全、企业级人工智能的开发和部署等领域。
这个解释分解了神经网络的基础知识，灵感来自人类大脑，面向AI新手。神经网络接收输入数据（例如手写数字的图像），并通过互连的“神经元”层进行处理。 每个神经元包含一个规则——激活函数——它决定了神经元是否根据接收到的输入“激活”。这个输入是加权的，意味着每个连接都有一个影响神经元响应的值。神经元检测模式，随着数据在层间移动，这些模式变得越来越复杂。 最终，最后一层的激活模式代表网络的输出——在本例中，识别图像中的数字。一个有效网络的关键在于为每个神经元找到正确的权重和阈值，但*如何*实现这一点是一个更复杂的话题，留待未来探索。 这是一个由正在学习AI的人创建的简化可视化，旨在使概念易于理解，并欢迎反馈以供改进。
## 神经网络可视化讨论
一个旨在解释神经网络的新可视化工具 ([visualrambling.space](https://visualrambling.space)) 在Hacker News上引发了讨论。用户称赞其清晰、具体地描绘了中间层如何识别特征，使概念更易理解。然而，一些人指出可视化网络的高维方面（如100维向量）存在困难，并强调需要通过其他方式培养直觉。
对话扩展到学习资源，包括解释LLM的文章链接 ([bbycroft.net/llm](https://bbycroft.net/llm))、神经网络的历史（MNIST数据库）以及来自3Blue1Brown和Welch Labs的有用视频。一个关键点是神经网络本质上是多层感知器，非线性激活函数至关重要。
讨论还涉及学习过程——明确了虽然大数据集至关重要，但权重确定并非简单的“蛮力”，而是利用了诸如反向传播之类的优化技术。 许多用户赞赏该网站的视觉风格，并建议添加RSS功能。
## “SaaSpocalypse”与智能体工作流的兴起
2026年2月，一场被称为“SaaSpocalypse”的市场大幅下跌，科技公司市值蒸发了2850亿美元，令人惊讶的是，这源于Anthropic在GitHub插件中的一个简单的markdown文件集合——其法律工具。这凸显了对传统SaaS日益增长的威胁：能够复制软件功能，甚至*完全绕过*对软件的需求的AI智能体。
智能体并非以“智能体构建”的替代品来取代SaaS，而是越来越多地能够直接解决以前需要多个SaaS订阅才能满足的需求。例如，复杂的法律或税务问题现在可以通过智能体访问相关资料来获得更详细的解答，超越了许多专注于流程自动化的现有平台的能力。
然而，并非所有SaaS都会走向衰亡。“记录系统”——那些保存关键数据（如会计交易）的系统，仍然具有价值，*前提是*它们提供强大且可扩展的API访问。相反，API有限或设计不良的遗留平台正面临潜在的客户迁移，因为企业要求程序化控制。
未来青睐“无头”软件——从一开始就为程序化访问而构建的API优先解决方案，而不是将API作为事后补充。这种转变表明，markdown与可访问的数据相结合，可能会成为传统SaaS的一个出人意料的强大替代品，这不仅会影响软件供应商，还会影响将专业知识编码为可访问格式的专业服务公司。
## 华尔街抛售与人工智能工具：摘要
近期，亚马逊、英伟达、微软等主要科技公司市值总计下跌2850亿美元，引发了讨论。一些人将其与Anthropic发布的人工智能驱动的“知识工作插件”联系起来——本质上是13个Markdown文件。然而，许多评论员对此表示异议，认为文章缺乏证据，并过度简化了市场力量。
核心观点是，这些工具可能潜在地自动化目前由SaaS企业处理的任务，尤其是在法律工作和合规性等领域。这引发了对SaaS未来的担忧，但许多人认为这是夸大反应。
主要争议点包括人工智能代理是否会*取代*SaaS，还是仅仅*使用*现有的SaaS平台，以及抛售是否更多地归因于虚高的估值和更广泛的经济因素。一些人认为，维护、合规和支持——而不是初始代码创建——才是SaaS的真正价值主张，使得完全取代不太可能。另一些人则强调人工智能代理可能带来新的风险和复杂性。最终，这场讨论凸显了明确解释市场动向的困难性以及围绕人工智能影响的投机性质。
## YIMBY倡导受到攻击 YIMBY Law最近在加利福尼亚州兰乔帕洛斯维尔德斯取得了一项胜利，成功游说通过了上调地块容积率的政策，允许建造647套新房。他们利用州住房法律，并威胁如果城市不遵守，将采取法律行动。这种策略——向城市发送信函，阐明其法律义务——是支持住房的团体的一项关键策略，通常能在无需诉讼的情况下促使城市合规。 然而，这种做法受到了反击。一位NIMBY反对者向加利福尼亚州律师协会提出投诉，指控YIMBY Law的执行主任在信函中提供“法律分析”，涉嫌非法执业。YIMBY Law辩称，这受到美国宪法第一修正案赋予的言论自由和请愿政府的权利保护，与法律专业知识无关。 这起投诉是更广泛的压制支持住房倡导者策略的一部分，包括人身攻击、质疑他们的动机（称他们为“收买者”或更糟）、甚至在公共会议上进行人身恐吓。YIMBY Law强调，公开辩论和倡导政策变革的能力是民主制度正常运作的基础，而试图扼杀这些权利令人深感担忧。
LiteBox是一个注重安全的沙盒操作系统库，旨在通过大幅减少与宿主系统交互来最小化攻击面。目前正在积极开发中，它优先考虑“北向”垫片（类似于nix/rustix的Rust风格API）与“南向”平台（底层操作系统）之间的灵活互操作性。
这使得LiteBox能够在内核和非内核环境中运行，从而实现多种用例，例如在Windows上运行Linux程序、沙盒化应用程序以及利用SEV SNP和OP-TEE等安全硬件。
该项目是开源的（MIT License），并鼓励实验，但需要长期稳定性的用户应注意，在达到稳定版本之前，API可能会发生变化。它也承认有关微软和其他第三方徽标的潜在商标限制。
## 微软开源 LiteBox：一种注重安全的库操作系统
微软已开源 LiteBox，这是一种新颖的“库操作系统”，旨在通过最小化与宿主系统的接口来大幅减少攻击面。LiteBox 旨在为运行应用程序提供沙盒环境，在各种“北”（应用程序）和“南”（平台）组件之间提供互操作性。
这使得能够实现诸如在 Windows 上运行未修改的 Linux 程序、在 Linux 上沙盒应用程序以及在 SEV SNP 和 OP-TEE 等安全硬件上运行程序等用例。该项目利用受 Rust 启发的接口，并适用于内核和非内核场景。
Hacker News 上的讨论强调了人们对微软在质量和安全方面的记录的担忧，以及对项目成熟度和潜在依赖于 AI 生成代码的质疑。虽然有些人表示怀疑，但另一些人则认为 LiteBox 作为传统虚拟化和容器的轻量级替代方案具有潜力。