2024 03 15 HackerNews

2024-03-15 Hacker News Top Stories #

一句话摘要 #

  1. Spreadsheets are all you need 这个网站提供了一种低代码方法来学习人工智能，通过电子表格函数在Excel中实现GPT2的前向传递，适合技术高管、营销人员、产品经理以及转向机器学习的开发者和科学家。
  2. Glassdoor updated my profile to add my real name and location 文章讲述了作者在Glassdoor网站上的隐私问题，该网站未经作者同意添加了其真实姓名和位置信息到个人资料中。
  3. Employee risk detection tools 文章讨论了第三方工具如何通过监测员工的在线行为，如LinkedIn更新，来识别可能在寻找工作的“处于风险中的员工”，并探讨了这种做法的潜在影响。
  4. Oregon passes right-to-repair law Apple lobbied to kill 俄勒冈州通过了一项维修权法案，该法案要求制造商提供零件和维修手册，使消费者和第三方维修店能够更容易地修理电子产品，尽管苹果公司曾大力游说反对。
  5. Starship’s Third Flight Test [video] SpaceX的Starship进行了第三次飞行测试，虽然超级重型助推器在返回过程中发生了解体，但测试取得了重要进展，包括成功执行热分离和推进剂转移演示。
  6. LaVague: Open-source Large Action Model to automate Selenium browsing LaVague是一个开源项目，旨在通过大型行动模型框架自动化浏览器交互，支持自然语言处理并与Selenium无缝集成。
  7. Reverse engineering a car key fob signal 博文介绍了作者如何逆向工程并成功重放汽车钥匙遥控信号的过程，使用RTL-SDR和Flipper Zero等硬件设备进行实验。
  8. How Figma’s databases team lived to tell the scale Figma的数据库团队分享了他们如何通过横向分片Postgres数据库堆栈来解锁几乎无限的可扩展性，并详细介绍了实施过程和技术选择。
  9. A world from a sheet of paper (2023) [video] 视频展示了数学教授Tadashi Tokieda如何通过折纸探索各种现象，包括魔术、几何学到医疗器械，以及他的数学推广活动。
  10. Giant ‘sand battery’ holds a week’s heat for a whole town 芬兰的Polar Night Energy开发了一种大型“沙电池”，能够在极寒的冬季为整个小镇储存一周的热量，展示了一种新的工业规模储热技术。

Spreadsheets are all you need #

https://spreadsheets-are-all-you-need.ai/index.html

这个网站是关于“Spreadsheets are all you need.ai - 一种学习人工智能的低代码方式”的内容。该网站提供了一个低代码介绍现代大型语言模型（LLMs）背后细节的方法，非常适合以下人群：

技术高管、营销人员和产品经理 转向机器学习的开发人员和科学家 人工智能政策制定者和伦理学家

如果你能理解电子表格，那么你就能理解人工智能！该网站通过标准电子表格函数完全在 Excel 中实现了 GPT2（ChatGPT 的祖先之一，几年前曾是最先进的）的前向传递。这种 Transformer 架构也是 OpenAI 的 ChatGPT、Anthropic 的 Claude、Google 的 Bard/Gemini、Meta 的 Llama 等许多其他 LLMs 的基础。

网站还提供了一些视频课程，讲解现代人工智能内部的更多细节。你可以通过订阅来获取新教程和更新的通知。网站还提供了 Excel 表格的下载，你可以在 Excel for Mac 或 PC 中运行这个文件。然而，需要注意的是，Excel 在使用这个电子表格时可能会出现卡顿的情况，建议在 Windows 版本的 Excel 中使用手动计算模式。

此外，网站还回答了一些常见问题，比如为什么不能像 ChatGPT 一样与之交谈，为什么叫做“Spreadsheets are all you need.ai”等等。如果你对人工智能和电子表格感兴趣，这个网站可能会为你提供有益的信息和学习机会。

HN 评论 135 comments | 作者：evanmays | 19 hours ago #

https://news.ycombinator.com/item?id=39700256

这篇帖子中的评论观点包括：

作者背景介绍和学习经历；Jeremy Howard 使用电子表格教授神经网络多年；

Excel 中运行 GPT-2 的实现；电子表格解决 PDEs 的案例；

Jeremy Howard 对项目的赞赏；电子表格作为视觉编程环境的讨论；

Google AppSheets 的提及；

电子表格的编程潜力；

以及关于视觉编程语言的讨论。

Glassdoor updated my profile to add my real name and location #

https://cellio.dreamwidth.org/2024/03/12/glassdoor-violates-privacy.html

这篇文章是关于作者在 Glassdoor 网站上遇到的隐私问题。作者在与 Glassdoor 联系后，他们要求作者提供真实姓名，并未经作者同意就将其添加到旧账户中。Glassdoor 似乎不在意这种行为可能给用户带来的风险，也不在意这似乎违反了他们自己的数据隐私政策。

作者指出，根据 Glassdoor 的数据政策，用户有权了解、访问和控制 Glassdoor 持有的个人数据，包括请求更正个人数据和删除个人数据。然而，Glassdoor 似乎无视了这些政策，坚持要求作者的姓名显示在个人资料中，并表示不会撤销或匿名化这一信息。

最终，Glassdoor 表示作者的姓名必须显示在个人资料中，若不同意，作者只能选择删除账户。这一事件引起了一些读者的关注和同情，认为 Glassdoor 的做法不合理且违反隐私。

HN 评论 276 comments | 作者：throwaway_08932 | 6 hours ago #

https://news.ycombinator.com/item?id=39705788

  • 有人担心第三方工具可能找到“处于风险中的员工”，包括更新 LinkedIn 作为信号，可能表明他们在找工作。
  • 员工可以通过团队合作让管理层感到紧张，关注改善员工生活，甚至成立工会。
  • 风险在于老板可能因为员工的行为而不愿意提升员工，甚至可能导致裁员。
  • 忠诚度已经死亡，公司往往不奖励忠诚，而是激励个人主义和不忠诚。
  • 管理者想要控制，如果员工诚实并实现目标，管理者可能会信任他们。
  • 有人选择保持匿名，而有人认为公开信息有助于找到感兴趣的工作。
  • 有人认为 LinkedIn 对于找工作很有用，而有人则认为不需要。
  • 有人认为保持匿名可能限制机会，而有人则认为可以避免不必要的招聘信息。
  • 有人认为雇主可能利用风险评估工具，有人则认为这些工具可能有助于留住员工。
  • 有人认为数据可能被用来对付员工，有人则认为数据可能有助于提高员工满意度。
  • 有人认为公司依赖侵入式监控可能不关心员工福祉，而有更好的评估方法。
  • 信用卡公司和超市可能已经在出售购买历史，这种数据可能会被用于评估员工满意度。

Oregon passes right-to-repair law Apple lobbied to kill #

https://www.techdirt.com/2024/03/13/oregon-passes-right-to-repair-law-apple-lobbied-to-kill/

根据 Techdirt 网站上的文章，俄勒冈州已正式成为第七个通过“维修权”立法的州（之前有纽约、加利福尼亚、马萨诸塞州、科罗拉多、缅因和明尼苏达），使消费者更容易、更经济地独立修复自己的电子产品。

这项法案要求设备制造商以“公平和合理的条件”向消费者和第三方维修店提供零件、工具和维修手册。此外，该法案还针对“零件配对”进行了规定，即防止您在未经公司或其限制性软件批准的情况下更换设备零件的做法。苹果公司一直在使用这种做法试图垄断维修市场，因此大力游说反对俄勒冈州的这项法案。

然而，谷歌支持俄勒冈的立法，更真诚地在向远离零件配对的做法。活动人士和消费者团体如 iFixit 在一份声明中赞扬了该法案的通过。俄勒冈的这项法案备受关注，因为它在通过后没有被大幅削弱，这在一些维修权立法中是罕见的。预计该法案将面临行业诉讼，但维修权仍然是近 25 年来消费者保护方面的一大亮点。

HN 评论 122 comments | 作者：Lariscus | 11 hours ago #

https://news.ycombinator.com/item?id=39702604

评论中的观点归纳如下：

  • 一些人认为这项法律并非真正支持“维修权”，因为未经认证的维修商无法进行维修。
  • 另一些人认为法律确实允许个人维修自己的设备，但对其他人维修设备则需要大量认证，可能会损害独立维修行业。
  • 也有人认为修理自己的设备和向公众展示自己是专家是两回事，类似于自卫和代理他人辩护的区别。
  • 有人认为法律并未对非认证维修他人设备做出限制，只要没有收费。
  • 一些人认为法律对维修业务的认证要求并不算高，只需一种认证即可，主要是为了防止大规模订购零件再分发。
  • 还有人指出法律要求制造商向所有人提供文档、工具和零部件，不仅限于认证维修商。
  • 有人担心法律可能被某些公司滥用，用来起诉“未认证”维修店。
  • 也有人认为法律对消费者利益有利，但也可能被制造商武器化。
  • 最后，有人提到了法律对零部件配对的限制，以及制造商对认证的选择权可能带来的问题。

Starship’s Third Flight Test [video] #

https://www.spacex.com/launches/mission/?missionId=starship-flight-3

2024 年 3 月 14 日 Starship 的第三次飞行测试。

SpaceX 是一家设计、制造和发射先进火箭和航天器的公司。他们最近在得克萨斯州的星基进行了 Starship 的第三次综合飞行测试。这次测试虽然不是在实验室或测试台上进行的，但绝对是一次重要的测试。通过这次飞行，他们获得了宝贵的数据，以继续快速发展 Starship。2024 年 3 月 14 日，Starship 成功在得克萨斯州的星基从上午 8:25 起飞，并取得了几项重要里程碑和首次实现：

  • 第二次，超级重型助推器上的所有 33 个猛禽发动机成功启动并在上升过程中完成了全程燃烧。
  • Starship 执行了第二次成功的热分离，关闭了除超级重型助推器的三个猛禽发动机外的所有发动机，并成功点燃了第二级的六个猛禽发动机后将两个飞行器分离。
  • 分离后，超级重型助推器成功完成了翻转动作，并完成了完整的返程燃烧，将其送往墨西哥湾的着水点。
  • 超级重型助推器成功点燃了几个发动机进行首次着陆燃烧，但在达到高度约 462 米、任务进行不到七分钟时发生了意外解体。Starship 的六个第二级猛禽发动机全部成功启动，并将飞行器推向预期轨道，成为第一艘完成完整升空燃烧的 Starship。
  • 在滑行过程中，Starship 完成了飞行测试的其他几项目标，包括打开和关闭货舱门（即糖果发射器），并进行了推进剂转移演示。由于滑行过程中的车辆滚转速率，Starship 没有尝试计划中的单个猛禽发动机在轨道上重启。这些演示的结果将在后期数据审查完成后公布。
  • Starship 继续体验了首次从太空返回大气层的进入，为热重返和飞行器控制提供了宝贵数据。通过在 Starship 上运行的 Starlink 终端，可以实时观看进入过程。
  • 飞行测试在进入过程中结束，最后的遥测信号通过 Starlink 自 Starship 传来，大约在任务进行约 49 分钟时。

在团队审查了本次飞行所收集的数据之后，Starship 和超级重型飞行器正在准备即将到来的飞行，以提高他们在全年内的发射频率。这种快速迭代发展方法一直是 SpaceX 实现所有重大创新进步的基础，包括猎鹰、龙和星链。递归改进对于我们努力建立一个完全可重复使用的运输系统至关重要，这个系统能够携带乘员和货物到地球轨道，帮助人类重返月球，最终实现登陆火星等目标。感谢我们的客户、卡梅伦县、太空飞行爱好者和更广泛的社区对我们的持续支持和鼓励。祝贺整个 SpaceX 团队在 Starship 令人兴奋的第三次飞行测试中取得成功！

HN 评论 321 comments | 作者：BenoitP | 11 hours ago #

https://news.ycombinator.com/item?id=39702568

  • 评论认为这次测试基本上是成功的，Starship 可以将有效载荷送入轨道并打开/关闭有效载荷舱门，剩下的工作是锦上添花，他们可以在飞行有效载荷的同时完善可重复使用性。
  • 评论指出“成功”和“失败”这样的词在描述这些测试时可能太难，特别是前两次测试，称“取得了巨大进展”是一个中庸的描述。
  • 评论认为如果测试符合 SpaceX 对“通过”的定义，那么它就是成功的，不管其他人认为它应该是什么意思。
  • 评论提到这次测试很好，尽管之前的两次测试令人失望，但由于这一切都是用联邦拨款资金进行的，对其有更高的期望是合理的。
  • 评论惊叹于一些人如何淡化如此革命性的事情，认为没有之前的测试，SpaceX 就不会取得今天的成就，他们每一步都展示了进步，因为他们不怕让东西爆炸。
  • 评论指出测试飞行与 SpaceX 的开发和测试方式完全一致，他们相信所有授予他们资金的人都知道这一点。
  • 评论提到他们需要在轨道上进行引擎重新点火才能交付有效载荷，否则 Starship 将停留在轨道上，无法测试再入。
  • 评论指出实际的太空飞行器不会像 Kerbal Space Program 那样在典型的近地轨道中进行第二次燃烧，正常的轨道插入是一次燃烧到轨道（带分级），通过正确的初始滚动和俯仰，飞船遵循完美的重力转向，最终在主发动机切断时进入近圆形轨道。
  • 评论提到真实的发射器进行单次燃烧到轨道是因为第二级推重比不是很高，重新点火也很棘手。
  • 评论指出发射器具有可重新点火的第二级和/或超高温的第三级通常会进行圆形化燃烧。
  • 评论讨论了实际火箭在进入椭圆转移轨道（字面上的 GTO）后讨论“远地点踢”。
  • 评论提到在实际火箭上，他们总是讨论“远地点踢”，因此在发射后的椭圆转移轨道上进行了燃烧。
  • 评论讨论了在实际火箭上，他们通过在 S2 有效载荷接口到实际有效载荷之间的舱内添加小型稳定级，或者让有效载荷自己拉到最终轨道，来实现最有效的插入方式。
  • 评论提到在 Kerbal Space Program 中，如果您进行几次尝试并进行试错二进制搜索以找到最佳的初始俯仰角，您可以通过一次燃烧获得一个相当好的圆形轨道。
  • 评论指出 MechJeb 模块可以进行精确的单次燃烧到轨道。
  • 评论提到 MechJeb + Realism Overhaul 提供了一个“Primer Vector Guidance”上升控制器，它（我认为）基于航天飞机的动力显式引导。它肯定是为更现实的航天器设计的；它可以用 RCS 进行 ullage，不需要节流等。
  • 评论讨论了真实发动机可能无法节流到足够的程度进行所述的机动。他熟悉重力转向，但他不明白如何能够连续、均匀地增加能量，直到达到圆形轨道。他表示需要更多努力来理解这一点。
  • 评论提到在 KSP1 中，通过在键盘上按 D 键 1 到 10 次，可以获得一个相当好的圆形轨道。
  • 评论指出大多数火箭发动机的节流能力相当有限，而且在关断之前都会以接近最大推力运行。
  • 评论讨论了火箭在飞行的最初几秒钟内偏航和俯仰，而飞行器仍处于亚音速状态，然后以零攻角（面向运动方向）的重力转向轨迹以接近最大推力运行。任何在飞行早期积累的错误都将通过根据雷达跟踪调整第二级关断时间来纠正。
  • 评论指出初始俯仰角只偏离垂直几度，但必须精确到小数度（由于小行星的缘故，KSP 的公差较高）。
  • 评论提到如果您进行几次尝试并进行试错二进制搜索以找到最佳的初始俯仰角，您可以通过一次燃烧获得一个相当好的圆形轨道。
  • 评论讨论了在 Kerbal Space Program 中，如果您使用几次尝试和试错二进制搜索来找到最佳的初始俯仰角，您可以获得一个相当好的圆形轨道，但如果不调节第二级燃烧的节流，这将非常困难。如果我记得正确，MechJeb 模块可以进行精确的单次燃烧到轨道。
  • 评论提到 MechJeb + Realism Overhaul 提供了一个“Primer Vector Guidance”上升控制器，它（我认为）基于航天飞机的动力显式引导。它肯定是为更现实的航天器设计的；它可以用 RCS 进行 ullage，不需要节流等。
  • 评论感谢对解释重力转向的回答，但他认为如何能够连续、均匀地增加能量直到达到圆形轨道还需要更多的努力，他将更多地关注在各种高度的实际俯仰角上。他认为可能需要更早地开始重力转向，因为他提到它在飞行的最初几秒钟内已经开始了。
  • 评论指出在 KSP1 中，通过在键盘上按 D 键 1 到 10 次，可以获得一个相当好的圆形轨道。
  • 评论指出他们在（在本例中）第二级的燃烧过程中执行此操作。他认为“不，这是低效的”是误导性的，IMHO。他们还通过在圆形化燃烧开始时稍微提前一点来浪费一些 ΔV。

LaVague: Open-source Large Action Model to automate Selenium browsing #

https://github.com/lavague-ai/LaVague

LaVague 的项目，旨在通过大型行动模型框架自动化自动化。以下是该项目的详细内容摘要：

项目简介：LaVague 旨在通过将自然语言指令转化为无缝的浏览器交互，重新定义互联网浏览体验。它可以执行自然指令以自动化与网站的交互，如与 Hugging Face 或 IRS 网站的示例交互。

动机：LaVague 旨在代表用户自动化繁琐任务，节省用户时间，让他们专注于更有意义的事情。通过将自然语言查询转换为 Selenium 代码，LaVague 旨在使用户或其他 AI 轻松表达网络工作流程并在浏览器上执行。

特点：支持自然语言处理，与 Selenium 无缝集成，基于开源项目构建，支持本地模型以保护隐私和控制，采用先进的 AI 技术，如 Few-shot learning 和 Chain of Thought。

入门指南：您可以在 Colab 笔记本中尝试 LaVague，了解如何设置开发环境。

路线图：LaVague 是一个早期项目，未来可能发展为民主化透明且与用户利益一致的 AI 模型，探索重点包括优化本地模型、改进检索以确保仅使用相关代码片段进行代码生成等。

贡献：项目欢迎贡献者参与，您可以查看贡献指南以了解如何参与。如果您对该项目感兴趣，想提问、贡献或提议，请加入他们的 Discord 进行交流。

这个项目旨在通过自然语言指令自动化浏览器交互，提供了详细的功能和用途说明，以及贡献指南和未来发展方向。

HN 评论 92 comments | 作者：DanyWin | 23 hours ago #

https://news.ycombinator.com/item?id=39698546

这篇帖子中的评论观点归纳如下：

    1. 自动化工具对于处理企业内部应用程序的集成工作可能很有帮助，但目前大多数工具无法处理 SPA 等复杂场景；
    1. RPA 团队使用 20 秒延迟来处理某些系统，但 Playwright 与自定义脚本结合可能更快更准确；
    1. 一些工具如 LaVague 可简化重复性任务，如批量删除 Google Photos 或下载亚马逊订单历史；
    1. AGPL 许可证在开源社区中引发争议；
    1. 新一代技术可能加速自动化趋势，但 RPA 存在局限性；
    1. 自然语言指令可用于自动生成测试用例，减少手动编写测试的工作量；
    1. 一些人认为自动化可能会影响就业，但也有人认为节省的时间和精力可以用于更有意义的事务。

Reverse engineering a car key fob signal #

https://0x44.cc/radio/2024/03/13/reversing-a-car-key-fob-signal.html

这篇博文介绍了作者成功逆向工程并重放了去年汽车钥匙遥控信号的过程。作者使用了 RTL-SDR 和 Flipper Zero 等硬件设备进行实验。文章从基本的无线电频率概念开始，介绍了频率、调制和带宽等基本概念。

作者使用了 SDR#软件进行信号发现和初始分析阶段。通过 Universal Radio Hacker 软件，作者成功解码了无线电波并识别了信号中的位。作者发现了信号中的滚动代码和逐渐增加的 ID，解释了滚动代码的工作原理。

最后，作者通过分析信号的可变部分，成功解析了汽车钥匙遥控信号的结构，包括命令、序列号和校验和等部分。

整个过程展示了作者如何逆向工程汽车钥匙遥控信号的详细步骤。

HN 评论 63 comments | 作者：wolframio | 13 hours ago #

https://news.ycombinator.com/item?id=39701931

  • 评论中提到解码了信号但尚未打开车门，需要克服滚动代码；
  • 提到了 GNU Radio 流图和多格式接收器模块；
  • 有人逆向工程了廉价钥匙，使用示波器和维基百科；
  • 指出了钥匙编程访问受限，可能影响企业；
  • 讨论了车库门遥控的滚动代码和学习遥控的工作原理；
  • 有人提到了家用车库门开启器的滚动代码和学习模式；
  • 讨论了固定代码系统和学习遥控的工作方式；
  • 有人提到了车辆被盗的普遍性和被动无钥匙进入的便利性；
  • 讨论了车辆遥控系统的安全性和便利性之间的权衡。

How Figma’s databases team lived to tell the scale #

https://www.figma.com/blog/how-figmas-databases-team-lived-to-tell-the-scale/

这篇文章讲述了 Figma 数据库团队如何经历了横向分片 Figma 的 Postgres 数据库堆栈，并解锁了（几乎）无限的可扩展性。

文章中提到，Figma 的数据库堆栈自 2020 年以来增长了近 100 倍，这意味着业务在扩张，但也带来了一些技术挑战。他们通过垂直分区将相关表组（如“Figma 文件”或“组织”）分割成自己的垂直分区，从而实现了增量扩展，并保持足够的发展空间。然而，他们意识到垂直分区只能走到这一步，因为一些表的规模已经变得太大，单个数据库无法容纳。因此，他们开始探索构建一个横向分片解决方案，以解决这一挑战。

他们选择在现有的垂直分区 RDS Postgres 基础架构之上构建横向分片解决方案，而不是转向其他数据库，因为这样可以最大程度地减少风险。他们详细介绍了横向分片的实施过程，包括选择分片键、逻辑分片和物理分片的操作，以及构建的查询引擎等。

整个过程是一个漫长而复杂的项目，但通过逐步扩展的方式，他们成功地实现了第一个横向分片表。这篇文章详细介绍了他们的实施方法和技术选择，以及他们在这一过程中所面临的挑战和解决方案。

HN 评论 123 comments | 作者：pinser98 | 4 hours ago #

https://news.ycombinator.com/item?id=39706968

  • 有人认为每个客户都应该有自己的（逻辑）数据库，不需要跨客户交易，但可能会遇到数据库大小限制或需要跨客户交易时的困难；
  • 有人提到类似 Cloudflare 的架构支持每个客户一个数据库，每个数据库位于客户的主要区域；
  • 有人讨论了 Apple 在 iCloud 中使用 FoundationDB 存储数十亿个数据库的做法；
  • 有人提到自己在设计类似系统，将在 SQLite 中包装分片、多分片事务、复制，并在 WebAssembly 中托管应用程序代码；
  • 有人认为共享资源问题仍然存在，可能比运行许多小型完全分隔的数据库更好；
  • 有人讨论了 Citus 和 Vitess 等水平数据分片技术；
  • 有人提到了 Nile 作为一个为 SaaS 公司构建的 Serverless Postgres，虚拟化租户/客户；
  • 有人质疑为什么他们没有尝试 FoundationDB，认为 Postgres 的 vacuuming 部分可能存在问题；
  • 有人讨论了 NoSQL 数据库与关系数据库之间的选择，指出 NoSQL 可能不适合已有复杂关系数据模型的情况。

A world from a sheet of paper (2023) [video] #

https://www.youtube.com/watch?v=8p02DtmyQhU

这个视频展示了 Tadashi Tokieda 如何从一张纸开始，通过折叠、叠放、揉捏，有时还会撕裂，探索各种现象，从魔术和几何学到弹性和传统日本折纸艺术，再到医疗器械和“h-原理”。视频中展示了很多桌面演示，你可以之后和朋友家人一起尝试。

Tadashi Tokieda 是斯坦福大学的数学教授。他在日本成长时是一名画家，在法国成为古典语言学家（不是哲学家），后来在普林斯顿获得纯数学博士学位，成为了英国和美国的应用数学家；总的来说，他迄今为止在八个国家生活过。Tadashi 在数学推广方面非常活跃，尤其是与非洲数学科学研究所合作。

这个视频是牛津数学公开讲座，得到了 XTX Markets 的慷慨支持。

HN 评论 15 comments | 作者：jhncls | 1 day ago #

https://news.ycombinator.com/item?id=39696139

这篇帖子中的评论观点归纳如下：

    1. 观众对 Tadashi 的数学讲解感到惊叹和有趣；
    1. 有人认为数学教学如果更生动有趣可能会更吸引人；
    1. 有人指出学习数学需要付出时间和努力，没有捷径；
    1. 观众对 Tadashi 的其他讲座和背景表示赞赏；
    1. 观众对视频中展示的折纸技巧和数学原理感到惊奇和改变；
    1. 有人尝试使用 Python 脚本学习折纸技巧；
    1. Tadashi 通过折纸展示了各种现象，包括魔术、几何、弹性等；
    1. Tadashi 在数学推广方面非常活跃。

Giant ‘sand battery’ holds a week’s heat for a whole town #

https://newatlas.com/energy/sand-battery-finland/

这篇文章介绍了芬兰一项新的工业规模的“沙电池”技术。这种沙电池拥有 1 兆瓦的功率和高达 100 兆瓦时的热能容量，可在极寒的极地冬季使用。这个新电池将比自 2022 年以来运行的试验性工厂大约大 10 倍。

沙电池由极夜能源（Polar Night Energy）开发，是一个巧妙的概念。基本上，它是一个大型的钢铁沙仓（或类似的固体材料），通过埋在中心的热交换器加热，利用电网的多余电力 - 比如在可再生能源产生高峰时，电力价格较低。

这种能量可以存储数月时间，据称几乎没有损失，然后根据需要提取热量。这理论上可以转换回电力，尽管会有一些能量损失。但极夜能源表示，最有效的方法是直接利用热量本身。

在芬兰这样一个寒冷的地方，这意味着将其输入到当地的区域供热系统中，通过工业或能源生产产生的热量通过社区共享。管道网络将这种热量作为热水或蒸汽输送到房屋、建筑甚至游泳池中。在这种情况下，新的沙电池将在芬兰 Pornainen 市的区域供热系统中进行试验，由一家名为 Loviisan Lämpö 的公司运营。

这个新的沙电池预计将高 13 米（42.7 英尺），宽 15 米（49.2 英尺），提供 1 兆瓦的输出功率和 100 兆瓦时的容量。据公司称，这相当于 Pornainen 市冬季一个星期的热需求，或夏季一个月的热需求。相比之下，极夜能源以前的沙电池尺寸为 4 x 7 米（13 x 23 英尺），名义功率为 100 千瓦，容量为 8 兆瓦时。

新电池还应该将区域供热系统的二氧化碳排放量每年减少 160 吨，相当于减少近 70%。沙本身也将可持续来源 - 它将由一种名为肥皂石的破碎材料组成，这是另一家当地工业的制造副产品。这种材料显然比普通的沙更好地传导热量。

尽管沙电池可能不会在不使用区域供热的地区广泛使用，但它们仍然可能是气候变化工具箱中一种有用的工具，这个工具箱需要尽可能多样化。沙电池可能会成为其他网格规模存储选项的一种，如锂离子电池、重力、熔盐、铁气或流动电池。

极夜能源表示，新的沙电池将在大约 13 个月内完成建设和测试。

HN 评论 172 comments | 作者：aa_is_op | 24 hours ago #

https://news.ycombinator.com/item?id=39698398

  • 评论中提到沙子可以比水更高温，避免了水的一些问题，如腐蚀、压力、冻结和泄漏等；
  • 有人提到使用太阳能面板和简单的热水器可以实现类似效果；
  • 讨论了夜间储热暖气系统在英国的应用和成本效益；
  • 有人认为使用太阳能热水面板比电热器更有效；
  • 讨论了光伏电池和太阳热水面板的环保和成本效益；
  • 有人提到沙子比水更适合储热，因为可以达到更高温度而且不会膨胀；
  • 讨论了沙子和水的成本、热容量和稳定性等因素；
  • 有人提到沙子来源于当地工业副产品，可能成本更低；
  • 讨论了水和沙子在储热中的优劣，如水易蒸发、泄漏和腐蚀，而沙子更容易维护和保温；
  • 有人认为沙子更易于运输和保管，而且不会因冻结而膨胀；
  • 讨论了水和沙子的热传导性和热损失；
  • 有人提到水的蒸发冷却问题；
  • 讨论了沙子的热容量和稳定性，以及水的蒸发和腐蚀问题；
  • 有人认为沙子更适合储热因为不会膨胀，易于维护和保温；
  • 讨论了水和沙子的热膨胀、相变和腐蚀问题；
  • 有人提到沙子的惰性和易于维护；
  • 讨论了水和沙子的热传导性和热损失；
  • 有人提到水的微生物生长和溶解问题；
  • 讨论了水的泄漏问题；
  • 有人认为在芬兰使用沙子可能是因为水在冬季易冻结；
  • 讨论了水和沙子的温度限制和用途；
  • 有人提到使用相变技术可以提高效率；
  • 讨论了相变储热技术在建筑中的应用。

I summarized my understanding of Linux systems #

https://github.com/lsc4719/MyViewOfLinuxSystems

这个 GitHub 仓库名为"MyViewOfLinuxSystems"，由用户 lsc4719 创建。仓库中包含了关于 Linux 系统的视图，展示了 Linux 系统的工作原理和结构。

在仓库中，作者提供了一些资源链接，包括《How Linux Works, 2nd edition》、《FHS 3.0》、《The Dinosaur Book》、《OSTEP》和《Understanding the Linux Kernel, 3rd edition》等。此外，作者还提到了《UML Distilled, 3rd edition》。

仓库中还包含了一些图像文件，如"process-view-0.drawio.png"、“process-view-0.drawio.svg"和"process-view-0.drawio.xml”。总体而言，这个仓库似乎是作者对 Linux 系统的理解和视角的展示，提供了一些学习资源和图示。

HN 评论 64 comments | 作者：lsc4719 | 15 hours ago #

https://news.ycombinator.com/item?id=39701358

  • 有关 Unix 操作系统设计的书籍推荐，包括 Maurice J. Bach 的《The design of the Unix operating system》和 Robert Love 以及 Marshall Kirk McKusick 的关于 Linux 和 FreeBSD 的后续书籍；
  • 推荐阅读/proc 和/sys，以便更清晰地了解进程之间的关联和连接，以及 eBPF 和其字节码 VM 在未来的重要性；
  • 讨论 Unix 中“一切皆文件”哲学，以及与 Plan9 的区别，包括文件描述符和 ioctls 的使用；
  • 讨论 Linux 和 Plan9 的设计差异，以及对性能和一致性的影响；
  • 讨论 Linux 内核的 CPU/Memory 模型，用户空间直接使用 CPU 和内存，以及内核设置的内存映射表等；
  • 推荐学习资源，如 Michael Kerrisk 的《The Linux Programming Interface》，用于深入了解 Linux 系统编程接口。